docs(analog): mutation census of the remaining analog specs, 8 of 17 written up (Refs #12116) by gHashTag · Pull Request #12208 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T04:23:33Z

Refs #12116 (the census issue stays open: 6 specs are not yet measured). Part of epic #10486 (see it, not closing it).

What

The mutation census of the remaining analog specs (tri mutate spec, no --accepted, one T27 OS pane at a time), written up for 8 of the 17 specs: sar_logic, sar_trace_raw, vacask_compare, bench, mos_psp103_gates, mos_psp103_inv20, sar_comparator_qi, sar_comparator_q. Plus the classification of the 108 sar_logic survivors read off the spec (27 equivalent, 80 test gap in proposed tests P1 to P26, 1 dead line).

Section 9 is the table of where each spec stands, with the follow-up issue and pull request (#12182 / PR #12204, #12185 / PR #12207, #12186 / PR #12205, #12187 / PR #12206) and the gate counts on master.

Not claimed

6 specs have no measured run (sar_switch, mos_table, accept_sar, sar_kick_net, sar_comparator, mos_psp103); linear and linear_zoh were measured on a tree that test(analog): 151 asserts on constant table elements now count, 13 specs, seals re-saved (Closes #12166) #12191 changed afterwards and wait for a re-run; raw_writer is measured and not yet written up.
The census ran with an older t27c (0.5.2) under load 24 to 46; a mutant that was only slow could be counted as hung. Classes come from reading; proposed expected values are hand-derived and unverified.
No speed claim.

Files: docs/analog/mutation-census-rest-2026-10-25.md, docs/analog/census-rest-2026-10-25/sar_logic-classification.md.

🤖 Generated with Claude Code

…ec sar_logic (Refs #12116) sar_logic: 677 mutants, 526 killed, 108 survived, 31 hung, 12 unviable (run 07:59-08:24 +07, exit 0). The other sixteen specs are listed as not measured: the run stopped when the data volume fell to 0.4 GiB. Follow-up issue #12163. Docs only: one new note, no spec or seal touched. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…killed, 1 equivalent, 3 endless loops) and the second interruption (Refs #12116) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…written up (Refs #12116) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T04:37:56Z

PR Dashboard

Generated at: 2026-10-25 04:37:49 UTC

feat(viz): the spec corpus as one Distill-style interactive graph (Closes #12218) #12249 feat(viz): the spec corpus as one Distill-style interactive graph (Closes #12218) | Created: 2026-10-25 | Updated: 2026-10-25 | 30 failing / 35 total
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 | 22 failing / 37 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 | 14 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 | 12 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 | 8 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 | 5 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 | 29 failing / 33 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 | 3 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

Summary

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

These columns do not partition: 3 + 39 + 0 + 0 = 42, 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 3 commits October 25, 2026 11:22

docs(analog): census note, second spec sar_trace_raw measured (38/42 …

f85af5e

…killed, 1 equivalent, 3 endless loops) and the second interruption (Refs #12116) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

docs(analog): mutation census of the remaining analog specs, 8 of 17 …

58a8882

…written up (Refs #12116) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

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

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

Merged

gHashTag merged commit 89457d3 into master Oct 25, 2026
32 checks passed

gHashTag deleted the lane/analog-census-rest-12116 branch October 26, 2026 03:42

Navigation Menu

Repository navigation

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)#12208
gHashTag merged 3 commits into
masterfrom
lane/analog-census-rest-12116

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

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