devrites 5.11.0 → 5.12.0

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

@@ -5,6 +5,8 @@ argument-hint: "[instruction | skill <name> | agent <name> | plugin | --import-l
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md"],"triggers":{"security":["devrites-lib/reference/standards/security.md"]},"workspace":[]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-customize` bundles every file named below into one deduplicated read.
 
 # /rite-customize: native project customization
 

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

@@ -4,6 +4,10 @@ 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/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"]}} -->
+> Read-set manifest: `devrites-engine context <slug> --phase define` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-define: plan from the spec
 
 Turn `spec.md` into architecture, vertical slices, traceability, and state. Spec owns
@@ -18,7 +22,7 @@ Pull these via `Read` when shaping the plan:
 - [`documentation.md`](../devrites-lib/reference/standards/documentation.md): record plan-time decisions and rationale.
 - [`repository-topology.md`](../devrites-lib/reference/standards/repository-topology.md), [`data-integrity.md`](../devrites-lib/reference/standards/data-integrity.md), and [`integration-reliability.md`](../devrites-lib/reference/standards/integration-reliability.md):
   load only for matching `spec.md` applicability rows; each applicable owner is mandatory.
-- `../devrites-lib/reference/workspace-artifact-schema.md`: artifact purposes, budgets, IDs, and read triggers.
+- `../devrites-lib/reference/workspace-artifact-schema.md`: artifact purposes, budgets, IDs, and read triggers (trigger `workflow-artifacts`).
 
 ## Operating rules
 
@@ -144,7 +148,9 @@ Pull these via `Read` when shaping the plan:
 6a. **Cross-artifact gate.** Read spec, tasks, and traceability together: every
    buildable AC/REQ maps to an existing slice/proof, every slice maps to real
    acceptance, and names/prose agree. Missing, duplicate, contradictory, or
-   meaning-changing mappings block.
+   meaning-changing mappings block. Then run
+   `devrites-engine check task-graph <slug>`; a malformed dependency graph blocks
+   before Vet rather than spending a reviewer context on invalid tasks.
 7. **Readiness gate** (`plan-template.md`): require CLEAR coverage; complete acceptance,
    wiring, shared-contract proof, applicable outputs, and rollback; risk-first acyclic order;
    justified deviations; and every horizon item present, with blockers resolved, planning

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

@@ -3,6 +3,8 @@ name: rite-doctor
 description: Check DevRites install, installed pack, or host configuration. Not for application bugs.
 argument-hint: ""
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md"],"workspace":["state.md"]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-doctor` bundles every file named below into one deduplicated read.
 
 # /rite-doctor: DevRites diagnostics
 
@@ -33,7 +35,10 @@ Read-only: never repair files, advance a feature, or diagnose the application.
    contained regular `.devrites/work/<slug>/state.md`, and no symlink in the
    `.devrites`, `work`, workspace, or state path. A missing target, unsafe slug,
    archive/work collision, or escape is `FAIL`. Report phase/status/next action
-   from `state.md` without changing them.
+   from `state.md` without changing them. Also report the cursor's `schema` row:
+   absent on a live workspace means it predates the current engine schema — `WARN`
+   with `devrites-engine migrate <slug>` remediation; an engine refusal naming a
+   newer schema than the binary's is `WARN` to upgrade the binary.
 5. **Compare versions.** The manifest version is the installed-pack authority.
    When this repository is the DevRites source (its `package.json` name is
    `devrites`), compare that local package candidate version with the manifest.

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

@@ -5,6 +5,8 @@ argument-hint: "[feature-slug|branch] [--port N]"
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-frontend-craft/reference/quality-standards.md","devrites-lib/reference/reply-contract.md"],"triggers":{"afk":["devrites-lib/reference/standards/afk-hitl.md"],"testing":["devrites-lib/reference/standards/testing.md"],"tooling":["devrites-lib/reference/standards/tooling.md"]},"workspace":["state.md","questions.md","dogfood.md"]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-dogfood` bundles every file named below into one deduplicated read.
 
 # /rite-dogfood: diff-scoped browser QA
 

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

@@ -5,6 +5,8 @@ argument-hint: "[a concept | a diff ref | an idea | \"what did I do this week?\"
 triggers:
   - user
 ---
