Repository navigation
t27b ledger: re-measure at master 7552b89d0 -- 180 new specs listed, max_not_pass 75 -> 134 (Closes #10465) - #10473
Merged
Merged
Conversation
…sted, max_not_pass 75 -> 134 (Closes #10465) #10445 squash-merged with the t27b ledger master already carried, so t27b-native-ratchet stayed red (UNLISTED 177). Same measurement, taken at 7552b89: a full t27b sweep on the Railway lab with a 240 s timeout so load cannot time a spec out, blessed with --accept-new, plain ratchet re-run green. 180 specs added: 121 pass, 59 blocked; the cap follows the not-pass count. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…m master, to be re-blessed on the lab (Refs #10465) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This was referenced Oct 18, 2026
Contributor
This was referenced Oct 18, 2026
gHashTag
enabled auto-merge (squash)
October 18, 2026 13:52
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…7b ledger from #10473 Master's ledger (re-measured at 7552b89) still lists this branch's specs as master had them. The resolution keeps master's ledger and records what this branch changes: - reel_marketing.t27 is new and passes; - token_floor_scenes.t27 now calls @sin (the hover), and token_floor_mux.t27 uses it, so both are blocked on ExprCall(@sin), unimplemented, as CI's run of the merge head measured; - max_not_pass 130 -> 132 for those two. Refs #10469 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #10465.
#10445 was squash-merged at 89254d2 with the t27b ledger master already carried (
max_not_pass75, 177 specs unlisted): the merge happened before the ledger was re-measured at that tip, sot27b-native-ratchetstayed red on master. The corpus ledger needs nothing: the Corpus Ratchet reportsRATCHET: CLEANat 7552b89.What changed
Only
docs/reports/t27b_expectations.json, written by the ratchet's own bless command with--accept-new, never by hand.specs/t27f/spec_graph_export.t27under lab load (load average ~65); it passes alone in 4.6 s, which is why the timeout is longer here.max_not_pass75 -> 134, exactly the 59 newly blocked entries (133 blocked + 1 codegen in total). The cap moves for no other reason.Check
The ratchet against the fresh run after the bless: green, UNLISTED 0, UNEXPECTED FAILURE 0, UNEXPECTED PASS 0, OVER CAP 0.
🤖 Generated with Claude Code