seals: reseal StorageKv, stale since today's merges (Closes #12347) by gHashTag · Pull Request #12386 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T10:59:38Z

The gate's own repair, the #12348 pattern: specs/storage/kv.t27's four gen hashes (rust, zig, c, verilog) moved under their seal, so check_seal_currency (the spec-guards step) is red for every PR open against master right now -- verified red on pristine master at 15acb60 before this.

both twins refreshed (StorageKv.json, storage_StorageKv.json), spec_hash unchanged (the spec did not move; the generator output did)
check_seal_currency on this tree's own compiler: 0 stale
check_seal_coverage: OK, 3058 seals, 0 newly broken

Refs #12347.

specs/storage/kv.t27's four gen hashes moved under it (rust, zig, c and verilog together -- a generator-side move, not a spec edit: the seal's spec_hash still matches). check_seal_currency goes red for every open PR on it; this records what the compiler now produces, the #12348 pattern. Both twins (StorageKv.json, storage_StorageKv.json) refreshed; coverage 3058 seals, 0 newly broken; currency 0 stale on the tree's own compiler.

github-actions · 2026-10-25T11:17:03Z

PR Dashboard

Generated at: 2026-10-25 11:16:55 UTC

spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) #12398 spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 33 failing / 36 total
spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) #12397 spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) | Created: 2026-10-25 | Updated: 2026-10-25 | 32 failing / 35 total
feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) #12394 feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) | Created: 2026-10-25 | Updated: 2026-10-25 | 35 failing / 39 total
crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) #12393 crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 35 total
gate-topology: classify t27os.yml -- one line (Refs #12177) #12392 gate-topology: classify t27os.yml -- one line (Refs #12177) | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 29 total
docs(analog): ticks 61-65 merge-rule and gate lessons in the analog-emulation skill #12391 docs(analog): ticks 61-65 merge-rule and gate lessons in the analog-emulation skill | Created: 2026-10-25 | Updated: 2026-10-25 | 26 failing / 29 total
spec(t27os): DOCTOR decides non-repo leftovers, parking and the Trash (Closes #12385) #12389 spec(t27os): DOCTOR decides non-repo leftovers, parking and the Trash (Closes #12385) | Created: 2026-10-25 | Updated: 2026-10-25 | 32 failing / 39 total
trigit handoff: the ledger one session leaves for the next -- the verb, the contract, the T27OS row (Closes #12286) #12388 trigit handoff: the ledger one session leaves for the next -- the verb, the contract, the T27OS row (Closes #12286) | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 38 total
seals: reseal StorageKv, stale since today's merges (Closes #12347) #12386 seals: reseal StorageKv, stale since today's merges (Closes #12347) | Created: 2026-10-25 | Updated: 2026-10-25 | 24 failing / 31 total
spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) #12383 spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) | Created: 2026-10-25 | Updated: 2026-10-25 | 28 failing / 33 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 13 failing / 38 total
spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) #12373 spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 34 total
feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) #12364 feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 49 total
feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames #12356 feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames | Created: 2026-10-25 | Updated: 2026-10-25 | 8 failing / 42 total
spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) #12341 spec(t27f): petal P PULLS -- list, trace, inspector and badge from merge_judge.t27 (Closes #12340, Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 total
fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338 fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) | Created: 2026-10-25 | Updated: 2026-10-25 | 14 failing / 45 total
spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333 spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 36 total
spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) #12308 spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) | Created: 2026-10-25 | Updated: 2026-10-25 | 23 failing / 36 total
fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) #12304 fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 43 total
docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) #12282 docs(t27f): VIZ-PETAL-GUIDE -- how to add the visualization for one more petal (Refs #12173) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 total
spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 45 total
bees README: the 2026-10-25 key and model probe matrix #12177 bees README: the 2026-10-25 key and model probe matrix | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 30 total
t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 2 total
crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee #12169 crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 45 total
spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) #12167 spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) #12061 fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) | Created: 2026-10-24 | Updated: 2026-10-25 | 6 failing / 44 total
fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) #12060 fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) | Created: 2026-10-24 | Updated: 2026-10-25 | 8 failing / 42 total
T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) #12025 spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) | Created: 2026-10-24 | Updated: 2026-10-24 | 5 failing / 40 total
t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) #12013 t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) | Created: 2026-10-24 | Updated: 2026-10-24 | 4 failing / 39 total
gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) #12004 gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) | Created: 2026-10-24 | Updated: 2026-10-24 | 8 failing / 51 total
spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) #11948 spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) | Created: 2026-10-24 | Updated: 2026-10-24 | 2 failing / 37 total
test(t27f): frame_render clears the raster before it blends (Refs #3) #11922 test(t27f): frame_render clears the raster before it blends (Refs #3) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 28 total
spec(crons): the lab.yml verdict step as t27 law (t27os#9) #11894 spec(crons): the lab.yml verdict step as t27 law (t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 33 total
spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891 spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-25 | 30 failing / 34 total
queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 57 total
fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-24 | 7 failing / 45 total
tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 41 total
gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-24 | 3 failing / 47 total
tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-24 | 6 failing / 40 total
t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total
gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-23 | 15 failing / 38 total

Summary

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

These columns do not partition: 3 + 34 + 0 + 0 = 37, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=75249fe1efad != 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 · 2026-10-25T11:50:35Z

Summary by t27-bees

This PR reseals the StorageKv module by updating all four generator hashes (C, Rust, Verilog, Zig), the seal timestamp, and the spec hash. It also empties the dependency closure in storage_StorageKv.json and removes the sealed_by field. The description claims the spec hash is unchanged, but the diff shows it changed in both files.

Worth a look

.trinity/seals/StorageKv.json:10 — spec_hash changed from 754f743b... to 705972c0... despite the description stating "spec_hash unchanged (the spec did not move)". If the spec actually changed, the reseal is correct but the description is misleading; if the spec didn't change, this new hash is wrong and will cause future seal mismatches.
.trinity/seals/storage_StorageKv.json:4–13 — The closure array was completely removed (previously listed specs/base/types.t27 and specs/storage/schema.t27). This means the seal no longer tracks those transitive dependencies; if either of those specs changes, the seal won't detect it.
.trinity/seals/storage_StorageKv.json:18 — The sealed_by field ("t27c-bootstrap@0.5.2") was dropped. If tooling or audits rely on this field to identify the sealer, its absence could break checks.
.trinity/seals/StorageKv.json:13 / storage_StorageKv.json:17 — The tests.blocked error location shifted from spec.zig:46:30 to spec.zig:44:34, confirming the spec source moved. This aligns with the spec hash change but contradicts the "spec did not move" claim.
.trinity/seals/storage_StorageKv.json:3 — built_by bootstrap hash changed from b6f775178 to b81e86f07. If the bootstrap compiler differs materially, generated output could have semantic differences not caught by hash comparison alone.

_{Read: 2 files, +16 -25, the whole diff. Head 61e9dce. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}

…, Refs #9367) Merging nine more commits of origin/master conflicted in one seal file, analog_AnalogMosTable. It took master's version and was re-sealed with the cast-widening emitter, so only gen_hash_verilog (plus built_by and sealed_at) differs from master. tri seals drift lists nothing else of mine. The remaining stale pair, StorageKv and storage_StorageKv, comes from master: specs/storage/kv.t27 changed there after it was sealed (fix: #12386), and this branch touches neither file. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Brings in the StorageKv reseal (#12386) so the coverage seal check passes on this branch. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

… (Refs #12419) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…sion (Closes #12296) (#12338) * fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) The ExprCast arm of gen_verilog_expr printed the operand of `x as u64` verbatim. Verilog sizes an expression to its widest operand, so `(a as u64) + (b as u64) > (lim as u64)` over u32 inputs stayed a 32-bit add and wrapped, while the interpreter (test-report runs zig) computed it at 64 bits: t27c test-report said 42 of 42 and vvp failed mem_access_past_the_page_traps on the WASM cell. A cast to a wider integer target now emits an explicit extension: zero-extending `{{(W-N){1'b0}}, op}` for an unsigned operand, sign-extending `{{(W-N){($signed(op) < 0)}}, op}` for a signed one, wrapped in `$signed(...)` for a signed target. The enclosing expression is then sized by the cast target, so sums and comparisons run at the widened width. Literal, unknown-width, float and 32-bit-plus signed-composite operands keep their old forms. Also: unit tests test_verilog_cast_width_correct (adds the u32 -> u64 sum and an i32 -> i64 case), test_verilog_cast_no_as_keyword and accepts_valid_cast_as_control follow the new text; the corpus spec specs/fpga/w5_cast_widen.t27 with its icarus baseline is the regression witness; tools/elab_baseline.txt gains the row `w5_cast_widen 0` (the ratchet reads specs/fpga by directory); bootstrap/stage0/FROZEN_HASH moves with compiler.rs. Refs #9367 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): FROZEN_HASH regenerated for the merged compiler.rs (Refs #12296, Refs #9367) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(census): re-bless for t27os.yml, which arrived on master with the ledgers un-moved (Refs #12296, Refs #11788) The census moved because #12330 added .github/workflows/t27os.yml on master and did not re-bless: workflow files read 67 -> 68, jobs 96 -> 97, run: steps 329 -> 331, runner-named shells 308 -> 310. Written by tri census pin --bless, checked by tri census pin --gate (rc 0). Data only, no code. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal 235 seal files whose Verilog moved with the cast-widening fix (Refs #12296, Refs #9367) The emitter now extends a cast to a wider integer explicitly, so the Verilog of 220 specs (235 seal files with their twins) changed. In every one of them gen_hash_verilog is the only generated hash that moved; gen_hash_zig, gen_hash_rust and gen_hash_c are unchanged. The re-seal also refreshes built_by and, where it had gone stale, the test_runner hash. Written by tri seals drift --fix plus t27c seal specs/t27f/face.t27 --save (that one aborts in a build with overflow checks, array_size - 1 at compiler.rs:15134 on master, so the binary was built with CARGO_PROFILE_DEV_OVERFLOW_CHECKS=false, which matches the release build). The four stale seals that master already carries (GitDiff, git_GitDiff, TriBuilder, pipeline_TriBuilder: specs/git/diff.t27 and specs/tri/pipeline/builder.t27 changed after sealing) are left alone; #12348 and #12350 own them. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal the three specs whose Verilog moved after merging master (Refs #12296, Refs #9367) Merging origin/master (27 commits) conflicted in three seal files: fpga_wasm_opcodes, t27f_a11y_mirror and t27os_T27osAgentParts. Each took master's version and was re-sealed with the cast-widening emitter, so only gen_hash_verilog (plus built_by and sealed_at) differs from master. Six seals that my earlier re-seal had written against the older spec (JitSemantics, PackedVsa, TriBuilder and their twins) are restored to master's versions: master moved those specs and re-sealed them, and its seals already match the emitter output. tri seals drift: 0 specs moved. check_seal_coverage: OK, no gen-drift and no stale. check_seal_currency: 0 stale. tri census pin --gate: PASS. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal analog raw_writer and sar_switch after merging master (Refs #12296, Refs #9367) Merging ten more commits of origin/master conflicted in two seal files, analog_AnalogRawWriter and analog_AnalogSarSwitch. Each took master's version and was re-sealed with the cast-widening emitter, so only gen_hash_verilog (plus built_by and sealed_at) differs from master. tri seals drift lists nothing else of mine. The remaining stale pair, StorageKv and storage_StorageKv, comes from master: specs/storage/kv.t27 changed there after it was sealed, and this branch touches neither file. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal analog mos_table after merging master (Refs #12296, Refs #9367) Merging nine more commits of origin/master conflicted in one seal file, analog_AnalogMosTable. It took master's version and was re-sealed with the cast-widening emitter, so only gen_hash_verilog (plus built_by and sealed_at) differs from master. tri seals drift lists nothing else of mine. The remaining stale pair, StorageKv and storage_StorageKv, comes from master: specs/storage/kv.t27 changed there after it was sealed (fix: #12386), and this branch touches neither file. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal t27f frame_render after merging master (Refs #12296, Refs #9367) Merging b1a5857 of origin/master conflicted in one seal file, t27f_frame_render. It took master's version and was re-sealed with the cast-widening emitter, so only gen_hash_verilog (plus built_by and sealed_at) differs from master. tri seals drift listed nothing else. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal t27os provider_profile after merging master (Refs #12296, Refs #9367) Master's b1a5857 brought in the provider_profile spec with a seal made by the master emitter. Its gen_hash_verilog moves with the cast-widening emitter, so it was re-sealed; only gen_hash_verilog (plus built_by and sealed_at) differs from master. The FpgaHdmiGrab seal is left alone: it was sealed on 2026-10-20 and its spec_hash no longer matches hdmi_grab.t27 on master itself, which this branch does not touch. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal four specs after merging master (Refs #12296, Refs #9367) Merging origin/master into the branch conflicted in three seal files (analog_AnalogSarComparator, analog_AnalogSarComparatorQ, t27os_T27osAgentParts). The master versions were taken and the specs re-sealed with the cast-widening emitter. tri seals drift also listed t27os/hot_reload, whose only moved hash is gen_hash_verilog. Against master only gen_hash_verilog (plus built_by and sealed_at, and the nested import spec_hash of sar_comparator_q and agent_parts) differs. The doctor, glass_window, lab_publish, pty_server and receipt_name seals moved in every hash, so they are master's stale seals and are left alone. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal analog sar_comparator after the second master merge (Refs #12296, Refs #9367) Master's 0fd2a8c changed specs/analog/sar_comparator.t27 and re-sealed it. The merge kept this branch's older seal; master's file was restored and re-sealed with the cast-widening emitter. Against master only gen_hash_verilog (plus built_by and sealed_at) differs, and tri seals drift lists nothing else. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * merge: resolve seal artefacts and FROZEN_HASH to master's version * chore(seal): re-freeze compiler.rs and re-seal three wasm specs after merging master (Refs #12296, Refs #9367) Merging origin/master (853a782, with the BRAM-shape emitter change of #12297) conflicted in bootstrap/stage0/FROZEN_HASH and in the seals of fpga/wasm_board_ax7203, fpga/wasm_opcodes and tri/t27b/wasm. The merged compiler.rs hash is recorded in FROZEN_HASH again, and the three seals were taken from master and re-saved with the merged emitter. Against master only gen_hash_verilog (plus built_by and sealed_at) differs in those seals, and tri seals drift lists nothing else. compiler.rs is still 40 added / 40 deleted against master. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal t27f spec_graph_fold and spec_graph_view after merging master (Refs #12296, Refs #9367) The branch on the remote had taken two master merges while this branch was being fixed. After integrating both, tri seals drift lists four specs. Two of them (t27f/spec_graph_fold and t27f/spec_graph_view) moved only in gen_hash_verilog, which is the cast-widening emitter, and are re-sealed here. The other two (crons/t27os-night-loop and t27os/hive_feed_acceptance) moved in every hash including spec_hash, so they are master's stale seals and are left alone. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal four specs after merging master (Refs #12296, Refs #9367) Merging origin/master (8384eb9) conflicted only in four t27os seals. Earlier merges on this branch had kept stale copies of twelve files that master had since rewritten (wasm_board_ax7203, wasm_opcodes, the fpga verilog and workflow files, the night-loop spec, the census ledgers). This merge takes master's side, so the PR differs from master again only in compiler.rs, its frozen hash, w5_cast_widen and the seals. tri seals drift then lists six specs. Four moved only in gen_hash_verilog, which is the cast-widening emitter, and are re-sealed here: fpga/wasm_board_ax7203, fpga/wasm_opcodes, t27os/release, t27os/statusbar. The other two (crons/t27os-night-loop and t27os/hive_feed_acceptance) moved in every hash including spec_hash, so they are master's stale seals and are left alone. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal claw merge_judge and pr_tools after merging master (Refs #12296, Refs #9367) Master (6b9fa51) re-sealed claw/merge_judge and claw/pr_tools. Both moved only in gen_hash_verilog under this branch's cast-widening emitter, so they are re-sealed here. tri seals drift now lists only crons/t27os-night-loop and t27os/hive_feed_acceptance, which are master's stale seals (every hash moved, including spec_hash) and are left alone. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * chore(seal): re-seal t27f scene after merging master (Refs #12296, Refs #9367) Merging origin/master (9a6e4e7) was clean with -X theirs. The PR differs from master only in compiler.rs, its frozen hash, w5_cast_widen and the seals. tri seals drift lists eight specs: specs/t27f/scene moved only in gen_hash_verilog (the cast-widening emitter) and is re-sealed here. The other seven (crons/t27os-night-loop, t27f/a11y_mirror, t27f/hud, t27f/work_graph, t27os/hive_feed_acceptance, t27os/lab_legs, tri/t27b/wasm) moved in spec_hash too, so master's spec changed without a re-seal; they are master's stale seals and are left alone. compiler.rs is still 40 added / 40 deleted against master and matches bootstrap/stage0/FROZEN_HASH. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions Bot mentioned this pull request Oct 25, 2026

spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414

Merged

This was referenced Oct 25, 2026

chore(seals): reseal StorageKv after #4660 (Closes #12407) #12418

Closed

seals: StorageKv (specs/storage/kv.t27) gen hashes stale on master, red Spec Guards on every PR #12407

Closed

github-actions Bot mentioned this pull request Oct 25, 2026

fpga: the 27-petal home rasteriser -- petal_menu geometry on the VGA raster (M5, Closes #11802) #12420

Merged

gHashTag merged commit aa5fcb3 into master Oct 25, 2026
31 of 32 checks passed

gHashTag mentioned this pull request Oct 25, 2026

spec(crons): SELF-CRITICAL closes an own night PR whose bytes are already on master #12396

Closed

gHashTag added a commit that referenced this pull request Oct 25, 2026

Merge master into claw-gates-t27os lane (Refs #12417)

d80f596

Brings in the StorageKv reseal (#12386) so the coverage seal check passes on this branch. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

This was referenced Oct 25, 2026

claw: add the t27os workflow row to the gate inventory, 68 rows #12421

Merged

epic(fpga): DOOM on the AX7203 -- status and progress dashboard of the WASM board stack #12387

Closed

gHashTag added a commit that referenced this pull request Oct 25, 2026

Merge master: StorageKv reseal (#12386) and the t27os gate row (#12421)…

c98fcfc

… (Refs #12419) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 25, 2026

fix(seals): re-seal storage/kv after Wave 684 rewrote the spec (Refs #4660) #12433

Closed

seal-coverage and spec-guards red on master: stale FpgaHdmiGrab seal re-added by #12430 #12461

Closed

gHashTag deleted the chore/kv-reseal branch October 26, 2026 03:41

Navigation Menu

Repository navigation

seals: reseal StorageKv, stale since today's merges (Closes #12347) - #12386

seals: reseal StorageKv, stale since today's merges (Closes #12347)#12386
gHashTag merged 1 commit into
masterfrom
chore/kv-reseal

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

tri-claw Bot commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

tri-claw Bot commented Oct 25, 2026

Summary by t27-bees

Worth a look

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant