Repository navigation
t27b: home_plan law spec-first; t27b-native gate decides the job; rehearsal credits law - #13142
Merged
Merged
Conversation
Ladder step 3 (#13132), rehearsed and measured by lane A (.claude/worktrees/diff-glue-wt); the honest numbers replace the ledger's optimistic estimate. - specs/tri/t27b/home_plan.t27 (NEW, 4 tests, seal, gen-rust): the home-assignment law - combined weight (writes count only when read), the leaf free-argument-register pool ascending from nint, the leaf skip rule, and the non-leaf rank home (callee-saved then slots) - codegen.rs assign_homes walks the generated decisions now. Measured: codegen.rs +29/-42. - tools/deletion_credits.txt: HOME_PLAN_LEAF corrected to 42/29 with the dated rehearsal note (the 28/17 estimate was wrong both ways) - the credits law working as designed. - t27b-native.yml (+21/-17): the test step records rc without hard failing; the summary step's false-green guard fails immediately on rc != 0 with no test results (infra breakage is never baseline); the red-baseline verdict alone decides green. Pairing deletions are duplicated doc text the file carries better elsewhere. - specs/ci/red_baseline.t27: the gate-names header lines, left out of c564925 by a missed git add, land here. Verify: spec test-report 4/4; fmt clean; cargo build green; cargo test -p t27b 178 passed / 0 failed; seal saved; budget gate exit 0 at 50 added / 59 deleted (yml 21/17, codegen 29/42). Known remainder: the diff-cache glue (differential.rs +38, lib.rs +5, verified live: HIT 0.02 s, key invalidated by backend bytes) waits in the credits queue for its paired deletion top-up - DIFF_CACHE_GLUE is a debt the current queue cannot cover honestly. Closes #13132 phi^2 + 1/phi^2 = 3 | TRINITY
The 2026-11-02 rehearsal lesson becomes law: an entry sits in the queue only with a rehearsal reference naming its measured numstat; an estimate without one is a draft and waits in the consuming issue (queue_entry_ok). TRAP_PLAN_STUBS is demoted to a draft honestly - its 12/6 was an estimate, not a measurement. Verify: test-report 5/5 (new test added); fmt clean; seal re-saved; zero hand-written foreign lines in this commit. Closes #13132 phi^2 + 1/phi^2 = 3 | TRINITY
Contributor
Contributor
PR DashboardGenerated at: 2026-11-02 17:12:54 UTC
Summary
Seal Status
|
… in this PR The credits law: the drawing pull request removes the entries it consumed in the same commit that lands the migration. home_plan.t27 landed here; the queue drops the entry. Part of #13132 phi^2 + 1/phi^2 = 3 | TRINITY
gHashTag
force-pushed
the
lane/ci-signal-pack
branch
from
November 2, 2026 17:16
4533f8d to
c7654a1
Compare
Contributor
PR DashboardGenerated at: 2026-11-02 17:18:00 UTC
Summary
Seal Status
|
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
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.
Follows the merged #13136 (its content is master now; this branch carries exactly the two post-squash commits).
1. home_plan.t27 (NEW, 4 tests, seal, gen-rust) - ladder step 3 of #13132
The home-assignment law: combined weight (writes count only when read), the leaf free-argument-register pool ascending from nint, the leaf skip rule, and the non-leaf rank home. codegen.rs assign_homes (+29/-42) walks the generated decisions; the emitter stays plumbing.
2. t27b-native gate decides the job (+21/-17)
The test step records rc without hard failing; the summary step's false-green guard fails immediately on rc != 0 with no test results (infra breakage is never baseline); the red-baseline verdict alone decides green.
3. The rehearsal law of the deletion-credits queue (specs/policy/deletion_credits.t27, 5/5)
queue_entry_ok: an entry sits in the queue only with a rehearsal reference naming its measured numstat; an estimate is a draft and waits. TRAP_PLAN_STUBS demoted to draft honestly (12/6 was an estimate). HOME_PLAN_LEAF corrected by rehearsal to 42/29.
Verify
Known reds on this PR (not caused here, blessed follow-ups queued on #13132)
Closes #13132
phi^2 + 1/phi^2 = 3 | TRINITY