test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) by gHashTag · Pull Request #12513 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T17:44:19Z

Summary

specs/analog/sar_comparator.t27: 13 new tests (groups A to M of issue analog: sar_comparator mutation test gaps (55 survivors of the census) #12432) appended after the last test, so no existing line moves; 33 tests, 33 pass, 0 vacuous passes of 33 (T27 OS pane run, 21:39-21:40 +07). Every assert is on a var binding (a constant expression is folded and counts for nothing).
docs/analog/mutation-accepted-sar_comparator.txt: 124 entries -- 39 equivalent (naming the 42 equivalent mutants), 79 hung, and 6 "deferred test gap (12512)" entries for the 7 mutants of groups N and O and line 522, which need lab figures. The deferred entries keep the gate green without claiming equivalence (precedent: mutation-accepted-sar_kick_net.txt).
Measured gate run on the tree of head bde9199 (--jobs 2 --timeout 45, 2026-10-25 23:40 to 2026-10-26 00:36 +07, load 9.07 at the start): 868 mutants, 707 killed, 49 survived, 79 hung, 33 unviable; 128 not killed, 121 accepted, 0 stale, 7 not accepted. Survivors fell from 98 (census) to 49: the 42 equivalent plus the 7 deferred, so the 49 test gaps of groups A to M are killed.
Note docs/analog/mutation-sar_comparator-2026-10-25.md records the run and the deferral; the seal of AnalogSarComparator is re-saved with the master-built t27c.

Not claimed

The gate was not re-run with the deferred entries in place: exit 0 follows from the run's own list (the 7 not accepted are exactly the 6 keys now accepted) and is inferred, not measured. Same step as the precedent of analog: sar_kick_net nine deferred mutation test gaps need lab values #12494.
"Killed by" per line stays a reading of the mutated line against the assert; the tool names no killing test.
Groups N, O and line 522 stay open in analog: sar_comparator seven deferred mutation test gaps (lines 522, 1291, 1322, 1396, 1397, 1404) need lab values #12512, so analog: sar_comparator mutation test gaps (55 survivors of the census) #12432 is referenced, not closed.
Only specs, docs and one seal change; no Rust, Python or workflow line.

🤖 Generated with Claude Code

Census 4 of 6 on issue #12241 ran 868 mutants of specs/analog/sar_comparator.t27: 659 killed, 98 survived, 78 hung, 33 unviable. The survivors read as 42 equivalent, 55 test gaps in 15 groups (A to O), 0 dead lines and 1 not decided (line 522). - specs/analog/sar_comparator.t27: 13 tests appended after the last test (no line above moves) for groups A to M, 49 of the 55 test-gap mutants. Every assert sits on a var binding and every expected word is hand arithmetic from the arrays the test builds. tri test: 33 tests, 33 pass, 0 vacuous. - docs/analog/mutation-accepted-sar_comparator.txt: 39 entries for the 42 equivalent survivors and 79 hung mutants (the 78 of the census and 914 drop-step, which hangs once the swap branch of sc_solve_f runs), 33 unviable as comment lines. - docs/analog/mutation-sar_comparator-2026-10-25.md: the survivors by group, the assert that kills each, and the not-done list. Not done: line 522 and groups N (1396, 1397, 1404) and O (1291, 1322 x2) need figures from the lab; the mutation gate was not run and the seal was not saved. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…eal (Refs #12432) The mutation gate of specs/analog/sar_comparator.t27 ran on the committed tree (868 mutants: 707 killed, 49 survived, 79 hung, 33 unviable; 128 not killed, 121 accepted, 0 stale, 7 not accepted). The 49 test gaps of groups A to M are measured as killed: the survivor count fell from 98 to 49, the 42 equivalent plus 7 deferred mutants. The 7 deferred mutants (groups N and O and line 522) need lab figures and sit in six deferred test gap entries naming issue 12512, so the gate stays green without claiming equivalence. The run with those entries added was not repeated; exit 0 is inferred from the run's own list, and the note says so. The seal of AnalogSarComparator is re-saved. Refs #12432 Refs #12512 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…_comparator-12432

github-actions · 2026-10-25T17:45:07Z

PR Dashboard

Generated at: 2026-10-25 17:44:55 UTC

test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) #12513 test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) | Created: 2026-10-25 | Updated: 2026-10-25 | 21 failing / 35 total
docs(now): give the newest entry its bullet so the cli-tri entry test passes (Closes #12510) #12511 docs(now): give the newest entry its bullet so the cli-tri entry test passes (Closes #12510) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 31 total
port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) #12500 port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 total
gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) #12499 gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 32 total
ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) #12492 ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 39 total
fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) #12487 fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 32 total
policy: foreign exception for the AX7203 WASM board top (Refs #12456) #12483 policy: foreign exception for the AX7203 WASM board top (Refs #12456) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 30 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 46 total
ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455 ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 41 total
dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) #12429 dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 36 total
spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414 spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) #12408 spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) #12405 feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 44 total
spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) #12402 spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
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 | 1 failing / 45 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 | 5 failing / 36 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 | 7 failing / 48 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 | 4 failing / 36 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 | 4 failing / 36 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 | 3 failing / 46 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 | 6 failing / 43 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 | 7 failing / 47 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 | 4 failing / 37 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 | 4 failing / 38 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 | 6 failing / 44 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 | 2 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 | 3 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 | 3 failing / 45 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 | 4 failing / 36 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
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

