From b7e9b694094fb2cf24d68c34104f34a8bc2b7859 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Sun, 10 May 2026 14:45:49 +0000 Subject: [PATCH] docs(r3): mark gate #75 pr_anticipation_discipline_ci_active CONSUMER_LANDED MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit CI already runs scripts/check-pr-sg0-net-shrink-discipline.sh in .github/workflows/ci.yml (self-test + pull_request PR_BODY check). Update r3-program-plan §1.8 + §3 T-Debt-Paydown blocker, r3-structure acceptance bullet, and Q-PR-Anticipation-Gate status to record the consumer as landed for R3 gate #75. Co-authored-by: Cursor --- docs/r3-program-plan.md | 8 ++++---- docs/r3-structure.md | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md index 9e9c54c330c..00938ae825e 100644 --- a/docs/r3-program-plan.md +++ b/docs/r3-program-plan.md @@ -147,7 +147,7 @@ Per openai-pro meta-review on PR #1808 sha `cf249389` ([#issuecomment-4384405832 **Consumer infrastructure to land before R3 close**: - **T-Tests-As-Data-Completeness lane** (existing R3 lane): every test ports to `.dag` TestClaim or generated target-language test code; predicates execute via Evaluator. Closes the predicate→consumer gap for substrate-gap-class + Pattern-A predicate gates. -- **R3 Debt-Paydown PR-anticipation gate** (added 2026-05-06): `pr_anticipation_discipline_ci_active` — CI verifiably enforces §7 PR-authoring contract via `scripts/check-pr-sg0-net-shrink-discipline.sh`. Closes the predicate→consumer gap for going-forward debt-discipline gates. +- **R3 Debt-Paydown PR-anticipation gate** (added 2026-05-06): `pr_anticipation_discipline_ci_active` — CI verifiably enforces §7 PR-authoring contract via `scripts/check-pr-sg0-net-shrink-discipline.sh` (**CONSUMER_LANDED** — `.github/workflows/ci.yml` `ci` job; §1.8 row #75). Closes the predicate→consumer gap for going-forward debt-discipline gates. - **Demonstration-gate minimum bar consumer** (per §1.6): each demonstration gate requires runtime-executable demonstration; lane-owning Mgr authors the consumer alongside gate declaration. Closes the predicate→consumer gap for the 10 NEW demonstration gates. **This PR's scope is intentionally declarations + plan; consumer authoring happens in subsequent PRs by lane-owning Mgrs** (per `feedback_bundle_workstreams_per_pr` — single coordinated authority drop here, distinct PRs for consumer infrastructure). @@ -298,7 +298,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap | 72 | `e_p_producer_demonstration` | demonstration | T-E-P-Producer-Broadening | **CONSUMER_LANDED** — integration `e_p_producer_demonstration` (`m2_substrate_inhabitance_test.rs`) | unary recursive self-call: `SubValueRelation` + scalar `per_call_pattern_at` → `lower_call_pattern` / `DescentEvidence::Strict` (multi-arg per-port vectors: other E-P tests) | | 73 | `lens_behavioral_parity_demonstration` | demonstration | T-Lens-Behavioral-Parity | DECLARED (NEW 2026-05-06) | **R3 (post-carve-promotion 2026-05-09):** all 4 lenses (complexity + cost + parallelism + effect_enum) vs frozen v2-oracle snapshot. Parallelism + effect_enum **R3-load-bearing within Cluster F** per Director carve-promotion ratification at gunbc#846 c#4412330468 (prior R4-carved status DISSOLVED). | | 74 | `tests_as_data_demonstration` | demonstration | T-Tests-As-Data-Completeness | DECLARED (NEW 2026-05-06) | Rust test ports to `.dag` TestClaim + executes | -| 75 | `pr_anticipation_discipline_ci_active` | CI-discipline | R3 Debt-Paydown (standing) | DECLARED (NEW 2026-05-06) | `scripts/check-pr-sg0-net-shrink-discipline.sh` in CI | +| 75 | `pr_anticipation_discipline_ci_active` | CI-discipline | R3 Debt-Paydown (standing) | **CONSUMER_LANDED** — `.github/workflows/ci.yml` `ci` job runs `scripts/check-pr-sg0-net-shrink-discipline.sh --self-test` on every non-draft `push`/`pull_request` and runs the script with `PR_BODY` on `pull_request` when the SG-0 census differs from `origin/main` | `scripts/check-pr-sg0-net-shrink-discipline.sh` in CI | | 76 | `e_p_per_call_descent_evidence_full_coverage` | substrate-shape | T-E-P-Producer-Broadening | **CONSUMER_LANDED** (PR #2147 carrier + PR #2190 consumer; refresh per cluster-analysis audit §1) | per-call DescentEvidence covers all live call sites | | 77 | `e_p_call_pattern_lookup_authoritative` | substrate-shape | T-E-P-Producer-Broadening | **CONSUMER_LANDED** — integration `e_p_call_pattern_lookup_authoritative` (`m2_substrate_inhabitance_test.rs`) pins `per_call_pattern_at` as the lens-facing query over the per-call evidence authority | CallPattern lookup authoritative | | 78 | `e_p_sub_value_relation_per_call_landed` | substrate-shape | T-E-P-Producer-Broadening | **CONSUMER_LANDED** (T-E-P P1 slices 1-7 per cluster-analysis audit §1) | SubValueRelation per-call landing | @@ -434,7 +434,7 @@ Each retires per its natural-owner program prerequisites. Verification Mgr's `br | T-Lens-Application-Surface | YELLOW | `r3-substrate-tests-as-data-carrier-slice-1-stop-ping`; **crisp-raven-202 active on R3 F2 ShapeATarget closed enum vs LanguageSpec extensibility** (Class F; ontology duplication) PR #2473 (currently 1 pending) | T-Lens-Behavioral-Parity COMPLETE | post-LBP | | T-Workflow-As-Data | YELLOW | `r3-v-bridge-row-*` + `design-timing-lens`; tidy-koi-836 + warm-lark-189 + still-ibex-188 active on T-LAS / T-Workflow-As-Data demo workers (Cursor Cloud agents) | T-Lens-Behavioral-Parity COMPLETE | post-LBP | | T-Lens-Self-Application | RED | (waits on Workflow-As-Data + LAS) | T-Workflow-As-Data + T-Lens-Application-Surface | post-WAD+LAS | -| T-Debt-Paydown (standing) | YELLOW | **gentle-newt-665 archived 2026-05-10; silent-ram-834 re-spawned per Director Option A at gunbc#846 c#4414372073 (sub-issue #2566 charter, identity inbox #2567)**; Phase 1+2 deliverables MERGED in PR #2437 (2026-05-09; Class A-G + Class P + 6 novel-finding briefs); Phase 3 dispatch tracker MERGED in PR #2454/#2456; Phase 3 fleet at 8/10 work items closed/absorbed per silent-ram-834 status report (gunbc#828 c#4414611117); orphan PR #2503 closed 2026-05-10 06:55Z per Director default disposition; PR #2399 §1.8 ledger Status drift sweep MERGED 2026-05-10 | §1.8 gate **#75** `pr_anticipation_discipline_ci_active` **DECLARED** (see §1 table); SG-0 trajectory tracker (`docs/audit/r3-sg0-trajectory-tracker.md`) at 164 entries (b71148d06 per silent-ram-834 04:54Z reading); +2 vs corrected 2026-05-09 EOD baseline 162; tripwire status pending/uncomputed | continuous; F1 (#2465) + F2 (#2466/#2473) remaining as last 2/10 Phase 3 items | +| T-Debt-Paydown (standing) | YELLOW | **gentle-newt-665 archived 2026-05-10; silent-ram-834 re-spawned per Director Option A at gunbc#846 c#4414372073 (sub-issue #2566 charter, identity inbox #2567)**; Phase 1+2 deliverables MERGED in PR #2437 (2026-05-09; Class A-G + Class P + 6 novel-finding briefs); Phase 3 dispatch tracker MERGED in PR #2454/#2456; Phase 3 fleet at 8/10 work items closed/absorbed per silent-ram-834 status report (gunbc#828 c#4414611117); orphan PR #2503 closed 2026-05-10 06:55Z per Director default disposition; PR #2399 §1.8 ledger Status drift sweep MERGED 2026-05-10 | §1.8 gate **#75** `pr_anticipation_discipline_ci_active` **CONSUMER_LANDED** (`.github/workflows/ci.yml` `ci` job — see §1.8 row #75); SG-0 trajectory tracker (`docs/audit/r3-sg0-trajectory-tracker.md`) at 164 entries (b71148d06 per silent-ram-834 04:54Z reading); +2 vs corrected 2026-05-09 EOD baseline 162; tripwire status pending/uncomputed | continuous; F1 (#2465) + F2 (#2466/#2473) remaining as last 2/10 Phase 3 items | **Status legend**: GREEN = no open work, awaiting close audit. YELLOW = work in flight. RED = blocked on upstream. @@ -1011,7 +1011,7 @@ Substrate canvas + plan-poke-hole both folded in. Key absorptions: | Q-Pattern-Class-Naming | Substrate-gap-class TestClaim names | **Q-Pattern-Class-Naming ratifies §1.4 table names verbatim as TestClaim identifiers** (per Director poke-hole 2026-05-06 finding 5.1 — explicit binding). Names: `substrate_gap_parser_grammar_closed`, `substrate_gap_function_valued_data_closed`, `substrate_gap_file_ingestion_closed`, `substrate_gap_workflow_scheduling_closed`, `substrate_gap_reflection_closure_closed`. | RATIFIED-by-default | | Q-R2-IB-Closure | #1778 R2 Impossible-Bugs queue closure (warm-dove-810; nested optional codegen bypass) | PM-coordination item tracked in Brian-Q queue at #828; remains Brian-disposition pending; not blocking R3 plan PR | TRACKED (per Director poke-hole 2026-05-06 finding 5.2) | | Q-1807-Cleanup | #1807 SG-0 net-shrink discipline rollout — branch contains 5 of 9 files = #1797-resurrection per Director critique at #1807 #issuecomment-4383967713 | PM-coordination item; Director ratifies cleanup approach (Option A force-push vs Option B cherry-pick); affects §7.2 anticipation-discipline rollout via R3 Debt-Paydown lane | OPEN — Director decision needed (per Director poke-hole 2026-05-06 finding 5.3) | -| Q-PR-Anticipation-Gate | Add `pr_anticipation_discipline_ci_active` closure gate (CI verifiably enforcing §7 anticipation discipline) | Add to §1 closure-gate set; owner R3 Debt-Paydown Mgr (already routed at #1744 #issuecomment-4383628247); fires when `scripts/check-pr-sg0-net-shrink-discipline.sh` is in CI workflow + self-test passes | RATIFIED-by-default (per Director poke-hole 2026-05-06 finding 3.2) | +| Q-PR-Anticipation-Gate | Add `pr_anticipation_discipline_ci_active` closure gate (CI verifiably enforcing §7 anticipation discipline) | Add to §1 closure-gate set; owner R3 Debt-Paydown Mgr (already routed at #1744 #issuecomment-4383628247); fires when `scripts/check-pr-sg0-net-shrink-discipline.sh` is in CI workflow + self-test passes | RATIFIED-by-default (per Director poke-hole 2026-05-06 finding 3.2); **gate consumer landed** at HEAD (§1.8 row #75) | | Q-PR-F | PR-F priority + sequencing (BoundDeclaration consumer + Rust ReferenceModel) | **Bandwidth-aware dispatch** (per Substrate Mgr poke-hole 2026-05-06 Y3 — Substrate's queued workers are saturated): PR-F is 2-axis substantial work. Per Substrate Mgr canvas D: only loyal-wolf + valiant-ant fully idle; proud-lynx/smart-ram/valiant-ibex holding on #1794 cascade. Dispatch worker = loyal-wolf-828 OR valiant-ant-72 (Substrate Mgr selects); brief shape = T-E-P-Producer-Broadening adjacent (per `docs/briefs/r3-t-e-p-producer-broadening-worker.md` precedent); critical-path slot = post-#1782 wait-window close + parallel to T-E-P dispatch (B3). Substrate Mgr authors brief + dispatches. | RATIFIED-by-default-with-bandwidth-routing | | Q-Workflow-As-Data-Carriers | Substrate carriers for CI-workflow-as-`.dag`-data Class 4 closure path: `WorkflowTrigger` sum + `WorkflowStep`/`WorkflowMatrix` step-graph + `WorkflowSecret` binding + `RunnerResource` + `Workflow` composing carrier | Substrate Mgr authors carriers as part of T-Workflow-As-Data lane; sequenced post-T-Lens-Behavioral-Parity COMPLETE (per `r3-structure.md` §"Dependency on R2"); folds into existing T-Workflow-As-Data scope without new lane spawn. Required for Class 4 substrate-gap-class closure per §1.4. | OPEN — Substrate Mgr scoping needed (NEW 2026-05-06 from Substrate Mgr poke-hole R3) | | Q-Pattern-A-First-Slice-Subscope | Q-PAFS sub-question: TC1 first means **static representative** (E6-G1.a) or **generic** (E6-G1.b/X1.b)? Plan defaulted to TC1 first without specifying which sub-shape. Per Evaluator Mgr F1 + EVAL-3: substantial substrate/evaluator scope difference. | Per `docs/briefs/r3-v-pattern-a-coverage-rollup.md` + Evaluator Mgr canvas: TC1-static-representative via E6-G1.a is achievable with current evaluator + lens-fold infrastructure; TC1-generic requires X1.b S1/S3 + G1.b. PM-recommended: **TC1-static-representative first** (smallest viable slice); generic deferred to subsequent ratchet. **Verification analysis brief** (`r3-v-tc1-eta-equivalence-deeper-analysis.md`, 2026-05-06): **DESIGN → ACCEPTED** ratifies **G1.a static representative first**. **ACCEPTED 2026-05-06** with Q-PAFS bundle per Brian directive ("approved path A countersign"). | **ACCEPTED 2026-05-06 (G1.a static representative)** — bundled with Q-PAFS / Q-EVAL-Lens-Fold-First-Slice; TC1-generic via X1.b S1/S3 + G1.b deferred-not-blocked. | diff --git a/docs/r3-structure.md b/docs/r3-structure.md index 96831e119b3..4892bfded73 100644 --- a/docs/r3-structure.md +++ b/docs/r3-structure.md @@ -191,7 +191,7 @@ L6 (`l6_structural_form_coverage`) was moved out of this lane during the engine- - `lens_behavioral_parity_demonstration` — **R3 obligation (post-carve-promotion 2026-05-09):** **all 4 lenses** (complexity + cost + parallelism + effect_enumeration) demonstrate on representative input + match **frozen v2-oracle cementing-test snapshot** (snapshot captured pre-v2-retirement; demo at R3 close consumes the frozen receipt, NOT a live v2 oracle — preserves `v2_oracle_no_remaining_test_consumers` gate per openai-pro 2026-05-06 finding 5 — v2-oracle conflict resolved). Parallelism + effect_enumeration demos are R3-load-bearing within Cluster F per Director carve-promotion ratification 2026-05-09 c#4412330468 (prior R4-carved framing DISSOLVED). - `tests_as_data_demonstration` — at least one Rust test ports to `.dag` TestClaim and executes via Evaluator - **PR-authoring-discipline gate** (NEW 2026-05-06; per Brian directive at [gunbc#846](https://github.com/gunb-ai/gunbc/issues/846) Director poke-hole finding 3.2; per [`docs/r3-program-plan.md`](r3-program-plan.md) §7). - - `pr_anticipation_discipline_ci_active` — CI is verifiably enforcing the §7 PR-authoring contract (per-PR debt-receipt + ratchet-only-down + anticipation discipline); fires when `scripts/check-pr-sg0-net-shrink-discipline.sh` is in CI workflow + self-test passes. R3 Debt-Paydown owner. + - `pr_anticipation_discipline_ci_active` — **CONSUMER_LANDED at HEAD:** CI verifiably enforces the §7 PR-authoring contract (per-PR debt-receipt + ratchet-only-down + anticipation discipline) via `.github/workflows/ci.yml` `ci` job (`scripts/check-pr-sg0-net-shrink-discipline.sh` self-test on each run + PR-body validation on `pull_request` when the SG-0 census file differs from `origin/main`). R3 Debt-Paydown owner. ## Lane structure