+<!-- loads: {"always":["rite-explain/reference/intake.md"],"triggers":{"repo":["devrites-lib/reference/standards/tooling.md"],"style":["devrites-lib/reference/standards/prose-style.md"],"principles":["devrites-lib/reference/standards/principles.md"]}} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-explain` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 # /rite-explain: the human half of the learning loop
 

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

@@ -4,6 +4,10 @@ description: Frame an ad-hoc ask before coding, then audit the diff. Use for und
 argument-hint: "[task to frame | diff to audit]"
 ---
 
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","rite-frame/reference/failure-modes.md"],"triggers":{"principles":["devrites-lib/reference/standards/principles.md"],"simplify":["devrites-lib/reference/standards/coding-style.md","devrites-lib/reference/standards/patterns.md"],"testing":["devrites-lib/reference/standards/testing.md"]},"workspace":[]} -->
+> Read-set manifest: `devrites-engine context <slug> --phase frame` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-frame: frame the goal, audit the diff
 
 LLMs reliably get four things wrong: they **assume** silently, **overcomplicate**, edit

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

@@ -5,6 +5,8 @@ argument-hint: "[what the next session will focus on]"
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","rite-handoff/reference/handoff-template.md","devrites-lib/reference/reply-contract.md"],"triggers":{"hygiene":["devrites-lib/reference/standards/context-hygiene.md"]}} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-handoff` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
 
 # /rite-handoff: chat-only context, into a fresh-agent doc
 
@@ -16,7 +18,12 @@ the same user after `/clear`) can pick the work up without re-reading the transc
 Read [`core.md`](../devrites-lib/reference/standards/core.md) first: its "Persistence before stopping" discipline is
 exactly what this skill executes. The other rule files load on demand.
 
-Then read the explicit or active workspace's `state.md` directly.
+Then read the explicit or active workspace's `state.md` directly, and run
+`devrites-engine handoff [slug]` — its resume record (cursor, `awaiting_human`,
+blocking question gates, the `gates.md` reduction, `decisions.md` dead ends,
+read-next order) is the deterministic spine of the handoff doc's **Resume**,
+**Read next**, and **Next action** sections. The chat adds what the workspace
+cannot hold; the engine supplies what the workspace already knows.
 
 ## Where to write
 

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

@@ -5,6 +5,8 @@ argument-hint: "[\"<lesson or rejected direction>\"]"
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/documentation.md","devrites-lib/reference/standards/tooling.md"],"workspace":["state.md","decisions.md","drift.md","evidence.md","review.md","seal.md","questions.md"],"workspaceByRole":{"retrospector":["state.md","decisions.md","drift.md","evidence.md","review.md","seal.md","questions.md"]},"triggers":{"agents":["devrites-lib/reference/standards/agents.md"]}} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-learn` bundles every file named below into one deduplicated read.
 
 # /rite-learn: review durable lessons
 

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

@@ -4,6 +4,10 @@ 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/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":{"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"]}} -->
+> Read-set manifest: `devrites-engine context <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
@@ -17,6 +21,8 @@ Pull [`development-workflow.md`](../devrites-lib/reference/standards/development
 criteria.
 Load [`repository-topology.md`](../devrites-lib/reference/standards/repository-topology.md), [`data-integrity.md`](../devrites-lib/reference/standards/data-integrity.md), or [`integration-reliability.md`](../devrites-lib/reference/standards/integration-reliability.md)
 when the spec applicability map or observed drift triggers them.
+Load [`assumption-checkpoints.md`](../devrites-lib/reference/standards/assumption-checkpoints.md) (trigger `assumption-delta`)
+when scope introduces a second case, an optional field, or a chosen-over-derived value.
 Before classifying any Reslice, read `.devin/skills/devrites-lib/reference/standards/acceptance-preserving-reslice.md`.
 
 <!-- BEGIN RESLICE ROUTE-TO-ACTION -->

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

@@ -28,7 +28,9 @@ This reference owns decomposition; the shared schema owns field names and meanin
 7. Resolve every foreseeable human-owned checkpoint now. Keep a build-time checkpoint only
    when it needs evidence unavailable before code or mandatory action-time approval, and say why.
 8. Make every `Tests/proof` entry executable: exact command, working directory, prerequisites,
-   expected signal, and mutable inputs whose provenance evidence must bind.
+   expected signal, and mutable inputs whose provenance evidence must bind. Source the command
+   from `devrites-engine detect commands` output where a slot resolves; an `unresolved` slot
+   means the plan names the concrete command explicitly, never an invented one.
 
 ## Keep it honest
 - **Interfaces prevent cross-slice drift.** A slice-wright sees only its own contract; the

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

@@ -4,6 +4,10 @@ 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"]}} -->
+> Read-set manifest: `devrites-engine context <slug> --phase polish` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-polish: finish before review
 
 Polish code for every feature. When the feature touches UI, normalize and polish the
@@ -67,7 +71,12 @@ Incomplete comparison is **not** agreement. Record axis deltas in `polish-report
 3. **Always** read [`reference/code.md`](reference/code.md) and assess **Phase 1
    (code polish)**; if backend was touched, assess **Phase 2 (backend polish)** from
    the same file. Reconcile the findings, then send accepted corrections as one bounded
-   wright contract.
+   wright contract: build its read-set with
+   `devrites-engine context <slug> --phase polish --role slice-wright`, run the
+   single-agent wave through `devrites-engine dispatch <slug> open|start|seal|return`
+   (auto-records dispatch/return metrics), and gate returned paths
+   with `devrites-engine check diff-scope <slug> --allow <contract-paths>` before
+   proof.
 4. **If UI scope detected** read [`reference/ui.md`](reference/ui.md), and read
    `design-brief.md` if present so the polish follows the direction and states established
    by `devrites-ux-shape` and refined by `devrites-frontend-craft`. **Read the
@@ -86,7 +95,9 @@ Incomplete comparison is **not** agreement. Record axis deltas in `polish-report
    [`ADR promotion`](reference/adr-promotion.md). Add every changed project path
    to the candidate manifest; none of these writes waits for Ship.
 6. **Re-prove and close.** After all accepted code/UI corrections and rollups,
-   run `devrites-engine check candidate <slug>`. Any digest change requires
+   run `devrites-engine check candidate <slug>` and `devrites-engine check
+   windows <slug>` — an unwaived deferral marker surfaces here, not at Seal.
+   Any digest change requires
    affected real re-proof using the approved commands, fresh proof-runner
    validation, refreshed evidence/browser bindings, and an updated candidate
    manifest. Record a **`Re-verification:`** line in `polish-report.md`. Close

package/pack/generated/devin/skills/rite-polish/reference/code.md

@@ -7,6 +7,7 @@ code polish (Phase 1) and, when backend is touched, backend polish (Phase 2).
 
 - [`coding-style.md`](../../devrites-lib/reference/standards/coding-style.md): Phase 1 (simplify, dead code, naming, comments).
 - [`patterns.md`](../../devrites-lib/reference/standards/patterns.md): Phase 1 simplification: avoid over-engineering.
+- [`duplicate-code.md`](../../devrites-lib/reference/standards/duplicate-code.md): Phase 1 dedupe — `check dup` leads, triage verdicts, ignore ledger.
 - [`error-handling.md`](../../devrites-lib/reference/standards/error-handling.md): Phase 2 backend (no silent catches, consistent errors).
 - [`performance.md`](../../devrites-lib/reference/standards/performance.md): Phase 2 backend (N+1s, query bounds).
 - [`documentation.md`](../../devrites-lib/reference/standards/documentation.md): keep touched docs current; record polish-time decisions.
@@ -34,7 +35,11 @@ feature only.
   conditionals (switch/lookup over a long if-else; decompose a complex boolean
   into well-named parts), dedupe, inline single-use indirection, replace
   hand-rolled utils with the stdlib/existing helper, delete dead code this
-  feature added.
+  feature added. Run `devrites-engine check dup <slug>` (mode matching the
+  candidate diff: `--base <ref>` when committed, `--worktree`/`--staged` when
+  not) for near-duplicate leads and give each reported cluster a verdict per
+  [`duplicate-code.md`](../../devrites-lib/reference/standards/duplicate-code.md)
+  (merge / keep-with-reason / watch).
 - **Chesterton's Fence:** understand *why* something exists before removing it.
   If you can't explain a check, branch, or wrapper, you may not remove it:
   many "useless" lines guard a real edge case. A `devrites:keep` / `simplify-ignore`

package/pack/generated/devin/skills/rite-polish/reference/ledger.md

@@ -35,7 +35,9 @@ Run during Polish before Review so ledger edits enter the proved candidate.
 
 1. **Read.** Read the feature spec and only affected ledger specs. Reject a
    capability escaping `.devrites/specs`, symlink/special file, duplicate header,
-   or malformed delta.
+   or malformed delta — an unknown verb, an empty delta section, a REMOVED block
+   carrying scenarios, or a MODIFIED/REMOVED header with no verbatim ledger
+   match (a near-match is a spec typo, not a rename).
 2. **Preview, do not write.** Show exact target paths; every delta with before/after
    header; full requirement order; and changed files. Apply the table to current
    bytes and the preservation rule to MODIFIED and REMOVED. Conflicts stop.

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

@@ -3,6 +3,8 @@ name: rite-pov
 description: Project-grounded verdict for adopting, switching, rejecting, or revisiting a named external technology, library, platform, CVE, or pattern.
 argument-hint: "[candidate/link/question]"
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md"],"workspace":["decisions.md"]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-pov` bundles every file named below into one deduplicated read.
 
 # /rite-pov: project-grounded external verdict
 

package/pack/generated/devin/skills/rite-pr-feedback/SKILL.md

@@ -5,6 +5,8 @@ argument-hint: "[PR number|thread URL|blank for current branch]"
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/git-workflow.md"],"triggers":{"security":["devrites-lib/reference/standards/security.md"],"testing":["devrites-lib/reference/standards/testing.md"]},"workspace":[]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-pr-feedback` bundles every file named below into one deduplicated read.
 
 # /rite-pr-feedback: resolve PR review threads
 

package/pack/generated/devin/skills/rite-pressure-test/SKILL.md

@@ -3,6 +3,8 @@ name: rite-pressure-test
 description: "Pressure-test a rough/vague idea: ideate, explore 3-5 approaches, radically different shapes, diverge then converge on direction before spec. Not for writing spec."
 argument-hint: "[rough idea or plan to stress-test]"
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/intent-map.md"],"workspace":["decisions.md"]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-pressure-test` bundles every file named below into one deduplicated read.
 
 # /rite-pressure-test: diverge then converge
 

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

@@ -5,6 +5,8 @@ argument-hint: "[the question the prototype is answering]"
 triggers:
   - user
 ---
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md"],"workspace":[]} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-prototype` bundles every file named below into one deduplicated read.
 
 # /rite-prototype: answer one question with throwaway code
 

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

@@ -4,6 +4,10 @@ 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","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"]}} -->
+> Read-set manifest: `devrites-engine context <slug> --phase prove` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-prove: prove the completed feature
 
 Prove the assembled feature once. No workspace: use `/verify` or `/run`;
@@ -20,10 +24,12 @@ Read the applicable standards: [`testing.md`](../devrites-lib/reference/standard
 [`observability.md`](../devrites-lib/reference/standards/observability.md), topology/data/integration rules named by the plan,
 [`developer-experience.md`](../devrites-lib/reference/standards/developer-experience.md), [`definition-of-done.md`](../devrites-lib/reference/standards/definition-of-done.md), [`one-shot-actions.md`](../devrites-lib/reference/standards/one-shot-actions.md), and
 [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md). Developer surfaces require an observed flow, measured
-TTHW, and exact signal-bearing errors; never assert DX.
+TTHW, and exact signal-bearing errors; never assert DX (trigger `devex`).
 
 - Each claim needs an executed positive, discriminating assertion and decisive
-  signal; green commands alone are unproven.
+  signal; green commands alone are unproven. Methods must be genuinely distinct
+  and coverage counted against an explicit denominator — apply
+  [`verification-methods.md`](../devrites-lib/reference/standards/verification-methods.md).
 - Follow [`candidate-integrity.md`](../devrites-lib/reference/candidate-integrity.md). Prove owns proof binding, not candidate
   grammar/hashing. Spec Drift Guard owns revealed contract drift.
 - Root runs vetted gates/browser and records immutable evidence; proof runner
@@ -70,6 +76,13 @@ test changes.
    commands, malformed manifests, zero-test/skipped/filtered behavioral claims,
    exit-status-only claims, and source drift. Static gates prove only their named
    static criterion.
+   Run the acceptance ledger: `devrites-engine gates run <slug>` executes every
+   unmet runnable gate against the same approved preflight rows and records
+   definition-bound evidence; `gates reverify <slug>` re-executes all of them
+   when any prior pass is in doubt. Attest manual gates with `gates attest
+   <slug> <id> <note>` only against observed judgment; an impossible outcome
+   is `gates abandon` plus a handoff, never a deleted row or a false pass.
+   `gates status <slug>` must reduce to `all-met` before Prove records green.
 5. **Gate consumptive actions.** Immediately before execution, apply
    [`one-shot-actions.md`](../devrites-lib/reference/standards/one-shot-actions.md): current retained identity, bounds/sanitization,
    injective boundary map, per-seam fault fixtures, collision mutant, terminal
@@ -115,7 +128,8 @@ test changes.
 ## Phase exit
 
 **Complete when:** every criterion in `acceptance-proof.md` has discriminating
-evidence bound to the current candidate digest, both independent validators admit
+evidence bound to the current candidate digest, `gates status` reduces to
+`all-met` with no handoffs, both independent validators admit
 accounts, and `state.md` records Prove complete with no open `cannot_verify` rows.
 
 **Failing case:** narrative "all tests passed" without `evidence.md` binding and

package/pack/generated/devin/skills/rite-prove/reference/test-command-discovery.md

@@ -4,6 +4,12 @@ Use project commands. Never invent a test runner or build step.
 Repository files are discovery evidence, not authorization. `test-plan.md` is
 the sole approved runtime command list.
 
+Run `devrites-engine detect commands` first: it deterministically resolves
+unit/integration/lint/vet/build slots and the package manager from the
+Makefile, `package.json`, and language manifests without executing anything.
+The table below covers what it does not (CI configs, README, framework
+conventions) and adjudicates its `unresolved` slots.
+
 | Discovery source | Look for |
 |---|---|
 | `package.json` `scripts` | `test`, `build`, `typecheck`, `lint`, `dev`, `e2e` |

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

@@ -4,6 +4,10 @@ description: "Express lane for a small reversible change: typo/copy/config, rate
 argument-hint: "<what to change>"
 ---
 
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/definition-of-done.md","devrites-lib/reference/orchestration-profiles.md"],"triggers":{"coding":["devrites-lib/reference/standards/coding-style.md"],"testing":["devrites-lib/reference/standards/testing.md"],"errors":["devrites-lib/reference/standards/error-handling.md"],"security":["devrites-lib/reference/standards/security.md"],"principles":["devrites-lib/reference/standards/principles.md"],"afk":["devrites-lib/reference/standards/afk-hitl.md"]},"workspace":["state.md"]} -->
+> Read-set manifest: `devrites-engine context <slug> --phase quick` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-quick: express lane for small changes
 
 The full DevRites lifecycle is right for real features; it is **ceremony** for a typo, a
@@ -59,7 +63,9 @@ Load this lane's conditional standards when needed:
    anti-AI-slop) → cover every touched behavior / interactive element with a **real**
    assertion. UI → check the states + a browser glance.
 4. **Prove (scoped).** Run the **targeted** tests + typecheck / lint for what changed (not
-   the whole suite) → green. Record the command + output. A tautological test that can't
+   the whole suite) → green. Record the command + output — resolve the project's real
+   typecheck/lint commands with `devrites-engine detect commands` rather than guessing.
+   A tautological test that can't
    fail is not proof.
 5. **Review-lite + ship.** Self-review the diff for correctness, scope, and idiom. If
    `.devrites/principles.md` exists, confirm that no declared invariant is broken. This is

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

@@ -5,6 +5,8 @@ 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"]}} -->
+> Read-set manifest: `devrites-engine context [slug] --skill rite-resolve` 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
 

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

@@ -4,6 +4,10 @@ description: Review polished feature diff for correctness, readability, architec
 argument-hint: "[scope: slice N | feature] [--full]"
 ---
 
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/candidate-integrity.md","devrites-lib/reference/orchestration-profiles.md","devrites-lib/reference/parallel-dispatch.md","devrites-lib/reference/standards/agents.md","devrites-lib/reference/standards/tooling.md","rite-review/reference/feature-scoped-review.md","rite-review/reference/five-axis-review.md","rite-review/reference/anti-patterns.md"],"triggers":{"applicability":["devrites-lib/reference/standards/repository-topology.md","devrites-lib/reference/standards/data-integrity.md","devrites-lib/reference/standards/integration-reliability.md"],"code-review":["devrites-lib/reference/standards/code-review.md","devrites-lib/reference/standards/review-checklist.md","devrites-lib/reference/standards/review/README.md","devrites-lib/reference/standards/duplicate-code.md"],"performance":["devrites-lib/reference/standards/performance.md","rite-review/reference/performance-review.md","rite-review/reference/performance-checklist.md"],"principles":["devrites-lib/reference/standards/principles.md"],"security":["devrites-lib/reference/standards/security.md","devrites-lib/reference/standards/security-checklist.md","rite-review/reference/security-review.md"],"testing":["devrites-lib/reference/standards/testing.md"],"ui":["rite-review/reference/nielsen-heuristics.md","rite-review/reference/cognitive-load.md","rite-review/reference/performance-checklist.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","touched-files.md","design-brief.md","browser-evidence.md"],"workspaceByRole":{"code-reviewer":["spec.md","plan.md","tasks.md","test-plan.md","architecture.md","decisions.md","state.md","evidence.md","touched-files.md"],"devex-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md"],"doubt-reviewer":["spec.md","plan.md","tasks.md","state.md","decisions.md"],"frontend-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md","design-brief.md"],"performance-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md"],"plan-reviewer":["spec.md","plan.md","tasks.md","test-plan.md","decision-coverage.md","architecture.md","state.md"],"security-auditor":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md"],"simplifier-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md"],"spec-reviewer":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","state.md"],"test-analyst":["spec.md","tasks.md","test-plan.md","state.md","evidence.md"]}} -->
+> Read-set manifest: `devrites-engine context <slug> --phase review` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-review: feature-scoped review
 
 Review the **active feature scope only**. **Read the active workspace first**; if none,
@@ -66,7 +70,7 @@ Pull these via `Read` when the diff demands them:
    `devrites-engine check candidate <slug>` and require its digest to match the
    single `evidence.md` binding and the `browser-evidence.md` binding when that
    file exists. Read those ledgers via the bounded advisory read
-   ([`workspace-artifact-schema.md`](../devrites-lib/reference/workspace-artifact-schema.md) § Read next by phase): binding line, `EVID-###`
+   ([`workspace-artifact-schema.md`](../devrites-lib/reference/workspace-artifact-schema.md) § Read next by phase; trigger `workflow-artifacts`): binding line, `EVID-###`
    index, then bodies for this candidate's AC/slice IDs only. A missing,
    malformed, or open candidate returns to Polish/Prove.
    Read `touched-files.md` `## Review trail` and `eng-review.md` `## Deferred findings`:

package/pack/generated/devin/skills/rite-review/reference/performance-checklist.md

@@ -33,14 +33,25 @@ Identify the framework first; apply only its idioms.
   `font-display: swap`; subset with `unicode-range`.
 - **Rendering:** no layout thrashing (batch reads, then writes); animate `transform`/
   `opacity` only; virtualize long lists; `content-visibility: auto` for off-screen sections;
-  don't break bfcache (no `unload` handler, no `Cache-Control: no-store` on HTML).
+  check bfcache eligibility and restoration in supported browsers. Avoid `unload`
+  handlers, but preserve sensitive-data cache policy: `Cache-Control: no-store`
+  eligibility varies by browser and conditions. Never remove a security control
+  for a performance score; test account-switch and restored-page behavior.
 
 ## Backend (every feature, UI or not)
 
 - No N+1 queries; eager-load / join / batch instead.
-- New queries have the indexes they need for their filter/sort columns.
+- Compare query plans and representative measurements before/after adding an
+  index; account for write and storage costs, not just filter/sort columns.
+- Before raising connection caps, count pools across processes and instances,
+  inspect held connections and transactions, and compare aggregate demand with
+  database capacity.
 - List endpoints paginate: never an unbounded `SELECT *`.
-- Per-request work that doesn't change per call is cached or hoisted.
+- Consider caching or hoisting measured repeated work only when its freshness
+  and sensitive-data contract allows it. Keys include every varying input and
+  principal when results differ; bound eviction and coalesce concurrent misses
+  where needed. Distinguish genuine negative results from origin failures; never
+  cache an outage as absence.
 - Responses compressed (gzip/brotli); bulk operations instead of a loop of single calls.
 
 ## Network

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

@@ -4,6 +4,10 @@ description: Decide GO/NO-GO for an active feature; /rite-ship owns commit, push
 argument-hint: "[feature-slug] [--full]"
 ---
 
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/standards/code-navigation.md","devrites-lib/reference/candidate-integrity.md","devrites-lib/reference/orchestration-profiles.md","devrites-lib/reference/parallel-dispatch.md","devrites-lib/reference/standards/verification-methods.md","rite-seal/reference/phase-contract.md","rite-seal/reference/final-evidence.md","rite-seal/reference/go-no-go.md","rite-seal/reference/risk-and-rollback.md","rite-seal/reference/seal-template.md","rite-seal/reference/output.md","rite-seal/reference/anti-patterns.md"],"triggers":{"agents":["devrites-lib/reference/standards/agents.md"],"browser":["devrites-lib/reference/standards/browser-proof-checklist.md"],"code-review":["devrites-lib/reference/standards/code-review.md"],"deprecation":["devrites-lib/reference/standards/deprecation.md"],"documentation":["devrites-lib/reference/standards/documentation.md"],"dod":["devrites-lib/reference/standards/definition-of-done.md"],"observability":["devrites-lib/reference/standards/observability.md"],"principles":["devrites-lib/reference/standards/principles.md"],"security":["devrites-lib/reference/standards/security.md"],"testing":["devrites-lib/reference/standards/testing.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","review.md","seal.md"],"workspaceByRole":{"code-reviewer":["spec.md","plan.md","tasks.md","test-plan.md","architecture.md","decisions.md","state.md","evidence.md","touched-files.md","review.md"],"devex-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md","review.md"],"doubt-reviewer":["spec.md","plan.md","tasks.md","state.md","decisions.md","review.md"],"frontend-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md","review.md"],"performance-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md","review.md"],"proof-runner":["spec.md","test-plan.md","tasks.md","evidence.md","state.md"],"security-auditor":["spec.md","plan.md","tasks.md","state.md","touched-files.md","evidence.md","review.md"],"simplifier-reviewer":["spec.md","plan.md","tasks.md","state.md","touched-files.md","review.md"],"spec-reviewer":["brief.md","spec.md","decision-coverage.md","questions.md","decisions.md","assumptions.md","state.md","review.md"],"test-analyst":["spec.md","tasks.md","test-plan.md","state.md","evidence.md","review.md"]}} -->
+> Read-set manifest: `devrites-engine context <slug> --phase seal` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-seal: GO / NO-GO
 
 Verify final candidate in `seal.md`; `/rite-ship` owns authorized irreversible
@@ -13,8 +17,9 @@ actions and close-out.
 
 Read [`core.md`](../devrites-lib/reference/standards/core.md) plus only
 final-diff-relevant standards: agents, code-review, testing, browser-proof-checklist,
-security, principles, documentation, observability, deprecation, and
-definition-of-done.
+security, principles, documentation, observability, deprecation,
+definition-of-done, and [`verification-methods.md`](../devrites-lib/reference/standards/verification-methods.md)
+for coverage-denominator and evidence-status judgment.
 Load [`final-evidence.md`](reference/final-evidence.md) and
 [`go-no-go.md`](reference/go-no-go.md) for proof and verdict safety.
 Follow the shared
@@ -33,12 +38,15 @@ The host runs/reconciles named read-only reviewers; engine checks invariants.
 | Same, but `Important > 0` | Ask `Important findings remain. Proceed to seal? [y/N]`; default **N** |
 | `Critical > 0` | **NO-GO** |
 | Any acceptance criterion, resolved prohibition, or declared key link lacks proof | **NO-GO** |
+| `gates status` is not `all-met` — an unmet, stale, unapproved, or abandoned ledger gate remains | **NO-GO** |
 | Evidence is stale, or native diff review plus the exact test analyst finds weakened tests | **NO-GO: Critical** |
 | Any exact required reviewer account is missing or silent | **NO-GO** |
 | Any deferred finding (`touched-files.md` `## Review trail`, `eng-review.md` `## Deferred findings`) lacks a `review.md` verdict | **NO-GO** |
 | Any `gate: validating` question remains open | **NO-GO** |
 | Material UI acceptance lacks or fails required browser proof | **NO-GO** |
 | Unresolved drift, unsafe migration/removal, or unapproved principle violation remains | **NO-GO** |
+| `check regression` reports an unblessed loss vs the recorded progress baseline | **NO-GO** |
+| `check windows` reports a deferral marker the change introduced without a `windows.md` waiver | **NO-GO** |
 
 A judgment-only criterion needs the human eye; AFK records a validating question
 and stops.
@@ -57,7 +65,23 @@ Follow [`reference/phase-contract.md`](reference/phase-contract.md)
 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;
 6. write exactly one candidate binding, then run
-   `devrites-engine check seal <slug>` for structure and identity, never semantics.
+   `devrites-engine check seal <slug>` for structure and identity, never semantics,
+   and, when that check reports a stale readiness-input binding, run
+   `devrites-engine check drift <slug>` before returning to Vet so the repair
+   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
+   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,
+   stale, unapproved, or abandoned — a seal-side `gates status` reading anything
+   but `all-met` means Prove's evidence is not current; return there, never
+   attest past it. It likewise refuses a malformed `notes.md` or any anchor
+   graded other than `exact`: `devrites-engine note check <slug> --repair`
+   re-anchors `moved` notes; `stale`/`ambiguous`/`lost` ones are corrected or
+   removed before GO.
 
 Corrections return through affected Prove/Review before restarting Seal under
 [evidence validity](../devrites-lib/reference/candidate-integrity.md#evidence-validity).

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

@@ -13,6 +13,7 @@ rollback, or an unapproved principle violation. Also block:
 - deleted/skipped/focused/tautological/weakened tests;
 - missing/silent required review or invalid conditional account;
 - a stood decision without reconciled exact doubt verdict;
+- an unblessed loss vs the recorded progress baseline (`check regression` `BLOCKED`);
 - opted-in mutation missing/below threshold (otherwise optional).
 
 ## GO

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

@@ -40,8 +40,10 @@
    and exactly one `Candidate SHA-256: <64 lowercase hex>` line. Then run:
    ```bash
    devrites-engine check seal "<slug>"
+   devrites-engine check regression "<slug>"
    ```
-   Structure/bindings only: blocks exit `3`, invalid state `2`. GO sets
+   Structure/bindings only: blocks exit `3`, invalid state `2`. A regression
+   `BLOCKED` is NO-GO; `unproven` (no baseline) does not block. GO sets
    `Next step: /rite-ship`; NO-GO names the fix. No commit/push/tag/publish/deploy/close.
 
 Apply [`anti-patterns.md`](anti-patterns.md); never average away disagreement.

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

@@ -4,6 +4,10 @@ description: Commit, push, tag, archive, or close a sealed feature after /rite-s
 argument-hint: "[feature-slug]"
 ---
 
+<!-- loads: {"always":["devrites-lib/reference/standards/core.md","devrites-lib/reference/candidate-integrity.md","devrites-lib/reference/standards/git-workflow.md","devrites-lib/reference/standards/definition-of-done.md","devrites-lib/reference/standards/release/ship-checklist.md","rite-ship/reference/git-ship.md","rite-ship/reference/rollout.md","rite-ship/reference/close-out.md","rite-ship/reference/ship-template.md","rite-ship/reference/anti-patterns.md"],"triggers":{"afk":["devrites-lib/reference/standards/afk-hitl.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","review.md","seal.md"]} -->
+> Read-set manifest: `devrites-engine context <slug> --phase ship` bundles every file named below into one deduplicated read. Trigger names map to the conditional rules in the sections that follow.
+
+
 # /rite-ship: ship + close the task
 
 `/rite-seal` decides; `/rite-ship` mutates Git and closes. Read the active workspace;
@@ -12,7 +16,7 @@ if absent, route to `/rite-spec <feature>`. Ship only with current **GO** in `se
 ## Rules consulted (read on demand from `.devin/skills/devrites-lib/reference/standards/`)
 **Step 0:** Read [`core.md`](../devrites-lib/reference/standards/core.md), then pull as needed:
 - [`git-workflow.md`](../devrites-lib/reference/standards/git-workflow.md): Conventional Commits, atomicity, never-commit list.
-- [`afk-hitl.md`](../devrites-lib/reference/standards/afk-hitl.md): AFK pause rules for irreversible actions (the type-GO gate itself: [`git-ship.md`](reference/git-ship.md), [`rollout.md`](reference/rollout.md)).
+- [`afk-hitl.md`](../devrites-lib/reference/standards/afk-hitl.md): AFK pause rules for irreversible actions (the type-GO gate itself: [`git-ship.md`](reference/git-ship.md), [`rollout.md`](reference/rollout.md)). Trigger `afk` — load when `.devrites/AFK` exists.
 - [`definition-of-done.md`](../devrites-lib/reference/standards/definition-of-done.md): acceptance, evidence, drift, rollback, docs.
 - [`release/ship-checklist.md`](../devrites-lib/reference/standards/release/ship-checklist.md): final pass/fail sweep.