claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) by gHashTag · Pull Request #10572 · gHashTag/t27

gHashTag · 2026-10-18T17:41:22Z

claw/criteria settles in CI the Success Criteria a command can settle, so the Queen's reviewer spends a model lane only on the rest.

specs/claw/criteria.t27 is the law. It extracts criteria from the linked issues, classifies each as machine, partial or judgment, maps machine clauses to the four allow-listed t27c forms, and writes the report. Lowered to gen/c/claw/criteria.c and sealed: t27c test-report 42/42 pass, 0 FAIL, 0 vacuous, and t27c seal --verify matches, both run on the Railway lab.
gate-topology.yml gets two jobs:
- claw-criteria holds no secret. It fetches the linked issues and runs only the allow-listed commands, after its own path check.
- claw-criteria-post mints the check-run row's token (checks: write only) and posts one check run.
github_surface.t27: the check-run row moves to S_LIVE.
Foreign lines shrink:
- the claw gen-c freshness lines in spec-guards.yml fold into one loop;
- scripts/gen_w368_lean.py, an unreferenced one-shot wave generator, is dropped.
Census moves (both from the two new jobs):
- shell jobs: 93 -> 95; run: steps end at 328.
- quiet "named a path but not quiet": 237 -> 242 (237 is master's count after the merge).

Live on this PR

claw-criteria ran on this PR and passed: https://github.com/gHashTag/t27/actions/runs/39153257181/job/117751102538
claw-criteria-post fails at create-github-app-token: "The level of access for permissions requested are not granted to this installation." The TRI CLAW installation (167308749) does not grant checks: write yet. claw-sarif fails the same way on nearly every PR. Accepting the App's updated permissions on the installation is an owner action. Until then the check run is not posted, so the criterion "claw/criteria appears on at least one real PR" is not met. Since master landed specs/claw/token_shape.t27, the job follows its shape: the token step is continue-on-error, and a failed mint writes the owner's fix to the step summary instead of turning the job red on every pull request (ac8cc96).
An earlier commit on this branch broke gate-topology.yml. A run: plain scalar held ": ", so the file did not parse and every gate-topology job was skipped. df7b09f removes the space after each jq key colon, and actionlint is clean.

Share of the 20 most recent issues

The law ran over the bodies of the 20 most recent issues (47 criteria):

kind	criteria	share
machine	2	4%
partial	4	9%
judgment	41	87%

Machine: [spec] t27mcp/visual_output.t27 -- every answer carries a T27F visual, by host #10531 and [spec] automation/app-tabs.t27 -- map every app tab to the TRI CLAW /mcp tools that serve it #10532 (./target/release/t27c test-report ... exits 0).
Partial: scan red on master: the M3a seal recorded a sandbox zig error with a home path, and the analog skill names /Users/playom #10521, [spec] fpga/systolic.t27 -- 4x4 systolic wavefront array for matrix multiply (AI accelerator course) #10536, and analog M4a: the SAR ADC capacitive DAC -- split array with a 1-unit bridge capacitor, charge redistribution against ngspice #10540 (twice).
Near misses that the allow-list correctly leaves to judgment:
- commands run through tri, t27b, python3 or git grep;
- "test-report 6/6 pass" with no spec path;
- "its tests pass";
- "required checks green".

The share rises as issues name t27c test-report specs/<x>.t27 in backticks, which the issue-shape gate already asks for.

Mutation record

tri mutate spec --file specs/claw/criteria.t27 --jobs 16 --max 2000, run on the Railway lab at da6d254:

mutants	killed	survived	hung	unviable
1011	914 (all by a failing test)	83	10	4

Before da6d254: 891 killed and 106 survived. Five new tests kill 23 of those survivors:
- later commands keep their own outcomes;
- a planned run with no result is "not run";
- records are read to their last byte;
- body-line edges;
- helpers called off-center.
A real bug. One survivor showed that  opened an HTML comment that hid every criterion after it. In HTML they close themselves. read_body now searches for --> from s + 2.
Hung (10) are the mutants that loop forever: 246 ×2, 266, 400, 512, 552, 676 ×2, 842 ×2. A test that never finishes is a failure in CI.
Unviable (4) are ret-default on void functions (376, 386, 587, 849), which zig rejects.

Each of the 83 survivors is argued equivalent below. Line numbers are those of this head.

Zero field offsets (10): 518, 557, 665, 751, 757, 761, 817, 873, 951, 1111. The mutant turns x * W + F into x * W - F, but F is 0 here: KF_VERB, RF_VERB and CF_ISSUE.
Run defaults (5): 765-769. The NO_NUM defaults of a run are read only once RF_SEEN is 1. read_results sets all five fields in the same step that sets RF_SEEN. So writing a default into run 0's slot (nr / RW), or not at all, is never seen.
read_results guards (13): 856 ×4, 861 ×2, 862 ×2, 863 ×3, 866 ×2. read_results runs only on a stream that collect has accepted. On such a stream:
- every record already fits;
- dec over an empty span is NO_NUM, the same as not calling it;
- starting the output at e or e - 1 adds only the header's last digit and newline, a line that holds no count key.
Bytes at a line's end (34):
- 594, 597, 599, 613, 615, 618, 633 ×3, 638, 639 ×3, 647, 648 ×2, 651, 653, 657 in read_body;
- 695 ×2, 699, 704 ×2, 709 ×4, 714, 715 ×2 in collect;
- 831, 834 in count_line;
The argument:
- A scan allowed to touch le meets one of three bytes: the line's \n, the \r of a CRLF line, or the next record's I/X. None of them is a space, tab, #, digit, ., ), ], : or |. At an empty line, t[le - 1] is the previous \n.
- Starting a body at the header's \n or last digit (704) adds an empty or digit-only line before any heading, outside every section.
- t1 <= e and t3 <= e only call dec on an empty span.
- t3 > e and the remaining and/or swap at 715 refuse the same records: when t3 == e, len stays NO_NUM, and NO_NUM is so large that the size check refuses the record too.
- 611 (s - 2): the two bytes before < are indent, or a \n and the previous line's last byte. Since t[s] is <, no --> can start before s + 2.
Helpers (16):
- 234 and 254: a list word is never empty, so the extra round at a == ll matches nothing.
- 295 flip: e == s already fails e - s < 11.
- 302 ×4: a path that passed the .t27 check never has . at e - 1, and a .. pair is caught from either side.
- 318 ×4: each token is matched exactly (tool, verb, path_ok, --verify), so a looser bound cannot accept more.
- 331 ×2: a command of more than 4 tokens is refused earlier, and one of fewer than 3 fails path_ok.
- 368 ×2: dec over an empty span is NO_NUM.
- 484: every return taken at i == e returns e.
Classify and report (5):
- 534 (Q_NOUT >= 0): a clean clause with no outcome changes nothing in either branch.
- 1055: when ok is false, the other branch also concludes neutral, and zero issues imply zero criteria.
- 1104 ×2: the cut moves by less than one row's worth of bytes, inside the 4096-byte ROW_ROOM margin.
- 1753: a guard in the class_of test helper; every input it gets yields exactly one criterion.

🤖 Generated with Claude Code

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

…\n \t (Refs #10549) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

The claw gen-c freshness lines fold into one loop and scripts/gen_w368_lean.py, an unreferenced one-shot wave generator, is dropped so foreign lines shrink. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Census moves, both from the two new jobs claw-criteria and claw-criteria-post in gate-topology.yml: shell jobs 93 -> 95 (and the run: step counts with them); quiet 'named a path but not quiet' 233 -> 239, the new run: steps naming paths without a quiet shape. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

…d ': ' in a plain scalar (Refs #10549) GitHub refused the whole file, so every gate-topology job was skipped on pull_request and only a zero-job failed push run appeared. The jq object now writes key:value without the space; actionlint is clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…volhard-4b537b # Conflicts: # tools/census/quiet.txt

…aster (Refs #10549) Master moved it 233 -> 237; the two claw-criteria jobs of this PR add 6. Re-blessed with tri census pin --bless on the Railway lab; gate clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…10549) Five new spec tests aim at the survivors of the mutation run: later commands keep their own outcomes, a planned run with no result is not run, records are read to their last byte, body line edges (table rules with spaces, blank indented lines, ". x", three-digit lists, SC-7x), and helpers called off-center. 42/42 pass, 0 vacuous, on the Railway lab. read_body now looks for "-->" from s + 2, so "" close themselves, as in HTML; before, they opened a comment that hid every following criterion. gen/c and the seal are regenerated on the lab. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-18T19:37:18Z

PR Dashboard

Generated at: 2026-10-18 19:37:08 UTC

ledger: t27b rows for sar_cdac and spice_convert, UNLISTED 12 -> 0 (Closes #10615) #10616 ledger: t27b rows for sar_cdac and spice_convert, UNLISTED 12 -> 0 (Closes #10615) | Created: 2026-10-18 | Updated: 2026-10-18 | 25 failing / 34 total
claw: carry the TRI CLAW social-visual skill cards to master (#10574 merged into a dead branch) (Closes #10570) #10613 claw: carry the TRI CLAW social-visual skill cards to master (#10574 merged into a dead branch) (Closes #10570) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 36 total
t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) #10611 t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
t27f: lay the reel's captions, cards and address over the beat video, LR_MODE=5 (Closes #10609) #10610 t27f: lay the reel's captions, cards and address over the beat video, LR_MODE=5 (Closes #10609) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
t27f R4b.1: beat graph -- three scenes crossfaded at the beat clock's cuts, on whole frames (Closes #10603) #10605 t27f R4b.1: beat graph -- three scenes crossfaded at the beat clock's cuts, on whole frames (Closes #10603) | Created: 2026-10-18 | Updated: 2026-10-18 | 24 failing / 32 total
analog: sar_comparator.t27 -- the SAR ADC dynamic comparator, multi-node Newton, square law against ngspice LEVEL=1 (Closes #10583) #10604 analog: sar_comparator.t27 -- the SAR ADC dynamic comparator, multi-node Newton, square law against ngspice LEVEL=1 (Closes #10583) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 34 total
docs: t27o front-end census of the roadmap repos -- Zig first, then deeper Rust, Python, TypeScript, shell (Closes #10599) #10601 docs: t27o front-end census of the roadmap repos -- Zig first, then deeper Rust, Python, TypeScript, shell (Closes #10599) | Created: 2026-10-18 | Updated: 2026-10-18 | 12 failing / 29 total
t27f: beat clock -- reel beats cut where the voice changes, crossfaded (Closes #10596) #10598 t27f: beat clock -- reel beats cut where the voice changes, crossfaded (Closes #10596) | Created: 2026-10-18 | Updated: 2026-10-18 | 19 failing / 32 total
ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) #10595 ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) | Created: 2026-10-18 | Updated: 2026-10-18 | 13 failing / 35 total
t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) #10593 t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 36 total
t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) #10592 t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) | Created: 2026-10-18 | Updated: 2026-10-18 | 27 failing / 35 total
queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 39 total
tri t27o-sweep: t27o over a whole tree, rows reused while the file and the two seals hold (Closes #10543) #10587 tri t27o-sweep: t27o over a whole tree, rows reused while the file and the two seals hold (Closes #10543) | Created: 2026-10-18 | Updated: 2026-10-18 | 27 failing / 35 total
t27f: reel_beats.t27 -- every reel as open, main and close, no two the same sequence (Closes #10584) #10586 t27f: reel_beats.t27 -- every reel as open, main and close, no two the same sequence (Closes #10584) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 36 total
claw: claw-t27f/suggest/refresh pass with a note when the App token cannot be minted; claw-refresh can read the queue (#10576) #10585 claw: claw-t27f/suggest/refresh pass with a note when the App token cannot be minted; claw-refresh can read the queue (#10576) | Created: 2026-10-18 | Updated: 2026-10-18 | 21 failing / 27 total
t27f: reel_factory_plan.t27 -- print the factory's course-0 plan, and tri factory (Closes #10573) #10580 t27f: reel_factory_plan.t27 -- print the factory's course-0 plan, and tri factory (Closes #10573) | Created: 2026-10-18 | Updated: 2026-10-18 | 24 failing / 36 total
fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, bitstreams built, board run pending (Closes #10565) #10578 fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, bitstreams built, board run pending (Closes #10565) | Created: 2026-10-18 | Updated: 2026-10-18 | 11 failing / 43 total
claw: token_shape.t27 -- every App-token job passes with a note when the token cannot be minted (#10576) #10577 claw: token_shape.t27 -- every App-token job passes with a note when the token cannot be minted (#10576) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 33 total
claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-18 | 30 failing / 39 total
queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 35 total
spec(t27mcp): visual_output.t27 -- when answer_channel picks UI_RESOURCE #10563 spec(t27mcp): visual_output.t27 -- when answer_channel picks UI_RESOURCE | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 36 total
ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) #10557 ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 55 total
t27f: frontend.t27 -- T27F is t27's frontend, every visual surface in one law, served by TRI CLAW (Closes #10537) #10551 t27f: frontend.t27 -- T27F is t27's frontend, every visual surface in one law, served by TRI CLAW (Closes #10537) | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 35 total
claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-18 | 26 failing / 35 total
claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) #10510 claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 36 total
fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) #10475 fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 50 total
spec(ml): eval_hslm -- held-out loss of an HSLM checkpoint, last position and full sequence (Refs #10372) #10467 spec(ml): eval_hslm -- held-out loss of an HSLM checkpoint, last position and full sequence (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 36 total
fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 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-18 | 5 failing / 44 total
t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue #10425 t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 45 total
spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) #10387 spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 36 total
demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 total
spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) #10380 spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 32 total
spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 38 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-18 | 2 failing / 35 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-18 | 2 failing / 35 total
t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 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-17 | 3 failing / 33 total
Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 #9340 chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 | Created: 2026-10-13 | Updated: 2026-10-18 | 8 failing / 43 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	45
PRs with All Checks Green	5
READY	0
FAILING	45
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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).

…ard-4b537b

…ob, per specs/claw/token_shape.t27 (Refs #10549) The post job's token step now carries continue-on-error and a failure note (rules R1 and R2 of the law master landed). The separate secret-presence step goes: a missing secret fails the same mint and leaves the same note. Census moves, both from that removed run: step: - quiet 'named a path but not quiet' 243 -> 242 - shell 'run: steps' 329 -> 328, 'the runner does' 308 -> 307 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-18T20:49:04Z

PR Dashboard

Generated at: 2026-10-18 20:48:55 UTC

t27o: read-only vec![..] becomes a typed array (step 1 of #10546) #10648 t27o: read-only vec![..] becomes a typed array (step 1 of #10546) | Created: 2026-10-18 | Updated: 2026-10-18 | 29 failing / 33 total
t27f: R4e -- mode 5 cards stay inside one scene, token_floor_mux takes a caller window (Closes #10628) #10647 t27f: R4e -- mode 5 cards stay inside one scene, token_floor_mux takes a caller window (Closes #10628) | Created: 2026-10-18 | Updated: 2026-10-18 | 30 failing / 38 total
t27o: a declaration index, a line cache and a bounded for-search make tri t27o linear in the file; compiler.rs finishes in 1.3 s (Closes #10544) #10631 t27o: a declaration index, a line cache and a bounded for-search make tri t27o linear in the file; compiler.rs finishes in 1.3 s (Closes #10544) | Created: 2026-10-18 | Updated: 2026-10-18 | 27 failing / 33 total
ledger: re-derive from master f8696dff2668, as its lab verdict APPLY says (Closes #10618) #10619 ledger: re-derive from master f8696dff2668, as its lab verdict APPLY says (Closes #10618) | Created: 2026-10-18 | Updated: 2026-10-18 | 0 failing / 35 total
t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) #10592 t27f: scene renderers for the 12 archetypes and the still anomaly gate (R3) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 37 total
queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 39 total
fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, bitstreams built, board run pending (Closes #10565) #10578 fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, bitstreams built, board run pending (Closes #10565) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 45 total
claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-18 | 20 failing / 30 total
queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 36 total
ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) #10557 ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 55 total
claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-18 | 25 failing / 34 total
claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) #10510 claw: visual_output.t27 -- a T27F visual in every output that did work (Closes #10508) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 36 total
fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) #10475 fpga(ax7203): ternary mat-vec over real tern-tc-9m weights in DDR3, UART receipt (Closes #10461) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 43 total
spec(ml): eval_hslm -- held-out loss of an HSLM checkpoint, last position and full sequence (Refs #10372) #10467 spec(ml): eval_hslm -- held-out loss of an HSLM checkpoint, last position and full sequence (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 36 total
fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 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-18 | 5 failing / 44 total
t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue #10425 t27c PTX backend: ternary x int8 GEMM kernel emitted by a .t27 spec (int8 mma.sync), ptx-run glue | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 47 total
spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) #10387 spec(ml): train_hslm -- main() trains the whole 3-block HSLM with STE and LAMB, writes MSLH checkpoints (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 1 failing / 37 total
demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 total
spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) #10380 spec(hslm): nn/hslm_tokenizer and ml/hslm_corpus -- the 729-token BPE and a pinned TinyStories token file (Refs #10372) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 32 total
spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Closes #10579; Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 38 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-18 | 2 failing / 35 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-18 | 2 failing / 35 total
t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 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-17 | 3 failing / 33 total
Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 #9340 chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 | Created: 2026-10-13 | Updated: 2026-10-18 | 4 failing / 45 total
chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 #9339 chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 | Created: 2026-10-13 | Updated: 2026-10-18 | 4 failing / 43 total
chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 #9338 chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 | Created: 2026-10-13 | Updated: 2026-10-18 | 5 failing / 43 total
chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 #9337 chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 | Created: 2026-10-13 | Updated: 2026-10-18 | 4 failing / 43 total
chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 #9336 chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 | Created: 2026-10-13 | Updated: 2026-10-18 | 0 failing / 1 total
Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up #9231 policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up | Created: 2026-10-12 | Updated: 2026-10-12 | 3 failing / 26 total
spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 6 failing / 29 total
Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 29 total
Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 32 total
Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 30 total
feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	45
PRs with All Checks Green	5
READY	2
FAILING	45
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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 6 commits October 19, 2026 00:15

wip: specs/claw/criteria.t27 (Refs #10549)

41f3d54

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

wip: criteria.t27 literal lengths measured, not counted (Refs #10549)

0f51606

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

wip: criteria.t27 plan_of lengths and the forged-row test (Refs #10549)

f9edf08

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

wip: criteria.t27 writes the CR as a byte; string literals know only …

c7941be

…\n \t (Refs #10549) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

wip: claw-criteria jobs, gen/c, seal, surface row live (Refs #10549)

eccd4b6

The claw gen-c freshness lines fold into one loop and scripts/gen_w368_lean.py, an unreferenced one-shot wave generator, is dropped so foreign lines shrink. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag added the no-auto-merge Opt out of the issue gate's default squash auto-merge (issue-gate.yml) label Oct 18, 2026

gHashTag and others added 5 commits October 19, 2026 01:10

wip: criteria.t27 edge tests for the mutation survivors (Refs #10549)

81b8c53

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

wip: criteria gen/c and seal for the edge tests (Refs #10549)

4d9a415

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

Merge branch 'master' of github.com:gHashTag/t27 into claude/focused-…

e196c88

…volhard-4b537b # Conflicts: # tools/census/quiet.txt

This was referenced Oct 18, 2026

ledger: re-derive from master 90f62487604b, as its lab verdict APPLY says (Closes #10594) #10595

Closed

t27f: reel_factory_plan.t27 -- print the factory's course-0 plan, and tri factory (Closes #10573) #10580

Merged

gHashTag force-pushed the claude/focused-volhard-4b537b branch from 6dec679 to da6d254 Compare October 18, 2026 20:21

gHashTag and others added 2 commits October 19, 2026 03:35

Merge remote-tracking branch 'origin/master' into claude/focused-volh…

d3ec3ae

…ard-4b537b

gHashTag force-pushed the claude/focused-volhard-4b537b branch from 6b3a741 to ac8cc96 Compare October 18, 2026 20:39

Navigation Menu

Repository navigation

claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) - #10572

claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549)#10572
gHashTag wants to merge 14 commits into
masterfrom
claude/focused-volhard-4b537b

gHashTag commented Oct 18, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 18, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Live on this PR

Share of the 20 most recent issues

Mutation record

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 18, 2026 •

edited

Loading