policy: hand-written code in any language but t27 may only shrink (Closes #8227) by gHashTag · Pull Request #8236 · gHashTag/t27

gHashTag · 2026-10-09T15:33:02Z

Closes #8227. Owner rule 2026-10-09: hand-written code in any language but t27 may only shrink; check_budget denies a net gain. Details and lab verification in #8227.

…oses #8227)

github-actions · 2026-10-09T15:43:15Z

PR Dashboard

Generated at: 2026-10-09 15:43:07 UTC

census: bless quiet 31 -> 32, #8226's frontier gate (Closes #8240) #8241 census: bless quiet 31 -> 32, #8226's frontier gate (Closes #8240) | Created: 2026-10-09 | Updated: 2026-10-09 | 18 failing / 23 total
theory(warmup_t27b): follow the WarmupVerdict rename (Closes #8237) #8238 theory(warmup_t27b): follow the WarmupVerdict rename (Closes #8237) | Created: 2026-10-09 | Updated: 2026-10-09 | 11 failing / 29 total
policy: hand-written code in any language but t27 may only shrink (Closes #8227) #8236 policy: hand-written code in any language but t27 may only shrink (Closes #8227) | Created: 2026-10-09 | Updated: 2026-10-09 | 11 failing / 31 total
t27b: the type-text rules of lower.rs move to specs/tri/t27b/type_text.t27 (Closes #8229) #8235 t27b: the type-text rules of lower.rs move to specs/tri/t27b/type_text.t27 (Closes #8229) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 39 total
seals: re-mint the green specs as v2 -- frontier reuses 362 of 1714 (Closes #8116) #8232 seals: re-mint the green specs as v2 -- frontier reuses 362 of 1714 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 23 failing / 24 total
t27b: ledger rows carry the host-free verdict key; bless rewrites only rows that moved (Closes #8186) #8218 t27b: ledger rows carry the host-free verdict key; bless rewrites only rows that moved (Closes #8186) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 39 total
specs: bench bodies Zig never type-checks (8 specs reject once referenced) #8217 specs: bench bodies Zig never type-checks (8 specs reject once referenced) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 37 total
policy: list the t27b bless test as an own-language exception (Closes #8214) #8216 policy: list the t27b bless test as an own-language exception (Closes #8214) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 24 total
math/constants: compile again and pass 36 of 36, seal v2 (Closes #8301) #8209 math/constants: compile again and pass 36 of 36 (Refs #8095) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ #8187 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) #8181 theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 32 total
specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) #8177 specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 4 specs in specs/functions (1 of 1) #8168 t27b checked: test blocks for 4 specs in specs/functions (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) #8152 t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 44 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 62 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 39 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 40 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 42 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 3 failing / 42 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 3 failing / 42 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total

Summary

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

These columns do not partition: 0 + 47 + 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)=557cd271f4e3 != 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).

…8588) The lab ran every new master commit first and then one lane request, so a queue of four waited up to four master runs (1.5-2 h per receipt) while master took a merge every few minutes. After each master run the lab now takes up to two admitted requests. One line edited, net 0 hand-written lines (#8236). Co-authored-by: Claude <claude@anthropic.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

…ending to it (Closes #8587) (#8589) The paragraph "The debt only shrinks" had grown into a 154-line hand-kept log that every t27b pull request appended to at the same place, so each merge left every other open t27b lane DIRTY on it. Since #8236 check_budget() refuses a net gain of hand-written foreign lines, so the log enforced nothing. It now states the 2026-10-10 measurement, the command that reproduces it, and that pull requests do not append to it; the history stays in git log. Co-authored-by: Claude <claude@anthropic.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

…rt (Refs #9271) (#9302) The claw-drift step feeds the COMMITTED gen/c/claw/gates.c, so an edit to specs/claw/gates.t27 without a regen would drift silently -- the committed C would keep answering for a spec it no longer lowers. spec-guards already has the compiler every check is measured against; regen + `git diff --exit-code` there, the same shape as t27o-golden's check mode (#8996). Verified fresh on the lab before this diff: regenerating master's spec reproduces b95634df byte for byte. Offset for the +12 workflow lines, per the shrink rule (#8236) and #9147's pattern: complete another port that landed unfinished. gen_w392.t27 is the blessed port shape (gen_w374.t27 names it so) and scripts/gen_w392.py (54 lines, a spent one-shot wave generator referenced by nothing at runtime) outlived it. The Python files are deleted; the spec is the rule. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

policy: hand-written code in any language but t27 may only shrink (Cl…

563d9ab

…oses #8227)

gHashTag added the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 9, 2026

gHashTag enabled auto-merge (squash) October 9, 2026 15:33

This was referenced Oct 9, 2026

seals: re-mint the green specs as v2 -- frontier reuses 362 of 1714 (Closes #8116) #8232

Merged

theory(warmup_t27b): follow the WarmupVerdict rename (Closes #8237) #8238

Merged

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

census: bless quiet 31 -> 32, #8226's frontier gate (Closes #8240) #8241

Merged

gHashTag merged commit 2d5fcc1 into master Oct 9, 2026
28 of 31 checks passed

Navigation Menu

Repository navigation

policy: hand-written code in any language but t27 may only shrink (Closes #8227) - #8236

policy: hand-written code in any language but t27 may only shrink (Closes #8227)#8236
gHashTag merged 1 commit into
masterfrom
policy/only-t27-shrinks

gHashTag commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants