policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111)

[gHashTag]

Closes #8111
Refs #8095

Adds three entries to tools/policy/foreign-exceptions.txt for step 4 of the verdict-reuse epic:

• .github/workflows/spec-guards.yml: prints t27c frontier's reused share, using the base revision's seals. A PR cannot vouch for itself.
• bootstrap/src/suite.rs and .github/workflows/corpus-ratchet.yml: skip the specs that the generated node_decision marks REUSE.

Every decision is generated from specs/verified/seal_identity.t27; these files only call it. The foreign-line budget (40 per file, 80 per PR) still applies to every change.

The entries land on their own because CI reads this list from the base revision.

Owner instruction, 2026-10-09 (translated): "do this as a priority, yourself" for #8095.

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-09 09:56:17 UTC

• t27core: every name bound as both backends bind it (Closes #8092) #8129 t27core: every name bound as both backends bind it (Closes #8092) | Created: 2026-10-09 | Updated: 2026-10-09 | 31 failing / 32 total
• verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) #8121 verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
• spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie #8119 spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 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 | 24 failing / 25 total
• verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) #8115 verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
• policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) #8112 policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) | Created: 2026-10-09 | Updated: 2026-10-09 | 21 failing / 26 total
• t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) #8110 t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 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 | 9 failing / 28 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 | 12 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 | 10 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 | 6 failing / 29 total
• verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) #8097 verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
• spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press #8094 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 31 total
• spec(automation): agent-neuro-kie v1 -- every Kie neuro-function the agent may order #8090 spec(automation): agent-neuro-kie v1 -- every Kie neuro-function the agent may order | Created: 2026-10-09 | Updated: 2026-10-09 | 3 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 | 8 failing / 41 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 | 4 failing / 33 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 | 4 failing / 32 total
• t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) #8054 t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 31 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 | 16 failing / 30 total
• specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) #8045 specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 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 / 36 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 | 5 failing / 34 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-08 | 1 failing / 29 total
• t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) #7925 t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) | Created: 2026-10-08 | Updated: 2026-10-09 | 30 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 | 30 failing / 33 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 / 34 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

Summary

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

These columns do not partition: 0 + 43 + 0 + 0 = 43, 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]

duplicate-bodies is red on master too: python3 tools/dupe_scan.py on origin/master reports ends_block, get_last_block, is_blank and others copied 7 times. The copies come from the port PRs gen_w311 (#8031), gen_w318 (#8049) and gen_w322 (#8040). This PR changes only tools/policy/foreign-exceptions.txt, so the failure is not this PR's. The check is not among the required ones (validate, check-linked-issue, parse-ratchet, own-language).