feat(sieve): C9 first evidence -- gen-c output determinism, 12 specs identical (Closes #6517)

[gHashTag]

What

Sieve filter C9 (reproducible builds) is UNKNOWN for t27c in specs/compiler/theory/sieve.t27 (epic #6488). This PR records the first piece of evidence collectible with t27c alone: output determinism of t27c gen-c.

The run

• Binary: ./target/release/t27c, t27c 0.4.0, built from master d5b046b00 (cargo build --release -p t27c, 2026-10-06). Host: Darwin 25.5.0 arm64.
• Method: t27c gen-c <spec> > out.1.c then > out.2.c, then cmp. All 12 specs named by sieve C9: record gen-c output determinism of t27c on 12 specs #6517 exist on that commit, 0 skipped.
• Result: 12 of 12 byte-identical. Sizes recorded in the spec (sieve 14156 B .. gf16 110604 B).
• Negative control: gen-c of specs/queen/priority.t27 vs specs/compiler/theory/sieve.t27, same binary: cmp exits 1 (differ at char 109, line 2) -- the 12 identicals are not a cmp artifact.

What this is not

Output determinism of ONE t27c binary run twice on the same host. Not a bit-identical build of t27c itself: that needs two independent builds of t27c from the same source, and it stays open (DDC #6508 is the stronger form). The spec says so explicitly.

Checks (all run on this branch)

• t27c typecheck specs/compiler/theory/reproducible.t27 -> Typecheck OK (0 errors, 0 warnings)
• t27c gen-c of the new spec twice + cmp -> exit 0
• t27c test-report -> 2 tests, 2 pass, 0 FAIL, 100%
• grep -c '^test ' -> 2
• git diff --name-only origin/master...HEAD -> only specs/compiler/theory/reproducible.t27
• gitleaks: no leaks found

Only .t27 files in the diff (owner hard rule 2026-10-05).

Closes #6517
Refs #6488

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-06 12:06:45 UTC

• feat(sieve): C10 vacuity census, top-10 no-test directories (Closes #6518) #6766 feat(sieve): C10 vacuity census, top-10 no-test directories (Closes #6518) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• feat(isa): t27a mnemonic table and strict decoder for 47 TRI-27 opcodes (Closes #6516) #6765 feat(isa): t27a mnemonic table and strict decoder for 47 TRI-27 opcodes (Closes #6516) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e #6764 Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 #6763 Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b #6762 Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) #6761 tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 #6760 Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
• Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 #6759 Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 25 total
• Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio #6758 Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 25 total
• Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor #6757 Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 24 total
• Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 #6756 Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 13 failing / 26 total
• Port gHashTag/trinity:src/brain/orbitofrontal_value.zig (Zig, 2 functions) to specs/port/trinity/src/brain/orbitofrontal #6755 Port gHashTag/trinity:src/brain/orbitofrontal_value.zig (Zig, 2 functions) to specs/port/trinity/src/brain/orbitofrontal | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 26 total
• feat(sieve): C9 first evidence -- gen-c output determinism, 12 specs identical (Closes #6517) #6754 feat(sieve): C9 first evidence -- gen-c output determinism, 12 specs identical (Closes #6517) | Created: 2026-10-06 | Updated: 2026-10-06 | 14 failing / 25 total
• Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753 Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Implement the 6 empty function bodies in specs/numeric/formats.t27 #6752 Implement the 6 empty function bodies in specs/numeric/formats.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por #6751 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 #6750 Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
• tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749 tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 #6748 Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #6747 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
• Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn #6746 Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) #6745 tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
• Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 #6744 Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr #6742 Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
• Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 #6741 Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 #6740 Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 #6739 Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 #6738 Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 #6737 Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 #6736 Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 #6735 Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 #6734 Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• t27b checked: test blocks for 7 specs in specs/functions (1 of 5) #6733 t27b checked: test blocks for 7 specs in specs/functions (1 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #6730 Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
• Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 #6729 Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
• Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 #6728 Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
• Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 #6727 Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 34 total
• Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 #6726 Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 #6725 Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 #6724 Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
• t27b checked: test blocks for 7 specs in specs/crons (4 of 8) #6723 t27b checked: test blocks for 7 specs in specs/crons (4 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
• t27b checked: test blocks for 7 specs in specs/crons (5 of 8) #6722 t27b checked: test blocks for 7 specs in specs/crons (5 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
• t27b checked: test blocks for 7 specs in specs/crons (6 of 8) #6721 t27b checked: test blocks for 7 specs in specs/crons (6 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
• Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 #6718 Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
• feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) #6695 feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 37 total
• fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap #6686 fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 34 total
• t27b checked: test blocks for 1 specs in specs/docs (1 of 1) #6623 t27b checked: test blocks for 1 specs in specs/docs (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 1 failing / 26 total
• t27b checked: test blocks for 5 specs in specs/agents (4 of 4) #6620 t27b checked: test blocks for 5 specs in specs/agents (4 of 4) | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 26 total
• feat(gen-ts): list skipped fns/tests in __NOT_EMITTED__; opt-in --fn lowers pure fn bodies (#6559) #6613 feat(gen-ts): list skipped fns/tests in NOT_EMITTED; opt-in --fn lowers pure fn bodies (#6559) | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 37 total
• feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] #6577 feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] | Created: 2026-10-05 | Updated: 2026-10-05 | 7 failing / 37 total

Summary

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

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

Seal Status

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