Summary

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

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-25T17:51:39Z

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 135c058. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

specs/analog/sar_comparator.t27: parses and typechecks.

Read by the model

This PR closes 49 mutation test gaps (groups A–M) in the SAR comparator spec by adding 13 tests, documents 42 equivalent and 79 hung mutants as accepted, and defers 7 mutants (groups N, O, line 522) to issue #12512 pending lab figures. The mutation gate was run once on the committed tree before the deferred entries were added; exit 0 with them in place is inferred, not measured.

Worth a look

.trinity/seals/analog_AnalogSarComparator.json: The spec_hash for specs/analog/linear.t27 and specs/analog/mos_table.t27 changed (b10b2a9→ccea765 and 13008c1→863454e). If those specs were not intentionally modified in this PR, the seal records a different dependency state than expected.
docs/analog/mutation-accepted-sar_comparator.txt:132–137 (deferred block): Six entries accept 7 mutants as "deferred test gap (12512)" without evidence they are equivalent or dead. The gate was not re-run with these entries; exit 0 is inferred from the prior run's list. If any deferred mutant is actually killed by the new tests, the gate would fail with "accepted but killed."
docs/analog/mutation-accepted-sar_comparator.txt:30 (line 425 [swap-arith]): One entry covers both the equivalent mutant (jp + jn > 1) and the group K test-gap mutant (jd = jp + jn) on the same line and kind. The entry remains valid only while the equivalent mutant survives; if a future change kills the equivalent one, the entry would incorrectly accept the test-gap mutant.
docs/analog/mutation-accepted-sar_comparator.txt:52 (line 522 [flip-cmp]): Marked "not decided, needs a lab trace." This mutant is neither proven equivalent nor killed—it is deferred on an open question.
specs/analog/sar_comparator.t27 (appended tests): All 13 new tests are appended at the end to avoid shifting line numbers. If future edits insert tests above, every line-keyed entry in mutation-accepted-sar_comparator.txt will become misaligned and the gate will fail.

_{Read: 4 files, +634 -10, the whole diff. Head 135c058. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}

…_comparator-12432

github-actions · 2026-10-25T18:00:38Z

PR Dashboard

Generated at: 2026-10-25 18:00:27 UTC

docs(skills): analog loop lessons of ticks 9 and 70-84 (Closes #12516) #12517 docs(skills): analog loop lessons of ticks 9 and 70-84 (Closes #12516) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 31 total
test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) #12513 test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) | Created: 2026-10-25 | Updated: 2026-10-25 | 27 failing / 34 total
port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) #12500 port(scripts): move the build_tree use inside the 29 gen_w6NN modules so the parser keeps their closing brace; reseal (Closes #12497) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 total
gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) #12499 gates(dupes): ledger row for the same group, the renamed remainder of the groups #12458 shrank (Closes #12498) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 32 total
ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) #12492 ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 39 total
fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) #12487 fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 32 total
policy: foreign exception for the AX7203 WASM board top (Refs #12456) #12483 policy: foreign exception for the AX7203 WASM board top (Refs #12456) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 30 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 46 total
ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455 ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 41 total
dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) #12429 dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 36 total
spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414 spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) #12408 spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) #12405 feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 44 total
spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) #12402 spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
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 | 1 failing / 45 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 | 5 failing / 36 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 | 7 failing / 48 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 | 4 failing / 36 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 | 4 failing / 36 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 | 3 failing / 46 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 | 6 failing / 43 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 | 7 failing / 47 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 | 4 failing / 37 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 | 4 failing / 38 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 | 6 failing / 44 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 | 2 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 | 3 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 | 3 failing / 45 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 | 4 failing / 36 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
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

Summary

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

These columns do not partition: 2 + 47 + 0 + 0 = 49, 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).

gHashTag · 2026-10-25T18:12:58Z

Merge basis (hand-merge under the rule of 2026-10-25 16:50, owner veto default from 2026-10-26 12:00 +07), head 135c058 (master dc98d95 is already in it):

The four required checks of ruleset t27-master-protection are green on this head: validate, check-linked-issue, parse-ratchet, own-language. The checks that read the spec diff are green too: emit-bitexact, t27b-native-linux, t27b-native-macos, t27b-native-ratchet, cli-tri, Verilog widths.
Diff: specs/analog/sar_comparator.t27 (+355, test blocks only, no new fn), the seal .trinity/seals/analog_AnalogSarComparator.json, the accepted file docs/analog/mutation-accepted-sar_comparator.txt and the note docs/analog/mutation-sar_comparator-2026-10-25.md.
Three reds were read in their logs on this head and are inherited, none comes from this diff: duplicate-bodies ("a body written under same is now copied [2] time(s) and was in no ledger"; the diff adds no fn, and the same bodies live in other specs; ledger fix in PR 12499 / duplicate-bodies: the x2 same group is the renamed remainder of the groups #12458 shrank, not new duplication; ledger row missing #12498); coverage (step "Every seal still describes its spec": five [stale] t27os seals Doctor, GlassWindow, LabPublish, PtyServer, ReceiptName, tracked in ci: five t27os seals added by #12373 are stale on master (coverage and spec-guards red) #12509); spec-guards (the same five STALE generated-code hashes of t27os specs).
Not complete at merge time: Corpus ratchet (expected-failure ledger) (known red: the [parse-no-discard] failures, fix PR 12500).
Honest limit, as written in the note: the measured gate run (868 mutants, 707 killed, 49 survived, 79 hung, 33 unviable, exit 0) was taken before six entries became "deferred test gap (12512)"; the gate with the deferred block is inferred to exit 0, not re-measured. analog: sar_comparator mutation test gaps (55 survivors of the census) #12432 stays open until analog: sar_comparator seven deferred mutation test gaps (lines 522, 1291, 1322, 1396, 1397, 1404) need lab values #12512 lands; this PR only references it.

🤖 Addressed by Claude Code

gHashTag and others added 3 commits October 25, 2026 21:41

Merge remote-tracking branch 'origin/master' into lane/analog-mut-sar…

e948a25

…_comparator-12432

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

fix(census): re-bless the pin for the release leg workflow (Closes #12514) #12515

Merged

This was referenced Oct 25, 2026

docs(now): give the newest entry its bullet so the cli-tri entry test passes (Closes #12510) #12511

Merged

docs(skills): analog loop lessons of ticks 9 and 70-84 (Closes #12516) #12517

Merged

Merge remote-tracking branch 'origin/master' into lane/analog-mut-sar…

135c058

…_comparator-12432

gHashTag merged commit 62fc922 into master Oct 25, 2026
32 of 36 checks passed

gHashTag deleted the lane/analog-mut-sar_comparator-12432 branch October 26, 2026 03:40

Navigation Menu

Repository navigation

test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432) - #12513

test(analog): sar_comparator mutation gaps closed, gate measured, 7 deferred (Refs #12432)#12513
gHashTag merged 4 commits into
masterfrom
lane/analog-mut-sar_comparator-12432

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

tri-claw Bot commented Oct 25, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

gHashTag 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

Summary

Not claimed

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

tri-claw Bot commented Oct 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

tri-claw Bot commented Oct 25, 2026 •

edited

Loading