devrites 5.14.3 → 6.0.0

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

@@ -14,7 +14,9 @@ Run every phase after one clarification window. Irreversible-risk,
 escalating,<!-- pack-scan-ignore: negated statement: gates are NOT disabled -->
 access, unanswered blocking with no recommended option, and remaining NO-GO
 still pause. Open blocking questions that already name a ranked recommended
-option auto-resolve; they are not a user handoff. Use the Standard native
+option auto-resolve; they are not a user handoff, except a question whose answer
+would add acceptance or product scope, which a recommended option never resolves.
+Use the Standard native
 profile by default and Full for high-risk scope or explicit `--full`; see
 [`orchestration-profiles.md`](../devrites-lib/reference/orchestration-profiles.md).
 
@@ -63,9 +65,10 @@ executable controller/harness/bundle bytes or a missing writer, read
   `--max-slices` must occur once and be followed by a positive base-10 integer;
   `--parallel` must occur once and be followed by a base-10 integer in `1`–`10`.
   Missing, repeated, malformed, or conflicting values stop before any write.
-- Temper always runs after Clarify. Auto-apply the recommended mode, including
-  `expand` and extra acceptance; record the ADR and fold via Spec Drift Guard.
-  Irreversible-risk still pauses.
+- Temper always runs after Clarify. Auto-apply `hold-rigor`, `reduce-to-MVP` or a skip;
+  record the ADR and fold via Spec Drift Guard. `expand` and extra acceptance never
+  auto-apply: ask through `AskUserQuestion`, hold the fold, and stop until a human
+  resolves the qid. Irreversible-risk still pauses.
 - Vet every plan. Cross-model is off unless the current invocation arms it.
 
 ## Workflow
@@ -86,7 +89,7 @@ executable controller/harness/bundle bytes or a missing writer, read
    and `cross_model: yes|no`.
    **Completion:** normalized state is unambiguous and no sentinel or workspace file has been written.
 2. **Specify and clarify.** Run `devrites-interview`, `/rite-spec`, and
