diff --git a/docs/plans/realization-measurement-loop.md b/docs/plans/realization-measurement-loop.md index 1ba45fb1a6e..98035db5374 100644 --- a/docs/plans/realization-measurement-loop.md +++ b/docs/plans/realization-measurement-loop.md @@ -4,6 +4,8 @@ **Owner:** unowned (original coordinator `zesty-deer-479` archived 2026-06-21) — operator-coordinated; consolidates the formerly-separate quick-ant-298 dependency-ordered roadmap (single authority, no fork). Linked from `ROADMAP.md` §2 *Minimal work — caching by realization*. +**Companion plans** (same cost to schedule loop, different arm): the Schedule-width arm is detailed in [`resource-aware-scheduler.md`](resource-aware-scheduler.md) (larger allocations give larger throughput; `spawn_width = floor(available_memory / per_runnable_peak)`); the input-admission arm — the data side of the loop, gating which corpus a `WorkDemand` may accept — is detailed in [`input-envelope-roadmap.md`](input-envelope-roadmap.md) (`InputEnvelope = BoundedInput | EnvelopeUnknown`, fail-closed admission via `input_admitted`). + --- ## 0. Thesis — the substrate is shape-complete but input-starved diff --git a/dsl/gunbc/plans/realization_measurement_loop.dag b/dsl/gunbc/plans/realization_measurement_loop.dag index 9f27d7b02d5..486a5613a3e 100644 --- a/dsl/gunbc/plans/realization_measurement_loop.dag +++ b/dsl/gunbc/plans/realization_measurement_loop.dag @@ -8,6 +8,7 @@ fn realization_measurement_loop_body() -> List { [ p(text: "**Status:** stable coordination plan · dispatch workers per phase · **DESIGN.md + the carriers remain the authority** — this doc is a worker-dispatch tracker, not a fact ledger, and each phase dissolves into a mark on its carrier when it lands (DESIGN §6 \"no parallel-ledger docs\"). A phase's real state is its branch/PR, not this file (mirrors `ROADMAP.md`)."), p(text: "**Owner:** unowned (original coordinator `zesty-deer-479` archived 2026-06-21) — operator-coordinated; consolidates the formerly-separate quick-ant-298 dependency-ordered roadmap (single authority, no fork). Linked from `ROADMAP.md` §2 *Minimal work — caching by realization*."), + p(text: "**Companion plans** (same cost to schedule loop, different arm): the Schedule-width arm is detailed in [`resource-aware-scheduler.md`](resource-aware-scheduler.md) (larger allocations give larger throughput; `spawn_width = floor(available_memory / per_runnable_peak)`); the input-admission arm — the data side of the loop, gating which corpus a `WorkDemand` may accept — is detailed in [`input-envelope-roadmap.md`](input-envelope-roadmap.md) (`InputEnvelope = BoundedInput | EnvelopeUnknown`, fail-closed admission via `input_admitted`)."), hr(), h2(text: "0. Thesis — the substrate is shape-complete but input-starved"), p(text: "The realization layer is *fully modeled and almost entirely inert*: every carrier that should drive \"minimal work, as parallel as possible, guaranteed\" exists with the right type and is read by **no scheduler, fed by **no measurement, consulted by **no router. This is DESIGN §6's failure mode — *\"the tier where the machinery exists but nothing gates on it\"* — landed squarely on §1's **cost axis**."), diff --git a/src/v2/lens/medium_structure_containment.dag b/src/v2/lens/medium_structure_containment.dag index e644a342f39..26026a5d1ad 100644 --- a/src/v2/lens/medium_structure_containment.dag +++ b/src/v2/lens/medium_structure_containment.dag @@ -137,6 +137,7 @@ data medium_structure_exception_roster: List = [ "dsl/tools/emit_host_transport.dag", "dsl/gunbc/assimilate/bmc_token_federation.dag", "dsl/gunbc/tools/review.dag", + "dsl/gunbc/tools/roadmap_spawn_request.dag", "dsl/test/claim/fleet_converge_emit_test.dag", "dsl/test/claim/srv3_os_install_emit_test.dag",