Repository navigation
[codex] docs(r3): align verification manager full scope - #3042
Merged
Merged
Conversation
Contributor
Author
|
Verified dashboard review artifact 11422 against the current PR. It is approval-only and lists no actionable findings; no fix commit is required. CI is green on the current head. Merge readiness remains blocked because the dashboard currently parses the approval artifact as verdict=unknown and approval count is 0/2. — sent from still-moth-538 |
…-manager-full-scope
briansrls
commented
May 13, 2026
briansrls
left a comment
briansrls
left a comment
Contributor
Author
There was a problem hiding this comment.
Review metadata
- Provider / model:
codex/unknown - Commit:
41aa62ec· Trigger:schedule - Thinking:
217s wall
BLOCKING (3)
Root Cause
docs/briefs/r3-verification-manager.mdActual-close obligations are being modeled only as lane rows and T-WAD extension rows → add explicit non-lane actual-close responsibility rows/cross-refs for Gap 9 and Gap 10 or state why another manager owns them.docs/briefs/r3-verification-manager.mdr3-structure has a 6-lane total that does not enumerate a sixth standalone Verification lane → reconcile r3-structure's count or amend the authority before reclassifying the TC bundle.docs/briefs/r3-verification-manager.mdThe full-scope refresh updated the table but left the downstream consumption/sub-brief guidance on the old carve framing → update or remove the stale #95 R4-defer guidance in the same PR.
| - **Substrate-fact-introduction procedure** ([`INVARIANTS.md`](../../INVARIANTS.md) §P1): self-serve through the 3-step decision procedure before escalating substrate-shape questions to Director. Director ratified unified substrate-introduction for TC1/TC2/TC3 as `BinaryDimensionReportEquals` at [#828 c#4356050427](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4356050427) + [#828 c#4356138359](https://github.com/gunb-ai/gunbc/issues/828#issuecomment-4356138359); Substrate owns the predicate variant, while Verification supplies consuming coverage requirements. | ||
|
|
||
| ## Owned program scope (4 lanes + 1 cross-program extension + 1 ledger gate) | ||
| ## Owned program scope (6 lanes + 2 partners + 1 T-WAD extension + 1 ledger gate) |
Contributor
Author
There was a problem hiding this comment.
BLOCKING: The expanded owned-scope section still omits the actual-close plan's Verification-owned Gap 9 show-correct-code implementation and Gap 10 predicate-execution work, so the full-scope brief drops ratified close obligations (top-down PM intent / INVARIANTS P2).
| | **Lane 4: T-Tests-As-Data-Completeness** | L | **Actual-close Gap 5 owner** — Cluster M Phase 3 bulk-port is now lane-closing Verification work, not audit-only tracking. The manager owns worker dispatch for per-class ports and the generated-test manifest authority required by `docs/r3-actual-close-plan.md` §Gap 5. | ProgramGenerator substrate (#86) landed; #85 generated consumer + Cluster M Phase 3 generator-manifest work remain. | | ||
| | **Cross-program extension: T-WAD Slice 7 affected-set CI selection** | M | **Absorbed owner for `ci_uses_affected_set_selection`** per [`docs/r3-t-workflow-as-data-full-r3-close-scope.md`](../r3-t-workflow-as-data-full-r3-close-scope.md) §3/§7. This is a Verification extension to T-WAD, not a standalone Verification lane, because it consumes the affected-set lens output and removes regex bridge authority from CI selection. | Slice 5 BinaryShim projection arm + PR #2713 affected-set lens output. | | ||
| | **Lane 5: T-Lens-Self-Application** | M-L | **Verification-owned recursive-flex demonstration** — gunbc applies its own lenses to its own build/CI workflow, including `lens_self_application_demonstrated`, `apply_lens_self_application_demonstrated`, and `recursive_flex_demonstration_landed`. | T-Workflow-As-Data; T-Lens-Application-Surface; T-Lens-Behavioral-Parity COMPLETE; R2-Evaluator | | ||
| | **Lane 6: TC1/TC2/TC3 formal-grounding bundle** | S-M | **Absorbed lane responsibility** — strict-fire activation tracking for the formal-grounding deferred claims via the unified `BinaryDimensionReportEquals` path. This preserves the current `r3-structure.md` manager-row total while keeping the implementation cadence as audit/activation rather than a separate standalone dispatch program. | Substrate-owned predicate/modifier support; R2-Evaluator strategy/report producers; T-FixedPoint for TC3 | |
Contributor
Author
There was a problem hiding this comment.
BLOCKING: Calling the TC1/TC2/TC3 bundle "Lane 6" creates a new lane authority not named in r3-structure's Verification Manager row; those executable TC gates are recorded under T-Verification-L4-L7-Direct, so this violates INVARIANTS P2/top-down intent.
| | **Lane 5: T-Lens-Self-Application** | M-L | **Verification-owned recursive-flex demonstration** — gunbc applies its own lenses to its own build/CI workflow, including `lens_self_application_demonstrated`, `apply_lens_self_application_demonstrated`, and `recursive_flex_demonstration_landed`. | T-Workflow-As-Data; T-Lens-Application-Surface; T-Lens-Behavioral-Parity COMPLETE; R2-Evaluator | | ||
| | **Lane 6: TC1/TC2/TC3 formal-grounding bundle** | S-M | **Absorbed lane responsibility** — strict-fire activation tracking for the formal-grounding deferred claims via the unified `BinaryDimensionReportEquals` path. This preserves the current `r3-structure.md` manager-row total while keeping the implementation cadence as audit/activation rather than a separate standalone dispatch program. | Substrate-owned predicate/modifier support; R2-Evaluator strategy/report producers; T-FixedPoint for TC3 | | ||
| | **Partner: T-Lens-Behavioral-Parity** | L-XL | **Cross-program with Substrate** — Verification owns cementing/register receipts and behavioral-completion evidence for the all-4-lens R3 scope; Substrate owns carrier/walker substrate work. | T-E-P-Producer-Broadening; R2-Evaluator; R2-T-Substrate-Lens-Primitive | | ||
| | **Partner: T-Lens-Application-Surface** | L-XL | **Cross-program with Substrate** — Verification owns execution/demo split receipts, including complexity/cost demos and the R3-load-bearing #95 cascade as ratified; Substrate owns carriers and application surface shape. | T-Lens-Behavioral-Parity; R2-Evaluator | |
Contributor
Author
…-manager-full-scope
…-manager-full-scope
…-manager-full-scope
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
docs/briefs/r3-verification-manager.mdto matchdocs/r3-structure.md: 6 lane surfaces, 2 cross-program partners, T-WAD Slice 7 as an extension, and the bridge ledger gate.Validation
git diff --check