devrites 6.0.4 → 6.1.1

package/pack/generated/codex/skills/devrites-lib/reference/standards/one-shot-actions.md

@@ -73,8 +73,9 @@ Keep two budgets separate:
 Cold resume does not make that fingerprint old or exhausted. Derive its offline
 no-progress count from `drift.md` and `evidence.md`; while the count is below the
 cap, resume recovery even if a prior writer stored `blocked` / `Next step: none`.
-That terminal cursor is valid only for a human/safety gate, an actually exhausted
-fingerprint, or a proven absence of any safe retention/amplification design.
+A blocked cursor is valid only for a human/safety gate or a parked fingerprint
+with no independent work left; a missing safe retention/amplification design
+escalates to the next correction class.
 
 A new real attempt is normally admissible only after the affected plan and fixtures
 are re-vetted, the failure condition is shown changed, and any required fresh
@@ -98,7 +99,7 @@ claim the runtime failure condition changed: the independently proven change is
 evidence-acquisition invariant, and the attempt's acceptance signal is the promised
 unique retained boundary (or action success).
 
-Terminal `Next: none` is valid only when no safe in-scope diagnostic-amplification
-seam exists, the required change is human/risk/scope owned, or the exact evidence-gap
-fingerprint exhausts bounded recovery. A missing old artifact alone is not terminal,
-and an amplification attempt never inherits authorization from the failed action.
+When no safe in-scope diagnostic-amplification seam exists, escalate or park per
+[`afk-hitl.md`](afk-hitl.md#retry-cap-no-progress-loops-and-self-resolve); only a
+human/risk/scope-owned change stops for a human. A missing old artifact alone is not
+terminal, and an amplification attempt never inherits authorization from the failed action.

package/pack/generated/codex/skills/devrites-lib/reference/standards/performance.md

@@ -15,6 +15,8 @@ Measure first. An optimization without a measurement is a guess that adds comple
 ## Optimize responsibly
 - Fix the **measured** bottleneck, then **re-measure** to prove the win (before/after).
   An optimization that doesn't move the number is just added complexity: revert it.
+  A win counts only while behavior proof stays green on an unchanged workload; tuning
+  the benchmark, fixture, or workload to the candidate games the number and is a finding.
   Keep compact failed and neutral experiment notes in the existing evidence:
   hypothesis, change, comparable measurements, and keep/revert decision. Do not
   create a separate experiment framework or ledger.

package/pack/generated/codex/skills/devrites-lib/reference/standards/skill-authoring.md

@@ -220,12 +220,17 @@ human approval — owned by [`security.md`](security.md) § Prompt-injection and
 Behavior-shaping prose is code:
 
 1. Baseline without guidance; if it passes, add none.
-2. Run ≥5 fresh-context reps/variant; inspect every flagged run.
+2. Run ≥5 fresh-context reps/variant; inspect every flagged run, and ask that agent which
+   instruction or missing context led it there before editing guidance. The corpus holds a control
+   case that must always pass, past-failure cases, and boundary cases whose right answer is
+   stop, ask, or refuse.
 3. Divergent interpretations require rewrite, not averaging.
 4. Pin host/model/build, corpus, grader, and candidate digest or commit+path. Report tasks/trials,
    arms, same-build A/A noise before A/B, sanitized per-trial verdicts/metrics, invalid/null results,
    variance, process versus job outcome, and supported/unproved claims. Never capture raw transcripts;
    lost grading signal is `cannot_verify`.
+5. On each new model generation, re-run step 1 as an ablation: remove the guidance and rerun its
+   eval. Guidance the model no longer needs is a `$rite-learn` retirement candidate, not a keeper.
 
 CI validates only corpora/deterministic artifacts—never paid sessions or lexical claims.
 
@@ -234,6 +239,13 @@ CI validates only corpora/deterministic artifacts—never paid sessions or lexic
 Delete model-default no-ops. Prefer positive targets; reserve prohibitions for hard
 guards. Fill omitted decisions or mark a deliberate branch.
 
+- Instructions add no capability: replace "be careful" or "CRITICAL" with a check, tool,
+  or engine command the agent can run.
+- State both sides of a trade-off. A one-sided cost ("avoid escalating; it is expensive")
+  is overfit: the agent withholds, deflects, or skips the stop it needed.
+- A defensive line added for one model's failure names that failure, so ablation can
+  retire it when a later model no longer fails.
+
 ## Contribution preflight
 
 Record catalog search, owner gap, evals, host parity, and public/internal surface. Public

package/pack/generated/codex/skills/devrites-lib/reference/standards/testing.md

@@ -106,6 +106,11 @@ discriminates the required result.
   any divergence against the external spec — never by majority vote between
   reviewers, and never because the fixture is committed. A golden nobody re-derived
   is a rumor.
+- **A rewrite or port uses the old implementation as its oracle.** Run old and new on the
+  same inputs (the existing suite, a published conformance suite, recorded requests,
+  screenshots) and diff the results;
+  parity claimed only from tests written for the new code is unproven. **Failing case:** a
+  port passes its new unit tests while the old suite fails against it.
 
 ### Safe perturbation
 
@@ -174,6 +179,10 @@ test exercises; **D**escriptive **A**nd **M**eaningful **P**hrases beat **D**on'
 here. (Deliberately trades against production reuse-first: a fixture that makes the reader
 scroll away to understand the case costs more than the duplication saved.)
 
+Test data is synthetic. A generator or factory builds each named edge case (a user with
+1,000 tickets, an empty tenant); production records never enter tests, fixtures, or agent
+sandboxes ([`security.md`](security.md)).
+
 ## Test doubles: reach for the real thing first
 Prefer, in order: **real > fake > stub > mock**. Use the real collaborator when it's fast and
 deterministic; a **fake** (an in-memory implementation that honors the contract) when it isn't; a
@@ -209,6 +218,10 @@ Select cases from the accepted spec and applicable standards, not a generic coun
   authorization, extra fields, or side effects; run schema-driven fuzzers only against a
   disposable target under external-write approval. **Failing case:** a shared
   `createdAt: Date` compiles on both sides while the client receives a string.
+- A module or layer boundary the plan relies on ("only `clients/` imports the SDK") is
+  enforced by a structural test in the project's existing tooling (an import or
+  dependency rule), not by prose. Its failure message names the allowed route, so the
+  agent fixes the design instead of dodging the rule.
 - Compatibility/delivery work drives both feature-flag states and old/new caller or
   schema combinations. Migration-before-code and code-before-migration order each need a
   declared expected result.

