Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p

[gHashTag]

Closes #8868

Written by a bee on queen-8868 and published by tools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.

1 file changed, 199 insertions(+)

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-11 00:13:26 UTC

• 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-11 | 26 failing / 28 total
• tri hot: the hot paths timed against their budgets -- warm frontier, bitstream reuse hit; OVER when a cache broke (Closes #8870) #8872 tri hot: the hot paths timed against their budgets -- warm frontier, bitstream reuse hit; OVER when a cache broke (Closes #8870) | Created: 2026-10-11 | Updated: 2026-10-11 | 16 failing / 31 total
• docs(isa): mark S05 findings fixed upstream #8871 docs(isa): mark S05 findings fixed upstream | Created: 2026-10-11 | Updated: 2026-10-11 | 13 failing / 28 total
• network: identity.t27 -- one record per participant, facts bound by the account's own PR or key, the agent table, one signed claim for old commits (Closes #8649) #8869 network: identity.t27 -- one record per participant, facts bound by the account's own PR or key, the agent table, one signed claim for old commits (Closes #8649) | Created: 2026-10-10 | Updated: 2026-10-11 | 13 failing / 34 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-10 | 6 failing / 29 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-10 | 9 failing / 44 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-10 | 6 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-10 | 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-10 | 5 failing / 29 total
• Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 #8828 Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port gHashTag/trinity:fpga/openxc7-synth/gf16_add_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf1 #8827 Port gHashTag/trinity:fpga/openxc7-synth/gf16_add_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf1 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra #8824 Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port scripts/gen_w698.py (Python, 3 functions) to specs/port/scripts/gen_w698.t27 #8823 Port scripts/gen_w698.py (Python, 3 functions) to specs/port/scripts/gen_w698.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 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-10 | 5 failing / 29 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-10 | 5 failing / 29 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-10 | 6 failing / 29 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-10 | 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, a primitives-only wrapper (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-10 | 7 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 | 1 failing / 2 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-10 | 5 failing / 33 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 | 30 failing / 30 total
• Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 #8735 Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/replay_detection_window_guard.rs (Rust, 1 function) to specs/ #8734 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/replay_detection_window_guard.rs (Rust, 1 function) to specs/ | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 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-10 | 4 failing / 29 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-10 | 6 failing / 29 total
• Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/wire_frame_integrity_guard.rs (Rust, 1 function) to specs/por #8673 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/wire_frame_integrity_guard.rs (Rust, 1 function) to specs/por | Created: 2026-10-10 | Updated: 2026-10-10 | 7 failing / 29 total
• t27b: an empty typed array literal is an empty list; drop the stale reference-defect refusal (Closes #8633) #8647 t27b: an empty typed array literal is an empty list; drop the stale reference-defect refusal (Closes #8633) | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 39 total
• Port gHashTag/trinity:src/tri/railway.zig (Zig, 4 functions) to specs/port/trinity/src/tri/railway.t27 #8555 Port gHashTag/trinity:src/tri/railway.zig (Zig, 4 functions) to specs/port/trinity/src/tri/railway.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 6 failing / 29 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-10 | 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-10 | 5 failing / 39 total
• gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution #8531 gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution | Created: 2026-10-10 | Updated: 2026-10-10 | 8 failing / 30 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-10 | 3 failing / 24 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-10 | 6 failing / 29 total
• Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re #8483 Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port gHashTag/trinity:src/tri/gen_splay_tree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_splay_tree.t27 #8470 Port gHashTag/trinity:src/tri/gen_splay_tree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_splay_tree.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-ipc/src/validate.rs (Rust, 3 functions) to specs/port/trios/crates/trios-ipc/src/valida #8459 Port gHashTag/trios:crates/trios-ipc/src/validate.rs (Rust, 3 functions) to specs/port/trios/crates/trios-ipc/src/valida | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 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-10 | 5 failing / 29 total
• Port gHashTag/trinity:src/tri/tri_hardware_deploy.zig (Zig, 5 functions) to specs/port/trinity/src/tri/tri_hardware_depl #8457 Port gHashTag/trinity:src/tri/tri_hardware_deploy.zig (Zig, 5 functions) to specs/port/trinity/src/tri/tri_hardware_depl | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-mcp/rings/SR-00/src/screenshot.rs (Rust, 5 functions) to specs/port/trios/crates/trios- #8456 Port gHashTag/trios:crates/trios-mcp/rings/SR-00/src/screenshot.rs (Rust, 5 functions) to specs/port/trios/crates/trios- | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 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
• Port gHashTag/trinity:fpga/openxc7-synth/ternary_matvec.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/t #8453 Port gHashTag/trinity:fpga/openxc7-synth/ternary_matvec.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/t | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• spec automation/ci-bridge v3: the verdict as the app's own PR comment #8452 spec automation/ci-bridge v3: the verdict as the app's own PR comment | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 37 total
• Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/q #8451 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/q | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-phd/src/bin/migrate_rag.rs (Rust, 1 function) to specs/port/trios/crates/trios-phd/src/ #8450 Port gHashTag/trios:crates/trios-phd/src/bin/migrate_rag.rs (Rust, 1 function) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-hdc/src/lib.rs (Rust, 2 functions) to specs/port/trios/crates/trios-hdc/src/lib.t27 #8449 Port gHashTag/trios:crates/trios-hdc/src/lib.rs (Rust, 2 functions) to specs/port/trios/crates/trios-hdc/src/lib.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port scripts/gen_w660.py (Python, 3 functions) to specs/port/scripts/gen_w660.t27 #8448 Port scripts/gen_w660.py (Python, 3 functions) to specs/port/scripts/gen_w660.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_yaml_syntax.zig (Zig, 1 function) to specs/port/trinity/sr #8447 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_yaml_syntax.zig (Zig, 1 function) to specs/port/trinity/sr | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
• Port scripts/gen_w670.py (Python, 3 functions) to specs/port/scripts/gen_w670.t27 #8444 Port scripts/gen_w670.py (Python, 3 functions) to specs/port/scripts/gen_w670.t27 | Created: 2026-10-10 | Updated: 2026-10-10 | 5 failing / 29 total
• Port bootstrap/src/compiler.rs lines 28604-28703 (Rust, 10 functions) to specs/port/bootstrap/src/compiler/HirMemory_new #8443 Port bootstrap/src/compiler.rs lines 28604-28703 (Rust, 10 functions) to specs/port/bootstrap/src/compiler/HirMemory_new | Created: 2026-10-10 | Updated: 2026-10-10 | 5 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)=465abf513dc2 != 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).

[tri-claw]

Reviewer bee verdict for head b500c573ae21e80eb7a3b3af1280cea2e1410637 (tools/bees/reviewer.py, zai glm-4.7-flash, glm-4.5-flash, 17 turns, 2658 s).

BEE-VERDICT: REQUEST_CHANGES
summary: PR creates the required file with correct functions but uses invalid t27 syntax (for entry in window) that causes generated code to fail compilation
criterion: "1. test -f specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 && echo present prints present" -- met
criterion: "2. grep -cE '^\s*(pub )?fn (validate_counter_advance|check_replay_window)\(' specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 prints 2" -- met
criterion: "3. t27c gen specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 > /tmp/t27-gen.zig && grep -c 'not yet implemented' /tmp/t27-gen.zig prints 0" -- met
criterion: "4. t27c spec-status specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 does not print NOPARSE" -- met
criterion: "5. grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 prints at least 2" -- met
criterion: "6. t27c test-report specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 2>&1 | grep -c BLOCKED prints 0" -- unmet -- generated code fails to compile due to invalid syntax on line 84
blocking-check: t27c test-report specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27-- head introduces a syntax error withfor entry in window` (invalid t27 syntax) causing generated code to fail compilation

Evidence

Based on my analysis:

Evidence

1. The pull request successfully creates the required file and meets most acceptance criteria:

   • File exists: test -f specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.t27 && echo present prints present ✓
   • Both functions are present: grep -cE '^\s*(pub )?fn (validate_counter_advance|check_replay_window)\(' prints 2 ✓
   • No "not yet implemented" in generated code: grep -c 'not yet implemented' prints 0 ✓
   • Generated code has content: wc -l prints 142 ✓
   • File parses: spec-status prints IMPLEMENTED ✓
   • Tests exist: grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' prints 17 ✓

2. The issue with criterion 7 (BLOCKED test) is due to invalid t27 syntax:

   • Line 84 uses for entry in window which is NOT valid t27 syntax
   • According to brief.md section "What compiles today", only for i in 0..n (with n as usize) is valid
   • This invalid syntax prevents the generated code from compiling

3. Red checks analysis:

   • 5 red checks listed, but they're NOT caused by this PR
   • Corpus ratchet: failure exists on master (39d5af3)
   • duplicate-bodies: failure exists on master (39d5af3)
   • emit-bitexact: not run on master's recent commits
   • Verilog widths: failure exists on master (39d5af3)
   • t27b-native-ratchet: failure exists on master (39d5af3)

4. Change boundary respected:

   • Only creates the required file and a documentation entry
   • No edits outside the boundary specified in issue #8868
   • Port follows the decision-not-plumbing pattern

Verdict