Skip to content

Design doc receipt: wrap_decision_predicate verified-by-execution (#6776/#6775) #6911

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 3 commits into from
Jul 20, 2026
Merged

Design doc receipt: wrap_decision_predicate verified-by-execution (#6776/#6775) #6911

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
c6eaded
Mark Chain A wrap_decision_predicate LANDED and unblock deep_module_l…
briansrls Jul 20, 2026
79864f1
WIP: Rc wrap-decision predicate — DESIGN FIRST (chain A next serial g…
briansrls Jul 20, 2026
ddc692e
Clarify design doc is verification receipt; plan carrier rides #6909.
briansrls Jul 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/plans/rc-ownership-wrap-decision-design.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 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<T>`.

Expand Down Expand Up @@ -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).

Expand Down
Loading