t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) by gHashTag · Pull Request #10593 · gHashTag/t27

gHashTag · 2026-10-18T18:22:40Z

Lane C of #10522. Five first-refusal classes of the roadmap dogfood now convert (or, where the type cannot be known, refuse under a name that says why). Only specs/tools/t27o/rust_convert.t27 carries rules; gen/rust/tools/t27o/rust_convert.rs is t27c gen-rust of it and the seal is re-saved.

What changed, per class

Ok(..) / Err(..) in a test's assert_eq! / assert_ne! (result_assert). A Result is ?T, so assert_eq!(e, Ok(v)) is assert(e.? == v), with a call read once into t27o_r<offset> and assert(t != null) first; assert_eq!(e, Err(..)) is assert(e == null) under the comment // t27o: Err payload dropped (Result is ?T); assert_ne! negates both (t == null or t.? != v). A Result<(), E> call is a bool in t27o, so Ok(()) is == true and an Err == false. assert!(e.is_ok()) / is_err() already converted. Stay refused: Ok(()) of something that is not a call of this file's Result<(), E> fn (a bool cannot be told from a ?void), and a struct payload (== of structs).
for x in &[a, b, c] is the loop over the literal [a, b, c] (same typed local, same t27 for-each). &mut [..], unsuffixed integer elements and .iter() on the literal stay refused.
&[] as an argument: the callee is looked up among the file's own fn declarations (a free fn, Type::f(..) or x.f(..); every declaration of the name must agree), the parameter the argument lands on is &[T], and the argument is [0]T{}. Also let a: [T; 0] = []; (15 of the 306 sites) as = []. Where the type cannot be known locally the refusal stays and now says so: empty slice with no known element type (new R_EMPTY) instead of block as a value ]``.
Raw strings r"..", r#".."#, r##".."## become the ordinary t27 string with the same bytes (backslash, quote, newline, tab take the escapes t27 reads; CR LF is the LF Rust reads; other control bytes and non-ASCII stay refused). Raw strings are texts in ==, match arms, class inference and the out-buffer form. r#ident (raw identifier) stays refused.
\ + newline inside a string literal (Rust's line continuation: the backslash, the newline and the next line's whitespace go) is joined, for put_string and for the literal pieces of an out-buffer format!. The cited example (bootstrap/tests/assert_paren_binary.rs:55) is a format!; its last argument followed by a newline before ) also needed a trim to convert. Only \ right before a newline joins: \<space>, \\+newline and \r stay refused.

Before / after

Protocol of docs/nona-03-manifest/T27O-COMPETITORS-AND-DOGFOOD.md: every tracked .rs file (not under gen/ or target/) of the five repos at the commits it names (t27 7496ed2, trios 483dd9ee, trinity 0770abb9, trinity-fpga 20bf4c418, 999-multibots-telegraf 6e5512881), 30 s cap per file, the same 5 t27 files over the cap excluded from both columns. File counts equal the doc (382 / 786 / 23 / 30 / 167). "Before" is the converter of master 0c98c96, "after" this branch; both are t27c gen-rust output compiled into a small driver that calls convert (what tri t27o FILE prints), not a rebuilt tri.

First refusal	Before	After
type `Ok`	474	2
type `Err`	609	0
for over an iterator `&`	380	4
block as a value `]` (now `empty slice with no known element type`)	306	59
literal `r#` / `r"`	154	0
literal `\?` (line continuation)	88	0

	Before	After
fns converted (1,383 files, 16,765 fns seen)	1,573 (9.4%)	1,667 (9.9%)
`#[test]` fns converted	504	593
t27 repo only	627 of 7,108	638
trios only	884 of 8,220	967

The issue's counts (473 / 612 / 380 / 306 / 152 + 2 r" / 88) are reproduced within 3. The doc's trios row says 8,230 fns seen; this run counts 8,220 on the same 786 files. What remains: 2 Ok(()) whose callee is declared in another file; 4 for (a, b) in &self.field loops; 59 &[] whose callee is another module's or a std method or has a generic element (&[Behavior<'_>]), e.g. bootstrap/src/behavior_sva_v2.rs:765 still refuses because build_behavior_sva_bind_block itself does not convert (owned String result, lifetime-generic element).

Tests

t27b test specs/tools/t27o/rust_convert.t27: 81 passed, 0 failed (66 before, 15 new).
t27c test-report specs/tools/t27o/rust_convert.t27: 81/81, vacuous passes 0 of 81.
t27c seal specs/tools/t27o/rust_convert.t27 --verify: all hashes MATCH (rust_std.t27 untouched, its seal verifies too).
rustc --edition 2021 --crate-type lib gen/rust/tools/t27o/rust_convert.rs compiles.
Differential checks (not committed): a Rust test file using every Ok/Err form passes under rustc --test, its converted t27 passes in t27b, and with two wrong expectations the converted test fails; a file using &[] arguments, let a: [T; 0] = [] and methods passes in t27b and in the zig reference (t27c test-report).