package/pack/generated/codex/skills/devrites-lib/reference/workspace-artifact-schema.md

@@ -2,7 +2,9 @@
 
 Feature truth: `.devrites/work/<slug>/`, discovered by `state.md`; remnants/archives
 are inactive. Spec writes optional `README.md`. Use canonical filenames; both released
-cursor forms remain valid. `$rite-upgrade` audits without path/alias/format migration.
+cursor forms remain readable, but a cursor with no `schema` row needs
+`devrites-engine migrate <slug>` before the engine accepts it. `$rite-upgrade` audits
+without path/alias/format migration.
 
 ## Slug identity
 
@@ -27,7 +29,7 @@ accept safe legacy basenames. Ordinary phases never rename them.
 | vet/build/converge | plan artifacts plus `eng-review.md`, `test-plan.md`, `gates.md`; Build creates and maintains `touched-files.md` after its first green slice |
 | prove/polish/review | vetted plan artifacts plus `evidence.md`, `touched-files.md` |
 | seal/ship/done | proof artifacts plus `review.md`, `seal.md`; Ship writes `ship.md` |
-| conditional | `flows.md` when diagrams clarify; `visual/` HTML+`.outline.md` companions when a richer reviewable visual earns it (optional; never readiness-required); `design-brief.md` and `browser-evidence.md` for UI; `drift.md` for drift; `polish-report.md` for polish; `handoff.md` only when requested; `references.md` + `references/` when references exist; `investigation-map.md` for pressure-test; `dogfood.md` for dogfood; `windows.md` when the diff introduces deferral markers (waiver ledger for `check windows`); `packets/` for by-reference dispatch packets and admitted accounts (≤ 64 KiB each; older closed rounds may be deleted; never transcripts); `history/` for verbatim relocated checkpoint narrative (append-only, never a read-next); `readiness-inputs.json` as the advisory per-input drift baseline written by `check drift --record` after Vet's binding (never a gate input; regenerated, not hand-edited); `notes.md` for anchored notes bound to verbatim code quotes (engine-regraded; non-exact anchors block seal) |
+| conditional | `checklists/<domain>.md` per spec-covered domain (Spec writes; Define gates on it); `flows.md` when diagrams clarify; `visual/` HTML+`.outline.md` companions when a richer reviewable visual earns it (optional; never readiness-required); `design-brief.md` and `browser-evidence.md` for UI; `devex.md` when a developer-facing surface is in scope; `drift.md` for drift; `polish-report.md` for polish; `handoff.md` only when requested; `references.md` + `references/` when references exist; `investigation-map.md` for pressure-test; `dogfood.md` for dogfood; `windows.md` when the diff introduces deferral markers (waiver ledger for `check windows`); `packets/` for by-reference dispatch packets and admitted accounts (≤ 64 KiB each; older closed rounds may be deleted; never transcripts); `history/` for verbatim relocated checkpoint narrative (append-only, never a read-next); `readiness-inputs.json` as the advisory per-input drift baseline written by `check drift --record` after Vet's binding (never a gate input; regenerated, not hand-edited); `notes.md` for anchored notes bound to verbatim code quotes (engine-regraded; non-exact anchors block seal) |
 
 ## What each file owns
 
@@ -43,7 +45,7 @@ accept safe legacy basenames. Ordinary phases never rename them.
 | `visual/<name>.html` | optional portable human-viewable visualization; pair with sibling `.outline.md`; self-contained preferred | 400 lines (advisory; not gate-checked) |
 | `visual/<name>.outline.md` | required machine dual-read companion for the sibling HTML; outline wins on conflict; never a candidate path | 200 lines (advisory; not gate-checked) |
 | `visual/README.md` | optional index of visuals in the workspace | 80 lines (advisory; not gate-checked) |
-| `decisions.md` | ADR-style `DEC-###` log: status, context, options, decision, consequences, related IDs; optional `Files:`/`Tags:` fields make entries queryable by path or theme | 200 lines |
+| `decisions.md` | ADR-style `DEC-###` log: status, context, options, decision, consequences, related IDs; optional `Files:`/`Tags:` fields make entries queryable by path or theme; Build's `## Carry-forward constraints` lines (rule, source slice, evidence, `Files:`) | 200 lines |
 | `assumptions.md` | assumptions with confidence, owner, validation status | 160 lines |
 | `questions.md` | current `q-YYYY-MM-DD-NNN` (or released `Q-###`) open/resolved questions, gate, answer, impact | 180 lines |
 | `plan.md` | technical approach, slice strategy, canonical shared-contract proof, validation strategy, rollback | 220 lines |
@@ -61,7 +63,7 @@ accept safe legacy basenames. Ordinary phases never rename them.
 | `handoff.md` | resume objective/last slice/next action/blockers/read-next; sections hold content or `Nothing yet`; unevidenced recollections: `Not tried yet`, never results | 120 lines |
 | `polish-report.md` | polish axis deltas, re-verification lines, residual subjective preferences | 200 lines |
 | `ship.md` | ship preflight, disclosed Git plan, commit/push/tag/PR record | 120 lines |
-| `review.md` | reconciled Review verdict: `## Spec` and `## Code review` accounts, deferred-finding labels/actions, drift | 240 lines |
+| `review.md` | reconciled Review verdict: `## Spec` and `## Code review` accounts, triggered frontend/security/performance accounts or `Not-applicable` lines, deferred-finding labels/actions, drift | 240 lines |
 | `seal.md` | seal preflight, exact reviewer roster accounts, GO/NO-GO verdict and disclosures | 200 lines |
 | `ai-spec.md` | model/RAG/agent/eval/LLM-output scope for AI surfaces | 160 lines |
 | `windows.md` | deferral/bar-lowering waiver ledger: one `- path | marker | reason` row per introduced marker; `check windows` fails on unwaived hits | 120 lines |
@@ -206,7 +208,7 @@ Mode: <AFK | HITL>
 Gate: <advisory | validating | blocking | escalating>
 SLA: <15m | 4h | 24h | none>
 Checkpoint: <question + why it needs unavailable pre-code evidence or action-time approval | none>
-Dependencies: <SLICE-### list | none>
+Dependencies: <SLICE-### (via <interface it consumes>) list | none>
 depends_on: [<SLICE-### IDs>]
 Consumes / Produces: <interfaces read and exposed>
 Known-Gotchas: <ordering hazards and framework footguns | none>
@@ -228,7 +230,9 @@ Done condition: <checkable, exhaustive completion criterion>
 <!-- canonical-slice:end -->
 
 `depends_on` is the machine-readable mirror of `Dependencies`; keep the sets
-identical and cycle-free. `Gate`, `SLA`, and `Checkpoint` are required for HITL
+identical and cycle-free. Each dependency names what crosses it (`check task-graph` advises).
+Define and `$rite-plan` repair write `Prior-slice learnings`, folding Build's
+`decisions.md` carry-forward constraints; Build never edits `tasks.md`. `Gate`, `SLA`, and `Checkpoint` are required for HITL
 slices; use `none` when they do not apply. Complexity above 3 triggers reslicing
 unless the stated reason makes the boundary irreducible. A Writer allowlist of 12+
 files prints an engine `ADVISORY size:` line (`check task-graph`, `check slice`;
@@ -239,7 +243,7 @@ the inseparable capability.
 
 Run `devrites-engine next <slug>` at phase entry for the minimal remaining path
 (current phase, open questions, missing artifacts, next `/rite-*` command), then
-read the phase row below — or hand `devrites-engine context <slug> --phase <p>`
+read the phase row below — or hand `devrites-engine context --skills-root .agents/skills <slug> --phase <p>`
 to the engine and read the bundle it emits.
 
 | Phase | Read |

package/pack/generated/codex/skills/devrites-prose-craft/SKILL.md

@@ -4,7 +4,7 @@ description: Rewrite prose to remove AI tells while preserving meaning and voice
 user-invocable: false
 ---
 <!-- loads: {"always":["devrites-lib/reference/standards/prose-style.md"],"triggers":{"word-choice":["devrites-prose-craft/reference/banned-phrases.md"],"structure":["devrites-prose-craft/reference/structures.md"],"examples":["devrites-prose-craft/reference/examples.md"]}} -->
-> Read-set manifest: `devrites-engine context [slug] --skill devrites-prose-craft` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --skill devrites-prose-craft` (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.
 
 # devrites-prose-craft: prose that reads human
 

package/pack/generated/codex/skills/devrites-source-driven/SKILL.md

@@ -4,7 +4,7 @@ description: Verify uncertain framework or library behavior in installed source
 user-invocable: false
 ---
 <!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/tooling.md"],"triggers":{"agents":["devrites-lib/reference/standards/agents.md"]},"workspace":["state.md","spec.md","plan.md","decisions.md","evidence.md","references.md"],"workspaceByRole":{"evidence-scout":["state.md","spec.md","plan.md","references.md"]}} -->
-> Read-set manifest: `devrites-engine context [slug] --skill devrites-source-driven` bundles every file named below into one deduplicated read.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --skill devrites-source-driven` (no workspace: `--out <path>`) bundles every file named below into one deduplicated read.
 
 # devrites-source-driven: verify, don't guess
 

package/pack/generated/codex/skills/devrites-ux-shape/SKILL.md

@@ -4,7 +4,7 @@ description: Shape UX/UI direction, states, and interactions before code. Use fo
 user-invocable: false
 ---
 <!-- loads: {"always":["devrites-ux-shape/reference/brief-template.md","devrites-ux-shape/reference/visual-direction-probe.md","rite-build/reference/frontend-trigger.md","devrites-frontend-craft/reference/design-references.md","devrites-frontend-craft/reference/quality-standards.md"],"triggers":{"afk":["devrites-lib/reference/standards/afk-hitl.md"]}} -->
-> Read-set manifest: `devrites-engine context [slug] --skill devrites-ux-shape` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --skill devrites-ux-shape` (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.
 
 # devrites-ux-shape: plan the UX/UI before code
 

package/pack/generated/codex/skills/overhaul/SKILL.md

@@ -101,24 +101,24 @@ deployment, or anything the user did not start with this command.
 
 ## Step 1 — Audit
 
-1. Dispatch `recon` ([`overhaul-recon`](.codex/agents/overhaul-recon.toml)); admit its inventory,
+1. Dispatch `recon` ([`overhaul-recon`](../../../.codex/agents/overhaul-recon.toml)); admit its inventory,
    components, lanes, partitions, contract seeds and journeys into `coverage.json`,
    `stack-profiles.json` and `contracts.json`, and record the applicability matrix
    in `coverage.json` ([`references/audit-domains.md`](references/audit-domains.md#applicability-matrix)).
 2. Compose profiles per component ([`references/stack-profiles.md`](references/stack-profiles.md));
    research unknown stacks through the unknown-stack procedure.
 3. Launch the concurrent engineering wave: when both lanes apply,
-   [`overhaul-frontend-engineer`](.codex/agents/overhaul-frontend-engineer.toml) and
-   [`overhaul-backend-engineer`](.codex/agents/overhaul-backend-engineer.toml) go out in the same dispatch
+   [`overhaul-frontend-engineer`](../../../.codex/agents/overhaul-frontend-engineer.toml) and
+   [`overhaul-backend-engineer`](../../../.codex/agents/overhaul-backend-engineer.toml) go out in the same dispatch
    batch before you await either. Fill remaining slots with
-   [`overhaul-boundary`](.codex/agents/overhaul-boundary.toml), [`overhaul-craft`](.codex/agents/overhaul-craft.toml) and
-   [`overhaul-specialist`](.codex/agents/overhaul-specialist.toml) in bounded waves; reserve verifier and
+   [`overhaul-boundary`](../../../.codex/agents/overhaul-boundary.toml), [`overhaul-craft`](../../../.codex/agents/overhaul-craft.toml) and
+   [`overhaul-specialist`](../../../.codex/agents/overhaul-specialist.toml) in bounded waves; reserve verifier and
    critic capacity first. Domain floor: [`references/audit-domains.md`](references/audit-domains.md).
    Without real concurrency: `BLOCKED_PARALLEL_CAPABILITY`; offer degraded
    sequential review only when fresh contexts can still be started one at a time.
 4. Admit every receipt with `devrites-engine overhaul admit receipt`; anchor every
    quoted location with `devrites-engine overhaul admit anchor`; send serious or
-   ambiguous candidates to [`overhaul-verifier`](.codex/agents/overhaul-verifier.toml) (`finding-verify`)
+   ambiguous candidates to [`overhaul-verifier`](../../../.codex/agents/overhaul-verifier.toml) (`finding-verify`)
    in lane batches of up to 8. Run coverage critics after waves, launch the gaps they
    name without waiting for verifiers, and run a final-clean critic before calling
    coverage complete.
@@ -143,7 +143,7 @@ deployment, or anything the user did not start with this command.
    reconfirmation otherwise), the re-hashed plan digest, the task closure, the current
    plan revision, no later stop, and for PR or branch scope a checked-out `HEAD` equal
    to the pinned head. Record it in `approval.json`.
-2. Execute the approved DAG with [`overhaul-implementer`](.codex/agents/overhaul-implementer.toml): one
+2. Execute the approved DAG with [`overhaul-implementer`](../../../.codex/agents/overhaul-implementer.toml): one
    writer per path, independent frontend and backend tasks concurrently, TDD per
    [`references/repair-and-measurement.md`](references/repair-and-measurement.md).
    Admit patches only when observed changed paths equal the contract.
@@ -166,14 +166,14 @@ revocation stays in force.
 
 | Role | Agent | Mode |
 | --- | --- | --- |
-| Reconnaissance and coverage mapper | [`overhaul-recon`](.codex/agents/overhaul-recon.toml) | read-only |
-| Frontend engineering reviewer | [`overhaul-frontend-engineer`](.codex/agents/overhaul-frontend-engineer.toml) | read-only |
-| Backend engineering reviewer | [`overhaul-backend-engineer`](.codex/agents/overhaul-backend-engineer.toml) | read-only |
-| Boundary and contract reviewer | [`overhaul-boundary`](.codex/agents/overhaul-boundary.toml) | read-only |
-| Frontend craft, interaction and accessibility | [`overhaul-craft`](.codex/agents/overhaul-craft.toml) | read-only |
-| Language, risk and other-lane specialist | [`overhaul-specialist`](.codex/agents/overhaul-specialist.toml) | read-only |
-| Frontend or backend remediation implementer | [`overhaul-implementer`](.codex/agents/overhaul-implementer.toml) | writes approved paths only |
-| Verifier, critic and final challenger | [`overhaul-verifier`](.codex/agents/overhaul-verifier.toml) | read-only |
+| Reconnaissance and coverage mapper | [`overhaul-recon`](../../../.codex/agents/overhaul-recon.toml) | read-only |
+| Frontend engineering reviewer | [`overhaul-frontend-engineer`](../../../.codex/agents/overhaul-frontend-engineer.toml) | read-only |
+| Backend engineering reviewer | [`overhaul-backend-engineer`](../../../.codex/agents/overhaul-backend-engineer.toml) | read-only |
+| Boundary and contract reviewer | [`overhaul-boundary`](../../../.codex/agents/overhaul-boundary.toml) | read-only |
+| Frontend craft, interaction and accessibility | [`overhaul-craft`](../../../.codex/agents/overhaul-craft.toml) | read-only |
+| Language, risk and other-lane specialist | [`overhaul-specialist`](../../../.codex/agents/overhaul-specialist.toml) | read-only |
+| Frontend or backend remediation implementer | [`overhaul-implementer`](../../../.codex/agents/overhaul-implementer.toml) | writes approved paths only |
+| Verifier, critic and final challenger | [`overhaul-verifier`](../../../.codex/agents/overhaul-verifier.toml) | read-only |
 
 Dispatch each role as its named agent with a packet
 ([`references/orchestration.md`](references/orchestration.md)). The agents keep every

package/pack/generated/codex/skills/overhaul/references/audit-domains.md

@@ -267,7 +267,7 @@ Review real source semantics under the active client profiles:
 
 ## Frontend craft, interaction and accessibility
 
-The craft role ([`overhaul-craft`](.codex/agents/overhaul-craft.toml)) examines the existing brief and
+The craft role ([`overhaul-craft`](../../../../.codex/agents/overhaul-craft.toml)) examines the existing brief and
 design system, hierarchy, typography, spacing, density, tokens, theming, semantics,
 focus, keyboard operation, touch and pointer, zoom and reflow, responsive or native
 layout, localization and long or RTL content; every UI state (loading, empty, error,
@@ -309,7 +309,7 @@ major restructuring.
 
 ## Cross-layer contracts
 
-The boundary role ([`overhaul-boundary`](.codex/agents/overhaul-boundary.toml)) owns the live graph of
+The boundary role ([`overhaul-boundary`](../../../../.codex/agents/overhaul-boundary.toml)) owns the live graph of
 API operations, events and messages, server actions, IPC/FFI, shared models,
 generated clients and the critical journeys consuming them, and checks both
 producer and consumer: schema, version, enum and nullability; numeric, ID and date

package/pack/generated/codex/skills/overhaul/references/orchestration.md

@@ -31,11 +31,11 @@ directory names or file extensions. One package or file can serve several lanes.
 
 | Lane | Owns | Agent |
 | --- | --- | --- |
-| Frontend engineering | Client correctness, state/data flow, component architecture, framework idioms, client security, frontend performance and tests (web, native, desktop, game UI) | [`overhaul-frontend-engineer`](.codex/agents/overhaul-frontend-engineer.toml) |
-| Backend engineering | Service, domain, API, job, data, concurrency, authorization and service performance, including server parts of full-stack frameworks | [`overhaul-backend-engineer`](.codex/agents/overhaul-backend-engineer.toml) |
-| Boundary / integration | Producer/consumer contracts, shared packages, serialization, trust transitions, deployment skew | [`overhaul-boundary`](.codex/agents/overhaul-boundary.toml) |
-| Frontend craft | Design system fit, interaction states, keyboard/focus, accessibility, responsive and motion evidence | [`overhaul-craft`](.codex/agents/overhaul-craft.toml) |
-| Other | Build tooling, CI, infrastructure, libraries, data/ML workloads, operations readiness, public API and CLI experience, documentation — explicit extra profiles, never forced into frontend/backend | [`overhaul-specialist`](.codex/agents/overhaul-specialist.toml) |
+| Frontend engineering | Client correctness, state/data flow, component architecture, framework idioms, client security, frontend performance and tests (web, native, desktop, game UI) | [`overhaul-frontend-engineer`](../../../../.codex/agents/overhaul-frontend-engineer.toml) |
+| Backend engineering | Service, domain, API, job, data, concurrency, authorization and service performance, including server parts of full-stack frameworks | [`overhaul-backend-engineer`](../../../../.codex/agents/overhaul-backend-engineer.toml) |
+| Boundary / integration | Producer/consumer contracts, shared packages, serialization, trust transitions, deployment skew | [`overhaul-boundary`](../../../../.codex/agents/overhaul-boundary.toml) |
+| Frontend craft | Design system fit, interaction states, keyboard/focus, accessibility, responsive and motion evidence | [`overhaul-craft`](../../../../.codex/agents/overhaul-craft.toml) |
+| Other | Build tooling, CI, infrastructure, libraries, data/ML workloads, operations readiness, public API and CLI experience, documentation — explicit extra profiles, never forced into frontend/backend | [`overhaul-specialist`](../../../../.codex/agents/overhaul-specialist.toml) |
 
 Frontend and backend engineering are always different agent invocations with
 different active profiles, even in a same-language codebase. The boundary reviewer
@@ -277,10 +277,14 @@ correctness gate.
 ## Admission tool
 
 `devrites-engine overhaul admit receipt <run> <receipt.json> [--observed <paths.txt>]` checks one
-receipt against its dispatch packet: run, role, lane and snapshot match; timestamps
+receipt against its dispatch packet: the file is the attempt's own
+`<run>/receipts/<run_id>__<task_id>__<attempt_id>__<role>.json` (not a copy elsewhere
+or a symlink, and the attempt's recorded `receipt` when it has one); run, role, lane
+and snapshot match; timestamps
 and an allowed `outcome` are present; `no-findings` names inspected ranges; a writer's
 claimed paths stay inside its task contract and equal the observed paths.
 `devrites-engine overhaul admit anchor <tree> <proposals.json>` checks that every quoted location in
 `{"findings": [...]}` matches its file lines under the reviewed tree. It never edits
 canonical records; record its verdict in a staged generation. Exit codes: 0
-admissible or anchored, 1 reject, 2 usage or I/O error, 3 duplicate or late receipt.
+admissible or anchored, 1 reject, 2 usage or I/O error (including an extra or
+misspelled argument), 3 duplicate or late receipt.

package/pack/generated/codex/skills/overhaul/references/records.md

@@ -123,14 +123,19 @@ verifier attempt, repository-relative locations (external ones are labels, never
 host paths); `revisions.plan.file` equal to `revisions/plan-r<rev>.json`, required
 once approvals or writers exist; plan digest pins; known, acyclic dependencies;
 allowed paths that are exact files inside the repository (no `*` or `?`, no
-directories, no `.git`, no symlink or traversal escape); a separate verifier role;
+directories, no `.git` component or run-area path in any letter case or through a
+symlink, no symlink or traversal escape); a separate verifier role;
 approval and `accept-degradation` events with quote and trusted channel, approvals
 matching the plan digest, closure and current revision, none active after a later
 stop; a scorecard only with `revisions.rubric` and the same verdict as `run.json`;
+`READY_FOR_USER_REVIEW` only with a scorecard whose verdict is `MEETS_TARGETS`, and
+`COMPLETED_WITH_APPROVED_DEGRADATION` only with `MEETS_TARGETS_WITH_APPROVED_DEGRADATION`,
+each listing every audit gate (plus every repair gate outside assessment-only runs) as
+`PASS` or `NOT_APPLICABLE` (`G-CONCURRENCY` may be `WAIVED_OPERATIONAL` for the degraded outcome);
 no approval or writer in an assessment-only run; unchanged `run_id`, `repo_root`,
 `mode` and `assessment_only`; writers authorized for their task; one live writer
-per path (case-folded, symlink-resolved); no `dispatched`, `running` or `returned`
-attempt once the outcome leaves `RUNNING`; one outcome per approved task at the end;
+per path (case-folded, symlink-resolved); every attempt `admitted`, `rejected` or
+`cancelled` once the outcome leaves `RUNNING` (`timed-out` and `unknown` are not settled); one outcome per approved task at the end;
 a coverage denominator that never shrinks; append-only cycles, findings history and
 approval events; immutable revisions; view stamps; manifest integrity; stale stages
 and interrupted publishes. Across records: every finding's `domain` is a score key;

package/pack/generated/codex/skills/rite/SKILL.md

@@ -6,7 +6,7 @@ user-invocable: true
 disable-model-invocation: true
 ---
 <!-- loads: {"always":["devrites-lib/reference/standards/core.md"],"triggers":{"intent":["devrites-lib/reference/intent-map.md"],"menu":["rite/reference/menu.md"],"dispatch":["devrites-lib/reference/parallel-dispatch.md"],"reply":["devrites-lib/reference/reply-contract.md"]}} -->
-> Read-set manifest: `devrites-engine context [slug] --skill rite` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --skill rite` (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: DevRites menu + router
 
@@ -74,9 +74,10 @@ What each verb does lives once, in the Menu below; this table is the invocation
 Both forms call the same skill. The menu supports discovery; `/rite-<verb>` is the direct form.
 
 `use <slug>` is handled **inline**. There is no `rite-use` skill. Confirm
-`.devrites/work/<slug>/` exists, then re-point `.devrites/ACTIVE` to `<slug>` and report
+`<slug>` is a safe slug and `.devrites/work/<slug>/state.md` is a contained regular file, then re-point `.devrites/ACTIVE` to `<slug>` and report
 the now-active feature. It is cheap context-switching only: no re-spec, no phase run. If
-the workspace is missing, list the slugs under `.devrites/work/` and stop.
+the workspace or its `state.md` is missing, list the slugs under `.devrites/work/` that have
+`state.md` and stop.
 
 `guide` is an inline walkthrough for the first feature. Agree on one **real, small**
 change, then run spec → clarify → temper → define → vet → build → prove → polish → review → seal →

package/pack/generated/codex/skills/rite/reference/menu.md

@@ -32,14 +32,15 @@ Phase-ordered `$rite` reference. Load only for command detail or phase connectio
   `$rite-define` (plan) → `$rite-vet` (engineering review; light or full) →
   `$rite-build` ×N (all slices) → `$rite-prove` (once all built) →
   `$rite-polish` (always: code + UI if UI) → `$rite-review` → `$rite-seal` → `$rite-ship`.
-- **Existing codebase**: `$rite-adopt` → `$rite-clarify` → `$rite-define` → `$rite-vet` → build.
+- **Existing codebase**: `$rite-adopt` → `$rite-spec` → `$rite-clarify` → `$rite-define` → `$rite-vet` → build.
 - **Drift mid-build**: classify → bounded recovery for objective defects, `$rite-plan`
   repair for a wrong durable plan, or one user decision for real product/risk drift.
 - **Older workspace cannot resume**: `$rite-upgrade` audits first → only proven gaps use
-  Clarify/Plan repair/Converge/Vet or Prove/Polish/Review/Seal → resume. It never
-  migrates cursor format or invents a prior pass.
-- **Resumed / adopted / stalled**: `$rite-converge` (assess live code vs intent → append the
-  remaining slices) → `$rite-vet` → `$rite-build` ×N → continue at `$rite-prove`.
+  Clarify/Plan repair/Converge/Vet or Prove/Polish/Review/Seal → resume. A cursor with
+  no `schema` row needs `devrites-engine migrate <slug>` first; upgrade never migrates
+  cursor format itself or invents a prior pass.
+- **Resumed / stalled, or adopted after Define** (has `plan.md` + `tasks.md`): `$rite-converge`
+  (assess live code vs intent → append the remaining slices) → `$rite-vet` → `$rite-build` ×N → continue at `$rite-prove`.
 
 ## Rules this menu obeys
 

package/pack/generated/codex/skills/rite-adopt/SKILL.md

@@ -5,7 +5,7 @@ argument-hint: "[path or area to adopt] [+ what you want to build next]"
 user-invocable: true
 ---
 <!-- loads: {"always":["rite-adopt/reference/adoption.md","rite-adopt/reference/anti-patterns.md","rite-polish/reference/ledger.md"],"triggers":{"security":["devrites-lib/reference/standards/security.md"]}} -->
-> Read-set manifest: `devrites-engine context [slug] --skill rite-adopt` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --skill rite-adopt` (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-adopt: onboard existing code
 
@@ -48,7 +48,8 @@ parallel convention system.
    resistance. Never create convention bands, scores, or a command cache.
 6. A genuine non-negotiable invariant may be proposed for
    `.devrites/principles.md`; the human must ratify it.
-7. Set the next step to `$rite-clarify` and stop. Do not plan or build.
+7. Set the next step to `$rite-spec <slug>` and stop; Spec extends this workspace and owns
+   `brief.md`, `checklists/`, and `spec_gate`. Do not plan or build.
 
 > Refuse the rationalizations in [`anti-patterns`](reference/anti-patterns.md).
 
@@ -59,5 +60,5 @@ Done: adopted <scope> into <slug>.
 Changed: <workspace artifacts>; project guidance <proposed | unchanged>
 Evidence: <source/CI paths inspected>
 Open: <questions | none>
-Next: $rite-clarify
+Next: $rite-spec <slug>
 ```

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

@@ -6,7 +6,7 @@ user-invocable: true
 ---
 
 <!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/afk-hitl.md","devrites-lib/reference/standards/one-shot-actions.md","devrites-lib/reference/orchestration-profiles.md","devrites-lib/reference/standards/acceptance-preserving-reslice.md","rite-autocomplete/reference/decision-policy.md","rite-autocomplete/reference/loop.md","rite-autocomplete/reference/stop-conditions.md"],"triggers":{"workflow-artifacts":["devrites-lib/reference/standards/workflow-artifacts.md"]},"workspace":["state.md","spec.md","plan.md","tasks.md","questions.md","decisions.md","drift.md","evidence.md","test-plan.md"]} -->
-> Read-set manifest: `devrites-engine context <slug> --phase autocomplete` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+> Read-set manifest: `devrites-engine context --skills-root .agents/skills <slug> --phase autocomplete` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 
 # $rite-autocomplete: full lifecycle, unattended
@@ -49,14 +49,16 @@ executable controller/harness/bundle bytes or a missing writer, read
   likewise internal when current authority resolves it.
 - Always follow agent-owned backward edges through repair, affected Vet,
   correction, and proof. A nested `STOP`/`Next step` is not a user handoff.
-  Pause only for a shared human/safety/access/exhaustion condition.
+  Pause only for a shared human/safety/access condition.
 - **Do not confuse an action budget with recovery exhaustion.** Spent action
   authority blocks another real execution, not offline correction of retained
   Critical/Important evidence. Stop for fresh GO only after changed conditions
   and READY Vet.
-- Every exact causal fingerprint gets at most three no-progress corrections.
-  Closing one is progress; a distinct Critical/Important invariant has its own
-  budget. Lower severity cannot prolong recovery.
+- Every exact causal fingerprint gets three no-progress corrections per strategy.
+  A spent strategy escalates to a new correction class inline; after three
+  escalations it parks while independent work continues. Never ask permission to
+  retry. Closing one is progress; a distinct Critical/Important invariant has its
+  own budget. Lower severity cannot prolong recovery.
 - Do not stop on `--max-slices`, sentinel `max_slices`, `max_agents`,
   `max_minutes`, or `max_review_queue`. Count failed, malformed, and
   unavailable leaf calls.
@@ -79,7 +81,7 @@ executable controller/harness/bundle bytes or a missing writer, read
    Before honoring `blocked` with terminal `next_action`,
    reconcile retained consumptive evidence and fingerprint attempts from
    `drift.md`/`evidence.md`; a retained fingerprint below its cap resumes offline
-   recovery.
+   recovery, and this new invocation reopens each parked fingerprint.
 <!-- workflow-artifact-adapter: {"module":"devrites-lib/reference/standards/workflow-artifacts.md","entry":"lifecycle cursor encounters admitted set or resumable journal","action":"invoke classifier; execute returned route internally","return":"saved phase/action; zero intermediate reply"} -->
    Reconstruct a missing return cursor only from
    the current phase and exact approved action in `test-plan.md`/evidence, never
@@ -118,20 +120,21 @@ executable controller/harness/bundle bytes or a missing writer, read
    route agent-owned red results through bounded recovery.
    Red gates block forward advancement and enter caller-owned recovery. Stop on
    hard risk, escalating, irreversible-risk, access, blocking with no
-   recommended option, remaining NO-GO, or the exact fingerprint's proven
-   exhaustion. An open blocking question that already names a ranked recommended
+   recommended option, remaining NO-GO, or parked fingerprints with no
+   independent work left. An open blocking question that already names a ranked recommended
    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. 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: 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.
+   A spent strategy escalates; parked recovery records
+   `Next step: $rite-autocomplete`, never a routine phase command. **Completion:** no stop is active, or its cursor and reason are durable.
+6. **Seal boundary.** Without a ship flag, leave the sealed workspace unshipped and
+   open the next recorded continuation
+   ([loop.md § Sequence continuation](reference/loop.md#sequence-continuation))
+   unless `continue_sequence: false`, the sequence budget is spent, or no entry
+   remains; then stop at Seal GO with `$rite-ship`. Report the sequence position on
+   every stop.
    With a ship flag, perform Ship preflight, disclose the exact Git plan, and stop for
    fresh literal `GO` plus native approval. **Completion:** performed no Git action before fresh literal `GO` plus native approval.
 

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

@@ -53,7 +53,8 @@ and parallel AFK headroom as stop conditions. Pass this invocation's
 that already name a ranked recommended option (recommended pick via
 `devrites-engine state resolve`) instead of queuing them or handing
 `$rite-resolve` to the user. Escalating, irreversible-risk, access, and
-blocking with no recommended option still pause.
+blocking with no recommended option still pause, as does Seal's judgment-only
+validating question (`slice: seal`).
 
 ## Phase arc
 
@@ -107,7 +108,7 @@ parent's counter (same values, never a second charge); a child with no recorded
 parent/position is not a sequence member and the chain stops.
 
 Stop instead when: no recorded next entry; the cap or review-queue bound is
-reached; a human-owned, safety, access, or exhaustion condition fires; or Seal returns
+reached; a human-owned, safety, access, or parked-recovery stop fires; or Seal returns
 `NO-GO`. On stop, report the sequence position, the sealed-but-unshipped workspaces, and
 the single release command (`$rite-autocomplete <release milestone> --ship`, or
 `$rite-ship` for the current sealed workspace when the sequence is complete).
@@ -139,14 +140,16 @@ agent-owned earlier-phase gap:
 Ask only for a human-owned decision or mandatory safety/access action. An open
 blocking question with `proposed` or option 1 labelled Recommended is not that
 decision: resolve it and continue. Three no-progress corrections of one exact
-fingerprint exhaust; preserve its reproduction and dead ends without another
-Plan/Vet command.
+fingerprint spend only its strategy: escalate inline per the
+[retry contract](../../devrites-lib/reference/standards/afk-hitl.md#retry-cap-no-progress-loops-and-self-resolve),
+and park it after three escalations while independent work continues.
 
 ## Continuous caller obligation
 
 No user-facing reply is permitted while durable state contains agent-owned
 `NEEDS_REPLAN`, an intermediate Plan/Vet action, a distinct retained
-Critical/Important fingerprint below its cap, or an open blocking question that
+Critical/Important fingerprint below its cap or with an escalation left, runnable
+work independent of a parked fingerprint, or an open blocking question that
 already names a ranked recommended option. Invoke the next internal repair or
 `devrites-engine state resolve` immediately, unless that writer already hit the
 [resolver-failure stop](stop-conditions.md#other-stop-classes). **Failing case:**
@@ -156,4 +159,4 @@ Critical/Important invariant is progress, not exhaustion.
 The number of completed repair/Vet cycles is not a stop condition. Context
 pressure, compaction, session duration, and nested completion do not convert an
 internal checkpoint into a handoff. Persist it and resume until the requested
-rest point or a shared human/safety/access/exhaustion condition.
+rest point or a shared human/safety/access/parked-recovery condition.