policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) by gHashTag · Pull Request #8172 · gHashTag/t27

gHashTag · 2026-10-09T11:27:28Z

Two entries in tools/policy/foreign-exceptions.txt, so the t27b verdict-key pull requests (epic #8095, t27b epic #6063) can call their generated code from the existing glue:

cli/t27b/src/blockers.rs: reference-cache I/O around specs/tri/t27b/verdict_key.t27 (gen-rust).
scripts/tri_loop/t27b_rules.py: ctypes binding of the generated specs/tri/t27b/steward.t27 functions, for ledger rows that carry the verdict key.

No code change here. Foreign lines added: 0 (the exception list is policy data). Every later change to these files stays within 40 lines per file and 80 per pull request (#7371).

Baseline the follow-up is measured against: a pull request touching bootstrap/ spends 1406 s in the ratchet's corpus step (run 37911771594, reference cache 20539 -> 22249 rows, so about 1710 misses), a spec-only one 432 s (run 37911494033, 20000 -> 20003 rows).

🤖 Generated with Claude Code

…ns (Closes #8171) blockers.rs keeps the reference-cache I/O around the generated verdict key (specs/tri/t27b/verdict_key.t27), t27b_rules.py binds the generated steward functions. Epic #8095, t27b epic #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T12:49:57Z

PR Dashboard

Generated at: 2026-10-09 12:49:49 UTC

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 | 25 failing / 28 total
t27b: print how many reference verdicts the cache reused (Closes #8184) #8185 t27b: print how many reference verdicts the cache reused (Closes #8184) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) #8183 t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182 theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 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 | 25 failing / 28 total
spec(agent-provider-chain): v3 -- a Kie route right after zai #8180 spec(agent-provider-chain): v3 -- a Kie route right after zai | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) #8177 specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) #8174 t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 3 total
t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) #8173 t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 27 total
policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) #8172 policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) | Created: 2026-10-09 | Updated: 2026-10-09 | 14 failing / 26 total
port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) #8169 port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) | Created: 2026-10-09 | Updated: 2026-10-09 | 14 failing / 28 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 | 6 failing / 29 total
t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) #8167 t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) | Created: 2026-10-09 | Updated: 2026-10-09 | 10 failing / 37 total
t27core: values known at compile time fit their types, in Zig and in C (Closes #8100) #8159 t27core: values known at compile time fit their types, in Zig and in C (Closes #8100) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 38 total
specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) #8158 specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) | Created: 2026-10-09 | Updated: 2026-10-09 | 31 failing / 34 total
verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) #8155 verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 total
gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) #8154 gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 37 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 | 13 failing / 34 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 | 31 failing / 34 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 31 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 26 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
t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086 t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 42 total
t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) #8078 t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 38 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 | 7 failing / 35 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 32 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 | 6 failing / 33 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 | 6 failing / 35 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/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 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/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 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 | 8 failing / 35 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 | 7 failing / 35 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

Summary

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

These columns do not partition: 0 + 48 + 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)=3c0ade9e73e4 != 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 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 11:27

gHashTag merged commit 409b153 into master Oct 9, 2026
24 of 26 checks passed

This was referenced Oct 9, 2026

t27b: key reference verdicts by the generated code, not the t27c binary (Closes #8176) #8208

Merged

policy: list the t27b bless test as an own-language exception (Closes #8214) #8216

Open

Navigation Menu

Repository navigation

policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) - #8172

policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171)#8172
gHashTag merged 1 commit into
masterfrom
claude/t27b-verdict-key-exceptions

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!

1 participant

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!

1 participant