Negative controls

Each class has a test that a near-miss form is still refused with the exact message, and each rule was removed in turn from a copy of the spec; these tests then fail in t27b:

Rule removed	Failing tests
class 1 (`result_assert` hook)	`ok_and_err_comparisons_in_a_test_read_a_result_as_an_optional`, `negative_control_ok_unit_of_a_local_and_a_struct_payload_stay_refused`
class 2 (`&` before the literal)	`a_for_over_a_borrowed_array_literal_is_a_for_over_the_literal`, `negative_control_a_mutable_or_unsuffixed_or_iterated_array_literal_loop_stays_refused`
class 3 (`empty_arg`)	`an_empty_slice_argument_takes_its_parameters_element_type`, `negative_control_an_empty_slice_with_no_known_element_type_is_refused_and_says_so`
class 3 (typed `= []`)	`an_empty_slice_argument_takes_its_parameters_element_type`
class 4 (raw string branch)	five tests: `raw_strings_become_ordinary_strings`, `a_raw_string_is_a_text_in_a_comparison_and_a_match`, `negative_control_a_raw_identifier_and_an_unterminated_raw_string_stay_refused`, `a_control_byte_in_a_raw_string_is_refused`, `a_raw_strings_crlf_is_the_lf_rust_reads`
class 5 (`is_cont`)	`a_backslash_before_a_newline_joins_the_string`, `a_continuation_with_crlf_skips_the_carriage_return_too`

CR bytes in tests are built with put(.., B_CR) because the specs are ASCII-only.

Notes for the reviewer

The committed gen/rust/tools/t27o/rust_convert.rs on master was one spec change behind (65 tests in its header, the old coverage-report order); regenerating it brings that in as well.
Err comparisons are weaker than Rust's (any error passes). Every converted one carries the // t27o: Err payload dropped comment, as the issue asked.
Not touched: cli/tri/src/main.rs, spice_convert.t27, ledger.t27, rust_std.t27.

Part of #10522.

🤖 Generated with Claude Code

#10526) Classes 4 and 5 of #10526. A raw string r"..", r#".."# is written as the ordinary t27 string with the same bytes (backslash, quote, newline and tab take the escapes t27 reads; CR LF is the LF Rust reads; other control bytes and non-ASCII stay refused). A backslash right before a newline inside a string literal is Rust's line continuation: the backslash, the newline and the next line's leading whitespace are joined out of the text. Raw strings are texts in ==, match arms, class inference and the out-buffer form. Tests and negative controls added. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…oses #10526) Class 2 of #10526. `for x in &[a, b, c]` is read exactly as `for x in [a, b, c]` (typed local, then t27's for-each); `&mut [..]`, unsuffixed integer elements and `.iter()` on the literal stay refused. Test plus negative control. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…loses #10526) Class 1 of #10526. assert_eq!(e, Ok(v)) is `e.? == v` with e read once into a temp when it calls something and asserted not null first; assert_eq!(e, Err(..)) is `e == null` with a comment that the payload is dropped (Result is ?T); assert_ne! negates each. A Result<(), E> call is a bool, so Ok(()) is `== true` and an Err `== false`. An Ok(()) of a non-call, and a struct payload, stay refused. The converted test was checked against rustc: same verdicts in t27b, and wrong expectations fail. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…Closes #10526) Class 3 of #10526. `f(a, &[])`, `x.f(&[])` and `Type::f(&[])` look the callee up in the file's own fn declarations (every declaration of the name must agree): the parameter the argument lands on is `&[T]`, so the argument is `[0]T{}`, which a `[]const T` parameter takes (checked against t27b and the zig reference with t27c test-report). `let a: [T; 0] = [];` is the typed local `= []`. Where the element type cannot be known locally the refusal stays but names itself: "empty slice with no known element type" (R_EMPTY) instead of "block as a value `]`". Tests and negative controls added. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…w rules (Closes #10526) gen/rust/tools/t27o/rust_convert.rs is `t27c gen-rust` of the spec (it also picks up the coverage-report change that the committed copy was missing); the seal is re-saved and `t27c seal --verify` prints all hashes MATCH. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…y end its line (Closes #10526) The cited example of class 5 (bootstrap/tests/assert_paren_binary.rs:55) is a format! string; the out-buffer form copies its literal pieces on its own, so they join the `\` newline continuation as put_string does, and the last argument of a multi-line format!( .. ) no longer carries the white space before its `)` into the name lookup. Test added. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…t! piece rule (Closes #10526) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag · 2026-10-18T18:25:47Z

