test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431) by gHashTag · Pull Request #12482 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T15:44:52Z

What

specs/analog/accept_sar.t27: 209 lines of asserts added at the end (no existing line moved), killing the 23 test-gap survivors of the census of 2026-10-25.
docs/analog/mutation-accepted-accept_sar.txt: 39 accepted entries (7 equivalent, 27 not constructed, 1 dead line kept, 4 hung).
docs/analog/mutation-accept_sar-2026-10-25.md: the note, with the measured gate run.
.trinity/seals/analog_AnalogAcceptSar.json: re-saved with the master-built compiler (save, verify and tri seals changed exit 0).

Measured

Gate (--jobs 2 --timeout 45, 20 minutes): 281 mutants, 241 killed (218 in the census, so the 23 new kills are the 23 test gaps), 35 survived, 4 hung, 1 unviable; 39 not killed, 39 accepted, 0 accepted line now killed, "Gate passed", exit 0.

A first run ended with exit 2: an accepted entry written for the unviable mutant of line 631 was reported as "accepted but killed". The cause, read in cli/tri/src/mutate.rs (gate_counts): entries are matched by line and kind, unviable mutants are left out of the lookup, and an entry is stale when every viable mutant of the key was killed. Line 631 has three swap-arith mutants, one unviable and two killed. The entry was removed; the note records the rule.

Not done

The 27 "not constructed" survivors rest on reading the code; line 651 keep-or-delete is the owner's call.

🤖 Generated with Claude Code

The census of specs/analog/accept_sar.t27 (281 mutants) left 58 survivors. This change closes the 23 that a test can reach and writes down the rest. - specs/analog/accept_sar.t27: nine tests appended after line 1787 (209 added lines, 69 counted asserts; no existing line moved). They pin the limits of the checks from both sides, the sign check of the comparator, the tallies, the bar ties of the comparator, t-gate, inverter-delay and dff-levels rows, the clock trim code and the ramp helper. - docs/analog/mutation-accepted-accept_sar.txt: 40 entries for the survivors no test can kill (7 equivalent ties, 27 not constructed, 1 dead line, 4 hung, 1 unviable), in the format of tri mutate spec --accepted. - docs/analog/mutation-accept_sar-2026-10-25.md: the note, with the number sources, the kill table and the caveats. Measured: tri test specs/analog/accept_sar.t27 gives tests 26, pass 26, fail 0, vacuous passes 0 of 26. Each of the 23 target mutants was planted by hand with tri mutate plant and each is killed by exactly the named test. The mutation gate was not run and no seal was saved. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…d accepted file measured (Closes #12431) Gate on the tree with the new asserts: 281 mutants, 241 killed (218 in the census, so the 23 new kills are the 23 test gaps), 35 survived, 4 hung, 1 unviable; 39 not killed, 39 accepted, 0 stale, exit 0 (20 minutes at --jobs 2 --timeout 45). A first run ended with exit 2: an accepted entry for the unviable mutant of line 631 counts as killed, so the entry was removed. Seal of analog_AnalogAcceptSar re-saved with the master-built compiler. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…te and accepted file (Refs #12431) The first correction said an entry for an unviable mutant counts as killed. Reading gate_counts in cli/tri/src/mutate.rs shows otherwise: unviable mutants are left out of the lookup, and an entry is stale when every viable mutant of its line and kind was killed. Line 631 has three swap-arith mutants (one unviable, two killed), which is why the entry written for the unviable one was stale. Text only; the spec and the seal are unchanged. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T16:10:07Z

PR Dashboard

Generated at: 2026-10-25 16:09:56 UTC

policy(foreign): record the owner's approval of the T27 OS release leg workflow (Refs #12479) #12484 policy(foreign): record the owner's approval of the T27 OS release leg workflow (Refs #12479) | Created: 2026-10-25 | Updated: 2026-10-25 | 28 failing / 33 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 | 12 failing / 34 total
test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431) #12482 test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431) | Created: 2026-10-25 | Updated: 2026-10-25 | 18 failing / 37 total
spec(t27os): the release leg card and its law, dispatch-only, owner yes gate (Refs #12479) #12480 spec(t27os): the release leg card and its law, dispatch-only, owner yes gate (Refs #12479) | Created: 2026-10-25 | Updated: 2026-10-25 | 8 failing / 38 total
docs(analog): skill traps from the 2026-10-25 mutation gates (Closes #12474) #12475 docs(analog): skill traps from the 2026-10-25 mutation gates (Closes #12474) | Created: 2026-10-25 | Updated: 2026-10-25 | 14 failing / 28 total
t27os: key-rotation status line for Claude Code panes + worktree-lane skill (Closes #12466) #12473 t27os: key-rotation status line for Claude Code panes + worktree-lane skill (Closes #12466) | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 34 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
numeric: drop the dead braceless invariant the parser discarded in zphi_alu.t27, reseal (Closes #12464) #12465 numeric: drop the dead braceless invariant the parser discarded in zphi_alu.t27, reseal (Closes #12464) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 37 total
seals: drop the stale FpgaHdmiGrab seal that #12430 re-added (Closes #12461) #12462 seals: drop the stale FpgaHdmiGrab seal that #12430 re-added (Closes #12461) | Created: 2026-10-25 | Updated: 2026-10-25 | 2 failing / 37 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 | 11 failing / 43 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 | 5 failing / 41 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
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 | 5 failing / 37 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 | 5 failing / 41 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 / 41 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 | 5 failing / 41 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 | 4 failing / 44 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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	42
PRs with All Checks Green	8
READY	1
FAILING	42
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 42 + 0 + 0 = 43, 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-25T16:18:13Z

Check read (Documented t27c subcommands exist, tick 80): the red is inherited. It fails on master itself since 4f1c99a (#12458, run 40208825572: dead tri mentions rose 86 -> 87), and on the earlier docs-only PR 12475. The one new mention is the backticked tri boiler at .claude/skills/boilerplate-loop/SKILL.md:77; this PR touches no document that names a tri command. Filed as #12488, fix PR #12489 (one line, prose only). Nothing to change on this branch.

🤖 Addressed by Claude Code

gHashTag · 2026-10-25T16:19:24Z

Merge basis (hand-merge under the rule of 2026-10-25 16:50, owner veto default from 2026-10-26 12:00 +07):

The four required checks of ruleset t27-master-protection are green on head 757609f: validate, check-linked-issue (the earlier run was CANCELLED by the re-push, the current one is SUCCESS), parse-ratchet, own-language.
Diff: specs/analog/accept_sar.t27 (+209 lines of asserts, nothing moved), the accepted list, the note, and the re-saved seal .trinity/seals/analog_AnalogAcceptSar.json. Gate measured on the pushed head: 281 mutants, 241 killed, 35 survived, 4 hung, 1 unviable, 39 accepted, "Gate passed", exit 0.
Every red was read in its log and none is caused by this diff:
- duplicate-bodies: the put_lit group (dupe ratchet: put_lit body copied in handoff.t27 and trigit/verbs.t27 turns every PR red #12419, fix PR 12429) and a new same group "was in no ledger"; both reproduced on a bare checkout of master 4f1c99a (comment 6399965688 on dupe ratchet: put_lit body copied in handoff.t27 and trigit/verbs.t27 turns every PR red #12419). This diff adds no function body.
- Documented t27c subcommands exist: red on master itself since 4f1c99a (run 40208825572, dead tri mentions 86 -> 87); the new mention is tri boiler at .claude/skills/boilerplate-loop/SKILL.md:77. Filed as gates: dead tri mention rose 86 -> 87 on master (tri boiler in boilerplate-loop skill) #12488, fix PR 12489.
- coverage and spec-guards: the two stale seals fpga_FpgaHdmiGrab.json (seal-coverage and spec-guards red on master: stale FpgaHdmiGrab seal re-added by #12430 #12461, fix PR 12462) and t27os_T27osFrameGate.json (seal: T27osFrameGate stale on master after e376a06e99 (spec-guards red on every PR) #12485, spec-guards red on master: stale T27osFrameGate seal after #12467 changed frame_gate.t27 #12486). analog_AnalogAcceptSar.json is in neither list.
- fix-carries-source and one check-linked-issue: CANCELLED by the re-push (superseded runs).
Not complete yet: Corpus ratchet (known red on master, zphi_alu [parse-no-discard], Corpus Ratchet red on master: zphi_alu.t27 discards a braceless invariant body (parse-no-discard, 61 tokens) #12464, fix PR 12465), L1 Traceability Summary, gitleaks (also ran in the lefthook gate at commit time). Precedent: PRs 12468 and 12475.
Not done and recorded in the note: the 27 "not constructed" survivors rest on reading the code; line 651 keep-or-delete is the owner's call.

🤖 Addressed by Claude Code

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

Merge master into lane/analog-mut-accept_sar-12431

adbf42a

gHashTag mentioned this pull request Oct 25, 2026

analog: accept_sar mutation test gaps (23 survivors of the census) #12431

Closed

This was referenced Oct 25, 2026

policy: foreign exception for the AX7203 WASM board top (Refs #12456) #12483

Merged

policy(foreign): record the owner's approval of the T27 OS release leg workflow (Refs #12479) #12484

Merged

gHashTag merged commit 08195c8 into master Oct 25, 2026
31 of 38 checks passed

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

Navigation Menu

Repository navigation

test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431) - #12482

test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431)#12482
gHashTag merged 4 commits into
masterfrom
lane/analog-mut-accept_sar-12431

gHashTag commented Oct 25, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

gHashTag 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 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

What

Measured

Not done

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag 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

gHashTag commented Oct 25, 2026 •

edited

Loading