devrites 7.2.8 → 7.3.1

package/pack/generated/devin/skills/rite-build/reference/parallel-batch.md

@@ -4,6 +4,12 @@
 
 Opt-in only. Default `/rite-build` stays [`one-slice-cycle.md`](one-slice-cycle.md).
 
+Autocomplete first executes shared
+[`parallel-workspaces.md`](../../devrites-lib/reference/parallel-workspaces.md):
+it owns global admission, authorized source discovery and controller routing.
+The local selection below applies to standalone Build; mixed selection uses
+that reference and then this same per-slice review/repair/integration lifecycle.
+
 ## Entry
 
 | Input | Behavior |
@@ -14,8 +20,9 @@ Opt-in only. Default `/rite-build` stays [`one-slice-cycle.md`](one-slice-cycle.
 | Autocomplete `--parallel N` | N is the cap for this run; leftover sentinel `max_parallel` is ignored, then `/rite-autocomplete` writes or replaces only `max_parallel: N` |
 | Autocomplete, no flag | Same path, cap from sentinel `max_parallel` else 10; serial only when ineligible |
 
-AFK caps `N`. Charge green siblings once after integrate; abort /
-integrate-failed → **0**. `parallel create` refuses while a lease exists.
+AFK caps `N`. Charge each green sibling once after its successful landing;
+rejected/unlanded work charges zero, without undoing prior landed accounting.
+`parallel create` refuses another retained repository controller.
 Reconcile retained repair-round artifacts by exact causal fingerprint before honoring a stored blocked status/verdict. Blocked status, round count, or distinct finding alone cannot stop cold resume: establish missing or stale review coverage under step 4; repair unless a stop condition remains evidenced.
 
 ## Dynamic selection and re-batching
@@ -45,8 +52,10 @@ passes `--whole` so the other slices stay visible.
 `next` prints `eligible_now:`/`batch:`. `n_eff` counts new picks only.
 With a running lease, a single new pick still uses `parallel add`;
 `n_eff=0` with a running lease waits for siblings, not Prove. Without one:
-≥2 → parallel batch, 1 → serial, none pending → Prove.
-Serial is this round only; a cap need not be filled.
+≥2 → parallel batch, 1 → standalone serial; Autocomplete cap>1 on a capable
+host instead isolates that first writer for global refill. No pending work
+returns to the caller's next phase; no ready local work does not exhaust its
+authorized global frontier. A cap need not be filled.
 
 **Refill per landing; never wait for the batch.** Each sibling lands alone when
 green ([Lifecycle](#lifecycle) step 6). Re-read state, pending slices, and the
@@ -91,33 +100,36 @@ lands a broken lockfile.
 
 ## Control vs workers
 
-Control owns `.devrites/work/<slug>/` (lease + bookkeeping).
-Workers: `.scratch/parallel-wt/<batch>/<slice>/` on
-`devrites/parallel/<slug>/<batch>/<slice>` @ base `B`. Wrights never write
-`.devrites/**`.
+Control owns the controller lease; source workspaces own their bookkeeping.
+Use returned worker `worktree_path`/`branch`: controller-local siblings retain
+`<batch>/<slice>`, foreign siblings use `<batch>/_workspaces/<source>/<slice>`.
+Workers never write `.devrites/**`.
 
-Lease: `batch_id`, `created_at`, `base_sha`, `n`,
-`status` (`running|aborted|integrate-failed|complete`), `control_pid_or_session`,
-`slices[]` (`id`, `paths`, `worktree_path`, `branch`, `wright_status`,
-`transfer_commit`).
+Lease includes `batch_id`, `created_at`, `base_sha`, `capacity`, `n`, `status`,
+`control_pid_or_session` and `slices[]` (`id`, optional `workspace`, `paths`,
+`worktree_path`, `branch`, `wright_status`, `transfer_commit`). Omitted workspace
+means controller; CLI lease `--slice` uses source-qualified foreign keys.
 
 ## Lifecycle
 
 1. Orient/gate; parse the cap; compute `N_eff` and select the eligible set
    ([Dynamic selection and re-batching](#dynamic-selection-and-re-batching)) —
-   `parallel select --slug <slug> --cap N --from-plan` (ready set, write paths,
-   and pairwise disjointness are inside that verb).
+   local `parallel select --slug <slug> --cap N --from-plan`, or Autocomplete's
+   authorized mixed-source query from the shared controller reference.
    Preflight each selected slice with `devrites-engine check slice <slug>
    <id>`, plus `check preconditions <slug> --slice <id>` when it has a
    `pre-dispatch <id>` preflight row; a malformed contract or non-zero
    precondition is dropped from the batch and recorded as a gap, not dispatched.
-2. Write lease; freeze `B=HEAD`; `parallel create` worktrees.
-3. Dispatch ≤10 wrights in parallel (cwd=worktree; allowlist; prove `HEAD==B`).
-   One wave, one role per sibling: `--role slice-wright.<SLICE-ID> --slice <SLICE-ID>`
-   for each. `start` every role before waiting on any. One shared `slice-wright`
-   role is refused: it has one handle, so the other slices never start.
-   A linked worktree has no `.devrites`:
-   tell each wright to run `gates precheck` with `DEVRITES_ROOT=<control>/.devrites`.
+2. Write lease with `parallel create --cap N`; freeze `B=HEAD`; create isolated
+   worktrees, including Autocomplete's first lone writer at cap>1.
+3. Dispatch ≤N active wrights globally (absolute cwd=returned worktree; exact
+   `devrites-slice-wright` native profile; source slug; allowlist; prove `HEAD==B`).
+   Source-local waves use one role per sibling:
+   `--role slice-wright.<SLICE-ID> --slice <SLICE-ID>`.
+   `start` every selected role across sources before waiting on any.
+   Shared `slice-wright` role is refused: one handle cannot track siblings.
+   Linked worktrees run source checks with `DEVRITES_ROOT=<control>/.devrites`;
+   source overrides never leak into controller lease mutations.
 4. Inspect each returned path list, cumulative diff from `B`, transfer identity,
    and required result fields against the immutable contract. Reject malformed,
    stale, or out-of-scope work. Freeze and probe the sibling in its worktree:
@@ -145,21 +157,30 @@ Lease: `batch_id`, `created_at`, `base_sha`, `n`,
    preserve completed and in-progress recoverable work and classify each result.
 6. `parallel integrate --slice <id> --apply-to-control` **only after its steps
    4–5 are green**: `transfer_commit` descends from the sibling's base and diffs
-   path-exact vs it; apply as its own local `WIP(<slug>):` commit
-   (imperative summary, never a slice id). Staging branch, then FF; the engine
-   refuses (never rewinds) if anything but this lease moved control. Conflict →
-   `integrate-failed`; classify under repair rounds (siblings stay in place).
+   path-exact vs it; apply as its own local `WIP(<source-slug>):` commit
+   (imperative summary, never a slice id). Staging branch, durable exact landing
+   intent, then FF; retry the same operation after interrupted persistence.
+   The engine reconciles only that recorded landing and refuses unrelated
+   HEAD/ref movement. Conflict → `integrate-failed`; classify under repair rounds
+   (siblings stay in place).
    Never integrate because a wright returned.
 7. Each landing: FF control (the branch that held `HEAD` when the batch started —
    often `main`/`master`, otherwise whatever the user was on) by one local commit,
-   never pushed; union that sibling's paths into `touched-files.md`; update
-   state/evidence; AFK +1; optional `check candidate`. Land every green sibling,
-   refill ([Dynamic selection](#dynamic-selection-and-re-batching)), then run the
-   feature gates once for the train
-   ([Proof tiers](phase-contract.md#proof-tiers)); the next train waits, the
-   refilled wrights do not.
-8. Cleanup runs only after the last landing marks the lease `complete` — work
-   landed in control, so `parallel cleanup` removes worktrees/branches.
+   never pushed; union only that sibling's paths into SOURCE `touched-files.md`;
+   update its checked BUILT state/evidence and regression floor; AFK +1 once.
+   Once every worker-bound reviewer/proof handle is terminal and source bookkeeping
+   is durable, run `parallel prune --root <repo> --slug <controller>` to release
+   clean integrated checkouts before refilling. It keeps transfer branches, proof
+   identities, lease rows and pending siblings. A dirty, ignored-data-bearing,
+   switched or unknown checkout stays untouched; record its recovery path and
+   continue safe independent work, never force-delete it to reclaim a slot.
+   Land every independently green sibling and refill globally immediately
+   ([Dynamic selection](#dynamic-selection-and-re-batching)), then run source-owned
+   feature gates for the train ([Proof tiers](phase-contract.md#proof-tiers));
+   refilled wrights do not wait for unrelated source proof.
+8. Whole cleanup runs only after the last landing marks the lease `complete`.
+   `parallel cleanup` removes verified disposable checkouts/branches; late edits,
+   ignored/untracked data and extra commits stay with reported recovery paths.
    Blocked/human-stopped batches keep lease, worktrees, branches — nothing is
    removed while the batch may resume. `parallel abort` + `cleanup --force`
    abandons the batch — the explicit human discard path; the single
@@ -225,9 +246,9 @@ Repair rejected work in place; never discard/rebuild while budget remains.
 ## Engine verbs
 
 ```text
-devrites-engine parallel select --cap <1-10> [--root <dir>] [--slug <slug>] [--from-plan | <json-file>|-]
-devrites-engine parallel create --root <repo> --slug <slug> --batch <id> --base <B> --json <file>|-
-devrites-engine parallel add --root <repo> --slug <slug> --json <file>|-
+devrites-engine parallel select --cap <1-10> [--root <dir>] [--slug <controller>] [--from-plan [--workspaces <controller,authorized-source,...>] | <json-file>|-]
+devrites-engine parallel create --root <repo> --slug <controller> --batch <id> --base <B> --cap <N> --json <file>|-
+devrites-engine parallel add --root <repo> --slug <controller> --cap <N> --json <file>|-
 devrites-engine parallel record-green --root <repo> --slug <slug> --slice <id> --commit <sha>
 devrites-engine parallel integrate --root <repo> --slug <slug> --slice <id> --apply-to-control
 devrites-engine parallel integrate --root <repo> --slug <slug> --apply-to-control

package/pack/generated/devin/skills/rite-build/reference/phase-contract.md

@@ -4,11 +4,13 @@
 
 Apply [`one-slice-cycle.md`](one-slice-cycle.md) and
 [`candidate-integrity.md`](../../devrites-lib/reference/candidate-integrity.md).
-Opt-in `--parallel N` replaces steps 2–8 with [`parallel-batch.md`](parallel-batch.md);
+`--parallel N` uses [`parallel-batch.md`](parallel-batch.md) for steps 2–8;
+Autocomplete also executes the shared
+[`workspace controller`](../../devrites-lib/reference/parallel-workspaces.md).
 Spec Drift Guard still applies.
 
-1. **Gate.** Read core, `.devrites/ACTIVE`, then `devrites-engine orient <slug>`
-   (`devrites-engine next <slug>` prints the minimal remaining path) and the
+1. **Gate.** Read core and ordered ACTIVE owner; use explicit SOURCE slug for
+   `devrites-engine orient <slug>` (`next <slug>` prints its minimal path) and the
    Build read-next in
    [`workspace-artifact-schema.md`](../../devrites-lib/reference/workspace-artifact-schema.md#read-next-by-phase):
    the selected slice via `devrites-engine observe slice <slug> <SLICE-ID>`, not whole
@@ -16,8 +18,9 @@ Spec Drift Guard still applies.
    `Implementation readiness: READY`, current `Readiness inputs SHA-256`, exact
    required accounts, ID/meaning traceability and green proof preflight.
    Run `devrites-engine check readiness <slug>`; any miss/nonzero blocks.
-   Non-empty `orient` `inflight_waves` is reconciled first: `dispatch return` each
-   role whose account is in hand, else `dispatch abandon --reason` and re-dispatch.
+   Non-empty `orient` `inflight_waves` is reconciled first: record accounts in
+   hand; retain running/unknown writer handles, claims and lease slots. Read-only
+   stale waves follow terminal reconciliation before re-dispatch, not blind abandon.
 2. **Select.** Pick the lowest pending slice whose `depends_on` are all built, using
    `orient` `task_graph.slices` plus the `state.md` built list — never by scanning
    `tasks.md`; then `observe slice` it. Restate its goal, ACs, exclusions and exact paths. Include

package/pack/generated/devin/skills/rite-build/reference/wright-dispatch.md

@@ -46,10 +46,10 @@ only per [`checkpoint.md`](checkpoint.md).
 
 Conflict, extra/missing commit, moved base, or cleanup failure is `gap`/STOP:
 preserve the worktree and commit. Without explicit reconciliation, use same-worktree serial.
-Parallel isolated-writer worktrees remain forbidden until this serial pilot measures
-transfer, conflict, proof, and review outcomes on both hosts; opt-in `/rite-build --parallel N`
-(2≤N≤10) path-disjoint fan-out is the only sanctioned parallel mode. Same-worktree multi-writer / root-emulated
-worktrees stay forbidden.
+Parallel isolated writers use only [`parallel-batch.md`](parallel-batch.md) and,
+under Autocomplete, the shared
+[`workspace controller`](../../devrites-lib/reference/parallel-workspaces.md).
+Same-worktree multi-writer / root-emulated worktrees stay forbidden.
 
 ## Prepare
 
@@ -131,9 +131,9 @@ a spec trace of the slice's obligations (hardening no AC/INV/PROH requires moves
 a sibling slice dependents do not need, still gated before Seal), and
 reopen with `--reslice-review <DRIFT-ID>`. Same-worktree stays one writer.
 Never run two writers in one worktree, mix isolated and same-worktree writers,
-or substitute a generic agent. Opt-in `/rite-build --parallel N` is the
-exception: one wright per worktree, each its own `slice-wright.<SLICE-ID>` role
-on one wave ([`parallel-batch.md`](parallel-batch.md)).
+or substitute a generic agent. Sanctioned parallel dispatch uses one exact
+wright per worktree, source-local `slice-wright.<SLICE-ID>` roles and starts
+all selected sources before first wait ([`parallel-batch.md`](parallel-batch.md)).
 
 The `return` that completes the wave releases its claim; `dispatch abandon --release`
 releases it on any other host-confirmed terminal path (a stop, a launch refused with no

package/pack/generated/devin/skills/rite-clarify/SKILL.md

@@ -4,7 +4,7 @@ description: Audit a completed spec for missing decisions before strategy or arc
 argument-hint: "[feature-slug]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md","rite-clarify/reference/decision-coverage.md","rite-clarify/reference/anti-patterns.md"],"triggers":{"agents":["devrites-lib/reference/standards/agents.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md"],"workspaceByRole":{"evidence-scout":["brief.md","spec.md","state.md","questions.md"]},"rootOnly":["devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md","rite-clarify/reference/decision-coverage.md","rite-clarify/reference/anti-patterns.md"],"triggers":{"agents":["devrites-lib/reference/standards/agents.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md"],"workspaceByRole":{"evidence-scout":["brief.md","spec.md","state.md","questions.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase clarify` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
@@ -39,7 +39,7 @@ dispatch uses
 
 ## Workflow
 
-1. **Orient.** Read `.devrites/ACTIVE`, `state.md`, and `spec.md`. Require
+1. **Orient.** Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), then read its `state.md` and `spec.md`. Require
    `state.md` `spec_gate: passed` (legacy `Spec gate: passed` line accepted); otherwise stop at `/rite-spec`. Apply the native cursor
    protocol below before changing workspace artifacts.
 2. **Enumerate the topology.** From the spec, live code, contracts, references,

package/pack/generated/devin/skills/rite-converge/SKILL.md

@@ -4,7 +4,7 @@ description: Converge intent and live code. Use when resuming a half-built featu
 argument-hint: "[feature-slug]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/spec-grammar.md","devrites-lib/reference/standards/agents.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/testing.md","rite-converge/reference/convergence-assessment.md","rite-converge/reference/anti-patterns.md","rite-build/reference/spec-drift-guard.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"principles":["devrites-lib/reference/standards/principles.md"],"workflow-artifacts":["devrites-lib/reference/workspace-artifact-schema.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md"],"workspaceByRole":{"evidence-scout":["spec.md","plan.md","tasks.md","state.md","evidence.md"]},"rootOnly":["devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/tooling.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/spec-grammar.md","devrites-lib/reference/standards/agents.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/testing.md","rite-converge/reference/convergence-assessment.md","rite-converge/reference/anti-patterns.md","rite-build/reference/spec-drift-guard.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"principles":["devrites-lib/reference/standards/principles.md"],"workflow-artifacts":["devrites-lib/reference/workspace-artifact-schema.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md"],"workspaceByRole":{"evidence-scout":["spec.md","plan.md","tasks.md","state.md","evidence.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/tooling.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase converge` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
@@ -15,7 +15,7 @@ Read `spec.md`, `plan.md`, and `tasks.md` as the **sole source of intent** (with
 implements, and **append every unmet piece as a new traceable `SLICE-###`** at the
 bottom of `tasks.md` so `/rite-build` can finish it. Use this for a resumed half-built
 feature, an adopted codebase that drifted from its derived spec, or a build that stalled
-mid-slice. **Read the active
+mid-slice. **Read the selected source
 workspace first**; if there's no `spec.md`/`plan.md`/`tasks.md`, tell the user which
 prerequisite skill to run.
 
@@ -73,9 +73,9 @@ Pull on demand:
 ## Workflow
 
 0. **Read `.devin/skills/devrites-lib/reference/standards/core.md`** first (the always-on
-   operating rules), then resolve the active slug, require its `state.md`, and
+   operating rules), then resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require its `state.md`, and
    read the cursor directly.
-1. **Confirm the gate.** Require `spec.md` + `plan.md` + `tasks.md` in the active workspace. If
+1. **Confirm the gate.** Require `spec.md` + `plan.md` + `tasks.md` in that source workspace. If
    any is missing, **STOP** and name the prerequisite (`/rite-spec` for a missing spec,
    `/rite-define` for a missing plan/tasks, `/rite-adopt` to onboard existing code). Do not
    produce partial output.

package/pack/generated/devin/skills/rite-define/SKILL.md

@@ -4,7 +4,7 @@ description: "Define the first build plan from an approved spec: architecture, t
 argument-hint: "[feature-slug]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/spec-grammar.md","rite-define/reference/plan-template.md","rite-define/reference/gates.md","rite-define/reference/anti-patterns.md","rite-plan/reference/slicing.md","rite-plan/reference/task-breakdown.md","rite-spec/reference/acceptance-criteria.md","rite-spec/reference/state-workspace.md"],"triggers":{"afk":["devrites-lib/reference/standards/afk-hitl.md"],"agents":["devrites-lib/reference/standards/agents.md"],"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"documentation":["devrites-lib/reference/standards/documentation.md"],"elicitation":["devrites-lib/reference/standards/elicitation.md"],"frontend":["devrites-frontend-craft/reference/fullstack.md"],"principles":["devrites-lib/reference/standards/principles.md"],"visual":["devrites-lib/reference/visual-playbooks/index.md"],"workflow":["devrites-lib/reference/standards/development-workflow.md"],"workflow-artifacts":["devrites-lib/reference/workspace-artifact-schema.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","strategy.md","design-brief.md","references.md"],"workspaceByRole":{"plan-drafter":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","architecture.md","strategy.md","design-brief.md","references.md","state.md"]},"rootOnly":["devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/spec-grammar.md","rite-define/reference/plan-template.md","rite-define/reference/gates.md","rite-define/reference/anti-patterns.md","rite-plan/reference/slicing.md","rite-plan/reference/task-breakdown.md","rite-spec/reference/acceptance-criteria.md","rite-spec/reference/state-workspace.md"],"triggers":{"afk":["devrites-lib/reference/standards/afk-hitl.md"],"agents":["devrites-lib/reference/standards/agents.md"],"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"documentation":["devrites-lib/reference/standards/documentation.md"],"elicitation":["devrites-lib/reference/standards/elicitation.md"],"frontend":["devrites-frontend-craft/reference/fullstack.md"],"principles":["devrites-lib/reference/standards/principles.md"],"visual":["devrites-lib/reference/visual-playbooks/index.md"],"workflow":["devrites-lib/reference/standards/development-workflow.md"],"workflow-artifacts":["devrites-lib/reference/workspace-artifact-schema.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","strategy.md","design-brief.md","references.md"],"workspaceByRole":{"plan-drafter":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","architecture.md","strategy.md","design-brief.md","references.md","state.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/afk-hitl.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase define` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
@@ -58,9 +58,9 @@ Pull these via `Read` when shaping the plan:
 ## Workflow
 
 0. **Read `.devin/skills/devrites-lib/reference/standards/core.md`:** the always-on operating rules and anti-rationalizations.
-   Resolve the active slug from `.devrites/ACTIVE`, require its `state.md`, and
+   Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require its `state.md`, and
    re-open `spec.md` and apply [`spec-grammar.md`](../devrites-lib/reference/standards/spec-grammar.md)'s Native grammar re-read
-   checklist. If there is no active workspace, no `spec.md`, the checklist
+   checklist. If there is no selected workspace, no `spec.md`, the checklist
    fails, or its readiness gate hasn't passed →
    **STOP** and tell the user to run `/rite-spec <feature>` first.
    If `decision-coverage.md` is absent or does not say `Decision coverage: CLEAR`,
@@ -119,6 +119,10 @@ Pull these via `Read` when shaping the plan:
    capability end to end; first is the thinnest useful path, ordered by dependency then
    risk. Apply the slice-count and broad-refactor rules above plus
    [`slicing.md`](../rite-plan/reference/slicing.md) and [`task-breakdown.md`](../rite-plan/reference/task-breakdown.md).
+   Write explicit `Workspace dependencies` per
+   [canonical slice grammar](../devrites-lib/reference/workspace-artifact-schema.md#canonical-slice-grammar)
+   after checking assumptions, consumed interfaces, runtime resources and proof
+   independence; Plan owns this declaration and Vet approves its current binding.
    Run `devrites-engine recall --paths <files likely touched>`; fold each relevant prior
    decision, carry-forward constraint, or finding into that slice's `Prior-slice learnings`.
    Mark per slice: **Frontend craft required**

package/pack/generated/devin/skills/rite-define/reference/plan-template.md

@@ -95,9 +95,11 @@ artifact. Without boundary change write exactly:
 Shared contract impact: none — <specific justification>
 
 ## Dependency graph
-List slice prerequisites, non-code prerequisites, and deployable order:
+List local prerequisites and explicit `Workspace dependencies` under the
+[canonical slice grammar](../../devrites-lib/reference/workspace-artifact-schema.md#canonical-slice-grammar),
+non-code prerequisites and deployable order:
 contract/schema/config → old/new app/worker → migration/backfill → exposure → removal.
-Name shared mutable resources that force serialization.
+Name shared mutable resources that force serialization or explicit isolation.
 Each temporary flag, shim/adapter, dual read/write, retained old column/endpoint, or deprecated
 alias the plan adds names its removal `SLICE-###` here, or a Non-goal continuation
 (`/rite-spec <slug>-N`) with measurable trigger + owner; otherwise Vet returns NEEDS REPLAN.

package/pack/generated/devin/skills/rite-plan/SKILL.md

@@ -4,15 +4,15 @@ description: "Re-plan existing work when reality invalidates the plan: reslice a
 argument-hint: "[mode: decompose|reslice|repair|reorder|split|unblock|course-correct|revise]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/acceptance-preserving-reslice.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/agents.md","rite-plan/reference/slicing.md","rite-plan/reference/replan-and-repair.md","rite-plan/reference/dependency-graph.md","rite-plan/reference/task-breakdown.md","rite-plan/reference/anti-patterns.md","rite-define/reference/plan-template.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"one-shot":["devrites-lib/reference/standards/one-shot-actions.md"],"assumption-delta":["devrites-lib/reference/standards/assumption-checkpoints.md"],"workflow":["devrites-lib/reference/standards/development-workflow.md"],"workflow-artifacts":["devrites-lib/reference/standards/workflow-artifacts.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","drift.md"],"workspaceByRole":{"evidence-scout":["spec.md","architecture.md","decisions.md","state.md"],"plan-drafter":["brief.md","spec.md","plan.md","tasks.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","architecture.md","state.md","drift.md"]},"rootOnly":["devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/workflow-artifacts.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/acceptance-preserving-reslice.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/agents.md","rite-plan/reference/slicing.md","rite-plan/reference/replan-and-repair.md","rite-plan/reference/dependency-graph.md","rite-plan/reference/task-breakdown.md","rite-plan/reference/anti-patterns.md","rite-define/reference/plan-template.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"one-shot":["devrites-lib/reference/standards/one-shot-actions.md"],"assumption-delta":["devrites-lib/reference/standards/assumption-checkpoints.md"],"workflow":["devrites-lib/reference/standards/development-workflow.md"],"workflow-artifacts":["devrites-lib/reference/standards/workflow-artifacts.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","drift.md"],"workspaceByRole":{"evidence-scout":["spec.md","architecture.md","decisions.md","state.md"],"plan-drafter":["brief.md","spec.md","plan.md","tasks.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","architecture.md","state.md","drift.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/code-index.md","devrites-lib/reference/standards/tooling.md","devrites-lib/reference/standards/workflow-artifacts.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase plan` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
 # /rite-plan: (re)plan an active feature
 
-Update a plan invalidated by evidence, drift, or user decision. **Read the active workspace
-first.** Missing `.devrites/ACTIVE`/workspace stops to `/rite-spec <feature>`. **Revise is
-artifact-only**: reconcile
+Update a plan invalidated by evidence, drift, or user decision. **Read the selected
+source workspace first.** A missing selected workspace stops to `/rite-spec <feature>`.
+**Revise is artifact-only**: reconcile
 `spec.md` / `architecture.md` / `plan.md` / `tasks.md` / `traceability.md` without
 editing source code.
 
@@ -39,8 +39,9 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
   [`slicing.md`](reference/slicing.md).
 - **Size by complexity, order by dependency.** A slice carries a `Complexity: N/5` score (from
   `/rite-define`); a slice scoring **>3** is a reslice trigger unless its inline reason justifies
-  the irreducible complexity. Honor each slice's `depends_on:`: the next *buildable* slice is the
-  lowest pending one whose dependencies are all built. This preserves one-slice-at-a-time execution.
+  the irreducible complexity. Honor local `depends_on` and explicit `Workspace
+  dependencies`; only built producer checkpoints unblock consumers. Ready
+  independent slices may run together under the controlling caller's cap.
 - **Root writes; drafter proposes.** Follow
   [`agents.md`](../devrites-lib/reference/standards/agents.md). The controlling chat owns
   human questions, decisions, reconciliation, and planning writes.
@@ -51,7 +52,7 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
 
 ## Workflow
 0. Read `.devin/skills/devrites-lib/reference/standards/core.md` (operating rules) before reshaping anything.
-   Then resolve the explicit or active slug, require its `state.md`, and read
+   Then resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require its `state.md`, and read
    the cursor directly.
 1. Read `spec.md`, `decision-coverage.md`, `plan.md`, `tasks.md`, `state.md`, `drift.md`,
    `eng-review.md`, and the current `git diff` (if a repo). Read `decisions.md` and
@@ -83,6 +84,8 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
    affected artifacts, settled contract, and failure/drift; a slice-bound repair
    builds its bundle with `--slice <SLICE-ID>` per affected slice. Await one atomic, read-only
    the drafter's `candidate_files` bundle; human choices return separately.
+   For a capacity-driven repair, include the shared [serialization audit](../devrites-lib/reference/parallel-workspaces.md#recover-avoidable-serialization)
+   and its concrete blocked edges, independent cut, retained-worker impact and unchanged gates in that frozen scope.
    When the observed failure is missing or ambiguous consumptive-action evidence,
    require the drafter to apply [`one-shot-actions.md`](../devrites-lib/reference/standards/one-shot-actions.md) and return the bounded
    diagnostic-amplification design, injective boundary map, per-seam fixtures, and
@@ -130,7 +133,7 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
    `/rite-clarify`. AFK records the suspect seam in `state.md` and continues
    within budgets — a coverage limitation is a product decision and is never
    auto-declared.
-   Bind exact active `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
+   Bind exact source `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
    materializes the exact vetted workflow-artifact paths under
    [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md)
    without dispatching the product wright.

package/pack/generated/devin/skills/rite-plan/reference/dependency-graph.md

@@ -7,8 +7,15 @@ Order slices by what must exist before what. Keep it in `plan.md` as plain text.
    calls, a component it composes, a contract/schema/config it consumes, or a deployable
    version that must already tolerate the change).
 2. Draw edges prerequisite → dependent.
-3. Topologically sort. Independent slices can be built in any order (or noted as
-   parallelizable for the user).
+3. Topologically sort local and explicit `Workspace dependencies` producer edges.
+   Validate each qualified producer in its live/safely archived tasks graph.
+   Inspect assumptions, consumed interfaces, shared runtime resources and proof
+   independence before declaring `none`; disjoint paths alone prove neither.
+   Only durably BUILT/integrated producer checkpoints unblock consumers. Current
+   native Plan/Vet approves early future admission; absent legacy declarations
+   require narrow repair, not invented independence. Use the
+   [canonical field](../../devrites-lib/reference/workspace-artifact-schema.md#canonical-slice-grammar),
+   not a second lane-policy artifact.
 
 ```
 SLICE-001 (schema)  ->  SLICE-002 (write API)  ->  SLICE-003 (UI form)

package/pack/generated/devin/skills/rite-plan/reference/slicing.md

@@ -178,6 +178,8 @@ serializes: cut a slice that stands alone, or record `Serial rationale: <why>`.
 `check task-graph <slug> --strict` refuses a plan whose shared path carries `ADVISORY hub:`
 writers, so a contended plan must split disjointly instead of widening the cap.
 Never merge slices or drop acceptance to widen it.
+Apply the shared [avoidable-serialization audit](../../devrites-lib/reference/parallel-workspaces.md#recover-avoidable-serialization)
+before accepting a serial frontier; independent cuts must still pass this section's vertical sizing rules.
 
 ## Deferred slice
 A slice with `Satisfies: none` is an optional follow-up: plan-invented hardening or

package/pack/generated/devin/skills/rite-polish/SKILL.md

@@ -4,7 +4,7 @@ description: Polish the active feature's code and any touched UI before review.
 argument-hint: "[target | bolder | quieter | distill | harden | normalize-only]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/candidate-integrity.md","rite-polish/reference/code.md","rite-polish/reference/anti-patterns.md","rite-polish/reference/anti-ai-slop.md","rite-polish/reference/harden-checklist.md","rite-polish/reference/ledger.md","rite-build/reference/checkpoint.md"],"triggers":{"adr":["rite-polish/reference/adr-promotion.md"],"agents":["devrites-lib/reference/standards/agents.md"],"backend":["rite-polish/reference/backend-polish.md"],"coding":["devrites-lib/reference/standards/coding-style.md","devrites-lib/reference/standards/duplicate-code.md"],"errors":["devrites-lib/reference/standards/error-handling.md"],"ui":["rite-polish/reference/ui.md","rite-polish/reference/design-memory.md","rite-polish/reference/design-system-discovery.md","rite-polish/reference/browser-polish-evidence.md","devrites-lib/reference/standards/browser-proof-checklist.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md","touched-files.md","design-brief.md","browser-evidence.md","polish-report.md"],"workspaceByRole":{"slice-wright":["spec.md","architecture.md","plan.md","tasks.md","test-plan.md","state.md","decisions.md","design-brief.md"]},"rootOnly":["rite-build/reference/checkpoint.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/candidate-integrity.md","rite-polish/reference/code.md","rite-polish/reference/anti-patterns.md","rite-polish/reference/anti-ai-slop.md","rite-polish/reference/harden-checklist.md","rite-polish/reference/ledger.md","rite-build/reference/checkpoint.md"],"triggers":{"adr":["rite-polish/reference/adr-promotion.md"],"agents":["devrites-lib/reference/standards/agents.md"],"backend":["rite-polish/reference/backend-polish.md"],"coding":["devrites-lib/reference/standards/coding-style.md","devrites-lib/reference/standards/duplicate-code.md"],"errors":["devrites-lib/reference/standards/error-handling.md"],"ui":["rite-polish/reference/ui.md","rite-polish/reference/design-memory.md","rite-polish/reference/design-system-discovery.md","rite-polish/reference/browser-polish-evidence.md","devrites-lib/reference/standards/browser-proof-checklist.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md","touched-files.md","design-brief.md","browser-evidence.md","polish-report.md"],"workspaceByRole":{"slice-wright":["spec.md","architecture.md","plan.md","tasks.md","test-plan.md","state.md","decisions.md","design-brief.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","rite-build/reference/checkpoint.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase polish` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
@@ -59,9 +59,9 @@ Incomplete comparison is **not** agreement. Record axis deltas in `polish-report
    per-phase rule files ([`coding-style.md`](../devrites-lib/reference/standards/coding-style.md), [`error-handling.md`](../devrites-lib/reference/standards/error-handling.md), …) load on demand
    from `reference/code.md` / `reference/ui.md` when their phase runs; for UI scope also read
    `.devin/skills/devrites-lib/reference/standards/browser-proof-checklist.md`.
-   Then read the explicit or active workspace's `state.md` directly.
+   Then resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding) and read its `state.md` directly.
 1. **Read** `state.md`, `touched-files.md`, the current candidate digest, and the
-   `git diff` for the active workspace (or `$ARGUMENTS` if a target was given).
+   `git diff` scoped to that source workspace and any requested target.
 2. **Detect UI scope:** UI is touched when the diff changes rendered output:
    markup, template, style, design token, client component, or a visible string
    (including an API error message shown in the UI). These paths are leads to

package/pack/generated/devin/skills/rite-prove/SKILL.md

@@ -4,7 +4,7 @@ description: Prove a completed feature with tests and the full test suite, build
 argument-hint: "[feature-slug]"
 ---
 
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/candidate-integrity.md","devrites-lib/reference/standards/testing.md","devrites-lib/reference/standards/spec-grammar.md","devrites-lib/reference/standards/test-proof-checklist.md","devrites-lib/reference/standards/agents.md","devrites-lib/reference/standards/gates.md","devrites-lib/reference/standards/verification-methods.md","rite-prove/reference/acceptance-proof.md","rite-prove/reference/proof-ladder.md","rite-prove/reference/failure-triage.md","rite-prove/reference/test-command-discovery.md","rite-prove/reference/anti-patterns.md","rite-build/reference/checkpoint.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"browser":["devrites-lib/reference/standards/browser-proof-checklist.md","rite-prove/reference/browser-proof.md"],"devex":["devrites-lib/reference/standards/developer-experience.md"],"dod":["devrites-lib/reference/standards/definition-of-done.md"],"observability":["devrites-lib/reference/standards/observability.md"],"one-shot":["devrites-lib/reference/standards/one-shot-actions.md"],"performance":["devrites-lib/reference/standards/performance.md"],"workflow-artifacts":["devrites-lib/reference/standards/workflow-artifacts.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md","touched-files.md","browser-evidence.md"],"workspaceByRole":{"proof-runner":["spec.md","test-plan.md","tasks.md","gates.md","evidence.md","touched-files.md","browser-evidence.md","state.md"],"spec-reviewer":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","state.md"]},"rootOnly":["rite-build/reference/checkpoint.md","devrites-lib/reference/standards/workflow-artifacts.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","devrites-lib/reference/candidate-integrity.md","devrites-lib/reference/standards/testing.md","devrites-lib/reference/standards/spec-grammar.md","devrites-lib/reference/standards/test-proof-checklist.md","devrites-lib/reference/standards/agents.md","devrites-lib/reference/standards/gates.md","devrites-lib/reference/standards/verification-methods.md","rite-prove/reference/acceptance-proof.md","rite-prove/reference/proof-ladder.md","rite-prove/reference/failure-triage.md","rite-prove/reference/test-command-discovery.md","rite-prove/reference/anti-patterns.md","rite-build/reference/checkpoint.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"browser":["devrites-lib/reference/standards/browser-proof-checklist.md","rite-prove/reference/browser-proof.md"],"devex":["devrites-lib/reference/standards/developer-experience.md"],"dod":["devrites-lib/reference/standards/definition-of-done.md"],"observability":["devrites-lib/reference/standards/observability.md"],"one-shot":["devrites-lib/reference/standards/one-shot-actions.md"],"performance":["devrites-lib/reference/standards/performance.md"],"workflow-artifacts":["devrites-lib/reference/standards/workflow-artifacts.md"]},"workspace":["brief.md","spec.md","state.md","decisions.md","assumptions.md","questions.md","decision-coverage.md","architecture.md","plan.md","tasks.md","traceability.md","eng-review.md","test-plan.md","gates.md","evidence.md","touched-files.md","browser-evidence.md"],"workspaceByRole":{"proof-runner":["spec.md","test-plan.md","tasks.md","gates.md","evidence.md","touched-files.md","browser-evidence.md","state.md"],"spec-reviewer":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","state.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","rite-build/reference/checkpoint.md","devrites-lib/reference/standards/workflow-artifacts.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --phase prove` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
@@ -34,8 +34,9 @@ TTHW, and exact signal-bearing errors; never assert DX (trigger `devex`).
   grammar/hashing. Spec Drift Guard owns revealed contract drift.
 - Root runs vetted gates/browser and records immutable evidence; proof runner
   validates it. Only the bounded wright fixes product source/tests.
-- **Prove remains the controlling caller** during technical backtracking. Save
-  its cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
+- **Prove remains the source-local controlling caller** during technical backtracking;
+  under Autocomplete, repository scheduling stays with Autocomplete. Save
+  Prove's cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
   consume nested boundaries; resume the failed rung. A strategy is spent after
   three no-progress attempts on the exact same fingerprint; escalate it per the
   [retry contract](../devrites-lib/reference/standards/afk-hitl.md#retry-cap-no-progress-loops-and-self-resolve)
@@ -58,13 +59,16 @@ test changes.
 
 ## Workflow
 
-1. **Orient.** Read core, resolve active slug, require `state.md`, and read its
-   cursor. On blocked Prove cold resume, reconcile retained consumptive evidence
-   and no-progress corrections before accepting terminal none; a distinct
-   fingerprint below cap resumes offline triage without another real action.
+1. **Orient.** Read core, resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require `state.md`, and read its
+   cursor. Under Autocomplete, return scheduling for its
+   [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
+   before cold/local recovery; preserve Prove's source-local return cursor.
+   On blocked Prove cold resume, reconcile retained consumptive evidence and
+   no-progress corrections before accepting terminal none; a distinct fingerprint
+   below cap resumes offline triage without another real action.
 2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
-   every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
-   caller) and resumes here; it never authorizes ad hoc proof.
+   every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the source-local
+   controlling caller) and resumes here; it never authorizes ad hoc proof.
 3. **Approve commands.** If absent, use
    [test-command-discovery](reference/test-command-discovery.md) over repository
    manifests/CI. Discovery is evidence only: `test-plan.md` is the sole approved runtime
@@ -87,9 +91,13 @@ test changes.
    --transcripts` executes every unmet runnable gate against the same approved
    preflight rows, records definition-bound evidence, and writes one redacted,
    candidate-bound transcript per gate under `references/gates/<gate-id>/`;
-   `gates reverify <slug> --transcripts` re-executes all of them when any prior
-   pass is in doubt. Hand the proof runner those transcripts, never hand-built
-   logs. Attest manual gates with `gates attest
+   `gates reverify <slug> --transcripts` refreshes prior passes, except valid
+   unchanged-`INPUTS` proof may reuse its complete executed origin. Missing origins
+   rerun affected approved checks; a reused log never counts as execution.
+   If non-file prerequisites changed or proof is doubtful, invalidate affected
+   automatic evidence through the workspace's single-writer protocol before rerun.
+   Hand the proof runner those transcripts, never hand-built logs.
+   Attest manual gates with `gates attest
    <slug> <id> <note>` only against observed judgment whose note cites the
    human's own words or source; placeholder notes are unmet and an AFK run never
    self-attests. Only gates manual at Vet are attested; runnable-to-manual
@@ -114,6 +122,10 @@ test changes.
 7. **Independent validation.** Fresh read-only `devrites-proof-runner` and
    `devrites-spec-reviewer`, in one parallel wave, judge the same candidate/commands/evidence/acceptance map.
    Neither runs commands; reject missing/stale, invented-ID, label-only or self-attested reports.
+   Under Autocomplete, before native wait return scheduling to its global frontier
+   pass, retaining both validator handles. Standalone Prove stays source-local.
+   Apply the shared protected validation window and recheck identities before
+   admitting accounts.
 8. **Map proof.** Reconcile verdicts under [acceptance-proof.md](reference/acceptance-proof.md).
    Every criterion/scenario/interaction/key link needs discriminating evidence or a
    blocker, including critical-path, observability, developer and wiring branches.

package/pack/generated/devin/skills/rite-resolve/SKILL.md

@@ -5,7 +5,7 @@ argument-hint: "<qid> \"<answer>\"  |  --drop <qid> [\"<reason>\"]  |  --batch <
 triggers:
   - user
 ---
-<!-- loads: {"always":["devrites-lib/reference/standards/core.md","rite-resolve/reference/answer-protocol.md"],"triggers":{"standards":["devrites-lib/reference/standards/afk-hitl.md","devrites-lib/reference/standards/documentation.md"]},"rootOnly":["devrites-lib/reference/standards/afk-hitl.md"]} -->
+<!-- loads: {"always":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/core.md","rite-resolve/reference/answer-protocol.md"],"triggers":{"standards":["devrites-lib/reference/standards/afk-hitl.md","devrites-lib/reference/standards/documentation.md"]},"rootOnly":["devrites-lib/reference/parallel-workspaces.md","devrites-lib/reference/standards/afk-hitl.md"]} -->
 > Read-set manifest: `devrites-engine context --skills-root .devin/skills <slug> --skill rite-resolve` (no workspace: `--out <path>`) bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 # /rite-resolve: answer the human gate
@@ -31,8 +31,8 @@ Pull these via `Read` when shaping the resolve:
 
 ## Operating rules
 
-- **Requires an active workspace.** Read `.devrites/ACTIVE` first; if empty, **STOP** and
-  tell the user to run `/rite-spec <feature>` first. If the slug has no `questions.md`,
+- **Requires a selected source workspace.** Apply [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding); if none, **STOP** and
+  tell the user to run `/rite-spec <feature>` first. If that source has no `questions.md`,
   report the missing required artifact and stop.
 - **One mutation per call.** A single qid (or `--batch` file) per invocation; never
   silently coalesce multiple human decisions into one log entry.

package/pack/generated/devin/skills/rite-resolve/reference/answer-protocol.md

@@ -4,6 +4,8 @@
 `state.md` `Awaiting human` clearance. This file is the reference for the three input
 shapes, the batch file format, and the `devrites-engine state resolve` rules.
 
+Select the source with shared [phase target binding](../../devrites-lib/reference/parallel-workspaces.md#phase-target-binding) before applying these qid-only forms.
+
 ## Three input shapes
 
 Each form is an explicit local mutation command. Supplying it is the confirmation; the