From c6eaded2e6a254588aac54954af2cb83bc82c7bf Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 20 Jul 2026 03:40:22 +0000 Subject: [PATCH 1/3] Mark Chain A wrap_decision_predicate LANDED and unblock deep_module_lanes. Sign-off receipt for the structural wrap-decision gate (#6776/#6775): update plan authority and design doc status after witness verification. Co-authored-by: Cursor --- dag/gunbc/v1_deletion_plan.dag | 6 +++--- docs/plans/rc-ownership-wrap-decision-design.md | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/dag/gunbc/v1_deletion_plan.dag b/dag/gunbc/v1_deletion_plan.dag index ea1fed26192..9697655e647 100644 --- a/dag/gunbc/v1_deletion_plan.dag +++ b/dag/gunbc/v1_deletion_plan.dag @@ -25,8 +25,8 @@ type PlanDependency { data v1_deletion_milestones: List = [ PlanMilestone { id: ^std_dup_assembly_fix, title: "One harness fix: cssl std-seed-link closure assembly collides dag/std with the seed std (E0255) — single root; post-discharge census 2026-07-19 puts ~13 modules on this fix (3 Gate-A + 10 tail at first census); the 6 formerly-unresolved modules cleared emit via KeySource but remain on a separate cargo UNRESOLVED bucket", parallelism: ForciblySerial, fan_width: 1, days_low: 1, days_high: 3, lane_state: "LANDED+CAPTURED 2026-07-19 (#6876)" }, PlanMilestone { id: ^probe_flip_fanout, title: "Probe + flip the std_dup-gated modules (~13 at cargo stage after 2026-07-19 re-probe); each probe/flip is an independent lane once the assembly fix lands", parallelism: FanOutWide, fan_width: 13, days_low: 2, days_high: 5, lane_state: "UNBLOCKED — flip-wave feeder re-probe pending; emitter prereqs in flight: Measure schedule_critical_path_time (neat-swift-795), FreeMonoid (queued), Optional sanitize generalization (proud-deer); calm-boar-697 decides flip order" }, - PlanMilestone { id: ^wrap_decision_predicate, title: "ONE structural Rc wrap-decision predicate in the emitter (ownership-fact derived, never a name roster) — the gate on every Rc-heavy deep module", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 7, lane_state: "running (jolly-swift-614, sign-off wall)" }, - PlanMilestone { id: ^deep_module_lanes, title: "Self-emit lanes for the Rc-heavy core: 04_infer, 06_translate, the 05_emit family — fan out after the predicate lands (also need std_dup fixed)", parallelism: FanOutWide, fan_width: 4, days_low: 3, days_high: 6, lane_state: "blocked on wrap_decision_predicate; std_dup LANDED #6876; 04_infer emit-side unblocked 2026-07-19 (btree_set_ord discharged; post-std_dup layer census pending flip-wave re-probe)" }, + PlanMilestone { id: ^wrap_decision_predicate, title: "ONE structural Rc wrap-decision predicate in the emitter (ownership-fact derived, never a name roster) — the gate on every Rc-heavy deep module", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 7, lane_state: "LANDED 2026-07-20 (#6776 predicate + witnesses, #6775 06_translate routing, UseSiteVerdict catalog enrollment; valiant-dove-723 sign-off)" }, + PlanMilestone { id: ^deep_module_lanes, title: "Self-emit lanes for the Rc-heavy core: 04_infer, 06_translate, the 05_emit family — fan out after the predicate lands (also need std_dup fixed)", parallelism: FanOutWide, fan_width: 4, days_low: 3, days_high: 6, lane_state: "UNBLOCKED — wrap_decision_predicate LANDED; std_dup LANDED #6876; 04_infer emit-side unblocked 2026-07-19 (btree_set_ord discharged; post-std_dup layer census pending flip-wave re-probe)" }, PlanMilestone { id: ^unresolved_error_diagnosis, title: "Diagnose-then-fix the 6 unresolved_compiler_error modules (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) from the census probe output", parallelism: FanOutWide, fan_width: 3, days_low: 0, days_high: 1, lane_state: "ROOT-CAUSED emitter-gap, fix in flight (neat-swift-795); KeySource cleared emit-stage; cargo UNRESOLVED is embedded compile_error!, not harness std_dup" }, PlanMilestone { id: ^emitter_fixed_point, title: "The emitted emitter re-emits itself: behavioral fixed point on the v2 side (2-generation equivalence, not byte identity)", parallelism: ForciblySerial, fan_width: 1, days_low: 2, days_high: 4, lane_state: "blocked on deep_module_lanes" }, PlanMilestone { id: ^witness_realization_kernel, title: "v2 execution path kernel: emit a witness to native code + run harness + scheduler (the piece that replaces the v1 interpreter for CI) — serial kernel, then families fan out", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 5, lane_state: "running (stern-lark-430): P3 dag/std/emit_on_demand + emit_on_demand_kernel_witness green; seed HAND-RUST receipt emit_host_run_transport_cached (~280L v1_interpreter.rs, SCAFFOLD dissolve-on witness_realization_kernel self-emitted transport)" }, @@ -52,4 +52,4 @@ data v1_deletion_dependencies: List = [ PlanDependency { before: ^v1_quarantine, after: ^v1_delete } ] -data v1_deletion_critical_path_note: String = "Two serial chains dominate the calendar and they RUN IN PARALLEL with each other: (A) wrap_decision_predicate -> deep_module_lanes -> emitter_fixed_point (8..17 lane-days) and (B) witness_realization_kernel -> witness_family_fanout -> ci_floor_cutover (9..17 lane-days). Everything else fans out beside them. v1_quarantine lands when BOTH chains finish: day ~12 optimistic, day ~17 realistic. v1_delete = quarantine + operator soak. UPDATE 2026-07-19 (cycle-2): std_dup_assembly_fix LANDED+CAPTURED (#6876); ~13 std_dup modules unblocked for flip-wave pending emitter prereqs (Measure neat-swift in flight, FreeMonoid queued, Optional proud-deer); 6 unresolved cargo residue distinct (ROOT-CAUSED emitter-gap). Chain B (stern-lark-430) dispatched." +data v1_deletion_critical_path_note: String = "Two serial chains dominate the calendar and they RUN IN PARALLEL with each other: (A) wrap_decision_predicate -> deep_module_lanes -> emitter_fixed_point (8..17 lane-days) and (B) witness_realization_kernel -> witness_family_fanout -> ci_floor_cutover (9..17 lane-days). Everything else fans out beside them. v1_quarantine lands when BOTH chains finish: day ~12 optimistic, day ~17 realistic. v1_delete = quarantine + operator soak. UPDATE 2026-07-20: wrap_decision_predicate LANDED (valiant-dove-723 sign-off) — Chain A deep_module_lanes UNBLOCKED. UPDATE 2026-07-19 (cycle-2): std_dup_assembly_fix LANDED+CAPTURED (#6876); ~13 std_dup modules unblocked for flip-wave pending emitter prereqs (Measure neat-swift in flight, FreeMonoid queued, Optional proud-deer); 6 unresolved cargo residue distinct (ROOT-CAUSED emitter-gap). Chain B (stern-lark-430) dispatched." diff --git a/docs/plans/rc-ownership-wrap-decision-design.md b/docs/plans/rc-ownership-wrap-decision-design.md index 23f1094ab03..d3fde30e56b 100644 --- a/docs/plans/rc-ownership-wrap-decision-design.md +++ b/docs/plans/rc-ownership-wrap-decision-design.md @@ -1,6 +1,6 @@ # Rc-ownership wrap-decision predicate — design + deep-emitter gate derisk -Status: design-first, 2026-07-16. Session: bold-seal-166. +Status: LANDED (predicate + translate routing + UseSiteVerdict enrollment), 2026-07-20 sign-off (valiant-dove-723). Original design: 2026-07-16 (bold-seal-166). Parent: sharp-bee-290 (Weak → Strong Self Host, Wave 1→4). Displaced cost: unblocks self-emit for Rc-heavy core compiler modules (`04_infer`, `06_translate`, `05_emit*`, … — each seed-emitted with 100+ `Rc<` sites today) without the latent §5 fail-open that silently wraps every `shared_types` member in `Rc`. @@ -116,7 +116,7 @@ The gate does not alone flip these — Track B body emit and namespace resolutio 1. **Land predicate + witnesses** — LANDED (#6776): `wrap_decision_lookup_in_catalog_node`, `wrap_decision_gate`, `wrap_decision_predicate_test.dag` green. 2. **Rewire `06_translate`** — LANDED (#6775): inline `translate_sg_rc_bundle_apply_disposition` + lookup chains replaced with `wrap_decision_gate` (behavior-preserving refactor; `sg_rc_layering_test` stays green). -3. **Retire v1 `shared_types` wrap for v2 emit entry** — v2 `emit` → `translate` path does not call `render_rust_shared_type_if_needed`; v1 `gunbc compile --target rust` still uses seed `shared_types` until v1 delete (S3). +3. **Retire v1 `shared_types` wrap for v2 emit entry** — LANDED (v2 path): zero `shared_types` / `render_rust_shared_type_if_needed` references under `src/v2/`; v1 `gunbc compile --target rust` still uses seed `shared_types` until v1 delete (S3). 4. **Enroll `UseSiteVerdict` carrier** — LANDED: `target_carrier_use_site_verdict` + owned-at-all-sites rows in `rust.dag` catalog; witnesses in `wrap_decision_predicate_test.dag`. 5. **Frontier flip** — unblock `parse_engine_hooks`, `discovery_enumeration` per `frontier_band_a_emit_readiness` (still gated on rustc-green behavioral receipts + Track B body emit). From 79864f15cda3ab13f5888c3eafd9689833963802 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 20 Jul 2026 03:42:44 +0000 Subject: [PATCH 2/3] =?UTF-8?q?WIP:=20Rc=20wrap-decision=20predicate=20?= =?UTF-8?q?=E2=80=94=20DESIGN=20FIRST=20(chain=20A=20next=20serial=20gate,?= =?UTF-8?q?=20per?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dag/gunbc/v1_deletion_plan.dag | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dag/gunbc/v1_deletion_plan.dag b/dag/gunbc/v1_deletion_plan.dag index 9697655e647..ea1fed26192 100644 --- a/dag/gunbc/v1_deletion_plan.dag +++ b/dag/gunbc/v1_deletion_plan.dag @@ -25,8 +25,8 @@ type PlanDependency { data v1_deletion_milestones: List = [ PlanMilestone { id: ^std_dup_assembly_fix, title: "One harness fix: cssl std-seed-link closure assembly collides dag/std with the seed std (E0255) — single root; post-discharge census 2026-07-19 puts ~13 modules on this fix (3 Gate-A + 10 tail at first census); the 6 formerly-unresolved modules cleared emit via KeySource but remain on a separate cargo UNRESOLVED bucket", parallelism: ForciblySerial, fan_width: 1, days_low: 1, days_high: 3, lane_state: "LANDED+CAPTURED 2026-07-19 (#6876)" }, PlanMilestone { id: ^probe_flip_fanout, title: "Probe + flip the std_dup-gated modules (~13 at cargo stage after 2026-07-19 re-probe); each probe/flip is an independent lane once the assembly fix lands", parallelism: FanOutWide, fan_width: 13, days_low: 2, days_high: 5, lane_state: "UNBLOCKED — flip-wave feeder re-probe pending; emitter prereqs in flight: Measure schedule_critical_path_time (neat-swift-795), FreeMonoid (queued), Optional sanitize generalization (proud-deer); calm-boar-697 decides flip order" }, - PlanMilestone { id: ^wrap_decision_predicate, title: "ONE structural Rc wrap-decision predicate in the emitter (ownership-fact derived, never a name roster) — the gate on every Rc-heavy deep module", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 7, lane_state: "LANDED 2026-07-20 (#6776 predicate + witnesses, #6775 06_translate routing, UseSiteVerdict catalog enrollment; valiant-dove-723 sign-off)" }, - PlanMilestone { id: ^deep_module_lanes, title: "Self-emit lanes for the Rc-heavy core: 04_infer, 06_translate, the 05_emit family — fan out after the predicate lands (also need std_dup fixed)", parallelism: FanOutWide, fan_width: 4, days_low: 3, days_high: 6, lane_state: "UNBLOCKED — wrap_decision_predicate LANDED; std_dup LANDED #6876; 04_infer emit-side unblocked 2026-07-19 (btree_set_ord discharged; post-std_dup layer census pending flip-wave re-probe)" }, + PlanMilestone { id: ^wrap_decision_predicate, title: "ONE structural Rc wrap-decision predicate in the emitter (ownership-fact derived, never a name roster) — the gate on every Rc-heavy deep module", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 7, lane_state: "running (jolly-swift-614, sign-off wall)" }, + PlanMilestone { id: ^deep_module_lanes, title: "Self-emit lanes for the Rc-heavy core: 04_infer, 06_translate, the 05_emit family — fan out after the predicate lands (also need std_dup fixed)", parallelism: FanOutWide, fan_width: 4, days_low: 3, days_high: 6, lane_state: "blocked on wrap_decision_predicate; std_dup LANDED #6876; 04_infer emit-side unblocked 2026-07-19 (btree_set_ord discharged; post-std_dup layer census pending flip-wave re-probe)" }, PlanMilestone { id: ^unresolved_error_diagnosis, title: "Diagnose-then-fix the 6 unresolved_compiler_error modules (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) from the census probe output", parallelism: FanOutWide, fan_width: 3, days_low: 0, days_high: 1, lane_state: "ROOT-CAUSED emitter-gap, fix in flight (neat-swift-795); KeySource cleared emit-stage; cargo UNRESOLVED is embedded compile_error!, not harness std_dup" }, PlanMilestone { id: ^emitter_fixed_point, title: "The emitted emitter re-emits itself: behavioral fixed point on the v2 side (2-generation equivalence, not byte identity)", parallelism: ForciblySerial, fan_width: 1, days_low: 2, days_high: 4, lane_state: "blocked on deep_module_lanes" }, PlanMilestone { id: ^witness_realization_kernel, title: "v2 execution path kernel: emit a witness to native code + run harness + scheduler (the piece that replaces the v1 interpreter for CI) — serial kernel, then families fan out", parallelism: ForciblySerial, fan_width: 1, days_low: 3, days_high: 5, lane_state: "running (stern-lark-430): P3 dag/std/emit_on_demand + emit_on_demand_kernel_witness green; seed HAND-RUST receipt emit_host_run_transport_cached (~280L v1_interpreter.rs, SCAFFOLD dissolve-on witness_realization_kernel self-emitted transport)" }, @@ -52,4 +52,4 @@ data v1_deletion_dependencies: List = [ PlanDependency { before: ^v1_quarantine, after: ^v1_delete } ] -data v1_deletion_critical_path_note: String = "Two serial chains dominate the calendar and they RUN IN PARALLEL with each other: (A) wrap_decision_predicate -> deep_module_lanes -> emitter_fixed_point (8..17 lane-days) and (B) witness_realization_kernel -> witness_family_fanout -> ci_floor_cutover (9..17 lane-days). Everything else fans out beside them. v1_quarantine lands when BOTH chains finish: day ~12 optimistic, day ~17 realistic. v1_delete = quarantine + operator soak. UPDATE 2026-07-20: wrap_decision_predicate LANDED (valiant-dove-723 sign-off) — Chain A deep_module_lanes UNBLOCKED. UPDATE 2026-07-19 (cycle-2): std_dup_assembly_fix LANDED+CAPTURED (#6876); ~13 std_dup modules unblocked for flip-wave pending emitter prereqs (Measure neat-swift in flight, FreeMonoid queued, Optional proud-deer); 6 unresolved cargo residue distinct (ROOT-CAUSED emitter-gap). Chain B (stern-lark-430) dispatched." +data v1_deletion_critical_path_note: String = "Two serial chains dominate the calendar and they RUN IN PARALLEL with each other: (A) wrap_decision_predicate -> deep_module_lanes -> emitter_fixed_point (8..17 lane-days) and (B) witness_realization_kernel -> witness_family_fanout -> ci_floor_cutover (9..17 lane-days). Everything else fans out beside them. v1_quarantine lands when BOTH chains finish: day ~12 optimistic, day ~17 realistic. v1_delete = quarantine + operator soak. UPDATE 2026-07-19 (cycle-2): std_dup_assembly_fix LANDED+CAPTURED (#6876); ~13 std_dup modules unblocked for flip-wave pending emitter prereqs (Measure neat-swift in flight, FreeMonoid queued, Optional proud-deer); 6 unresolved cargo residue distinct (ROOT-CAUSED emitter-gap). Chain B (stern-lark-430) dispatched." From ddc692e1bb6000a8e05a6fbbb470768f78dd6489 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 20 Jul 2026 03:54:38 +0000 Subject: [PATCH 3/3] Clarify design doc is verification receipt; plan carrier rides #6909. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Addresses review 40095 §3 concern without touching v1_deletion_plan.dag (manager directive: plan row batched in root cycle-3 PR #6909). Co-authored-by: Cursor --- docs/plans/rc-ownership-wrap-decision-design.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/plans/rc-ownership-wrap-decision-design.md b/docs/plans/rc-ownership-wrap-decision-design.md index d3fde30e56b..1dd9a8f75aa 100644 --- a/docs/plans/rc-ownership-wrap-decision-design.md +++ b/docs/plans/rc-ownership-wrap-decision-design.md @@ -1,6 +1,6 @@ # Rc-ownership wrap-decision predicate — design + deep-emitter gate derisk -Status: LANDED (predicate + translate routing + UseSiteVerdict enrollment), 2026-07-20 sign-off (valiant-dove-723). Original design: 2026-07-16 (bold-seal-166). +Status: LANDED (predicate + translate routing + UseSiteVerdict enrollment), 2026-07-20 verify-by-execution (valiant-dove-723). Original design: 2026-07-16 (bold-seal-166). Plan carrier (`v1_deletion_plan.dag` lane_state rows) is batched in #6909 — not this PR; the mark on the carrier is the plan file, this doc is the design receipt only. Parent: sharp-bee-290 (Weak → Strong Self Host, Wave 1→4). Displaced cost: unblocks self-emit for Rc-heavy core compiler modules (`04_infer`, `06_translate`, `05_emit*`, … — each seed-emitted with 100+ `Rc<` sites today) without the latent §5 fail-open that silently wraps every `shared_types` member in `Rc`.