test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) by gHashTag · Pull Request #12288 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T06:07:52Z

Closes #12273. Part of epic #10486 (see it, not closing it). Groups E to J and the dead lines stay in #12274 (Refs #12274).

What

specs/analog/raw_writer.t27 gets 5 new tests (18 -> 23) for the test gaps in groups A to D 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. The tracked generated file gen/rust/analog/raw_writer.rs is regenerated, because t27c seal --verify also checks that it equals what the generator emits today (it still said 18 tests).

Measured

tri mutate spec --accepted on this tree (T27 OS pane, jobs 3, timeout 30, master-built t27c, base d5650360c1, 12:32:08-13:01:29 +07, 29 min 21 s; the 1-minute load was 8.8 at the start and rose above 30 during the run): 526 mutants, 442 killed (442 by a failing test, 0 by an invariant), 53 survived, 31 hung, 0 unviable; 84 not killed, 84 accepted, 0 accepted lines now killed; "Gate passed". The forecast written before the run was 442 / 53 / 31 / 84. tri test on the spec: 23/23 pass, 0 vacuous.

The seal AnalogRawWriter was re-saved by tri seals changed with the master-built t27c; after the generated file was regenerated t27c seal specs/analog/raw_writer.t27 --verify exits 0.

Not claimed

The tool names no killing test; "killed by test N" is read from the asserts, and the gate shows only that the targeted mutants are no longer among the survivors.
The equivalent survivors and the two dead lines (683 and 954) are classified by reading the code, not proved by a tool; hung mutants are by construction (dropped loop step). 32 survivors wait for analog: raw_writer mutation test gaps, batch 2 of 2 - groups E to J and the two dead lines (after batch 1) #12274.
The census was not repeated with the master-built compiler on the unmodified spec (FR-001); before-counts are the census's.
The load rose during the run; a hung mutant under load can be a slow one, but the 31 hung entries are all dropped loop steps, which hang by construction.
tri coverage --strict was not run locally; CI runs it.

Files: the spec (+146 lines of tests at the end), docs/analog/mutation-accepted-raw_writer.txt, docs/analog/mutation-raw_writer-2026-10-25.md, the seal, gen/rust/analog/raw_writer.rs (generated, one line changed).

🤖 Generated with Claude Code

Batch 1 of 2 for the census of specs/analog/raw_writer.t27 (526 mutants, 83 survivors, 31 hung): five new tests at the end of the spec target the 30 survivors of groups A to D. - A (raw_nibble, raw_at_hex, 6 mutants): upper-case digits, an exact 2-byte buffer, and a changed last byte of the binary reference file as the negative control the byte-for-byte test lacked. - B (raw_check_vars, 14 mutants): six malformed variable lines and a control. - C (raw_put_f64 of zero, raw_from_bits of an infinity or NaN, 2 mutants). - D (raw_uint, raw_count_line at their limits, 8 mutants). docs/analog/mutation-accepted-raw_writer.txt has 84 entries: 19 equivalent, 2 dead line, 32 pending for #12274 (groups E to J) and 31 hung. The note docs/analog/mutation-raw_writer-2026-10-25.md labels all 83 survivors and names the assert that kills each of the 30. tri test: 23 tests pass (18 before), 0 fail, 0 vacuous. The survivor gate was not run and the seal was not saved; the after-numbers in the note are a forecast. Every expected value is hand-derived. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…, gate passed (Refs #12273) The gate on this tree: 526 mutants, 442 killed, 53 survived, 31 hung, 0 unviable; 84 not killed, 84 accepted, 0 accepted lines now killed. The tracked generated file gen/rust/analog/raw_writer.rs said 18 tests; it now says 23, as the spec has. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T06:08:15Z

PR Dashboard

Generated at: 2026-10-25 06:08:06 UTC

test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) #12288 test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) | Created: 2026-10-25 | Updated: 2026-10-25 | 32 failing / 35 total
spec(t27os): t27b leg prints why a count is missing (Refs #12219) #12285 spec(t27os): t27b leg prints why a count is missing (Refs #12219) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 40 total
spec(t27os): petal S SPECS page in the glass window (Closes #12199) #12284 spec(t27os): petal S SPECS page in the glass window (Closes #12199) | Created: 2026-10-25 | Updated: 2026-10-25 | 31 failing / 34 total
docs(skill): eight analog-emulation lessons from loop ticks 42 to 47 (Refs #12116) #12283 docs(skill): eight analog-emulation lessons from loop ticks 42 to 47 (Refs #12116) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 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
test(analog): sar_comparator_q test gaps A and B closed, gate passed (Closes #12229) #12281 test(analog): sar_comparator_q test gaps A and B closed, gate passed (Closes #12229) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 36 total
docs(analog): census doc gains raw_writer and post-audit linear and linear_zoh (Refs #12116) #12279 docs(analog): census doc gains raw_writer and post-audit linear and linear_zoh (Refs #12116) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 30 total
fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) #12278 fpga(wasm_module): load a whole .wasm image: LEB128 pairs, section walk, function table, exports, data segments (Closes #12201) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 46 total
fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) #12270 fpga(wasm_fb): a 320x200 palette framebuffer in the video raster, and frame_main that writes each run's frame to a PPM (Closes #12203) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 46 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 | 1 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 | 1 failing / 45 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-25 | 3 failing / 45 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	7
FAILING	41
PENDING	0
NO CHECKS YET	0

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

tri-claw · 2026-10-25T06:13:49Z

Summary by t27-bees

Checked by the t27 compiler

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

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

Read by the model

This PR adds 5 mutation tests (groups A–D) to specs/analog/raw_writer.t27, updates the seal, adds acceptance docs, and regenerates the Rust output. The gate forecast is 442 killed / 53 survived / 31 hung / 84 accepted.

Worth a look

specs/analog/raw_writer.t27:1420–1423 — raw_check_vars_refuses_malformed_lines labels b6 as “empty type” but the test string "\t0\ta\tb\tc\n" has four fields (index=0, name=a, type=b, extra=c), not an empty type. The mutants S71/S72 (e == t2 + 1 to e == t2 / e == t2 - 1 at line 723) target an empty type field; if no test exercises an actually empty type, those two mutants may survive and the gate will fail on the non-accepted lines.
specs/analog/raw_writer.t27:1347–1355 — raw_at_hex_checks_its_bytes asserts exact byte values [171, 205] from raw_put_hex(&o, 0, "abcd"), baking in big-endian byte order (0xAB, 0xCD). If the hex writer’s endianness ever changes, this test will fail even though the round-trip logic is correct.
docs/analog/mutation-accepted-raw_writer.txt — Contains 84 entries keyed by line number and mutant kind. Any edit to the spec above the new tests will shift line numbers and cause the gate to fail on stale accepted entries (the PR acknowledges this: “The line numbers hold only while the spec lines above are unchanged”).
gen/rust/analog/raw_writer.rs:3 — Only the test-count comment changed (18 → 23). Verify the generator didn’t drop or alter any other backend output; the seal hashes confirm a full regeneration.
.trinity/seals/analog_AnalogRawWriter.json — All four gen_hash_* values and the spec_hash changed. Ensure CI re-verifies the seal (t27c seal --verify) on the regenerated artifacts before merge.

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

gHashTag and others added 2 commits October 25, 2026 13:07

gHashTag mentioned this pull request Oct 25, 2026

analog: raw_writer mutation test gaps, batch 1 of 2 - groups A to D (hex helpers, malformed vars lines, zero and non-finite bits, header counts) #12273

Closed

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

spec(t27os): petal S SPECS page in the glass window (Closes #12199) #12284

Merged

gHashTag merged commit 36c8d6a into master Oct 25, 2026
37 checks passed

This was referenced Oct 25, 2026

analog: raw_writer mutation test gaps, batch 2 of 2 - groups E to J and the two dead lines (after batch 1) #12274

Closed

test(analog): raw_writer mutation gaps E to J closed, gate passed, seal re-saved (Closes #12274) #12363

Merged

gHashTag deleted the lane/analog-mut-raw-writer-12273 branch October 26, 2026 03:42

Navigation Menu

Repository navigation

test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273) - #12288

test(analog): raw_writer mutation test gaps A-D closed, gate passed (Closes #12273)#12288
gHashTag merged 2 commits into
masterfrom
lane/analog-mut-raw-writer-12273

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

tri-claw 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!

tri-claw Bot commented Oct 25, 2026

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant