test(analog): mos_psp103_gates mutation gap closed, 76 of 94 killed (Closes #12187) by gHashTag · Pull Request #12206 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T04:21:01Z

Closes #12187. Part of epic #10486 (see it, not closing it).

What

specs/analog/mos_psp103_gates.t27 gets new tests for the test gap found by the census of #12116, an accepted-mutants file for the mutants no test can or must kill, and a note with the measured numbers.

Measured

tri mutate spec --accepted on this tree (T27 OS pane, jobs 3, timeout 30, master-built t27c, base 1c783b0b31, 10:50:30-10:55:27 +07): 94 mutants, 76 killed (all by a failing test), 9 survived, 9 hung, 0 unviable; 18 accepted, 0 accepted lines now killed; "Gate passed". Census before: 75 / 10 / 9 / 0 on the pre-audit tree (base 035df5ce60).

The seal was re-saved by tri seals changed with the master-built t27c; no importer seal moved.

Not claimed

The tool names no killing test, so the kill of line 233 is attributed by design and by count.
Equivalents are classified by reading, hung mutants by construction.
tri coverage --strict was not run locally; CI runs it.

Files: the spec (+77 lines of tests), docs/analog/mutation-accepted-mos_psp103_gates.txt, docs/analog/mutation-mos_psp103_gates-2026-10-25.md, the seal.

🤖 Generated with Claude Code

The census of tri mutate spec on specs/analog/mos_psp103_gates.t27 (94 mutants, 75 killed, 10 survived, 9 hung) left two survivors classed as test gaps. Two tests are appended at the end of the spec, so no function line moves: - line 233 (k < GT_NV to <= in gt_tg_worst): a cell with the PMOS table all zero has a resistance that rises to the end of the sweep, so the 28th point (1.45 V) would decide it; the test asserts the worst equals the 27th point's resistance. Read by hand, not run as a mutant. - line 294 (want >= 1e-9 to > in gt_hold_vsb): no pinned reference word is exactly 1000 pA, so the line is accepted as equivalent on the pinned data; the second test counts the words and pins that fact. docs/analog/mutation-accepted-mos_psp103_gates.txt lists the 8 equivalent survivors, line 294 and the 9 hung mutants, with a reason each. The note docs/analog/mutation-mos_psp103_gates-2026-10-25.md has the table and the not-done list: the mutation gate was not run and the seal was not saved. tri test specs/analog/mos_psp103_gates.t27: 11 tests, 11 pass, 0 vacuous. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T04:32:12Z

PR Dashboard

Generated at: 2026-10-25 04:32:04 UTC

spec(t27os): lab t27b leg survives a spec with no runtime-asserts line (Refs #12219) #12228 spec(t27os): lab t27b leg survives a spec with no runtime-asserts line (Refs #12219) | Created: 2026-10-25 | Updated: 2026-10-25 | 32 failing / 35 total
docs(skill): analog-emulation lessons from loop tick 42 (Refs #12116) #12211 docs(skill): analog-emulation lessons from loop tick 42 (Refs #12116) | Created: 2026-10-25 | Updated: 2026-10-25 | 21 failing / 30 total
docs(analog): mutation census of the remaining analog specs, 8 of 17 written up (Refs #12116) #12208 docs(analog): mutation census of the remaining analog specs, 8 of 17 written up (Refs #12116) | Created: 2026-10-25 | Updated: 2026-10-25 | 18 failing / 31 total
test(analog): mos_psp103_inv20 mutation gaps closed, 81 of 101 killed (Closes #12185) #12207 test(analog): mos_psp103_inv20 mutation gaps closed, 81 of 101 killed (Closes #12185) | Created: 2026-10-25 | Updated: 2026-10-25 | 16 failing / 38 total
test(analog): mos_psp103_gates mutation gap closed, 76 of 94 killed (Closes #12187) #12206 test(analog): mos_psp103_gates mutation gap closed, 76 of 94 killed (Closes #12187) | Created: 2026-10-25 | Updated: 2026-10-25 | 18 failing / 38 total
test(analog): sar_comparator_qi mutation gaps closed, 262 of 308 killed (Closes #12186) #12205 test(analog): sar_comparator_qi mutation gaps closed, 262 of 308 killed (Closes #12186) | Created: 2026-10-25 | Updated: 2026-10-25 | 8 failing / 37 total
test(analog): vacask_compare mutation gaps closed, 40 of 48 killed (Closes #12182) #12204 test(analog): vacask_compare mutation gaps closed, 40 of 48 killed (Closes #12182) | Created: 2026-10-25 | Updated: 2026-10-25 | 8 failing / 38 total
vscode-trinity-swe: fix .t27 syntax highlighting (Closes #12198) #12200 vscode-trinity-swe: fix .t27 syntax highlighting (Closes #12198) | Created: 2026-10-25 | Updated: 2026-10-25 | 2 failing / 32 total
feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives #12188 feat(t27os): DOCTOR watches agent litter, in-use folders and low disk; CLAUDE.md where t27 work lives | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 36 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 | 1 failing / 33 total
spec(tri): preflight -- the nine local gates as one command before a push (#11783) #12175 spec(tri): preflight -- the nine local gates as one command before a push (#11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 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 | 2 failing / 45 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 | 2 failing / 50 total
elab baseline rows for wasm_module and wasm_opcodes, and the hdmi_grab split that turns fpga-lint green (Closes #12051) #12059 elab baseline rows for wasm_module and wasm_opcodes, and the hdmi_grab split that turns fpga-lint green (Closes #12051) | Created: 2026-10-24 | Updated: 2026-10-25 | 2 failing / 48 total
t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (rebased on floors 12-16, 98/98) #12044 t27b(wasm): the emitter deletes -- build --target wasm32 runs on the law alone (floors 1-11, 67/67) | Created: 2026-10-24 | Updated: 2026-10-25 | 7 failing / 50 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-23 | 4 failing / 29 total
fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) #11886 fix(specs): lt_s, sar32, digit_byte import their originals -- master duplicate-bodies green (Closes #11885) | Created: 2026-10-23 | Updated: 2026-10-24 | 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
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
A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-23 | 12 failing / 38 total
bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-23 | 9 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-23 | 10 failing / 29 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-23 | 8 failing / 29 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-23 | 17 failing / 69 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=55c0f1b1b32d != 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 and others added 2 commits October 25, 2026 10:51

docs(analog): mos_psp103_gates gate measured, seal re-saved (Refs #12187

ec344e3

) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

gHashTag mentioned this pull request Oct 25, 2026

docs(analog): mutation census of the remaining analog specs, 8 of 17 written up (Refs #12116) #12208

Merged

gHashTag merged commit 87a1f35 into master Oct 25, 2026
38 checks passed

gHashTag deleted the lane/analog-mut-gates-12187 branch October 26, 2026 03:43

Navigation Menu

Repository navigation

test(analog): mos_psp103_gates mutation gap closed, 76 of 94 killed (Closes #12187) - #12206

test(analog): mos_psp103_gates mutation gap closed, 76 of 94 killed (Closes #12187)#12206
gHashTag merged 2 commits into
masterfrom
lane/analog-mut-gates-12187

gHashTag commented Oct 25, 2026

Uh oh!

github-actions 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

What

Measured

Not claimed

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant