docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002)

[gHashTag]

Closes #6002. Refs #5935.

docs/loop/LOOP-RULES.md still described the NOW gate the owner removed on 2026-10-04 (PR #5951). Two files change: the rule text and its seal.

rule	was	now
R12 entry	add a docs/now/ entry dated inside the gate's window	no entry required; points at docs/now/README.md for an optional one
R12 archive	"docs/NOW.md is now ENFORCED" (Archive-Repair)	still frozen; the exception points at CONTRIBUTING.md; no workflow enforces it since #5951
R12 checks	"Four required checks: check, validate, check-now-freshness, check-linked-issue"	the ruleset query, plus its answer on 2026-10-04: validate, check-linked-issue, parse-ratchet
R10	now-sync-gate.yml listed; "Until that change is merged ..."	the filter removal merged in bba0644 (#2169); now-sync-gate.yml is gone; the stacked-PR disclosure stays as a standing rule

Seal

docs/loop/LOOP-RULES.sha256: 6d68cc15... -> cc856a5c..., resealed for these four passages only (the commit message says so, as loop_rules.py asks).

Checked in a scratch copy of the two files plus master's scripts/tri_loop/loop_rules.py:

• new text against new seal: OK -- the rule text is byte-identical to the sealed text., exit 0
• negative control, master's text against the new seal: MISMATCH, exit 1
• the query in the new text, run as written: validate, check-linked-issue, parse-ratchet
• added lines are ASCII (the two pre-existing section signs at lines 139 and 141 are untouched)

No code reads the removed wording: git grep 'Four required checks' finds only this file, and rule_observance.py reads PR bodies, not the rules' text.

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-04 10:34:48 UTC

• Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 #6008 Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 23 failing / 24 total
• feat(t27b): memory primitives -- frame slots, loads/stores, rodata, bounds (Refs #5977) #6007 feat(t27b): memory primitives -- frame slots, loads/stores, rodata, bounds (Refs #5977) | Created: 2026-10-04 | Updated: 2026-10-04 | 22 failing / 23 total
• gate(coq): re-bless the three trios-coq files #4754 built, and run on trios-coq/** #6006 gate(coq): re-bless the three trios-coq files #4754 built, and run on trios-coq/** | Created: 2026-10-04 | Updated: 2026-10-04 | 22 failing / 24 total
• docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) #6004 docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) | Created: 2026-10-04 | Updated: 2026-10-04 | 7 failing / 23 total
• fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) #6003 fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
• fix(gen): signed and float % lowers to @rem (Closes #5973) #5993 fix(gen): signed and float % lowers to @rem (Closes #5973) | Created: 2026-10-04 | Updated: 2026-10-04 | 7 failing / 34 total
• feat(t27b): run invariant blocks like tests, report them apart (Refs #5977) #5992 feat(t27b): run invariant blocks like tests, report them apart (Refs #5977) | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 31 total
• fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep #5990 fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 37 total
• fix(t27c): refuse a colon inside a field type and @as to a slice type; fix the six silent specs #5971 fix(t27c): refuse a colon inside a field type and @as to a slice type; fix the six silent specs | Created: 2026-10-04 | Updated: 2026-10-04 | 8 failing / 40 total
• ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 28 total
• fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch #5964 fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 42 total
• ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 40 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
• fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
• fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) #5947 fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 43 total
• Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• spec(split-reel): v9 -- each voice is held to its own slowest measured pace #5932 spec(split-reel): v9 -- each voice is held to its own slowest measured pace | Created: 2026-10-04 | Updated: 2026-10-04 | 24 failing / 25 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to  #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
• CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
• ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
• fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) #5902 fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 46 total
• spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
• Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
• Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
• Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
• Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
• tri: stranded-work finder and cron tick resume card #5787 tri: stranded-work finder and cron tick resume card | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 31 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
• Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions)  #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
• bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
• Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total
• fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
• fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
• spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live #5680 spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 32 total
• docs(constitution): entrench Article CREDIT and seal it (v1.3) #5667 docs(constitution): entrench Article CREDIT and seal it (v1.3) | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 40 total
• specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise #5664 specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 36 total
• Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ #5663 Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 36 total
• docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
• The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
• docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total

Summary

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

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

Seal Status

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