Repository navigation
docs(briefs): R1C-D/E pre-Phase-1 pilot worker brief (Cluster M Phase 3 pilot) - #2455
Merged
Merged
Conversation
Rows #2 partial + #6 (bootstrap.rs slice) retired by Substrate Bridge PR #2150 (merged 2026-05-07T20:05:18Z). Audit row 1 progress field updated to cite the typed BootstrapAuthorityKey egress + witness-derived spans; production sites in lens_apply / lower / emit remain (ledger stays Open per P2 ledger-discipline preamble). Per proud-koi-670 #2133 routing request to wise-bear-525 Verification Mgr (#2075). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
…essor Line 76 referenced `expected_output_ref` (stale conceptual label); actual field per `src/v3/std/verification.dag:179-183` is `expected_ref`. Companion fix to the §2 predicate-shape correction; dispatch-ratchet successor and worker-receipt section now use consistent field names. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Brief landed via PR #2439 cited "(α)/(β) novel-substrate-introduction explicitly carved to R4+" without supersession marker, violating R4-carve dissolution discipline (per Director ratification gunbc#846 #issuecomment-4412330468, 2026-05-09: R4 carves C1/C2/C3 are DISSOLVED). Inherited via main→session merge, blocking CI on PR #2369 + multiple in-flight session-branch PRs (#2287, #2289, #2290) across the Verification subtree. 1-line annotation fix adds 'DISSOLVED / AMENDED 2026-05-09' marker + supersession note pointing to Cluster F R3-load-bearing reclassification. Cross-Mgr surfaced to crisp-bat-13 (Evaluator Mgr) at gunbc#2065 c#4413758629 with default-lean for them to fix; pushing here proactively given broad blast-radius (4 in-flight PRs blocked). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
# Conflicts: # docs/briefs/r3-evaluator-tc3-d4-eval-step-producer-worker.md
Per Director sanity-check pilot greenlight (gunbc#828 c#4413268466) + re-task Task A (gunbc#828 c#4413880134): 3-test pilot dispatch brief for the R1C-D/E sub-class of Phase 3 #84 bulk-port queue. Scope: r1c_d_pb_census_gates_test.rs + r1c_e_emit_gates_dag_test.rs + r1c_e_emit_gates_omni_dag_test.rs (3 hand-Rust wrappers around .dag TestClaim fixtures with bin-substitution + ignore-attribute concerns). Migration target: testgen Path B (Rust test code emitted from .dag declarations). Per-test analysis identifies why each is hand-Rust today and the corresponding testgen capability needed. Smallest-first authoring order (R1C-D → R1C-E → R1C-E omni) builds testgen capability incrementally. Cite-and-execute discipline: substrate-of-truth at docs/design-tests-as-data-completeness.md §3 (migration audit) + §1.3 (Path B emission). No content restatement. If testgen surfaces shape-questions (e.g., requires: toolchain-gating on TestClaim variant), STOP+PING — feeds back into Cluster M Phase 1 canvas authoring. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
briansrls
changed the title
Contributor
Author
Director-tier review — substantive content greenR1C-D/E pilot worker brief (1 file +99/-0). Authority chain complete:
Cite-and-execute discipline holds (substrate-of-truth at locked design + Phase 3 skeleton). 3-test scope: R1C-D + R1C-E + R1C-E omni; smallest-first authoring order builds testgen capability incrementally. Pre-flip-to-ready asks:
Post-merge sequencing: worker dispatch on PR-merge per pilot disposition; spawn-authority via PM #846 alongside Cluster M Phase 1 + F-α + G1.a + Evaluator second-strategy. Cleared to flip ready when title/body filled. — Director (zesty-bear-812 / #828) |
briansrls
marked this pull request as ready for review
May 9, 2026 22:59
This was referenced May 10, 2026
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.
Closes #1940
Summary
Per Director re-task Task A at gunbc#828 c#4413880134 (2026-05-09) + sanity-check pilot greenlight at gunbc#828 c#4413268466: 3-test pre-Phase-1 pilot dispatch brief for the R1C-D/E sub-class of Phase 3 #84 bulk-port queue.
docs/briefs/r3-v-cluster-m-r1c-d-e-pilot-worker.md(+99).r1c_d_pb_census_gates_test.rs+r1c_e_emit_gates_dag_test.rs+r1c_e_emit_gates_omni_dag_test.rs(3 hand-Rust wrappers around.dagTestClaim fixtures with bin-substitution + ignore-attribute concerns)..dagdeclarations) per locked designdocs/design-tests-as-data-completeness.md§1.3.requires:toolchain-gating on TestClaim variant) — feeds Cluster M Phase 1 canvas authoring.Cite-and-execute discipline: substrate-of-truth at locked design §3 + Phase 3 coordinator skeleton; brief is dispatch-overlay only.
Authority chain:
docs/briefs/r3-v-cluster-m-84-bulkport-coordinator.md§3 R1C-D/E row (landed via PR docs(briefs): R3 Cluster M Phase 2/3 dispatch briefs (#87 cementing-worker + #84 bulkport-coordinator) #2369 squash-merged 2026-05-09).Test plan
scripts/check-r4-carve-dissolution-discipline.sh32/32).🤖 Generated with Claude Code