policy: exception entry for the Documented Commands ratchet constant (Refs #9271) by gHashTag · Pull Request #9289 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-12T17:01:03Z

Part of epic #9271 (TRI CLAW).

PR #9277 makes tri claw live on its head, so the dead-mention ceiling -- an
equality ratchet (ceiling_moved = len(tri_bad) != MAX_DEAD_TRI) -- must move
141 -> 140 in that same PR. The one-constant change lives inside this existing
gate tool, which is why it needs this exception entry (same pattern as the
#9279 entries directly above it).

No logic is added or changed beyond the ratchet constant; the foreign-line
budget cap still applies.

Merges before #9277 re-runs its own-language check, which reads this file from
the PR's BASE.

Refs #9271.

🤖 Generated with Claude Code

…(Refs #9271) PR #9277 makes `tri claw` live on its head, so the equality ratchet forces MAX_DEAD_TRI 141 -> 140 in the same PR. This entry lets that one-constant move through the Only t27 gate; no logic changes, budget cap still applies. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-12T17:01:26Z

PR Dashboard

Generated at: 2026-10-12 17:01:17 UTC

policy: exception entry for the Documented Commands ratchet constant (Refs #9271) #9289 policy: exception entry for the Documented Commands ratchet constant (Refs #9271) | Created: 2026-10-12 | Updated: 2026-10-12 | 21 failing / 23 total
claw: drift audit law as .t27 spec lowered by gen-c (T2-T3, Refs #9271) #9277 feat(claw): tri claw reader, drift gate workflow, App manifest (T2-T4) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 32 total
Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up #9231 policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up | Created: 2026-10-12 | Updated: 2026-10-12 | 3 failing / 26 total
spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 6 failing / 29 total
Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 29 total
Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 32 total
Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 30 total
feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total
gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) #9135 gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 42 total
Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) #9131 Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 33 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #9060 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-11 | Updated: 2026-10-12 | 7 failing / 32 total
docs(agents): new functionality is written in .t27 only (Closes #10535) #8936 docs(agents): new functionality is written in .t27 only | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 24 total
Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 #8892 Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 total
t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) #8890 t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) | Created: 2026-10-11 | Updated: 2026-10-12 | 10 failing / 33 total
spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 30 total
isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876 isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 29 total
Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 30 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-12 | 9 failing / 31 total
Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 33 total
gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 42 total
specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) #8843 specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 33 total
tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) #8842 tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 24 total
Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 6 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-12 | 6 failing / 33 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ #8787 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 30 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 29 total
fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) #8772 fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-12 | 11 failing / 39 total
fix(specs): restore native JTAG verdict literals #8771 fix(specs): restore native JTAG verdict literals | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) #8768 spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
fix(memory): restore executable graph ingest policy #8755 fix(memory): restore executable graph ingest policy | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 31 total
fix(specs): restore executable policies and corpus checks #8749 fix(specs): restore executable policies and corpus checks | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 #8718 Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 32 total
docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP #8538 docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 24 total
fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum #8532 fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
Wave 683: one mistake in two copies, and a withdrawn explanation #8509 Wave 683: one mistake in two copies, and a withdrawn explanation | Created: 2026-10-10 | Updated: 2026-10-12 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt #8506 Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 30 total
Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 #8458 Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs #8455 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs | Created: 2026-10-10 | Updated: 2026-10-10 | 8 failing / 29 total
spec(automation): blog-share v6 -- autopost: new articles at once, the backlog on a schedule, Telegram a network (Closes #8318) #8319 spec(automation): blog-share v6 -- autopost: new articles at once, the backlog on a schedule, Telegram a network (Closes #8318) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 31 total
course-outreach v3: daily and weekly send cap per network #8308 course-outreach v3: daily and weekly send cap per network | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 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-10 | 4 failing / 39 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
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
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-11 | 4 failing / 33 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-12 | 7 failing / 34 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=e769ef021713 != 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 enabled auto-merge (squash) October 12, 2026 17:01

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

gHashTag merged commit 31b9fdd into master Oct 12, 2026
22 of 27 checks passed

gHashTag mentioned this pull request Oct 12, 2026

claw: autofix engine spec -- round law, fail-closed dispatch, no-model apply (AF2, closes #9283) #9292

Merged

gHashTag deleted the claw-policy-ratchet branch October 26, 2026 05:45

Navigation Menu

Repository navigation

policy: exception entry for the Documented Commands ratchet constant (Refs #9271) - #9289

policy: exception entry for the Documented Commands ratchet constant (Refs #9271)#9289
gHashTag merged 1 commit into
masterfrom
claw-policy-ratchet

gHashTag commented Oct 12, 2026

Uh oh!

github-actions Bot commented Oct 12, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 12, 2026

Uh oh!

github-actions Bot commented Oct 12, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant