analog: sar_comparator_q groups C, D, E asserts, gate passes 38/21/17, seal re-saved (Closes #12230) by gHashTag · Pull Request #12459 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T14:09:37Z

Test-gap groups C, D and E of specs/analog/sar_comparator_q.t27, plus the decision on the four dead-line mutants. Part of the analog v0.1 weak-spot sweep (epic #10486, see the ledger there).

What changed

specs/analog/sar_comparator_q.t27: 114 lines appended at the end (nothing above moved or removed), three groups of asserts:
- group C, sq_fd lines 307/311/314/315: the forward difference at the tie word VDD - SQ_DV for both kinds on all three axes, and the backward one at vsb = VDD (25 runtime asserts);
- group D, sq_dev lines 348/351: the body slope is left out when the source sits exactly on its rail word, NMOS 2 and PMOS 7 (6 asserts; the lab shows the body slope is non-zero there, so these were real test gaps);
- group E, sq_dev line 369: the SQ_M_SWAPQ run pinned by its fold, its residual and its first output time (5 asserts).
docs/analog/mutation-accepted-sar_comparator_q.txt: the 7 pending entries removed (the new tests kill them), lines 164 (x3) and 388 stay as "dead but kept" with a reason; 34 entries, none pending.
docs/analog/mutation-sar_comparator_q-2026-10-25.md: extended, and its forecast and "not done" lines replaced with the measured run below.
.trinity/seals/analog_AnalogSarComparatorQ.json: re-saved with the master-built compiler after master was merged into the lane (--verify exit 0, tri seals changed CHECKED).

Evidence

tri test on the spec: 15 tests, 15 pass, 0 fail, 0 vacuous passes of 15.
Mutation gate (tri mutate spec --file specs/analog/sar_comparator_q.t27 --accepted docs/analog/mutation-accepted-sar_comparator_q.txt --jobs 2 --timeout 45, master-built compiler, in a T27 OS pane, 20:42:30-21:02:23 +07): "38 not killed (21 survived, 17 hung), 38 accepted; 0 accepted line(s) now killed", "Gate passed", exit 0. The forecast of 38 / 21 / 17 held exactly. Spec and accepted file are byte-identical to the gated tree.
A first gate run was stopped by the kill rule (another session's seal sweep took the 1-min load to 71.7) and is recorded as no result on analog: sar_comparator_q mutation test gaps, groups C, D and E - sq_fd supply edge, sq_dev body-slope kink, SWAPQ control, and the 4 dead-line mutants #12230.

Not done

tri coverage --strict was not run locally; CI runs it.
Line 388 (if (!jac) { return; }) is testable by a direct sq_dev call and the test was not added: the issue kept the line as dead, and the accepted entry says so.
The 17 equivalent survivors are classified by reading, not proved by a tool; the 17 hung by construction.

🤖 Generated with Claude Code

Three tests appended at the end of specs/analog/sar_comparator_q.t27 (114 lines, nothing above them moved), for the 7 low-value survivors of groups C, D and E of the census: - C, sq_fd 307/311/314/315: the one-sided difference at the tie word VDD - SQ_DV is the forward one for both kinds on all three axes, and the top word vsb = VDD reads the backward one (25 asserts). - D, sq_dev 348/351: the body slope is left out where the source sits exactly on its rail word, NMOS and PMOS (6 asserts); the lab shows cb is non-zero there, so these were not equivalent mutants. - E, sq_dev 369: the SQ_M_SWAPQ run is pinned by its fold, its residual and its first output time (5 asserts). tri test of the spec: 15 tests, 15 pass, 0 fail, 0 vacuous of 15. Each of the 7 mutants was also run by hand and turned the new test of its group red (4 runs, the other tests stayed green). The mutation gate was not run on this tree and the seal was not saved. The accepted file drops the 7 pending entries and keeps lines 164 and 388 as "dead but kept" with their reasons (34 entries, none pending); the note is extended with the three tests, the lab values and the hand runs. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…-saved, doc records the measured run (Closes #12230) The mutation gate on specs/analog/sar_comparator_q.t27 with the 34-entry accepted file printed "38 not killed (21 survived, 17 hung), 38 accepted; 0 accepted line(s) now killed" and "Gate passed", exit 0 (--jobs 2 --timeout 45, master-built compiler, 20:42:30-21:02:23 +07). The forecast of 38 / 21 / 17 held exactly. A first run was stopped by the kill rule when another session's sweep took the 1-min load to 71.7; it gave no result and is recorded as such. The seal of AnalogSarComparatorQ is re-saved with the master-built compiler after master was merged into the lane (--verify exit 0). The note in docs/analog replaces its forecast and "not done" lines with the measured run. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T14:47:07Z

PR Dashboard

Generated at: 2026-10-25 14:46:58 UTC

perf(t27os): idle frames in the screen's colour space, no wakeups when hidden or between ticks (Refs #12368) #12467 perf(t27os): idle frames in the screen's colour space, no wakeups when hidden or between ticks (Refs #12368) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 36 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 | 32 failing / 36 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 | 27 failing / 30 total
analog: sar_comparator_q groups C, D, E asserts, gate passes 38/21/17, seal re-saved (Closes #12230) #12459 analog: sar_comparator_q groups C, D, E asserts, gate passes 38/21/17, seal re-saved (Closes #12230) | Created: 2026-10-25 | Updated: 2026-10-25 | 16 failing / 37 total
spec(std): std::text, the loop card and skill for the boilerplate epic (Closes #12445, #12453) #12458 spec(std): std::text, the loop card and skill for the boilerplate epic (Closes #12445, #12453) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 34 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 / 38 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 | 9 failing / 33 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 | 17 failing / 36 total
style(t27os): black ground everywhere, one palette; petal M is the GNN work-graph page (Closes #12370) #12416 style(t27os): black ground everywhere, one palette; petal M is the GNN work-graph page (Closes #12370) | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 34 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 | 29 failing / 33 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 | 7 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 | 7 failing / 36 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 | 7 failing / 37 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 | 9 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 | 8 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 | 25 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 | 7 failing / 36 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 | 3 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 | 10 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 | 32 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 | 6 failing / 36 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 | 17 failing / 29 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 | 11 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 | 11 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 | 29 failing / 33 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

Summary

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

These columns do not partition: 3 + 36 + 0 + 0 = 39, 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-25T15:05:52Z

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 dfbaa68: validate, check-linked-issue, parse-ratchet, own-language.
This diff touches four files only: specs/analog/sar_comparator_q.t27, its seal .trinity/seals/analog_AnalogSarComparatorQ.json, docs/analog/mutation-accepted-sar_comparator_q.txt and docs/analog/mutation-sar_comparator_q-2026-10-25.md.
Four non-required checks are red; each was read in its log and none names a file of this diff:
- duplicate-bodies: put_lit was copied [2] and is now copied [2, 2], filed as dupe ratchet: put_lit body copied in handoff.t27 and trigit/verbs.t27 turns every PR red #12419, fix PR dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) #12429.
- coverage and spec-guards: the stale seal fpga_FpgaHdmiGrab.json that came in with t27os: launch_agent reuses provider_router pr_has -- the locally copied needle-scan body dropped, its use line added (DRY: duplicates only go down; Refs #12353) (Closes #12353) #12430, filed as seal-coverage and spec-guards red on master: stale FpgaHdmiGrab seal re-added by #12430 #12461, fix PR seals: drop the stale FpgaHdmiGrab seal that #12430 re-added (Closes #12461) #12462.
- Corpus ratchet: specs/numeric/zphi_alu.t27 [parse-no-discard], filed as Corpus Ratchet red on master: zphi_alu.t27 discards a braceless invariant body (parse-no-discard, 61 tokens) #12464, fix PR numeric: drop the dead braceless invariant the parser discarded in zphi_alu.t27, reseal (Closes #12464) #12465.
Master's own runs of these checks at d77d51a are still queued in GitHub Actions, so "inherited" rests on the log lines and on the issues above, not on a finished master run.
Of the 37 checks on this head, 28 are green, 3 skipped by design, 4 are the reds above, and 2 are not complete yet (L1 Traceability Summary, claw-criteria-post), none failed.
No --bless; no non-t27 file is touched.

🤖 Addressed by Claude Code

gHashTag and others added 3 commits October 25, 2026 19:52

Merge master into lane/analog-mut-sqq-cde-12230

c9902fa

gHashTag mentioned this pull request Oct 25, 2026

analog: sar_comparator_q mutation test gaps, groups C, D and E - sq_fd supply edge, sq_dev body-slope kink, SWAPQ control, and the 4 dead-line mutants #12230

Closed

gHashTag merged commit cddfcea into master Oct 25, 2026
33 of 37 checks passed

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

spec(std): std::text, the loop card and skill for the boilerplate epic (Closes #12445, #12453) #12458

Merged

gHashTag deleted the lane/analog-mut-sqq-cde-12230 branch October 26, 2026 03:41

Navigation Menu

Repository navigation

analog: sar_comparator_q groups C, D, E asserts, gate passes 38/21/17, seal re-saved (Closes #12230) - #12459

analog: sar_comparator_q groups C, D, E asserts, gate passes 38/21/17, seal re-saved (Closes #12230)#12459
gHashTag merged 3 commits into
masterfrom
lane/analog-mut-sqq-cde-12230

gHashTag commented Oct 25, 2026

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

What changed

Evidence

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!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant