create-agdf 0.20.2 → 0.31.0

package/generated/.opencode/contracts/closeout.md

@@ -65,7 +65,7 @@ An explicit Parent/programme run may project two independent evidence values:
 - `startable: true` requires at least one evidenced `Aggregate | includes | child_run:<run_id>` row
   whose Child has a completed OR;
 - `final_ready: true` additionally requires one valid declared acceptance artefact beneath
-  `.agdf/control/artefacts/`, concrete aggregation evidence and
+  the selected Run documents/evidence roles, concrete aggregation evidence and
   `programme_aggregation_missing_evidence: none`.
 
 `final_ready: true` always implies `startable: true`. Failed prerequisites stay false with explicit

package/generated/.opencode/contracts/control-scaffold.md

@@ -50,51 +50,68 @@ in the surrounding control artefact when they are relevant.
 
 ### Run-Scoped Control State
 
-Canonical mutable run state lives at `.agdf/control/runs/<run_id>/RUN_STATE.md`, one file per run.
-Repository-level discovery is derived; do not maintain a writable active-run dashboard. Select with
-`--run`, then `AGDF_RUN_ID`, or automatically only when exactly one run is active. Ambiguity fails
-closed. Legacy `AGDF_RUN.md` is migration input or an explicitly rendered non-authoritative projection,
-never a second writable owner. Read-only commands must not migrate state.
-
-`run-create` writes a sealed run. The seal covers the run state and every file listed under
-Artefacts; an unrecorded edit blocks `doctor` and `gate-check` with `AGDF_RUN_SEAL_MISMATCH`. After
-changing either, call `run-update --run <run_id> --revision <revision_id>` before `gate-check`; it
-advances the revision and refuses Approvals changes. Only `run-approve` records an approval. Both run
-on the surface-local validator. The seal detects unrecorded edits; it is not a signature.
-Keep one `Artefacts` row per type: update the existing placeholder row instead of appending another.
-`run-update` and all run writers reject duplicate rows without advancing the revision. Remove the
-extra row and retry `run-update` to record the correction. Duplicate rows in older sealed runs also
-block `doctor` and gate presentation.
-
-When a repository needs durable AGDF state, use the plugin-local `control/` scaffold as the starting point.
-
-- `config.json` stores project language preferences. Use `artifact_language` for generated AGDF artefacts. `chat_language` is the direct-command presentation default; dispatcher calls supply `presentation_language` under their current-request language contract. This presentation override never changes `artifact_language`. Runtime rules remain English. Authoring continuations supply the resolved languages and any required localized approval-summary heading before drafting.
-- `.agdf/control/runs/<run_id>/RUN_STATE.md` is the canonical current-run dashboard; legacy `AGDF_RUN.md` is migration input or an explicit non-authoritative projection.
-- `MASTER_BACKLOG.md` is the living pointer for active delivery work.
-- `BROWNFIELD_REVIEW.md` records the post-UR existing-system view and Mode/Slice Decision before PRD depth or Quick Task execution is chosen.
-- `SOT_REGISTRY.md` prevents parallel sources of truth.
-- `CONTEXT_GRAPH.md` stores durable Brownfield findings, decisions, risks, evidence and exit criteria.
-- `AGENT_QUALITY_CONTRACTS.json` stores reusable block, revise and warning conditions.
-- `memory_target`, `multi_scope_state` and branch/workspace evidence fields make ambiguity and persistence decisions visible without turning chat history into the source of truth.
-- OR reports live under `.agdf/control/artefacts/<key>/OR.md` when a run closeout is steering-relevant or should be auditable beyond the chat.
-
-### Human-readable Master Backlog
-
-The Markdown backlog is a human steering view; CLI reports are its normalized
-machine projection.
-
-- Use readable status labels such as `In progress`, `Awaiting UAT` and
-  `Completed` in Markdown.
-- Use links relative to `MASTER_BACKLOG.md`, such as
-  `[UR](artefacts/<key>/UR.md)`, instead of exposing long raw paths.
-- Keep `Priority`, `Key`, `Work item`, `Status`, `Artefacts`, `Current spec`
-  and `Next step` visible for active and planned work.
-- Keep one canonical template. Generated surface copies remain derived output.
-- Normalize human labels and link targets only at the CLI parser boundary.
-- Existing wide rows, raw paths and snake_case statuses remain supported for
-  backward compatibility.
-
-The scaffold is not a second documentation site. Link to authoritative artefacts instead of copying them.
+Canonical mutable state lives at `.agdf/control/runs/<run_id>/RUN_STATE.md`.
+Only explicit `control_layout: run-folders-v1` and Run version 4 are supported.
+Missing/old/unknown layouts or versions are unsupported, not an empty store or
+an invitation to migrate, reset or fall back. Read-only inspection preserves bytes.
+
+One Run owns `documents/`, `evidence/`, `control/presentations/` and
+`history/` below its directory. Pending operation journals live in `control/` only
+while required; source archives live in `history/revisions/<operation_id>/`.
+The creation receipt and `history/planning/UR.md` preserve handed-off planning
+provenance without an origin JSON copy. Project configuration, templates, SoT,
+curated context and target-wide multi-Run closure previews remain project-wide.
+
+Identity, objective, mode and typed records are canonical. Current gate, approval
+status, current document pointers, document relationships, evidence summaries and
+inventory derive through the existing parser/evaluator boundary. Do not persist
+parallel current tables, a generated state file, global dashboard or maintained index.
+Independent Parent/programme relations use the authored Relationships section;
+derived document bindings never become hand-editable rows.
+
+`run-create` creates a sealed unapproved Run. Current CLI aliases and fixed MCP
+groups share input normalization and captured configuration. Every original UUID
+binds its effective input. Exact replay acknowledges that original effect only;
+changed intent, stale bindings and unknown ownership fail closed. No command
+repairs arbitrary edits by resealing them. Only `approval.record` records a fresh
+deliberate exact gate reply to the frozen presentation. Local seals are cooperative
+integrity checks, not signatures or independent human identity proof.
+
+Current persisted families are Run 4, RunOperation 4, ArtefactBinding 3,
+ApprovalOperation 4, presentation 7, source proposal 3, source receipt 4,
+revision archive 2 and transaction journal 7. Existing resolved/1 wrapping and
+resolution version 1 are mandatory; captured active configuration includes the
+current layout. Unchanged record families retain their current shape. Source
+revision policy 2 preserves its existing eligibility, confirmation, invalidation
+and reassessment boundaries. Content seal domain is agdf-run-seal/2; approval
+seal domain is agdf-approval-seal/4. No old codec/default omission is accepted.
+Current optional QA-deviation and preview payloads retain their capability semantics.
+
+An ArtefactBinding contains exact source/destination and inline reviewer attestation;
+there is no separate RECORD/REVIEW JSON. Internal steps reference their canonical
+EvidenceBinding identity instead of copying report and source-set metadata.
+The writer publishes typed facts and owned output atomically. Independent Run locks,
+resource claims and exact original-operation recovery remain mandatory. Unsupported
+journals and foreign bytes never grant relocation, deletion or recovery permission.
+
+A Run ends as superseded or abandoned only through the current closure preview/apply
+owner with exact deliberate confirmation. The target-wide preview changes no Run.
+Each applied Run gets its own lifecycle receipt; its subsequent writers reject with
+lifecycle_ended. Continuing work needs a new Run. Pending repository closure conflicts
+retain the existing fail-closed boundary.
+
+Planning is UR-only under `planned/<plan_id>/UR.md`. Core inventory derives from
+planned entries and Runs. The optional Codex planning extension authors planning
+inputs through existing ur-definition; explicit source-bound handoff creates one
+unapproved Run. Core does not require that extension. See control/planned-urs.md.
+
+The normative worktree rule is owned by
+[task-target-resolution.md](task-target-resolution.md#worktree-placement-and-assigned-checkout).
+`config.json` stores project language preferences: artifact_language for authored artefacts,
+chat_language for direct presentation defaults; current explicit presentation_language
+never changes artifact_language. Runtime rules remain English.
+Keep config preferences, SoT, context and quality contracts under their existing
+project owners. No central Masterbacklog participates in reading or writing control.
 
 ## Agent-Native Runtime And CLI Verification
 
@@ -126,7 +143,7 @@ They make the repository state checkable, but they do not replace the native ski
 ## Delivery Map
 
 `delivery-map --json` is the machine-readable delivery picture for the selected canonical control state.
-It derives, but does not replace, the selected `RUN_STATE.md` and `MASTER_BACKLOG.md` state.
+It derives from the selected `RUN_STATE.md` and its registered sources. Current inventory also includes independent planned URs.
 
 It must expose:
 

package/generated/.opencode/contracts/gate-artifact-preparation.md

@@ -4,16 +4,54 @@ This contract guides the `gate-check` skill when canonical gate evaluation retur
 `control.next_operation.type: prepare_gate_artifact`. It is procedural guidance only; canonical
 Run State, gate evaluation and exact approval remain authoritative.
 
+## Typed MCP control transport
+
+When the current host lists the fixed MCP control groups, use them for every eligible control step in Quick Task, Verified Change, Structured Slice and Structured Delivery. External source edits, actual test execution and Git actions remain external work. Read agdf_inspect/operation-contract for exact schemas and agdf_inspect/authoring-inputs for the current versioned template and all exact source chunks. Prefer `bundle:true` for authoring-inputs: read complete `documents[].content` and assemble `fragments` by digest/path and byte offsets across all pages. `document_manifest` is metadata only: never use it as document text or coerce missing content into `undefined`. Retain exact sources; follow every cursor with the same bundle mode. Its formats and bound forms already contain the writer help: do not reread operation-contract just to copy that help. Do not require local template/proof discovery, hashing or a validator shell switch.
+
+For explicit first setup, read agdf_inspect/project-state with the confirmed existing Git target and no Run/revision. Only deliberate setup uses agdf_project/project.initialize with the returned target_id and one original UUID. This fixed canonical scaffold operation creates no Run/approval and never repairs/migrates/installs or grants permissions. Matching authored governance is read-only unchanged observation; conflicts/unowned partial states stay protected. After uncertainty inspect operation-status module project.initialize/<original UUID> before exact replay. Setup success returns the creation help next call. No diagnosis or creation implicitly initializes.
+
+When native MCP is unavailable, the installed CLI/validator supports read-only
+`project-state --dir ABSOLUTE_GIT_ROOT --json` and
+`operation-status --dir ABSOLUTE_GIT_ROOT --module project.initialize/ORIGINAL_UUID --json`.
+These share Core facts; optional `--language TAG` selects presentation. This CLI status route
+supports project.initialize only; existing MCP operation families are unchanged. For explicit setup,
+`agdf-project --command-file REQUEST.json` uses the exact project.initialize envelope returned by
+project-state. Preserve target, original UUID, payload and receipt; inspect original status after
+uncertainty before eligible exact replay. Read exits: 0 complete available (including pending),
+2 blocked/unavailable/incomplete, 1 usage error. Unknown/absent never proves nonexecution.
+Missing Run/document, stale revision and runtime failures retain distinct causes. Preserve deleted
+state and original identity; never recreate sources or wait blindly for a known missing path.
+
+Create independent work with agdf_run/run.create using a semantic title and one original operation UUID; observe lost responses with pre-Run operation-status for that original UUID. Never ask the human for Run/revision IDs. An unbound or incomplete inventory cannot establish assignment.
+
+Use the returned `next_action.call` as the normal path. Forward its `tool` and `arguments`; fill only the named `required_inputs` in `arguments.inputs` from actual authored content, review or a new deliberate reply. Ready calls retain `inputs:{}`. Do not construct `submit`, JSON-pointer inputs or a Raw envelope. The adapter retains the exact original target, Run, revision, selectors and operation UUID. The verified installed runtime retains offered references for up to 30 minutes across reconnects to the same owned runtime identity; a different candidate never reinterprets them. Retain `recovery_only.original_call` and the actual submitted inputs for original-UUID observation and recovery if a reference is unavailable. Never infer bindings, refresh a selected revision or invent another UUID. A reference grants no permission and does not execute a command by itself.
+
+Prefer the bound `material_call` form returned by authoring-inputs. Fill only its listed author inputs: `action: put`, `files: [{slot, content}]` takes plain UTF-8 text of at most 48 KiB per file within the existing 64 KiB JSON request bound and seals it in one call; Core computes byte counts, identities and digests. Copy the resulting `recording_calls` form, adding only required semantic/review fields. Never invent a reviewer or pre-confirm review. Copy ready `next_calls` exactly: the supplied `continue_delivery` call intentionally omits expected_revision_id and intake fields. After presentation.prepare use its supplied presentation.deliver call; a delivered presentation supplies an approval form with response deliberately absent, for a NEW exact deliberate reply only. Put `Approval: GATE` alone in response; label a user-authorized simulation outside that field, never as a prefix or suffix. Use the supplied operation_status_call only when observation is necessary; a known rejected write does not require a blind status lookup. Forms grant no permission; incomplete forms are not executable.
+
+Pass authored Markdown as UTF-8 string data, never executable code. Prefer structured tool input. If the host requires JavaScript, author with its file-editing tool and pass a UTF-8 file read as `content`; never embed the document in a backtick literal or interpolate its Markdown into executable code. This does not add a server-side file reader or bypass the existing input and byte limits.
+
+For larger files, transfer UTF-8 material using agdf_record/material.stage: begin declares up to four slots and byte counts (128 KiB/file, 512 KiB/set); append supplies exact canonical base64 (no line breaks) of at most 16 KiB raw bytes at the returned offset; seal validates all bytes and returns material references/digests. Every logical put/begin/append/seal/status action has a distinct operation UUID; reuse an operation UUID only for the identical request after uncertainty. The transfer_id links multipart steps. Requests remain <=64 KiB. Buffers are private to the serving generation, expire after ten minutes/two idle minutes and are bounded to four sets/two MiB. They are not files or approval. Correct a rejected offset/slot/revision using the returned diagnostics; never publish protected files as a workaround. After a generation loss, restage identical semantic bytes, preserve the original mutation UUID and inspect its receipt before retrying. Reference IDs may change; semantic digests may not.
+
+Record UR/internal/evidence/route/review via step.record; replace only a registered unapproved UR with agdf_revise/ur_draft.replace. Formal artefact.record takes the material, exact gate, reviewer, explicit reviewed:true and update_draft. Follow authoring-inputs recording.mode/update_draft and current operation help: initial uses false; explicit replace_unapproved or renew_invalidated_binding uses true and fresh current source/review. draft_registered false after a source revision does not erase historical binding obligations. Effective analytical next_operation selects the actual template/format, including UX reassessment at an outer PRD gate; never substitute the gate template or require source-code lookup. For UX plain-text staging, source_validation checks the existing canonical single `- decision:` declaration before advertising a record call; a valid declared value is mirrored as source data, never generated judgement. Correct malformed source bytes with the supplied new material_call before recording. Actual reviewed source mapping remains required; Core retains its reviewed relationship and proof atomically, never inventing an independent semantic review. Approved sources use the existing reviewed source_revision.preview/apply owner, including a staged EVIDENCE JSON proposal; archive/receipt retains its exact logical reference without publishing a generic caller-selected file. Preserve deliberate confirmation and original-UUID recovery.
+
+Verified Change uses verified_change.record phases eligibility/execution, the same read-only Git observations and unchanged compact evaluator. Core captures baseline/actual paths; scope escape escalates. Stage Mini-Closeout in its Verified Change slot and use closeout.record with the returned exact confirmation. Quick Task uses its existing review/evidence and OR-lite owner. No mode accepts hand edits or reseals as a control path. Presentation prepare/deliver follows interaction.md; only a new deliberate exact human reply reaches approval.record.
+
+The following local path/CLI forms remain compatibility fallback for hosts without these listed capabilities. They do not override typed MCP continuations.
+
 ## Common Route
 
-- Use only the supplied `gate`, `artifact_path`, `template_path`, `source_artifacts`, `target`,
+- With MCP use only the returned current gate/Run/revision, bound template and exact source
+  chunks from `authoring-inputs`; its template role and digest identify the version-matched owner.
+  CLI fallback uses only the supplied `gate`, `artifact_path`, `template_path`, `source_artifacts`, `target`,
   `run_id` and `revision_id`. `template_path` is the absolute canonical authoring template from the
   installed, version-matched plugin for PRD, SD, TP or QA Report preparation. Repository scaffold
   copies are derived references only. Do not rediscover or substitute a run, target, source
   artifact or template. A missing or unsafe template blocks authoring without fallback or mutation.
 - Prepare only the named current-gate artifact from the supplied approved sources.
-  Record with `run-step --step artefact --gate <PRD|SD|TP|QA>
-  --evidence .agdf/control/artefacts/<run_id>/<input.json> --run <run_id> --revision <revision_id>`.
+  With MCP use `agdf_record/artefact.record` and the bounded reviewed material above.
+  CLI fallback records with `run-step --step artefact --gate <PRD|SD|TP|QA>
+  --evidence <reviewed-material.md> --reviewer <name> --reviewed true
+  --update-draft <true|false> --run <run_id> --revision <revision_id> --operation <uuid>`.
   Do not publish a pointer and its required source relationship in separate accepted revisions.
 - After persistence, redispatch `gate-check` for the same target/run and use its fresh revision,
   gate route and approval presentation. Do not reuse this operation or ask for approval until the
@@ -22,13 +60,13 @@ Run State, gate evaluation and exact approval remain authoritative.
   dependent authoring. Use interaction.md Bounded internal recovery only for its dispatched eligible
   analytical owner; other conditions stay blocked. Never infer approval or create later-gate work.
 
-## Reviewed Recording Input (version 1)
+## Reviewed Material Recording
 
 ### Language and approval summary preparation
 
 Use the supplied `artifact_language` from `.agdf/control/config.json` for the artefact and
 the resolved `presentation_language` for user-facing text. The configured chat language is
-the direct-command default; dispatcher presentation input follows its current-request contract.
+the direct-command default; MCP may inherit a known matching configured language; a different current-request language needs an explicit presentation_language override. CLI and complete Core language remain explicit.
 Neither the request language nor English runtime/template text changes the artefact language.
 When `approval_summary_required` is true, before recording include exactly one
 `## <approval_summary_heading>` section with the supplied heading verbatim and a complete
@@ -67,49 +105,27 @@ correction stays with the existing authoring continuation, once per diagnosed co
 by canonical replacement and fresh evaluation. A ready draft still needs actual editing intent;
 status is read-only, protected sources and unrelated blockers remain stopped.
 
-Prepare files under `.agdf/control/artefacts/<run_id>/` before recording. The single shared Core
-relationship registry selects PRD-derived_from-UR, SD-derived_from-PRD, TP-derived_from-SD or
-QA_REPORT-tests-TP. UR-approved_by remains exclusively approval-owned. QA recording copies an
-existing report's explicit Decision/Status value (`pass | revise | block`); it does not decide QA.
-
-The JSON object has exactly these fields:
-
-- `schema_version`: string `1`.
-- `target_id`: existing local command-target identity, SHA-256 of `agdf-command-target/1`, NUL,
-  and the canonical real absolute governance target. This is a binding, not authority.
-- `run_id`, `expected_revision_id`: the supplied selected run and current revision.
-- `destination`: exactly `type`, `path`, `digest`, `status`; logical registry type, canonical
-  run-local `<type>.md`, full canonical SHA-256 and `draft` for PRD/SD/TP, report decision for QA.
-- `source`: exactly `type`, `path`, `digest`; the registry's approved source and canonical digest.
-- `relationship`: exactly `from`, `relationship`, `to`; the explicit registry triple.
-- `review`: exactly `reviewer`, `path`, `digest`; named reviewer, separate contained mapping file
-  and its canonical SHA-256. Do not overwrite an earlier sealed proof file.
-- `update_draft`: boolean; true only for an explicit current-gate draft update.
-
-The mapping file is JSON with exactly `schema_version`, `target_id`, `run_id`, `relationship`,
-`destination`, `source`, `reviewer`, `reviewed`. Identity and source/destination objects match
-the recording input exactly; reviewer matches review.reviewer, and reviewed is boolean true.
-Digests use the existing canonical text/line-ending semantics. This is cooperative review
-attestation, never independent proof of a human review or semantic derivation. QA/review assesses
-the meaning. A prose header or gate order is not machine proof.
-
-The existing operation checks current permission, contained non-symlink files, exact approved
-sources and revision under locks. It appends its sealed Artefact Bindings receipt/history and
-publishes pointer, relationship and audit together. The receipt is writer-owned; do not hand-author
-it. An allowed draft replacement supersedes the prior active binding, retaining history. A changed
-draft is accepted only when its prior binding reconstructs the recorded seal and every other
-bound/approved byte remains unchanged. Otherwise stop with explicit maintenance/revision recovery.
-
-Before presentation/approval, a recorded eligible current artefact must have its evidenced source
-relationship. Missing artefacts remain draftable; a relationship-only blocker must not redraft the
-artefact repeatedly. Only authorized bound continuation can attempt one exact previously sealed
-proof correction before output. The shared Core continuation service coordinates this operation
-and fresh routing; the dispatcher service itself only reads and routes. Explicit status, doctor,
-evaluation and run-present never correct.
-Unknown/malformed/foreign/stale/ambiguous proof, missing full approval integrity or unrelated
-blockers remain blocked; legacy absence grants no correction permission. A successful correction
-creates a new audited revision and fresh evaluation without another approval. Terminal output
-already emitted is never intercepted. Older runtimes have no automatic correction capability.
+Record reviewed material through `artefact.record`: `gate`, exact bounded `material`,
+`reviewer`, explicit `reviewed: true` and boolean `update_draft`. The writer derives
+PRD-derived_from-UR, SD-derived_from-PRD, TP-derived_from-SD and QA_REPORT-tests-TP
+from the existing registry and current exact approved source. UR-approved_by remains
+exclusively approval-owned. QA recording preserves the report's explicit result;
+it never decides QA. This is cooperative review attestation, not independent proof
+of human review or semantic correctness.
+
+Core publishes the canonical document under the Run documents role, its binding
+and revision atomically. Source/destination mapping and reviewer are recorded once
+in the typed binding; there are no RECORD/REVIEW JSON inputs or duplicate proofs.
+An unapproved replacement supersedes its previous binding while retaining history.
+The previous canonical bytes must still be valid before recording; stage the new
+material instead of editing a bound document. Approved sources require the current
+source-revision preview/apply owner and exact deliberate confirmation.
+
+Before presentation, an eligible recorded artefact must have the exact current
+source relationship. Missing, stale, foreign or malformed bindings remain blocked.
+Do not hand-author a receipt, repair a seal or automatically adopt unknown edits.
+Read-only status, doctor, evaluation and presentation never correct state. After
+an allowed recording, evaluate the new revision and prepare a fresh exact decision.
 
 ## Gate-Specific Work
 

package/generated/.opencode/contracts/gate-transition.md

@@ -50,7 +50,7 @@ They must not override AGDF gates, approvals or the Runtime Contract.
 - Internal mandatory steps: `Brownfield Review -> Mode/Slice Decision -> Verified Change Execution | Brownfield Analysis -> CD+Tests -> CR -> OR`
 - On the approved-TP path, `CD+Tests` and `CR` are satisfied only by `done`; `not_applicable` may satisfy Brownfield Review or Brownfield Analysis, but it must not bypass implementation/test evidence or mandatory Code Review.
 - Exact approval formula: `Approval: <GateName>`
-- Legacy alias: `Freigabe: <GateName>` may be accepted when reviewing older German runs, but all new outputs must use `Approval: <GateName>`.
+- Older approval wording and unsupported Run/receipt formats grant no current authority. Preserve their bytes; never convert, reseal or infer a current approval from them.
 - Implicit consent is not approval. Phrases such as "ok", "go ahead", "do it", "approved", "continue", "leg los" or "looks good" are work intent, not gate approval.
 - The earliest blocking gate wins.
 - For UR, PRD, SD, TP and QA, approval and durable artefact presence are separate requirements. A gate is not satisfied by approval text alone when its artefact is missing from `.agdf/control/` or not linked to the authoritative repository SoT.
@@ -63,17 +63,15 @@ They must not override AGDF gates, approvals or the Runtime Contract.
   UR first; only then may revalidation determine whether `Approval: UR` is ready. This branch is
   unreachable for `target_unresolved` and never creates a free-standing legacy live run.
 - Brownfield Review and its route may be recorded while the UR card is ready, so that card can name the next gate; this grants nothing beyond the pending `Approval: UR`.
-- `Approval: UR` permits Brownfield Review after G-00 first. The review records its Mode/Slice Decision in the same internal operation when evidence is sufficient; the user is told that no action is required now. A separate `Mode/Slice Decision` step is fail-closed recovery for incomplete or legacy review state, not a normal user decision. UR approval never permits implementation by itself and does not preselect PRD.
+- `Approval: UR` permits Brownfield Review after G-00 first. The review records its Mode/Slice Decision in the same internal operation when evidence is sufficient; the user is told that no action is required now. A separate `Mode/Slice Decision` step is fail-closed recovery for incomplete current review evidence, not a normal user decision. UR approval never permits implementation by itself and does not preselect PRD.
 - PRD, SD and TP depth is chosen after Brownfield Review through the Mode/Slice Decision, not before existing-system impact is understood.
-- The Mode/Slice Decision must be visible before any PRD shortcut, Quick Task execution or implementation: record the decision, required next gate, scope reason and evidence in the selected canonical `RUN_STATE.md` or an equivalent linked control artefact.
+- The Mode/Slice Decision must be visible before any PRD shortcut, Quick Task execution or implementation: use the typed route owner to record mode, scope reason and exact evidence in the selected Run; current and next gates are derived from its facts.
 - `Approval: PRD` permits Solution Design drafting, not implementation.
 - Before presenting a PRD approval, the PRD `Approval Decisions` table must resolve every `before_prd` product, acceptance, owner and release-scope decision and name its PRD owner. Collect related missing answers in one request. `later_sd` and `later_tp` rows may remain open only with a named owner; they cannot silently carry a product decision past PRD approval. The runtime suppresses `run-present` and `run-approve` when PRD readiness is open.
 - The `criteria-chain-v1` contract keeps PRD acceptance as the sole product source: every PRD criterion has one stable `criterion_id`; SD maps every criterion exactly once to its design, source-of-truth owner, decision and compatibility/risk treatment; TP maps every criterion and SD decision to task IDs, scenario IDs, expected results and evidence. Existing gate readiness checks suppress the SD or TP presentation when a marked artefact has incomplete or inconsistent mappings. Do not create a parallel acceptance register or copy acceptance prose downstream.
 - A clarification after approval that does not change approved scope, behavior or acceptance may be attributed as run evidence without changing the approved PRD. The no-mode `run-revise --run <run_id> --revision <revision_id>` remains the early PRD-to-SD revision path before downstream artefacts are linked. It requires a revised PRD, new `run-present` and a new deliberate `Approval: PRD`.
-- Versioned approved-source revision uses the existing `source_revision.preview` then separately confirmed `source_revision.apply` owner. Proposal schema 2 and receipt schema 3 bind `policy_version: 2`, original initiating phase, concrete source statements, exact quality/source-set/result assessment and full impact/quality digests. In an active structured Run before deliberate UAT approval, UR may reopen from PRD/SD/TP/CD+Tests/QA/pending UAT; PRD from SD/TP/CD+Tests/QA/pending UAT; SD from TP/CD+Tests/QA/pending UAT; TP from CD+Tests/QA/pending UAT. The actually approved earliest changed statement determines the source, never the phase or a keyword. Unknown or conflicting upstream intent requires clarification; pure implementation defects with unchanged sources stay under the valid TP and checks. Unapproved drafts use existing authoring/update, not approved-source revision.
+- Versioned approved-source revision uses the existing `source_revision.preview` then separately confirmed `source_revision.apply` owner. Proposal schema 3 and receipt schema 4 bind `policy_version: 2`, original initiating phase, concrete source statements, exact quality/source-set/result assessment and full impact/quality digests. In an active structured Run before deliberate UAT approval, UR may reopen from PRD/SD/TP/Brownfield Analysis/CD+Tests/QA/pending UAT; PRD from SD/TP/Brownfield Analysis/CD+Tests/QA/pending UAT; SD from TP/Brownfield Analysis/CD+Tests/QA/pending UAT; TP from Brownfield Analysis/CD+Tests/QA/pending UAT. The current receipt alone binds policy 2; older receipt/proposal alternatives are unsupported. All active writers must use the same current model. The actually approved earliest changed statement determines the source, never the phase or a keyword. Unknown or conflicting upstream intent requires clarification; pure implementation defects with unchanged sources stay under the valid TP and checks. Unapproved drafts use existing authoring/update, not approved-source revision.
 - New preview binds exact target/Run/revision/UUID, reviewed proposal, source bytes, registered quality facts and impact. Unchanged verified upstream approvals remain exact; selected and transitive downstream source approvals/bindings require renewal. Affected or unknown analytical/quality fulfillment is reassessed; UR requires fresh post-UR Review/Mode and required UX. Lower-source analytical retention requires exact current writer-owned applicability and specific rationale. Archive affected reports, approvals and presentations before atomic application under existing locks/journal; affected QA report and approval lose current authority together, and pending old UAT material is superseded. Fresh applicable checks/reviews and QA precede renewed UAT. Deliberate UAT approval, done OR, completed/closed/foreign/stale/damaged or incompatible pending state prohibits this path.
-- Legacy proposal schema 1 and source receipt schemas 1/2 keep their original predicates: active structured CD+Tests before QA/UAT, or UR at SD with approved UR/PRD and linked draft SD before downstream work. Historical verification selects the original receipt policy and archived initiating state; never widen old proof retrospectively or rewrite its bytes. Unsupported new versions reject concretely. The existing early PRD reopening boundary remains unchanged.
-- Under legacy policy 1, the same explicit preview/apply owner also supports UR revision in an active structured Run at SD with exact approved UR/PRD and a linked, reviewed draft SD, before SD approval, linked TP, implementation, reviews or closeout. Its reviewed proposal binds the current UR/PRD/SD sources, marks applicable analyses for reassessment and returns the same Run to UR. Other cases remain unsupported by legacy policy 1; expanded cases require the version 2 proposal and proof. The no-mode PRD boundary is unchanged. The canonical fixed-group MCP revision facade uses the same reviewed preview/apply owner and deliberate confirmation; it grants no gate approval.
 - Source revision apply archives the exact previous sources, mappings, presentations (including pending SD cards) and Run before its atomic commit. Append-only `Source Revisions` in the sealed Run determine invalidated bindings; archive files are historical evidence only. Old files, approvals, replies and presentations never authorize renewal. Draft and record the affected sources through their current owners, present them afresh and obtain new deliberate approvals.
 - UR revision requires fresh post-UR Review/Mode and required UX. Later source revision retains only reviewed exact applicable analytical inputs; reassessment routes existing owners before dependent source authoring. Every approved-source revision clears preparation, CD+Tests and review fulfillment; retained code/tests require fresh assessment under the renewed TP. Read-only inspection never recovers. Use explicit `--inspect`/`--recover` for the exact pending operation; a replay reports its historical effect separately from current state and grants no approval.
 - `Approval: SD` permits Task/Test Plan drafting, not implementation.
@@ -197,6 +195,7 @@ This table is the canonical transition model. Skills may reference it, but must
 | QA report is `revise` with an eligible explicit evidence-only deviation proposal and no QA acceptance | `QA` | present the exact scope, risks, consequences and follow-up; request contextual acceptance under quality.md | UAT, release and treating missing tests as passed | `Approval: QA` |
 | QA approved with report `pass`/`passed` or a current exact human deviation-acceptance receipt, UAT not approved | `UAT` | request `Approval: UAT`, carry accepted deviations and original QA result into the non-operative summary | release and automatic VCS actions | `Approval: UAT` |
 | UAT approved | `OR` | produce OR or delivery closeout; prepare VCS handoff only when requested | automatic commit, push, PR or release | none |
+| Run lifecycle `superseded` or `abandoned` | closed at its last gate | read its history; start a new run that may reference it | every run write, approval, presentation, revision, recovery and delivery continuation | none |
 
 
 ## Brownfield Modes