Skip to content

ledger(t27b): list spec_graph_derive, spec_graph_outline and t27mcp/find as pass (Closes #10212) - #10214

Merged
gHashTag merged 1 commit into
masterfrom
ledger/t27b-unlisted-3
Oct 18, 2026
Merged

gHashTag merged 1 commit into
masterfrom
ledger/t27b-unlisted-3

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10212

#10198, #10202 and #10194 each landed a spec without a row in docs/reports/t27b_expectations.json. Since then t27b-native-ratchet has been red on master and on every open PR. On #10185 (run 39096977680) it read: "UNLISTED 3 ... the reference passes it and the ledger does not name it (t27b pass)".

Change

Three rows are added in path order, each with the verdict the run measured:

path t27b
specs/t27f/spec_graph_derive.t27 pass
specs/t27f/spec_graph_outline.t27 pass
specs/t27mcp/find.t27 pass

No other row moves, and no spec changes. git diff --numstat origin/master prints 3 0 docs/reports/t27b_expectations.json. The file still parses as JSON.

🤖 Generated with Claude Code

…ind as pass (Closes #10212)

#10198, #10202 and #10194 added these three specs without a row in
docs/reports/t27b_expectations.json, so t27b-native-ratchet reads
"UNLISTED 3" on master and on every open PR (run 39096977680 on
#10185): "the reference passes it and the ledger does not name it
(t27b pass)".

Adds the three rows in path order with the verdict the run measured.
No other row moves.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 04:38:43 UTC

Summary

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=0f8c66b9ed0e != 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).

@tri-claw tri-claw Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer bee verdict for head fa66e1c45712424eb1eb29c243a73899fc9e96eb (tools/bees/reviewer.py, zai glm-4.7-flash, glm-4.5-flash, 4 turns, 60 s; then glm-4.7-flash, 5 turns, 51 s).

BEE-VERDICT: APPROVE
summary: PR correctly adds the three missing specs to t27b ledger in proper order with pass verdict
criterion: "Turn t27b-native-ratchet green again on master and on every open PR" -- met -- Added specs/t27f/spec_graph_derive.t27, specs/t27f/spec_graph_outline.t27, and specs/t27mcp/find.t27 to docs/reports/t27b_expectations.json with "t27b: pass"
discounted-check: coverage -- Existing stale seal issue on master, unrelated to ledger changes
discounted-check: duplicate-bodies -- Existing duplicate bodies issue on master, unrelated to adding ledger rows
discounted-check: t27b-native-ratchet -- This is the issue being fixed (UNLISTED 3), not a new defect introduced by the head

Evidence

Analysis

Based on my review of the pull request #10214:

Does the change meet the issue requirements?

Yes, the change correctly addresses issue #10212:

  1. Goal Achievement: The PR adds the three missing specs to docs/reports/t27b_expectations.json with "t27b: pass" verdict, which should turn t27b-native-ratchet from red (UNLISTED 3) to green (UNLISTED 0).

  2. Boundary Compliance: The change only affects docs/reports/t27b_expectations.json, exactly as required. No other files are modified.

  3. Requirements Met:

    • FR-001 ✓: Each new row carries "t27b: pass" verdict
    • FR-002 ✓: Only one file changed with 3 additions, 0 deletions
    • FR-003 ✓: Rows are in proper path order
  4. Success Criteria:

    • ✓ git diff --numstat shows 3 0 docs/reports/t27b_expectations.json
    • The entries are correctly positioned alphabetically

Red Checks Analysis

  1. duplicate-bodies - Does NOT count against this head

    • This check is red on master for the same reason (duplicate bodies in existing specs)
    • The PR only adds ledger rows, doesn't change spec content
  2. coverage - Does NOT count against this head

    • This check is red on master due to a stale seal (policy_OwnLanguage.json)
    • Unrelated to adding ledger rows
  3. t27b-native-ratchet - Does NOT count against this head

    • This is the exact issue the PR is trying to fix
    • It was red on master with "UNLISTED 3" for the same reason
    • The PR's change should fix this, but the CI run might not reflect the final state

The changes are minimal and surgical - exactly what's needed to resolve the unlisted specs issue without affecting anything else.

Second, independent review (glm-4.7-flash): APPROVE -- All three specs listed with pass verdicts in correct path order; no changes to other specs; pre-existing failures not caused by this PR

@tri-claw tri-claw Bot added the bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525) label Oct 18, 2026
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 04:59
@gHashTag
gHashTag merged commit 6425194 into master Oct 18, 2026
31 of 34 checks passed
gHashTag added a commit that referenced this pull request Oct 18, 2026
…s pass (Refs #10233)

t27b-native-ratchet is red on master and on #10185 with UNLISTED 3:
specs/ci/suite_ledger_steward.t27, specs/jobs/suite_ledger_steward.t27
and specs/tri/pr/preflight.t27 pass on the reference and t27b but the
ledger does not name them. Same shape as #10214.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag added a commit that referenced this pull request Oct 18, 2026
…Closes #10233) (#10234)

* spec(tri/pr): preflight -- drop the use path through the keyword test (Closes #10233)

Since #10220 the parser discarded 7 tokens of
use tri::test::report::opens_with; -- the path stops at the keyword
test -- and the suite's parse-no-discard phase failed on master.
preflight now builds a private opens_with on the span_is it already
imports from tri::lab::receipt; the four call sites are unchanged.
Seal and gen/rust are regenerated by t27c on the Railway lab.

Lab, master fdb6b28 + this change: parse-complete reports nothing
discarded, test-report 19/19 with 0 vacuous (same as before), and
check_seal_coverage.py: OK, 2514 seals, 2392 hold.

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

* ledger(t27b): list preflight and the two suite_ledger_steward specs as pass (Refs #10233)

t27b-native-ratchet is red on master and on #10185 with UNLISTED 3:
specs/ci/suite_ledger_steward.t27, specs/jobs/suite_ledger_steward.t27
and specs/tri/pr/preflight.t27 pass on the reference and t27b but the
ledger does not name them. Same shape as #10214.

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

* ledger(t27b): list spec_graph_fold as pass (Refs #10233)

#10228 added specs/t27f/spec_graph_fold.t27; t27b-native-ratchet on
#10234 reports it UNLISTED (reference and t27b pass it).

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

* ledger(t27b): list specs/t27f/hot.t27 as pass (Refs #10233)

Master drift from #10235: t27b-native-ratchet run 39100342521 reports
UNLISTED 1 for exactly this spec.

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

---------

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ledger(t27b): three specs landed without a ratchet row -- UNLISTED 3 on master

1 participant