Review (orchestrator, Opus), before auto-merge:

Re-ran on the PR head: t27b test specs/tools/t27o/rust_convert.t27 81 passed, 0 failed (2.0 s); t27c seal --verify all hashes MATCH; cargo check -p tri with the regenerated rust_convert.rs clean. Only spec, generated file and seal change, so own-language counts nothing.
DRY: the 15 new pub fns checked with t27c dupes --name; the one hit, param_at, shares only the name with specs/tri/t27b/verilog_plan.t27:153 (a different function: the k-th line of a text), not a body.
Semantics of the Result rule, read from the new test's expected text: assert_eq!(e, Ok(v)) -> e read once, != null, .? == v; assert_eq!(e, Err(_)) -> e == null with a comment that the payload is dropped (the oracle's own reading); assert_ne!(e, Ok(v)) -> t == null or t.? != v (exact). One edge for the record: assert_ne!(e, Err(A)) becomes e != null, which is stricter than Rust when e is Err(B). It can only make a converted test fail visibly, never pass silently, so it does not block; a follow-up can refuse that form instead.
Measured gain on the five roadmap repositories (lane's drivers, before = master 0c98c96): converted fns 1,573 -> 1,667, converted tests 504 -> 593; first refusals type Ok 474 -> 2, Err 609 -> 0, for over & 380 -> 4, ] 306 -> 59, raw strings 154 -> 0, line continuations 88 -> 0.

github-actions · 2026-10-18T19:30:01Z

PR Dashboard

Generated at: 2026-10-18 19:29:52 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 | 26 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 | 23 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 | 24 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 | 25 failing / 34 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 | 25 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 | 17 failing / 38 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 | 25 failing / 33 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 | 28 failing / 36 total
fpga(ax7203): RLC and 5-node ladder through the linear cell -- one board top for both circuits, PASS on the board, negative controls FAIL on their own circuit (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 | 7 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 | 29 failing / 38 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 | 7 failing / 34 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 | 11 failing / 35 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 / 49 total
spec(ml): eval_hslm and ngram_hslm -- HSLM held-out loss at step 8000 against unigram, bigram and trigram baselines (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 | 5 failing / 40 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).

…eeper Rust, Python, TypeScript, shell (Closes #10599) (#10601) Section 7 of the t27o dogfood document: per language the files, distinct fns and the share inside a stated first subset, with the top first blockers and the roadmap stage each maps to. Zig (coarse) 36,495 fns, 10.4-38.1 % in a first subset, tests as the oracle; TypeScript 2.5 % (26 % async); Python 3.7 %; shell is orchestration. The Rust section gets #10593's measured gain (1,573 -> 1,667 fns, 504 -> 593 tests). Co-authored-by: Claude <claude@anthropic.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

claude and others added 7 commits October 19, 2026 01:01

t27o: regenerate rust_convert.rs and re-save its seal after the forma…

51af75c

…t! piece rule (Closes #10526) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag enabled auto-merge (squash) October 18, 2026 18:25

gHashTag mentioned this pull request Oct 18, 2026

[EPIC] t27o overnight loop: dogfood on the roadmap repos, t27b-fast checks, refusal classes, competitors (feeds #10486 M2) #10522

Open

9 of 12 tasks

gHashTag mentioned this pull request Oct 18, 2026

t27o: a Zig front end (zig_convert.t27) -- 36,495 Zig fns on the roadmap repos, 10-38 % in a first subset, tests as the oracle (stage 5) #10597

Open

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

t27o: SPICE front end -- parse, flatten and inventory an ngspice netlist, or refuse with the line (Closes #10509) #10530

Merged

gHashTag mentioned this pull request Oct 18, 2026

t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) #10611

Merged

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

chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 #9338

Merged

gHashTag merged commit f8bafc3 into master Oct 18, 2026
34 of 36 checks passed

gHashTag mentioned this pull request Oct 18, 2026

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

Merged

gHashTag deleted the t27o/refusal-classes-10526 branch October 20, 2026 04:46

Navigation Menu

Repository navigation

t27o: five refusal classes from the roadmap dogfood convert (Closes #10526) - #10593

t27o: five refusal classes from the roadmap dogfood convert (Closes #10526)#10593
gHashTag merged 7 commits into
masterfrom
t27o/refusal-classes-10526

gHashTag commented Oct 18, 2026

Uh oh!

gHashTag commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 18, 2026

What changed, per class

Before / after

Tests

Negative controls

Notes for the reviewer

Uh oh!

gHashTag commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants