Skip to content

spec(t27os): disclosure -- no number leaves without its five fields (Refs t27os#20) - #11943

Closed
gHashTag wants to merge 1 commit into
masterfrom
spec/t27os-disclosure-20
Closed

spec(t27os): disclosure -- no number leaves without its five fields (Refs t27os#20)#11943
gHashTag wants to merge 1 commit into
masterfrom
spec/t27os-disclosure-20

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 24, 2026

Copy link
Copy Markdown
Collaborator

Board task Trinity-S-AI-DNA/t27os#20, accept criterion 1 (Refs Trinity-S-AI-DNA/t27os#20; criteria 2-3 live in the t27os repo).

specs/t27os/disclosure.t27: every number T27 OS publishes about itself ships with five fields -- reader, judge, n, cost, repro.

  • an empty or placeholder field (TBD, ?, TODO, -, n/a, ...) refuses the number (DISC_MISSING / DISC_PLACEHOLDER);
  • n = 0 refuses it (DISC_NO_RUN); a 95% CI from fewer than two runs refuses it (DISC_CI_FROM_ONE);
  • the checker says all-covered only when number lines == footed lines and both are non-zero (COV_GAP, COV_EMPTY, COV_OVER otherwise);
  • worked example: receipt runs/8f28c2d849.048f7f45.json is refused as it stands, because its cost was never recorded.

Draft until the lab receipt (t27c) and the t27b leg are both green. The seal for the new spec comes from a master-built t27c.

🤖 Generated with Claude Code

@gHashTag @claude
spec(t27os): disclosure -- no number leaves without its five fields (…
efee60e 
…Refs Trinity-S-AI-DNA/t27os#20)

reader, judge, n, cost, repro on every number T27 OS publishes about itself;
an empty or placeholder field, n = 0, or a CI from one run refuses the number;
the checker says all-covered only when number and footer counts match and are
not zero. The 048f7f45 receipt is the worked example: refused until its cost is
recorded.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag

gHashTag commented Oct 24, 2026

Copy link
Copy Markdown
Collaborator Author

Lab dispatched: run 40055040199 (Trinity-S-AI-DNA/t27os lab.yml) on efee60e, spec specs/t27os/disclosure.t27. Receipt lands at Trinity-S-AI-DNA/t27os runs/efee60e3a65e338f6e5310817250c86fd3b52553.*.json.

@github-actions

github-actions Bot commented Oct 24, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-24 02:39:51 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 38
PRs with All Checks Green 6
READY 6
FAILING 38
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=182a47746c33 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag

gHashTag commented Oct 24, 2026

Copy link
Copy Markdown
Collaborator Author

Lab receipt: Trinity-S-AI-DNA/t27os runs/efee60e3a65e338f6e5310817250c86fd3b52553.e33387bd.json -- specs/t27os/disclosure.t27 tests=6 pass=6 FAIL=0 vacuous=0 blocked=0 (utc 2026-10-24T02:40:49Z).

@github-actions github-actions Bot mentioned this pull request Oct 24, 2026
Closed
@gHashTag

gHashTag commented Oct 24, 2026

Copy link
Copy Markdown
Collaborator Author

Superseded by #11945: same tree (lab 6/6 on efee60e), commit message now carries a local Refs #11944 for L1. Closed instead of force-pushed.

@gHashTag gHashTag closed this Oct 24, 2026
@gHashTag
gHashTag deleted the spec/t27os-disclosure-20 branch October 24, 2026 02:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gHashTag