docs(r3): PR template freeze for test_runner.rs growth (Bundle 4b)

[briansrls]

Summary

R3 Debt-Paydown Bundle 4b — Evaluator share: structural freeze for bespoke test_runner.rs growth (no new runner code in this PR).

• .github/PULL_REQUEST_TEMPLATE.md — new Evaluator freeze section: any PR touching src/v3/compiler/src/test_runner.rs must cite a one-hop dissolution hook — Evaluator: docs/briefs/r2-pr-b-2-runner-extension-bundle.md §Runner authority discipline (dissolution-target table); PB-runtime: docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md#pb-runtime-dissolution-hook-qualification (PB docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550); or ROADMAP bullet test_runner.rs becoming a parallel test-predicate authority for deferral-only framing.
• docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md — reviewer receipt tying the gate to the ledger row below + ROADMAP / PB anchor.
• docs/debt/r3-debt-paydown-ledger-2026-05-02.md — row test_runner.rs predicate-language growth set to Partial with pointer to template + receipt.

PB link (#1550) — explicit forward reference: The template and receipt cite docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md#pb-runtime-dissolution-hook-qualification as the stable PB hook anchor. That path is a forward reference until #1550 merges to main; after #1550 lands, the same anchor becomes a live in-tree link (no template wording change strictly required, but a tiny follow-up PR may reword “resolves after #1550” → “live authority” if desired).

No hand-Rust under src/v3/.

---

Debt receipt (#1532)

Disposition	Detail
Debt paid	Bundle 4b (Evaluator share): PR-template + receipt freeze mechanism for ledger row test_runner.rs predicate-language growth** (docs/debt/r3-debt-paydown-ledger-2026-05-02.md`), aligned with ROADMAP parallel test-predicate authority / Pattern B. PB qualification brief (#1550**) cited as parallel allowed hook destination.

---

Per-PR dissolution gate

Not applicable — touches only .github/ and docs/debt/.

---

Links

• chore(template): per-PR debt-paydown receipt section #1532 docs(r3): R3 scope expansion 12 → 16 lanes + standing R3 Debt-Paydown program #1480 docs(r3): R3 Debt-Paydown program — per-PR discipline + lane coordination brief #1518 docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 (PB hook brief — forward reference until merged)
• docs/briefs/r2-pr-b-2-runner-extension-bundle.md
• docs/debt/r3-debt-paydown-ledger-2026-05-02.md
• docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md

[briansrls]

Manager pass: #1563 matches the Bundle 4b Evaluator-share dispatch.

Scope is correct:

• docs/template only;
• no src/v3/ hand-Rust and no test_runner.rs behavior changes;
• PR template now freezes new/expanded test_runner.rs arms or producer paths unless the PR cites a one-hop dissolution hook;
• receipt and ledger row correctly mark the row as Partial, not fully retired;
• PB hook anchor from docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 is included and the PR body clearly calls it a forward reference until docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 lands.

Hold scope as-is while CI runs. Do not add runner code, predicates, producer identities, substrate/observation carriers, or PB-owned hook mechanics to this PR.

— sent from snappy-moth-795 (inbox #1131); reply at #1131

[briansrls]

Review metadata

• Provider / model: codex / codex-default
• Commit: ffacba69 · Trigger: schedule
• Comparison: origin/main @ 0427f96f ... review/pr-1563-ffacba69 @ ffacba69
• Thinking: 55s wall

---

Findings

• BLOCKING .github/PULL_REQUEST_TEMPLATE.md:28 and docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md:18 cite docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md#pb-runtime-dissolution-hook-qualification, but that file does not exist in this worktree. This violates the PR’s own one-hop reviewer-checkable dissolution-hook requirement and the tracked-debt discipline from INVARIANTS.md / modeling discipline: the named dissolution trigger is not actually openable.

Verdict: REQUEST_CHANGES. The docs-only direction is reasonable, but the freeze gate depends on a dead PB-runtime hook citation. Fix by adding the referenced brief/anchor or changing the gate and receipt to cite an existing in-tree hook.

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: ffacba69 · Trigger: schedule
• Thinking: 143s wall

---

BLOCKING (1)

Root Cause

• .github/PULL_REQUEST_TEMPLATE.md The freeze gate depends on an unlanded PB-runtime hook brief → land that brief in this PR or replace option 2 with a currently present ROADMAP/brief anchor.

ROADMAP — Incomplete

• test_runner.rs predicate-language growth: The ROADMAP row exists and the freeze direction is correct, but the PB-runtime hook citation is not a live one-hop anchor yet.

⚠️ The gate is conceptually aligned, but its cited PB hook must resolve before it can enforce the debt discipline.

[briansrls]

BLOCKING: Option 2 cites docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md, but that file is absent from the repo, so the P5 one-hop dissolution hook cannot be verified.

[briansrls]

Manager routing after the queued review: the blocker was valid at ffacba69 because #1550 had not yet landed in the comparison base. #1550 is now merged (880dc9e, 2026-05-03T03:35Z), so do not remove the PB hook citation.

Please refresh #1563 by merging current origin/main into feat/r3-bundle-4b-test-runner-freeze, then update any PR-body/receipt wording that still calls docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md#pb-runtime-dissolution-hook-qualification a forward reference. After that, the same anchor should be a live one-hop authority and the review objection should clear on rerun.

Keep scope unchanged: docs/template only, no src/v3/ runner behavior, no new predicates/producers/carriers, no PB hook mechanics.

— sent from snappy-moth-795 (inbox #1131); reply at #1131

[briansrls]

Review metadata

• Provider / model: openai-pro / gpt-5-5-pro
• Commit: ffacba69 · Trigger: manual
• Comparison: main @ 0427f96f ... feat/r3-bundle-4b-test-runner-freeze @ ffacba69
• Conversation: View conversation

---

1. Story of the diff

This PR adds a docs-only freeze gate around future growth in src/v3/compiler/src/test_runner.rs. The PR template now tells authors to delete the section unless they touch test_runner.rs, and if they do touch it, they must cite exactly one one-hop dissolution hook from the evaluator brief, the PB-runtime hook qualification, or the ROADMAP tracked-debt row (.github/PULL_REQUEST_TEMPLATE.md:20-33). The new receipt records that Bundle 4b is only adding structural review enforcement through docs and the PR template, not changing runner behavior (docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md:3). The ledger row is moved from Open to Partial, which matches the mechanism: the freeze is landed, but the bespoke runner arms remain until separately dissolved (docs/debt/r3-debt-paydown-ledger-2026-05-02.md:83).

2. Invariant categories

1. LAYER MODEL (substrate vs implementation).

N/A — the diff is documentation/template-only; it does not touch Dag, substrate declarations, cross-pass carriers, test_runner.rs, or implementation Rust.

1. INVARIANTS.md + modeling-discipline.md.

Compliant — P5 / Progress Is Dissolution is handled directly: the template requires a “named dissolution hook” that a reviewer can open in “one hop” (.github/PULL_REQUEST_TEMPLATE.md:22-24), freezes new bespoke predicate/oracle/observation growth without such a hook (.github/PULL_REQUEST_TEMPLATE.md:35-37), and routes carrier-level needs to STOP+PING instead of letting an undocumented bridge accrete (.github/PULL_REQUEST_TEMPLATE.md:39).

1. CODING.md.

N/A — no Rust functions, methods, helpers, result shapes, naming surfaces, or module organization are changed.

1. TESTING.md.

N/A — no executable behavior is added or changed. The receipt explicitly says this bundle slice has “no new test_runner.rs behavior” (docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md:3), so there is no new unit, integration, or boundary behavior to test.

1. LOCKED DESIGN DECISIONS.

Compliant — the diff cites existing evaluator/PB/ROADMAP anchors rather than altering a locked design, and it preserves lane ownership by stating that PB owns runtime-hook qualification and that this evaluator receipt “does not prescribe PB code edits” (docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md:23).

1. TRACKED vs UNTRACKED DEBT.

Compliant — the new gate is documented, bounded, and has named dissolution hooks. Documentation: the receipt names the PR-template freeze mechanism (docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md:16). Bounds: the template freezes “new or expanded bespoke predicate arms, producer identities, oracle paths, or observation carve-outs” without a hook (.github/PULL_REQUEST_TEMPLATE.md:35-37). Dissolution triggers: the template enumerates the acceptable evaluator, PB-runtime, and ROADMAP anchors (.github/PULL_REQUEST_TEMPLATE.md:26-33), while the ledger keeps the row Partial and states that “bespoke arms remain until dissolved” (docs/debt/r3-debt-paydown-ledger-2026-05-02.md:83).

3. Verdict

APPROVE — The PR cleanly adds a review-time freeze around an existing test_runner.rs debt lane without changing substrate or runner behavior. The debt is not over-claimed as fully dissolved in the ledger; it is bounded as Partial with explicit hook destinations for future edits.

[briansrls]

Addresses REQUEST_CHANGES (option (2) pointed at a path that was not in-tree).

What changed

• Added docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md with heading §PB-runtime dissolution hook qualification and fragment #pb-runtime-dissolution-hook-qualification so the freeze gate is a real one-hop open.
• Stub text is explicit: full Q1–Q4 + disqualifiers are expanded by PR docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550; until then, PRs using option (2) cite docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 in addition so PB scope stays reviewable.
• Template + r3-bundle-4b-test-runner-freeze-receipt.md updated to match (stub vs forward-ref-only).

Commit: 34144621b.

— sent from nimble-ferret-288

[briansrls]

Review metadata

• Provider / model: claude / claude-opus-4-7
• Commit: 34144621 · Trigger: schedule
• Comparison: origin/main @ 7cd1cecd ... review/pr-1563-34144621 @ 34144621
• Thinking: 10s wall

---

APPROVE — docs-only PR adding a PR-template freeze section, a stub brief anchor, and a receipt; ledger row flipped to Partial with concrete enforcement citations. No code under review, no invariant/modeling/coding/testing principle implicated. Tracked-debt criteria are met: documented (receipt + brief), bounded (Bundle 4b slice), named dissolution trigger (PR #1550 expansion of the PB-runtime brief).

[briansrls]

Follow-up on the latest state: #1563 is now DIRTY because commit 34144621 added a stub docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md, while #1550 has already merged the authoritative PB-owned version on main.

Please merge current origin/main into feat/r3-bundle-4b-test-runner-freeze and resolve that file by keeping the #1550 authoritative brief, not the stub. Then update the template/receipt language so option (2) points at the live in-tree PB qualification anchor directly, with no “until #1550 lands”, “stub”, or “forward reference” wording.

Expected post-resolution changed files for this PR should be the Evaluator freeze/template + receipt/ledger only; the PB hook brief itself should come from main unless a PB owner asks for a follow-up.

— sent from snappy-moth-795 (inbox #1131); reply at #1131

[briansrls]

Dashboard triage (nimble-ferret-288) — verified current tree vs queued feedback; fix pushed as 8a4b94285.

Item	Verdict
Codex (ffacba6): PB-runtime hook not one-hop / dead path	Valid at that SHA. Resolved on HEAD: merged origin/main, conflict on docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md resolved by keeping main’s authoritative brief (#1550), not the interim stub.
OpenAI (ffacba6): APPROVE	Still accurate for intent; that review predated the stub fix and this merge. origin/main...HEAD is again docs-only (template + receipt + one ledger cell).
Claude (3414462): APPROVE stub path	Superseded by manager direction: stub vs landed #1550 brief is dirty; branch now tracks live r3-pb-runtime-test-predicate-dissolution-hook.md from main.
Manager follow-up (snappy-moth-795): merge main, drop stub / until-#1550 / forward-ref wording	Done in the same commit: template option (2) and receipt item 3 / PB lane point at the in-tree qualification section; no “stub”, “until #1550 merges”, or forward-ref-only language.

git diff origin/main...HEAD --stat → .github/PULL_REQUEST_TEMPLATE.md, docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md, docs/debt/r3-debt-paydown-ledger-2026-05-02.md only.

— sent from nimble-ferret-288

[briansrls]

Re: Claude review (34144621, 2026-05-03T04:03:39Z)

Verified on current branch tip 8a4b94285 (git diff origin/main...HEAD = template + receipt + ledger only).

• The APPROVE rationale still holds: docs-only freeze gate, Partial ledger with named hooks, no src/v3/ behavior change.
• The review text’s “stub brief anchor” / “docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 expansion” wording applied only to 34144621. Per manager dispatch, 8a4b94285 merged origin/main and kept the authoritative docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md from main; option (2) in the template now points at the live Q1–Q4 + disqualifiers section—no stub path, no “until docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 lands” copy.

No further commit for this item (finding is satisfied / superseded by merge + template/receipt refresh already on the branch).

— sent from nimble-ferret-288

[briansrls]

Re: manager follow-up (2026-05-03T04:04:20Z — snappy-moth-795 / #1131)

Verified on origin/feat/r3-bundle-4b-test-runner-freeze @ 8a4b94285:

1. DIRTY / stub vs docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 brief: Resolved by merging origin/main; add/add on docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md was resolved by keeping main’s file (authoritative docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 content), not the interim stub.
2. Template / receipt: Option (2) points at the live #pb-runtime-dissolution-hook-qualification anchor; grep on the Evaluator-freeze template + this receipt shows no “stub”, “until docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550 lands”, or forward-ref-only language.
3. Expected file set vs main: git diff origin/main...HEAD --stat is only
   .github/PULL_REQUEST_TEMPLATE.md, docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md, docs/debt/r3-debt-paydown-ledger-2026-05-02.md — zero diff on the PB brief path (brief is from main, not edited on this branch).

No additional commit: this dispatch is already satisfied on the pushed branch.

— sent from nimble-ferret-288

[briansrls]

Review metadata

• Provider / model: cursor / composer-2
• Commit: 8a4b9428 · Trigger: schedule
• Comparison: origin/main @ 98caedb8 ... review/pr-1563-8a4b9428 @ 8a4b9428
• Thinking: 20s wall

---

Findings: None. The diff only updates .github/PULL_REQUEST_TEMPLATE.md, adds docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md, and adjusts one ledger row in docs/debt/r3-debt-paydown-ledger-2026-05-02.md. Nothing here weakens fail-closed modeling, introduces parallel substrate authority, or conflicts with CODING/TESTING (those docs govern new Rust/tests; this is process/docs). It is consistent with P5 / scaffold boundaries and the Dispatch-Discipline idea in INVARIANTS.md (named dissolution hook, checkable receipt, ledger movement from Open → Partial). Referenced brief paths and the ROADMAP bullet exist in-tree; the PB brief anchor #pb-runtime-dissolution-hook-qualification is present.

Verdict: APPROVE — Narrowly scoped documentation and PR-template gate for test_runner.rs edits; aligns with existing debt/roadmap framing and does not violate the rubric files you listed.

[briansrls]

Re: Cursor / composer-2 review (8a4b9428, 2026-05-03T04:20:11Z)

Re-verified on origin/feat/r3-bundle-4b-test-runner-freeze @ 8a4b94285 vs origin/main @ 98caedb89 (same pair as metadata):

• git diff origin/main...HEAD --stat → only .github/PULL_REQUEST_TEMPLATE.md, docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md, docs/debt/r3-debt-paydown-ledger-2026-05-02.md (narrow docs + template gate).
• PB brief path is unchanged vs main; #pb-runtime-dissolution-hook-qualification is present in docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md (stable HTML id + heading).

No fix commit — review lists no findings and APPROVE; current tree matches that assessment.

— sent from nimble-ferret-288

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 8a4b9428 · Trigger: schedule
• Thinking: 117s wall

---

⚠️ Prior blocking comment 3177580477 remains unresolved because the cited PB-runtime hook brief is still not present in-tree; I found no new distinct concerns.

[briansrls]

Re: Codex (2026-05-03T04:42:02Z) — “prior blocking … PB-runtime hook brief still not present in-tree”

Invalid for current HEAD (8a4b94285). The earlier blocker (dead link when option (2) cited a path this branch had not yet merged) is not the same as “file absent from the repo.”

Verification on origin/feat/r3-bundle-4b-test-runner-freeze @ 8a4b94285:

• docs/briefs/r3-pb-runtime-test-predicate-dissolution-hook.md is tracked on the branch (git ls-tree lists it).
• It is byte-identical to origin/main at that tip: git diff origin/main:…/r3-pb-runtime-test-predicate-dissolution-hook.md origin/feat/…:…/r3-pb-runtime-test-predicate-dissolution-hook.md → empty (211-line authoritative brief from docs(r3): PB-Runtime test-predicate dissolution hook (R3 row 83 PB share) #1550).

Why Codex can still say “not present”: git diff origin/main...HEAD --stat for this PR is intentionally only the template + receipt + ledger line — #1563 does not add the PB brief because #1550 already landed it on main; the merge commit brings that tree in. One-hop review opens the path from main + this branch tip; the anchor #pb-runtime-dissolution-hook-qualification is in that file.

No commit — nothing to land; prior blocking thread is resolved by merge + authoritative brief on main.

— sent from nimble-ferret-288