Repository navigation
spec(policy): l2_generation -- gen/json/ is t27c gen-json's backend directory (Closes #10079) - #10082
Merged
Merged
Conversation
…irectory (Closes #10079) BACKENDS and SUBCOMMANDS gain the pair json / gen-json at index 4, pinned by the_backend_table_is_pinned. A gen/json/<stem>.json copy is then checked like every other copy: t27c gen-json specs/<stem>.t27 must reproduce it byte for byte. gen/jsonl/ stays an unknown backend. The L2 check runs the base's copy of this rule, so #10064 (gen-json, #10050) needs this entry on master before its committed gen/json/igla/own_model_board.json can pass. gen/c/policy/l2_generation.c is t27c gen-c output from the Railway lab (sha256 5d625a4c...33d1, 42175 bytes); test report 22/22, 0 vacuous. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 17, 2026
Contributor
…10079) spec-guards and coverage reported the seal stale: the spec changed in the previous commit. Resealed on the Railway lab with t27c seal specs/policy/l2_generation.t27 --save (zig 0.16.0): 22/22 pass, and the four gen hashes equal the "current" values CI printed (c 9bde97a5, rust 1381dab7, verilog c8b31e83, zig 1b937eda). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 17, 2026
Merged
Merged
Merged
Contributor
PR DashboardGenerated at: 2026-10-17 19:19:19 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
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 #10079
Why
PR #10064 (gen-json, #10050) commits
gen/json/igla/own_model_board.json, and its L2 GENERATION check fails:The plumbing runs the base's copy of the rule, so a PR cannot loosen the rule that judges it. The table entry has to land on master first; after it does, #10064's copy is checked against
t27c gen-json specs/igla/own_model_board.t27byte for byte like every other gen/ copy.What
specs/policy/l2_generation.t27:BACKENDSgainsjsonandSUBCOMMANDSgainsgen-json, both at index 4 (FR-001).the_backend_table_is_pinnednow pins both lists to length 5 and pinsjsonto the same index asgen-json.a_copy_maps_to_its_backend_and_stemgains two asserts.gen/json/igla/own_model_board.jsonmaps to its backend.gen/jsonl/a.jsonis stillR_UNKNOWN_BACKEND, so a prefix does not count as the backend name.gen/c/policy/l2_generation.c: this ist27c gen-coutput, not a hand edit (FR-002).Lab output (Railway lab, /tmp, PATH=/opt/zig)
The committed
gen/c/policy/l2_generation.chas sha2565d625a4c...33d1and is 42175 bytes, byte-identical to the lab output above.Not in this PR
🤖 Generated with Claude Code