-   `/rite-clarify` as one window. Partial/Missing material coverage never arms
+   `/rite-clarify` as one window. `open` material coverage never arms
    AFK. **Completion:** `Decision coverage: CLEAR` is durable.
 3. **Arm AFK once.** Apply the loop's
    [one-write AFK contract](reference/loop.md#arm-afk-once): preserve valid
@@ -119,10 +122,12 @@ executable controller/harness/bundle bytes or a missing writer, read
    option (`proposed` or option 1 labelled Recommended) auto-resolves through
    `devrites-engine state resolve` and continues (a missing or failing resolver is
    the bounded resolver-failure stop); do not emit `/rite-resolve` as
-   a user handoff. Technical exhaustion records terminal
+   a user handoff. Exception: a question whose answer would add acceptance or
+   product scope is never auto-resolved by a recommended option; it stops for a human.
+   Technical exhaustion records terminal
    `Next step: none`, never a routine phase command. **Completion:** no stop is active, or its cursor and reason are durable.
 6. **Seal boundary.** Without a ship flag, stop at Seal GO with `/rite-ship` —
-   unless `continue_sequence` is armed and sequence budget remains, in which case
+   unless `continue_sequence: false` or sequence budget is spent; otherwise
    leave the sealed workspace unshipped and open the next recorded continuation
    ([loop.md § Sequence continuation](reference/loop.md#sequence-continuation));
    report the sequence position on every stop.

package/pack/generated/devin/skills/rite-autocomplete/reference/decision-policy.md

@@ -39,5 +39,6 @@ not pick the option that's merely easiest to implement.
 Irreversible-risk, escalating, access, and blocking questions with no ranked
 recommended option stay human. A blocking question that already names option 1
 `(Recommended)` or `proposed:` is autocomplete's to resolve: pick that option
-via `devrites-engine state resolve` and continue. Recommended temper `expand`
-auto-applies; do not invent product intent.
+via `devrites-engine state resolve` and continue. Recommended temper
+`expand` and extra acceptance are never auto-picked: they stop for a human through
+`AskUserQuestion`; do not invent product intent.

package/pack/generated/devin/skills/rite-autocomplete/reference/loop.md

@@ -15,7 +15,7 @@ routine phases. Acceptance-preserving Reslice authority is
 ```yaml
 allow_gates: [advisory, validating]
 # max_slices / max_agents / max_minutes / max_review_queue omitted: unlimited
-# continue_sequence: true          # opt-in: chain recorded continuations after Seal GO
+# continue_sequence: false         # opt out; default chains after Seal GO
 # max_workspaces: 5                # sequence budget when chaining
 # max_parallel: 10                 # default cap when this invocation omits `--parallel N`; `--parallel N` wins and rewrites only this field
 # max_tokens: <N>
@@ -63,7 +63,7 @@ Workspace files carry state; chat does not. Read and execute each phase skill:
 | --- | --- | --- |
 | 1 | `/rite-spec` | investigate and write testable intent |
 | 2 | `/rite-clarify` | topology-first scan; require `Decision coverage: CLEAR`, then arm AFK |
-| 3 | `/rite-temper` | harden, reduce, or expand; irreversible risk still pauses |
+| 3 | `/rite-temper` | harden or reduce; `expand` and extra acceptance stop for a human; irreversible risk still pauses |
 | 4 | `/rite-define` | approved plan/tasks/traceability |
 | 5 | `/rite-vet` | every plan; derive mutable budget after READY |
 | 6 | `/rite-build` batch loop | largest eligible path-disjoint set (cap: this invocation's `--parallel N`, else sentinel `max_parallel`, else 10; one-slice round when <2 eligible); recompute after each round; charge once per green built slice |
@@ -85,7 +85,7 @@ floor; `--update` never excuses an unreconciled regression.
 
 ## Sequence continuation
 
-With `continue_sequence: true` and sequence budget remaining
+Unless `continue_sequence: false`, while sequence budget remains
 ([sentinel](../../devrites-lib/reference/standards/afk-hitl.md#sequence-continuation-continue_sequence-max_workspaces)),
 step 10 does not end the run: leave the sealed workspace unshipped with its
 `Next step: /rite-ship`, then invoke the next recorded continuation

package/pack/generated/devin/skills/rite-autocomplete/reference/stop-conditions.md

@@ -62,12 +62,15 @@ exhausted.
 - **Gate severity:** escalating always stops. Blocking with a ranked recommended
   option (`proposed` or option 1 labelled Recommended): auto-pick via
   `devrites-engine state resolve`, then continue internally (including Spec Drift
-  Guard when the answer changes ownership or acceptance). Blocking with no
+  Guard when the answer changes ownership or acceptance). Exception: a question whose answer
+  would add acceptance or product scope is never auto-picked, even with a
+  recommended option; it stops for a human. Blocking with no
   recommended option still stops. Validating: auto-pick the recommended option,
   close the question, continue.
-- **Temper:** `expand` and extra acceptance auto-apply (record + Drift Guard).
+- **Temper:** `expand` and extra acceptance stop: ask through `AskUserQuestion`, hold the
+  fold, and continue only after a human resolves the qid (an ADR is not that answer).
   Irreversible-risk still pauses. `hold-rigor`, `reduce-to-MVP`, and a skip do not pause.
-- **Clarify:** material Partial/Missing/unowned decision coverage or a
+- **Clarify:** material `open`/unowned decision coverage or a
   low-confidence high-consequence assumption. Continue the initial interview;
   never arm AFK early.
 - **Seal:** remaining NO-GO after recommended-option questions are closed, with

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

@@ -32,7 +32,8 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Read `.devin/skills/devrites-lib/reference/standards/core.md` first. Load only triggered rules:
 coding/error/testing/[`tdd.md`](reference/tdd.md)/patterns/DoD; binding
 `.devrites/principles.md`; security; topology; data integrity; integration reliability.
-Wright applies anti-slop; root verifies returns and never patches source.
+Wright applies anti-slop; root verifies returns and never patches source. Refuse the rationalizations in
+[`anti-patterns`](reference/anti-patterns.md).
 
 ## Invariants
 

package/pack/generated/devin/skills/rite-build/reference/afk-discipline.md

@@ -114,7 +114,7 @@ logged to `evidence.md` so the user sees them on return.
 
 Example targets:
 
-- `curl -d "$DEVRITES_QID: $DEVRITES_QUESTION" ntfy.sh/my-topic`
+- `curl -fsS -m 10 -d "$DEVRITES_QID: $DEVRITES_QUESTION" ntfy.sh/my-topic`
 - `osascript -e "display notification \"$DEVRITES_QUESTION\" with title \"DevRites: $DEVRITES_GATE\""`
 - `pb push "$DEVRITES_SLUG: $DEVRITES_QUESTION"` (via pushbullet CLI)
 

package/pack/generated/devin/skills/rite-build/reference/checkpoint-protocol.md

@@ -75,7 +75,7 @@ rewrite; do not claim cross-file atomicity):
    sh -c "$notify_cmd"
    ```
 
-   Fire after workspace write. Hook failure does **not** roll back the pause (best-effort).
+   Fire after workspace write under a bounded tool timeout (e.g. 30 s). Hook failure does **not** roll back the pause (best-effort); append the exit code to `evidence.md`.
 
 ## qid generation
 

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

@@ -7,6 +7,11 @@ Only when that loop is green does the orchestrator land the local unpushed
 `/rite-review`, and `/rite-autocomplete`. Never push. `.devrites/CHECKPOINT` is
 not a gate.
 
+The checkpoint stays local, unpushed scratch folded at `/rite-ship`; where the
+host repository's own agent contract requires approval before commits — an
+ask-first rule such as this repository's `AGENTS.md` — that contract wins, and
+the orchestrator pauses for approval before landing it.
+
 ## When (and when not)
 
 - **Do:** after Independent Build review (or the phase's independent validators)

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

@@ -206,8 +206,8 @@ the lease `running` and control at `B`; cleanup still refuses — the commits
 cannot be lost. `record-green` and `integrate` also accept an `integrate-failed`
 lease, so a failed integrate retries after repair. `--apply-to-control`
 refuses when control moved past `B` or holds uncommitted changes on slice
-paths — commit/stash and retry; the batch is untouched. Go is SSOT; never
-ad-hoc git/bash orchestration.
+paths — stop for the human (never stash or commit their work); the batch is
+untouched. Go is SSOT; never ad-hoc git/bash orchestration.
 
 ## Runtime isolation
 

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

@@ -87,8 +87,9 @@ substitute a generic agent. Opt-in `/rite-build --parallel N` fans out only unde
 
 After `claim add`, every terminal path releases the claim with
 `devrites-engine claim release --session <id> --id <claim-id>`: successful
-return, rejected result, gap, stop, or launch failure. TTL is crash recovery,
-not normal cleanup.
+return, rejected result, stop, or a launch the host refused with no handle. A
+timeout or unknown outcome keeps the claim ([`parallel-dispatch.md`](../../devrites-lib/reference/parallel-dispatch.md#cancellation-and-terminal-reconciliation)).
+TTL is crash recovery, not normal cleanup.
 
 ## Inspect and prove
 

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

@@ -35,25 +35,26 @@ dispatch uses
 - One scan may cap at five packets for cognitive load, but readiness has no question cap:
   re-scan until clear.
 - Material assumptions carry evidence, confidence, owner, validation, and consequence.
+- Refuse the rationalizations in [`anti-patterns`](reference/anti-patterns.md).
 
 ## Workflow
 
 1. **Orient.** Read `.devrites/ACTIVE`, `state.md`, and `spec.md`. Require
-   `Spec gate: passed`; otherwise stop at `/rite-spec`. Apply the native cursor
+   `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,
    and recorded decisions, list every material stakeholder/priority, invariant, actor,
    journey/component, state, data lifecycle, integration, failure/recovery path,
    operation, proof surface, applicability row, and must-NOT boundary.
 3. **Scan coverage.** Apply `devrites-interview` in clarify mode and mark each
-   material surface Clear, Partial, Missing, not-applicable, or justified
-   deferred-nonblocking with evidence and an owner. Use native repository search
+   material surface `closed`, `agent-owned`, `not-applicable`,
+   `deferred-nonblocking`, or `open` with evidence and an owner. Use native repository search
    first. Ask the host to run `devrites-evidence-scout` only for a bounded missing
    fact, then reconcile its cited result.
 4. **Close decisions.** Record facts and reversible technical choices directly.
    Ask one coherent option packet only for product, scope, policy, irreversible
    risk, or human-only access. Persist answers in the owning artifacts and repeat
-   the scan until no blocking Partial/Missing row or unowned material assumption
+   the scan until no blocking `open` row or unowned material assumption
    remains.
 5. **Write the verdict.** Write `Decision coverage: CLEAR` only after re-reading all inputs and confirming
    every material row has current evidence and an owner. Normal flow sets `phase=clarify` and

package/pack/generated/devin/skills/rite-clarify/reference/anti-patterns.md

@@ -12,13 +12,13 @@ Pack-wide rationalizations: see
 | --- | --- |
 | "We already discussed this in chat." | Chat is not durable decision coverage. Scan topology and record owners in workspace artifacts. |
 | "The answer is obvious — assume it." | Product, scope, policy, and irreversible-risk choices are human-owned unless already recorded in an accepted decision. |
-| "Most rows are clear — good enough for AFK." | Partial/Missing material rows block CLEAR and block AFK arming. |
+| "Most rows are clear — good enough for AFK." | `open` material rows block CLEAR and block AFK arming. |
 | "Skip clarify for this small change." | Clarify is mandatory and adaptive; it may ask no questions, but it still runs the scan. |
 | "I'll clarify during build if needed." | Unowned decisions discovered in build are expensive drift. Close them before plan/vet. |
 
 ## Red flags in your own output
 
-- `Decision coverage: CLEAR` with Partial/Missing material rows still open.
+- `Decision coverage: CLEAR` with `open` material rows still open.
 - Product/policy choices recorded without a human packet or cited prior decision.
 - AFK armed or `/rite-define` started before CLEAR is durable.
 - Clarify skipped because the user said they were "in a hurry".

package/pack/generated/devin/skills/rite-clarify/reference/decision-coverage.md

@@ -18,8 +18,9 @@ environment, credentials/approvals, and evidence limits.
 - `not-applicable`: evidence shows the dimension does not apply.
 - `deferred-nonblocking`: pre-code evidence is impossible or the item is an explicit
   non-goal; owner and validation gate are named.
+- `open`: the decision is unresolved.
 
-`Partial`, `Missing`, open, unknown, or ownerless rows never produce `CLEAR`.
+`open`, unknown, or ownerless rows never produce `CLEAR`.
 
 ## Artifact shape
 
@@ -45,7 +46,7 @@ Decision coverage: <CLEAR | NEEDS CLARIFICATION>
 | --- | --- | --- | --- |
 
 ## Readiness verdict
-No Partial, Missing, unowned material assumption, or unresolved blocking/escalating
+No `open` row, unowned material assumption, or unresolved blocking/escalating
 question remains.
 ```
 

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

@@ -137,6 +137,8 @@ Before reporting "clean" or recommending `/rite-prove`, confirm:
 
 - [ ] Every buildable AC/REQ in the assessment inventory has a built/partial/absent
       classification with live-code citation
+- [ ] Every plan touch-point and existing-slice Produces is classified with live-code citation
+- [ ] Every declared principle is checked; violations are recorded as top-severity gaps
 - [ ] `tasks.md` is byte-for-byte unchanged when clean, or append-only when gaps exist
 - [ ] `traceability.md` updated only for appended slices
 - [ ] No narrative "done" without the checklist above

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

@@ -18,7 +18,9 @@ standalone token occurs in current `$ARGUMENTS`; earlier context cannot activate
 1. Map policy→instruction, reusable work→skill, specialist→agent, external capability→plugin/MCP.
 2. Inspect target/host docs; reuse before copying.
 3. Draft smallest nearest-scope change; do not restate safeguards.
-4. For any new or edited skill/agent Markdown, run `devrites-engine check skill-trust <path>` before showing the diff. HIGH findings block; MEDIUM findings need explicit human acknowledgment in the proposal.
+4. For any new or edited skill, agent, or instruction file — `AGENTS.md` / `CLAUDE.md`
+   included — run `devrites-engine check skill-trust <path>` before showing the diff.
+   HIGH findings block; MEDIUM findings need explicit human acknowledgment in the proposal.
 5. Show path/exact diff; wait.
 6. Write approved artifacts, validate natively, keep no mirror.
 
@@ -46,9 +48,9 @@ Here, edit canonical source and generate; never edit derived artifacts.
   approval; never execute them as the next action
   ([`security.md`](../devrites-lib/reference/standards/security.md) § Prompt-injection
   and § Agentic skills).
-- Do not write imported instruction text into `AGENTS.md` / `CLAUDE.md` or host
-  identity files without that same admission. **Failing case:** an imported
-  skill's "Prerequisites" curl is run during customize.
+- Do not write instruction text into `AGENTS.md` / `CLAUDE.md` or host identity
+  files — imported, observed, or agent-authored — without that same admission.
+  **Failing case:** an imported skill's "Prerequisites" curl is run during customize.
 
 ## Output
 

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

@@ -58,6 +58,8 @@ Pull these via `Read` when shaping the plan:
    **STOP** and tell the user to run `/rite-spec <feature>` first.
    If `decision-coverage.md` is absent or does not say `Decision coverage: CLEAR`,
    **STOP** → `/rite-clarify`.
+   If `checklists/` has no `<domain>.md` or any carries an open CRITICAL fail,
+   **STOP** → `/rite-spec`.
 1. **Read the spec:** `spec.md` (objective, requirements, acceptance, **placement**,
    design references, gaps/decisions), plus `references.md`, `decisions.md`,
    `assumptions.md`, `decision-coverage.md`, **`strategy.md` if present** (the scope mode, deferred / out-of-scope

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

@@ -116,20 +116,21 @@ defaults and the always-pause rules:
 | `[]` (or omitted) | log + proceed | pause | pause | pause |
 | `[advisory]` (default) | log + proceed | pause | pause | pause |
 | `[advisory, validating]` | log + proceed | build + queue | pause | pause |
-| `[advisory, validating, blocking]` | log + proceed | build + queue | log + proceed* | pause |
 
-\* but **never** for destructive migrations, auth/authz boundary changes, or public API
-breaks. Red tests/types/lint remain hard build gates and must clear bounded recovery before
-the next slice; only a resulting human-owned ambiguity becomes a pause. See
-[`.devin/skills/devrites-lib/reference/standards/afk-hitl.md`](../../devrites-lib/reference/standards/afk-hitl.md) for the irreversible-risk
-list.
+`blocking` is never auto-handled, even when listed in `allow_gates`: it always pauses, per
+the [`blocking`](#blocking) gate rule above. Red tests/types/lint remain hard build gates and
+must clear bounded recovery before the next slice; only a resulting human-owned ambiguity
+becomes a pause. The irreversible-risk list is owned by
+[`afk-hitl.md`](../../devrites-lib/reference/standards/afk-hitl.md#irreversible-risk-list-always-pause);
+every item on it pauses regardless of `allow_gates`.
 
 `escalating` is never in `allow_gates`: specialist routing is not something AFK can
 shortcut.
 
 `/rite-autocomplete` does not add `blocking` to `allow_gates`. It auto-resolves
 open blocking questions that already name a recommended option via
-`devrites-engine state resolve`, then continues. That is an orchestrator
+`devrites-engine state resolve`, then continues. Escalating, irreversible-risk, and
+access questions still pause, even with a recommended option. That is an orchestrator
 exception, not an AFK ceiling change.
 
 ## Anti-patterns

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

@@ -65,7 +65,7 @@ free: prefer it over re-deriving:
   [`tooling.md`](../devrites-lib/reference/standards/tooling.md) (one named-predicate cross-check only when needed), plus any
   `.devrites/principles.md` or ADRs that already take a position on it.
 - An **idea** or a concept with no repo footprint → the user's framing plus, only if it sharpens
-  the teaching, current external sources (weight by date; the year is 2026).
+  the teaching, current external sources (weight by date).
 
 Create the run directory before composing so the durable artifact has a home:
 

package/pack/generated/devin/skills/rite-explain/reference/intake.md

@@ -10,7 +10,7 @@ source for classification; the SKILL improvises none of it.
 | --- | --- | --- | --- | --- |
 | **concept** | a named idea / pattern / technology ("explain optimistic locking", "how does our gate engine work") | this repo's footprint of the concept (codegraph first) + external sources only if they sharpen it | build the mental model from a known part of *this* codebase outward | **checked exercise** |
 | **diff** | a specific change: a ref, a slice, a PR, "this diff" | `git diff` / the hunks + `decisions.md` + `seal.md` for the *why* + `touched-files.md` `Review trail` when present | explainer, or **walkthrough** when the user asks to review/approve/checkpoint the change | **predict-then-reveal** |
-| **idea** | a hypothesis or "what if" with no code yet | the user's framing + prior art (external, date-weighted; year is 2026) | steelman the idea, name its hinge and its failure mode | **checked exercise** |
+| **idea** | a hypothesis or "what if" with no code yet | the user's framing + prior art (external, date-weighted) | steelman the idea, name its hinge and its failure mode | **checked exercise** |
 | **recap** | a time window of the user's own work ("what did I ship this week") | the shipped archive + `git log`/`git diff` over the window + `evidence.md` | narrate what changed and what was learned, ranked by leverage | **predict-then-reveal** |
 
 ## Token overrides: explicit beats inferred

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

@@ -1,6 +1,6 @@
 ---
 name: rite-fast
-description: Fast lane for mid-size work: one spec-and-plan step with clarifying questions, up to ten slices built without per-slice gates, one completeness check with gap fixes, review, polish, proof.
+description: "Fast lane for mid-size work: one spec-and-plan step with clarifying questions, up to ten slices built without per-slice gates, one completeness check with gap fixes, review, polish, proof."
 argument-hint: "<task | slug>"
 triggers:
   - user

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

@@ -72,8 +72,9 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
    - **course-correct:** mid-build user pivot; apply the marked action, choose
      rollback/forward-fix, and update permitted artifacts atomically (`MVP cut` is the named retreat).
    - **revise:** reconcile a requested artifact revision; propose/confirm its file set and
-     **never edit source**. Only explicit `/rite-upgrade` with a `repairable` assessment naming
-     rule, evidence, gate, paths, and delta can authorize its neutral workspace edit—not source/history.
+     **never edit source**. A neutral workspace edit is authorized by explicit `/rite-upgrade` with a
+     `repairable` assessment naming rule, evidence, gate, paths, and delta, or, for budget relocation
+     only, by the phase owner when `orient` reports `over: true`—never source or history rewording.
      **Revise or new?** Same intent? >50% scope survives? Original not completable without it?
      Two “no” answers mean new work: seal/ship current scope (`MVP cut` if named), then
      `/rite-spec`, and stop.
@@ -159,7 +160,7 @@ Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/stand
    mark the `drift.md` entry resolved. Never remove or overwrite a valid caller
    return cursor while writing the Plan checkpoint.
 6. After editing `brief.md`, `spec.md`, `decisions.md`, `assumptions.md`, or `questions.md`,
-   re-scan affected coverage, assumptions, uncertainty, and gates. Partial/Missing, unowned
+   re-scan affected coverage, assumptions, uncertainty, and gates. `open` rows, unowned
    material assumption, or open blocking/escalating question routes `/rite-clarify`/HITL.
    Restore `CLEAR` only from current evidence.
 7. **Done when:** every slice is sized (builds + proves in one cycle; no slice scoring >3

package/pack/generated/devin/skills/rite-plan/reference/replan-and-repair.md

@@ -84,15 +84,15 @@ Record the sequence once in `decisions.md`.
 ## revise
 
 Artifact-only reconciliation of `spec.md`, `architecture.md`, `plan.md`, `tasks.md`,
-or `traceability.md` — never source. Propose/confirm the file set first. Only explicit
-`/rite-upgrade` with a `repairable` assessment may authorize neutral workspace edits.
+or `traceability.md` — never source. Propose/confirm the file set first. A neutral workspace
+edit is authorized by explicit `/rite-upgrade` with a `repairable` assessment, or, for budget
+relocation only, by the phase owner when `orient` reports `over: true`.
 
 Unchanged acceptance/behavior with non-equivalent `proposed_coverage` is a
 contradictory input: the canonical classifier blocks it — there is no fourth
 route (see [`acceptance-preserving-reslice.md`](../../devrites-lib/reference/standards/acceptance-preserving-reslice.md)).
 
-**Budget relocation** (admitted by `/rite-upgrade`, or by the phase owner when
-`orient` reports `over: true`): move checkpoint narrative, historical fold text and
+**Budget relocation** (authorized as above): move checkpoint narrative, historical fold text and
 closed-round accounts verbatim from `state.md`/`tasks.md`/`plan.md`/`architecture.md`/
 `eng-review.md` into `history/<file>-<YYYYMMDD>.md`, packets/accounts from the root
 into `packets/`, leaving a one-line pointer. Cursor, live slices, open findings, IDs,

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

@@ -106,8 +106,8 @@ Make each continuation cheap and drift-free:
 - Phases chain automatically only **inside** one workspace (`/rite-autocomplete`
   drives spec → clarify → temper → define → vet → build × slices → prove → polish →
   review → seal; plain HITL chains plan↔vet inline and stops at each other boundary).
-  Next continuation is a new invocation by default. Same-run chaining is
-  `continue_sequence: true` (Deferred-ship).
+  HITL: next continuation is a new invocation. Autocomplete chains it
+  (Deferred-ship) unless `continue_sequence: false`.
 
 ### Release milestone (full-picture gate)
 
@@ -136,7 +136,7 @@ product:
   then carries the full acceptance burden, and that cost is the named trade-off.
 - The capability ledger (`.devrites/specs/<capability>/spec.md`) accumulates the
   product picture across milestones; Polish folds each milestone's deltas.
-- **Deferred-ship sequence** (`.devrites/AFK` `continue_sequence: true`, `max_workspaces: N`):
+- **Deferred-ship sequence** (autocomplete default; `.devrites/AFK` `max_workspaces: N`):
   milestones are sealed but not shipped, and the armed run opens the next recorded
   continuation automatically; local `WIP(<slug>):` checkpoints still land with
   human summaries (never a slice id),

package/pack/generated/devin/skills/rite-polish/reference/anti-ai-slop.md

@@ -18,7 +18,7 @@ Build avoids every UI entry; review and polish admit a hit only by this rule. Cl
 a declared token, brief line or nearest neighbour (cite both locations), or it has a
 measured user consequence (contrast ratio, overflow, CLS, lost or hidden focus). Otherwise
 it is an AES proposal under "Proposals (non-blocking)": never a Visual Verdict FAIL, never
-scored, capped at Suggestion/Minor, never blocking unless `design-brief.md` adopts it (then
+scored, capped at Suggestion, never blocking unless `design-brief.md` adopts it (then
 DS). Act on clusters per [`prose-style.md`](../../devrites-lib/reference/standards/prose-style.md).
 A broken task, data loss or misleading state is reported and fixed before any AES item.
 **Failing case:** `tokens.css` declares Inter and a 20 px card radius, yet review files

package/pack/generated/devin/skills/rite-prove/reference/browser-proof.md

@@ -12,11 +12,9 @@ What `browser-evidence.md` must capture for a UI slice. Delegates to
 | EVID-003 | <route> | empty/keyboard | 375 | brief Proof targets + target reference 1 | playwright-mcp | <observed result> | AC-002, SLICE-002 | <none / exact gap> |
 
 ## Visual Verdict
-| State | Result | Notes |
-| --- | --- | --- |
-| default | PASS / FAIL | <what is visible> |
-| loading | PASS / FAIL | <what is visible> |
-| error | PASS / FAIL | <what is visible> |
+| Criterion (source, class) | Expected | Observed (screenshot) | Verdict | Severity |
+|---|---|---|---|---|
+| <state / delta / anti-slop criterion> (<brief / reference / anti-slop / acceptance>, <ENG / A11Y / DS / AES>) | <expected> | <what is visible> | PASS / PARTIAL / FAIL / n/a | <Critical / Important / Suggestion> |
 
 ## Comparison deltas
 | State / viewport | Target | Material delta observed | Disposition | Result |
@@ -33,6 +31,8 @@ What `browser-evidence.md` must capture for a UI slice. Delegates to
 ```
 
 ## Rules
+- The `## Visual Verdict` table follows [visual-verdict.md](../../devrites-browser-proof/reference/visual-verdict.md),
+  which owns its rows, verdict values and severity mapping.
 - Open every screenshot path and describe it: never assert from the filename.
 - Read `design-brief.md` + `references.md` first. Compare fidelity only with references
   classified **target**; check constraints as rules and never pixel-match inspiration.

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

@@ -74,8 +74,8 @@ Pull these via `Read` when shaping the resolve:
    user's explicit consent for this local workspace mutation. Echo the qid, answer/drop,
    and slice being unblocked, then continue immediately; do not ask the user to confirm the
    command they just typed.
-4. **Mutate.** Run `devrites-engine state resolve` with those arguments. It:
-   - flips the qid's `status` to `answered` / `dropped` and stamps `answered_at` + `answer`;
+4. **Mutate.** Run `devrites-engine state resolve --human` with those arguments (a human is resolving). It:
+   - flips the qid's `status` to `answered` / `dropped` and stamps `answered_at` + `answer` + `answered_by: human`;
    - if the qid is in `state.md`'s `Awaiting human` block (single-question pause), clears
      that block and sets `Status: running`;
    - appends a `Log` line to `state.md`.
@@ -96,7 +96,7 @@ Pull these via `Read` when shaping the resolve:
    **Completion:** the resolved state contains exactly one next command.
 6. **STOP.** User-invoked `/rite-resolve` does not run `/rite-build` itself: the
    user re-enters the workflow explicitly. A controlling `/rite-autocomplete`
-   caller invokes the same `devrites-engine state resolve` writer internally and
+   caller invokes the same `devrites-engine state resolve` writer internally (never with `--human`) and
    continues; it must not emit this skill as a user handoff for a question that
    already names a ranked recommended option.
 

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

@@ -64,7 +64,7 @@ Follow [`reference/phase-contract.md`](reference/phase-contract.md)
    `../devrites-lib/reference/parallel-dispatch.md` on the same frozen candidate,
    code review through its § Engineering lanes;
 4. reconcile their read-only verdicts against source and immutable evidence;
-5. draft GO/NO-GO `seal.md` with acceptance, tests, decisions, and seven accounts
+5. draft GO/NO-GO `seal.md` with acceptance, tests, decisions, and seven roster accounts plus proof-runner and doubt-reviewer
    (each engineering lane its own account);
 6. write exactly one candidate binding, then run
    `devrites-engine check seal <slug>` for structure and identity, never semantics,
@@ -73,8 +73,9 @@ Follow [`reference/phase-contract.md`](reference/phase-contract.md)
    starts at the named changed, missing, or added input,
    and `devrites-engine check regression <slug>` to confirm no recorded progress
    fact was lost since the last checkpoint — `BLOCKED` is NO-GO; `unproven`
-   (no baseline) does not block — plus `devrites-engine check windows <slug>
-   --base <release-base>` so each deferral marker the feature diff introduced
+   (no baseline) does not block — plus two separate runs of `devrites-engine check windows <slug>`,
+   one with `--base <release-base>` and one with `--worktree` (the only mode that scans
+   untracked files; never pass both flags in one command, the last one wins) so each deferral marker the feature diff introduced
    carries a `windows.md` waiver row ([`windows.md`](../devrites-lib/reference/standards/windows.md));
    unwaived hits are NO-GO. The engine already refuses a `gates.md` ledger
    that is malformed, unmet,

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

@@ -28,7 +28,8 @@
    and the [`review roster`](../../devrites-lib/reference/parallel-dispatch.md) on
    the candidate. Admit each result through
    [`result admission`](../../devrites-lib/reference/standards/agents.md#result-admission).
-   `## Reviewer Accounts` preserves all seven roles, each engineering lane as its own account; gap/missing/malformed blocks;
+   `## Reviewer Accounts` preserves the seven roster roles, each engineering lane as its own account, plus
+   `devrites-proof-runner` and, when any decision stood, `devrites-doubt-reviewer`; gap/missing/malformed blocks;
    conditional `Not-applicable` names why.
 7. **Route corrections.** Reconcile cited findings/disagreements, but do not
    edit the candidate or manifest in Seal. Route an accepted correction through
@@ -36,7 +37,7 @@
    Review under evidence validity, then restart Seal on the new digest.
 8. **Draft/check.** Write `seal.md` from
    [`seal-template.md`](seal-template.md) with the GO/NO-GO rationale, acceptance map,
-   test-analysis account, stood-decision verdicts, all seven reviewer accounts,
+   test-analysis account, stood-decision verdicts, all seven roster reviewer accounts plus proof-runner and doubt-reviewer,
    and exactly one `Candidate SHA-256: <64 lowercase hex>` line. Then run:
    ```bash
    devrites-engine check seal "<slug>"

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

@@ -16,6 +16,8 @@ Candidate SHA-256: <64 lowercase hex>
 - devrites-security-auditor: <outcome>
 - devrites-performance-reviewer: <outcome>
 - devrites-devex-reviewer: <outcome>
+- devrites-proof-runner: <outcome>
+- devrites-doubt-reviewer: <outcome, or Not-applicable: no decision stood>
 ## Risks / Rollback
 <risks/recovery>
 ## Stood Decisions

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

@@ -71,8 +71,10 @@ if absent, route to `/rite-spec <feature>`. Ship only with current **GO** in `se
    stops. Any command/scope/branch/message/tag/PR change or retry needs a fresh prompt;
    native approval is still required.
 4. On GO, commit; verify committed state/path set and exact candidate digest; then push →
-   tag/PR as applicable via `git-ship.md`. Capture SHA(s), branch, tag/PR URL. Mismatch
-   stops before push/tag; retry needs fresh approval.
+   tag/PR as applicable via `git-ship.md`. Record SHA and push state in `ship.md` before
+   push (git-ship 7a); a push/tag/PR failure stops, and a rerun resumes at push under
+   fresh type-GO. Capture branch, tag/PR URL. Mismatch stops before push/tag; retry
+   needs fresh approval.
 4a. **PR only:** render [`git-ship.md`](reference/git-ship.md#pull-request-body)'s
    structured body; omit empty sections.
 5. Re-scan the four residual sources; any new/missing/changed item blocks archive.

package/pack/generated/devin/skills/rite-ship/reference/git-ship.md

@@ -52,7 +52,8 @@ Pre-GO is read-only. Do not run the disclosed collapse or staging commands.
    sequence whose workspace is sealed in this run
    ([afk-hitl.md § Sequence continuation](../../devrites-lib/reference/standards/afk-hitl.md#sequence-continuation-continue_sequence-max_workspaces));
    disclose the exact slug set. A different slug, missing colon, broad `WIP(` match,
-   ordinary commit, or mixed history blocks; never reinterpret the range.
+   ordinary commit, or mixed history blocks; never reinterpret the range. The recorded
+   ship commit of a resumed ship (step 7a) is not an ordinary commit for that rerun.
 2. **Verify the candidate.** Rerun `devrites-engine check candidate <slug>` and
    `devrites-engine check seal <slug>`, compare every binding, require the
    candidate worktree paths to be unchanged, and inspect the existing staged
@@ -98,6 +99,11 @@ Pre-GO is read-only. Do not run the disclosed collapse or staging commands.
    paths still match `HEAD`, then rerun `devrites-engine check candidate <slug>`
    and `devrites-engine check seal <slug>` and compare the exact digest again.
    Any mismatch stops; do not reinterpret it.
+7a. **Record before push.** Write `ship.md` `Commit(s)` and `Push: pending`. A failed
+    push/tag/PR records `failed`, an unanswered or timed-out one `unknown`; stop. Check
+    the remote ref (`git ls-remote`) before any retry. A rerun whose HEAD equals the
+    recorded commit and whose candidate digest is unchanged skips steps 1-7 and
+    prompts a fresh type-GO for only the remaining push/tag/PR commands.
 8. **Push** to the project-conventional target branch.
 9. **Tag / PR** only when project convention requires it; otherwise skip.
 10. **Close sealed predecessors** only when the prompt disclosed them: run the
@@ -105,7 +111,7 @@ Pre-GO is read-only. Do not run the disclosed collapse or staging commands.
     because `ACTIVE` names the release workspace; a nonzero exit stops the rest and
     is reported, never retried against an unverified destination.
 
-Record SHA(s), branch, and tag/PR URL in `ship.md`.
+Update `Push:` to `pushed` and record branch and tag/PR URL in `ship.md`.
 
 ## Pull request body
 

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

@@ -1,6 +1,6 @@
 # `ship.md` template
 
-Write before close-out; it moves to `.devrites/archive/<slug>/ship.md`.
+Write Commit(s)/Push at git-ship step 7a; complete before close-out; it moves to `.devrites/archive/<slug>/ship.md`.
 
 ```markdown
 # Ship: <slug>
@@ -10,6 +10,7 @@ Write before close-out; it moves to `.devrites/archive/<slug>/ship.md`.
 - Branch: <branch>
 - Commit(s): <sha> [<sha> …]
 - Tag/PR: <value|none>
+- Push: <pushed|pending|failed|unknown>
 
 ## What shipped
 <project-vocabulary paragraph>

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

@@ -142,8 +142,8 @@ load a routed standard to discover required behavior, not to prescribe implement
    complete-block preservation rule.
    `tasks.md` deliberately does not exist yet; cross-artifact traceability starts in
    `/rite-define`. Any grammar or delta failure blocks. The interruption forecast must be resolved, owned, or a justified
-   action-time gate. Run the [`spec-grammar.md`](../devrites-lib/reference/standards/spec-grammar.md) marker sweep; a kept hit blocks. Then write
-   `Spec gate: passed <iso>` with its `marker sweep:` line.
+   action-time gate. Run the [`spec-grammar.md`](../devrites-lib/reference/standards/spec-grammar.md) marker sweep; a kept hit blocks. Then record
+   `passed <iso>; marker sweep: …` in the `state.md` `spec_gate` row, never in `spec.md`.
 6a. **Existing-spec delta.** For a pre-existing slug/workspace, compare old/new
    spec and questions, then show `Acceptance delta` (added/removed/reworded IDs)
    and `Open-question delta` (opened/resolved/reworded IDs), using `none` for