devrites 6.2.0 → 6.4.0

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

@@ -98,7 +98,7 @@ Each required reviewer/analyst/auditor starts with exactly one:
 ```text
 Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
-Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 ```
 
@@ -108,6 +108,13 @@ Basis: <files read · commands run to reach this finding>
   A Critical/Important row carries `conf <n>` in its severity cell and writes impact
   as `when <input/state/sequence> → <effect>`; missing either, root admits it as
   `Unverified: <claim> — missing trigger` (stays `gap`).
+- **Proportionality:** a Critical/Important row's `breaks` quotes the line it violates:
+  a spec ID (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`) or a shipped standard rule
+  (`<standard>.md § <section>`: security, regression, principles). Root anchors the
+  quote like the `file:line` quote. No anchor, or one the defect does not break,
+  admits the row as Suggestion logged `Deferred: <claim> — no spec anchor` for an
+  optional follow-up slice; it never drives a repair round. Hardening no spec line
+  asks for is a Suggestion, however plausible.
 - **`no-findings`:** `No-findings:` names checks and inspected evidence. Bare
   pass, empty list, or “looks good” is malformed.
 - **`gap`:** names missing/unreadable/stale input; skipped/failed required check;

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

@@ -112,6 +112,10 @@ armed AFK workspace whose exact scope, gates, and budgets permit it.
   run `devrites-engine check drift <slug>` before re-vetting: it names the
   exact input artifact that changed (or `missing`/`added`) since the recorded
   baseline, so the Spec Drift Guard or `$rite-vet` starts at the right file.
+- `check drift` and `check slice` print `ADVISORY proportion:` when a slice's proof
+  grew over 2x since the Vet baseline or carries over 3x the median proof per AC.
+  Repair by moving rows without a `Proves` spec line to `Deferred hardening`
+  ([agents.md](agents.md) § Result admission, Proportionality), not by adding proof.
 - Native notifications fire only after evidence and stop state are written.
 
 Use [`afk-hitl.md`](afk-hitl.md) for unattended authority and resource budgets,

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

@@ -68,7 +68,7 @@ Workspace files carry state; chat does not. Read and execute each phase skill:
 | 4 | `$rite-define` | approved plan/tasks/traceability |
 | 5 | `$rite-vet` | every plan; derive mutable budget after READY |
 | 6 | `$rite-build` batch loop | largest eligible path-disjoint set (cap: this invocation's `--parallel N`, else sentinel `max_parallel`, else 10; one-slice round when <2 eligible); refill per landing; charge once per landed slice |
-| 7 | `$rite-prove` | all slices built; approved proof; recovery on red |
+| 7 | `$rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
 | 8 | `$rite-polish` | re-prove after code edits |
 | 9 | `$rite-review` | in-scope correction then fresh proof |
 | 10 | `$rite-seal` | GO/NO-GO; no Git |

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

@@ -110,7 +110,8 @@ or canonical transaction, return inspection, independent code/doubt/test analysi
 approved fail-on-red proof, record, AFK accounting, and stop. Use
 [`reference/output.md`](reference/output.md) plus the shared
 [`reply contract`](../devrites-lib/reference/reply-contract.md). HITL never starts
-the next slice automatically; AFK obeys remaining budget; Prove requires all slices built.
+the next slice automatically; AFK obeys remaining budget; Prove requires every slice built except a
+[deferred slice](../rite-plan/reference/slicing.md#deferred-slice).
 
 ## Phase exit
 

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

@@ -131,7 +131,9 @@ Pull these via `Read` when shaping the plan:
    expand this into repository-wide coverage.
 4. **Map coverage and wiring:** every `AC-###` spec acceptance criterion maps to ≥1 `SLICE-###`
    ([`acceptance-criteria.md`](../rite-spec/reference/acceptance-criteria.md)); no orphaned criteria, no slice without a
-   criterion. Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
+   criterion except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Every proof row quotes the spec line it proves (`Proves`); proof that proves
+   none goes to `test-plan.md` `## Deferred hardening`, never into a slice
+   ([artifacts.md](../rite-vet/reference/artifacts.md)). Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
    rows into `traceability.md` and `test-plan.md`; unresolved rows get a gate/owner. Each
    `Existing behavior to preserve` row becomes a regression row whose current evidence is
    observed green on the unchanged baseline as a prerequisite of the first slice touching that

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

@@ -173,3 +173,10 @@ Slices sharing a file never build side by side: put a hub file's shared edit
 (registry, command table, test harness) in one seam slice the others depend on.
 `check task-graph` prints the `schedule:` and `ADVISORY hub:` lines; inseparable
 writes get `Serial rationale: <why>`. Never merge slices or drop acceptance to widen it.
+
+## Deferred slice
+A slice with `Satisfies: none` is an optional follow-up: plan-invented hardening or
+owner-moved scope kept with its preserved source and contracts. It carries no acceptance
+(every AC still maps to a required slice), is never dispatched (`check slice` refuses
+it), and never counts toward "all slices built", Prove, or Seal. The owner elects it
+later through a plan change that gives it an AC.

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

@@ -64,7 +64,7 @@ test changes.
    and no-progress corrections before accepting terminal none; a distinct
    fingerprint below cap resumes offline triage without another real action.
 2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
-   every slice built. Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
+   every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
    caller) and resumes here; it never authorizes ad hoc proof.
 3. **Approve commands.** If absent, use
    [test-command-discovery](reference/test-command-discovery.md) over repository

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

@@ -209,7 +209,9 @@ plan declares a root-authored executable workflow file, read
    `devrites-engine check readiness --emit-binding <slug>`; normal readiness check
    must pass. Record the per-input drift baseline alongside it:
    `devrites-engine check drift <slug> --record` — a later stale binding then
-   names the exact artifact that moved instead of "something changed". Technical failure records reproduction, not qid. Human gap awaits
+   names the exact artifact that moved instead of "something changed". An `ADVISORY
+   proportion:` line names a slice whose proof outgrew its ACs: move its rows without a
+   `Proves` spec line to `Deferred hardening` before READY, never deepen them. Technical failure records reproduction, not qid. Human gap awaits
    Clarify. Optional cross-model follows `reference/cross-model.md` (trigger `cross-model`).
 
    With READY, no pending remediation, and a valid technical return cursor,

package/pack/generated/codex/skills/rite-vet/reference/artifacts.md

@@ -128,9 +128,21 @@ prove only their named static criterion.
 <the ASCII code-paths + user-flows diagram from review-axes.md, with COVERAGE / GAPS / REGRESSIONS line>
 
 ## Per-gap test requirements
-| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority |
-|---|---|---|---|---|---|---|
-| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** |
+| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority | Proves |
+|---|---|---|---|---|---|---|---|
+| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** | <AC/REQ/INV/PROH/DEC/EDGE ID or standard § + quoted line> |
+
+Every row's `Proves` quotes the spec line or standard rule it proves. A row that proves
+none is plan-invented hardening: move it to `Deferred hardening`.
+
+## Deferred hardening
+| ID | Hardening | Why no spec line needs it | Promote by |
+|---|---|---|---|
+| D1 | <proof or mechanism> | <reason> | <the spec line an owner would add> |
+
+Deferred rows, like a [deferred slice](../../rite-plan/reference/slicing.md#deferred-slice),
+are not built, proven, or gating in this feature; this table is their follow-up record.
+Nothing is deleted.
 
 ## Interaction inventory (UI slices — every element + flow gets an asserting test)
 Enumerate every interactive element and user flow the feature exposes; one row each, none

package/pack/generated/devin/agents/devrites-code-reviewer.md

@@ -163,7 +163,7 @@ Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Coverage: <files read fully | hunk-level | skipped: name — reason>
-Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 Contract: <applicable | not-applicable> — <basis: both sides read · crossing test>
 Tests: <adequate? gaps>

package/pack/generated/devin/agents/devrites-plan-drafter.md

@@ -26,7 +26,9 @@ seams supplied by the orchestrator.
 Reuse existing seams and dependencies before proposing new ones. Build vertical
 slices in dependency order; put a hub file's shared edit in one seam slice
 ([slicing.md](../skills/rite-plan/reference/slicing.md#slice-independence)). Map every REQ and AC to a slice and executable proof,
-name rollback and failure paths; keep acceptance-changing proposals separate. Durable
+name rollback and failure paths; keep acceptance-changing proposals separate. Each proof
+row quotes the spec line or standard rule it proves (`Proves`); proof that proves none
+goes to `test-plan.md` `## Deferred hardening`, never into a slice. Durable
 proof commands must be portable repository commands, never host-local wrappers,
 user-specific absolute paths, or temporary proof trees.
 Reconcile `spec.md`'s applicability map against live evidence. When triggered, apply

package/pack/generated/devin/agents/devrites-plan-reviewer.md

@@ -120,7 +120,10 @@ criterion, slice, or proof.
   `convergence_pressure` eligibility mechanical. Tag every Critical/Important
   `kind: contract` (an implementer could build it differently and still pass the
   planned tests) or `kind: mechanism` (a named test can discriminate the wrong
-  implementation; propose that case as the fix, not new plan prose).
+  implementation; propose that case as the fix, not new plan prose). Each
+  Critical/Important also quotes the spec line (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`)
+  or standard rule it breaks; hardening no spec line asks for is a Suggestion
+  ([agents.md](../skills/devrites-lib/reference/standards/agents.md) § Result admission, Proportionality).
 - In a recheck, your verdict covers the listed fingerprints, the correction diff, and
   the dependents of each changed clause. Return an explicit correction-created
   regression verdict over the touched invariants and those dependents as

package/pack/generated/devin/skills/devrites-lib/reference/standards/agents.md

@@ -98,7 +98,7 @@ Each required reviewer/analyst/auditor starts with exactly one:
 ```text
 Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
-Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 ```
 
@@ -108,6 +108,13 @@ Basis: <files read · commands run to reach this finding>
   A Critical/Important row carries `conf <n>` in its severity cell and writes impact
   as `when <input/state/sequence> → <effect>`; missing either, root admits it as
   `Unverified: <claim> — missing trigger` (stays `gap`).
+- **Proportionality:** a Critical/Important row's `breaks` quotes the line it violates:
+  a spec ID (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`) or a shipped standard rule
+  (`<standard>.md § <section>`: security, regression, principles). Root anchors the
+  quote like the `file:line` quote. No anchor, or one the defect does not break,
+  admits the row as Suggestion logged `Deferred: <claim> — no spec anchor` for an
+  optional follow-up slice; it never drives a repair round. Hardening no spec line
+  asks for is a Suggestion, however plausible.
 - **`no-findings`:** `No-findings:` names checks and inspected evidence. Bare
   pass, empty list, or “looks good” is malformed.
 - **`gap`:** names missing/unreadable/stale input; skipped/failed required check;

package/pack/generated/devin/skills/devrites-lib/reference/standards/loop-operations.md

@@ -112,6 +112,10 @@ armed AFK workspace whose exact scope, gates, and budgets permit it.
   run `devrites-engine check drift <slug>` before re-vetting: it names the
   exact input artifact that changed (or `missing`/`added`) since the recorded
   baseline, so the Spec Drift Guard or `/rite-vet` starts at the right file.
+- `check drift` and `check slice` print `ADVISORY proportion:` when a slice's proof
+  grew over 2x since the Vet baseline or carries over 3x the median proof per AC.
+  Repair by moving rows without a `Proves` spec line to `Deferred hardening`
+  ([agents.md](agents.md) § Result admission, Proportionality), not by adding proof.
 - Native notifications fire only after evidence and stop state are written.
 
 Use [`afk-hitl.md`](afk-hitl.md) for unattended authority and resource budgets,

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

@@ -68,7 +68,7 @@ Workspace files carry state; chat does not. Read and execute each phase skill:
 | 4 | `/rite-define` | approved plan/tasks/traceability |
 | 5 | `/rite-vet` | every plan; derive mutable budget after READY |
 | 6 | `/rite-build` batch loop | largest eligible path-disjoint set (cap: this invocation's `--parallel N`, else sentinel `max_parallel`, else 10; one-slice round when <2 eligible); refill per landing; charge once per landed slice |
-| 7 | `/rite-prove` | all slices built; approved proof; recovery on red |
+| 7 | `/rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
 | 8 | `/rite-polish` | re-prove after code edits |
 | 9 | `/rite-review` | in-scope correction then fresh proof |
 | 10 | `/rite-seal` | GO/NO-GO; no Git |

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

@@ -109,7 +109,8 @@ or canonical transaction, return inspection, independent code/doubt/test analysi
 approved fail-on-red proof, record, AFK accounting, and stop. Use
 [`reference/output.md`](reference/output.md) plus the shared
 [`reply contract`](../devrites-lib/reference/reply-contract.md). HITL never starts
-the next slice automatically; AFK obeys remaining budget; Prove requires all slices built.
+the next slice automatically; AFK obeys remaining budget; Prove requires every slice built except a
+[deferred slice](../rite-plan/reference/slicing.md#deferred-slice).
 
 ## Phase exit
 

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

@@ -130,7 +130,9 @@ Pull these via `Read` when shaping the plan:
    expand this into repository-wide coverage.
 4. **Map coverage and wiring:** every `AC-###` spec acceptance criterion maps to ≥1 `SLICE-###`
    ([`acceptance-criteria.md`](../rite-spec/reference/acceptance-criteria.md)); no orphaned criteria, no slice without a
-   criterion. Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
+   criterion except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Every proof row quotes the spec line it proves (`Proves`); proof that proves
+   none goes to `test-plan.md` `## Deferred hardening`, never into a slice
+   ([artifacts.md](../rite-vet/reference/artifacts.md)). Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
    rows into `traceability.md` and `test-plan.md`; unresolved rows get a gate/owner. Each
    `Existing behavior to preserve` row becomes a regression row whose current evidence is
    observed green on the unchanged baseline as a prerequisite of the first slice touching that

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

@@ -173,3 +173,10 @@ Slices sharing a file never build side by side: put a hub file's shared edit
 (registry, command table, test harness) in one seam slice the others depend on.
 `check task-graph` prints the `schedule:` and `ADVISORY hub:` lines; inseparable
 writes get `Serial rationale: <why>`. Never merge slices or drop acceptance to widen it.
+
+## Deferred slice
+A slice with `Satisfies: none` is an optional follow-up: plan-invented hardening or
+owner-moved scope kept with its preserved source and contracts. It carries no acceptance
+(every AC still maps to a required slice), is never dispatched (`check slice` refuses
+it), and never counts toward "all slices built", Prove, or Seal. The owner elects it
+later through a plan change that gives it an AC.

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

@@ -63,7 +63,7 @@ test changes.
    and no-progress corrections before accepting terminal none; a distinct
    fingerprint below cap resumes offline triage without another real action.
 2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
-   every slice built. Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
+   every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
    caller) and resumes here; it never authorizes ad hoc proof.
 3. **Approve commands.** If absent, use
    [test-command-discovery](reference/test-command-discovery.md) over repository

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

@@ -208,7 +208,9 @@ plan declares a root-authored executable workflow file, read
    `devrites-engine check readiness --emit-binding <slug>`; normal readiness check
    must pass. Record the per-input drift baseline alongside it:
    `devrites-engine check drift <slug> --record` — a later stale binding then
-   names the exact artifact that moved instead of "something changed". Technical failure records reproduction, not qid. Human gap awaits
+   names the exact artifact that moved instead of "something changed". An `ADVISORY
+   proportion:` line names a slice whose proof outgrew its ACs: move its rows without a
+   `Proves` spec line to `Deferred hardening` before READY, never deepen them. Technical failure records reproduction, not qid. Human gap awaits
    Clarify. Optional cross-model follows `reference/cross-model.md` (trigger `cross-model`).
 
    With READY, no pending remediation, and a valid technical return cursor,

package/pack/generated/devin/skills/rite-vet/reference/artifacts.md

@@ -128,9 +128,21 @@ prove only their named static criterion.
 <the ASCII code-paths + user-flows diagram from review-axes.md, with COVERAGE / GAPS / REGRESSIONS line>
 
 ## Per-gap test requirements
-| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority |
-|---|---|---|---|---|---|---|
-| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** |
+| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority | Proves |
+|---|---|---|---|---|---|---|---|
+| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** | <AC/REQ/INV/PROH/DEC/EDGE ID or standard § + quoted line> |
+
+Every row's `Proves` quotes the spec line or standard rule it proves. A row that proves
+none is plan-invented hardening: move it to `Deferred hardening`.
+
+## Deferred hardening
+| ID | Hardening | Why no spec line needs it | Promote by |
+|---|---|---|---|
+| D1 | <proof or mechanism> | <reason> | <the spec line an owner would add> |
+
+Deferred rows, like a [deferred slice](../../rite-plan/reference/slicing.md#deferred-slice),
+are not built, proven, or gating in this feature; this table is their follow-up record.
+Nothing is deleted.
 
 ## Interaction inventory (UI slices — every element + flow gets an asserting test)
 Enumerate every interactive element and user flow the feature exposes; one row each, none

package/pack/generated/omp/agents/devrites-code-reviewer.md

@@ -159,7 +159,7 @@ Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Coverage: <files read fully | hunk-level | skipped: name — reason>
-Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 Contract: <applicable | not-applicable> — <basis: both sides read · crossing test>
 Tests: <adequate? gaps>

package/pack/generated/omp/agents/devrites-plan-drafter.md

@@ -22,7 +22,9 @@ seams supplied by the orchestrator.
 Reuse existing seams and dependencies before proposing new ones. Build vertical
 slices in dependency order; put a hub file's shared edit in one seam slice
 ([slicing.md](skill://rite-plan/reference/slicing.md#slice-independence)). Map every REQ and AC to a slice and executable proof,
-name rollback and failure paths; keep acceptance-changing proposals separate. Durable
+name rollback and failure paths; keep acceptance-changing proposals separate. Each proof
+row quotes the spec line or standard rule it proves (`Proves`); proof that proves none
+goes to `test-plan.md` `## Deferred hardening`, never into a slice. Durable
 proof commands must be portable repository commands, never host-local wrappers,
 user-specific absolute paths, or temporary proof trees.
 Reconcile `spec.md`'s applicability map against live evidence. When triggered, apply

package/pack/generated/omp/agents/devrites-plan-reviewer.md

@@ -117,7 +117,10 @@ criterion, slice, or proof.
   `convergence_pressure` eligibility mechanical. Tag every Critical/Important
   `kind: contract` (an implementer could build it differently and still pass the
   planned tests) or `kind: mechanism` (a named test can discriminate the wrong
-  implementation; propose that case as the fix, not new plan prose).
+  implementation; propose that case as the fix, not new plan prose). Each
+  Critical/Important also quotes the spec line (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`)
+  or standard rule it breaks; hardening no spec line asks for is a Suggestion
+  ([agents.md](skill://devrites-lib/reference/standards/agents.md) § Result admission, Proportionality).
 - In a recheck, your verdict covers the listed fingerprints, the correction diff, and
   the dependents of each changed clause. Return an explicit correction-created
   regression verdict over the touched invariants and those dependents as

package/pack/generated/omp/skills/devrites-lib/reference/standards/agents.md

@@ -98,7 +98,7 @@ Each required reviewer/analyst/auditor starts with exactly one:
 ```text
 Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
-Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 ```
 
@@ -108,6 +108,13 @@ Basis: <files read · commands run to reach this finding>
   A Critical/Important row carries `conf <n>` in its severity cell and writes impact
   as `when <input/state/sequence> → <effect>`; missing either, root admits it as
   `Unverified: <claim> — missing trigger` (stays `gap`).
+- **Proportionality:** a Critical/Important row's `breaks` quotes the line it violates:
+  a spec ID (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`) or a shipped standard rule
+  (`<standard>.md § <section>`: security, regression, principles). Root anchors the
+  quote like the `file:line` quote. No anchor, or one the defect does not break,
+  admits the row as Suggestion logged `Deferred: <claim> — no spec anchor` for an
+  optional follow-up slice; it never drives a repair round. Hardening no spec line
+  asks for is a Suggestion, however plausible.
 - **`no-findings`:** `No-findings:` names checks and inspected evidence. Bare
   pass, empty list, or “looks good” is malformed.
 - **`gap`:** names missing/unreadable/stale input; skipped/failed required check;

package/pack/generated/omp/skills/devrites-lib/reference/standards/loop-operations.md

@@ -112,6 +112,10 @@ armed AFK workspace whose exact scope, gates, and budgets permit it.
   run `devrites-engine check drift <slug>` before re-vetting: it names the
   exact input artifact that changed (or `missing`/`added`) since the recorded
   baseline, so the Spec Drift Guard or `/rite-vet` starts at the right file.
+- `check drift` and `check slice` print `ADVISORY proportion:` when a slice's proof
+  grew over 2x since the Vet baseline or carries over 3x the median proof per AC.
+  Repair by moving rows without a `Proves` spec line to `Deferred hardening`
+  ([agents.md](agents.md) § Result admission, Proportionality), not by adding proof.
 - Native notifications fire only after evidence and stop state are written.
 
 Use [`afk-hitl.md`](afk-hitl.md) for unattended authority and resource budgets,

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

@@ -68,7 +68,7 @@ Workspace files carry state; chat does not. Read and execute each phase skill:
 | 4 | `/rite-define` | approved plan/tasks/traceability |
 | 5 | `/rite-vet` | every plan; derive mutable budget after READY |
 | 6 | `/rite-build` batch loop | largest eligible path-disjoint set (cap: this invocation's `--parallel N`, else sentinel `max_parallel`, else 10; one-slice round when <2 eligible); refill per landing; charge once per landed slice |
-| 7 | `/rite-prove` | all slices built; approved proof; recovery on red |
+| 7 | `/rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
 | 8 | `/rite-polish` | re-prove after code edits |
 | 9 | `/rite-review` | in-scope correction then fresh proof |
 | 10 | `/rite-seal` | GO/NO-GO; no Git |

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

@@ -110,7 +110,8 @@ or canonical transaction, return inspection, independent code/doubt/test analysi
 approved fail-on-red proof, record, AFK accounting, and stop. Use
 [`reference/output.md`](reference/output.md) plus the shared
 [`reply contract`](skill://devrites-lib/reference/reply-contract.md). HITL never starts
-the next slice automatically; AFK obeys remaining budget; Prove requires all slices built.
+the next slice automatically; AFK obeys remaining budget; Prove requires every slice built except a
+[deferred slice](skill://rite-plan/reference/slicing.md#deferred-slice).
 
 ## Phase exit
 

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

@@ -131,7 +131,9 @@ Pull these via `Read` when shaping the plan:
    expand this into repository-wide coverage.
 4. **Map coverage and wiring:** every `AC-###` spec acceptance criterion maps to ≥1 `SLICE-###`
    ([`acceptance-criteria.md`](skill://rite-spec/reference/acceptance-criteria.md)); no orphaned criteria, no slice without a
-   criterion. Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
+   criterion except a [deferred slice](skill://rite-plan/reference/slicing.md#deferred-slice). Every proof row quotes the spec line it proves (`Proves`); proof that proves
+   none goes to `test-plan.md` `## Deferred hardening`, never into a slice
+   ([artifacts.md](skill://rite-vet/reference/artifacts.md)). Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
    rows into `traceability.md` and `test-plan.md`; unresolved rows get a gate/owner. Each
    `Existing behavior to preserve` row becomes a regression row whose current evidence is
    observed green on the unchanged baseline as a prerequisite of the first slice touching that

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

@@ -173,3 +173,10 @@ Slices sharing a file never build side by side: put a hub file's shared edit
 (registry, command table, test harness) in one seam slice the others depend on.
 `check task-graph` prints the `schedule:` and `ADVISORY hub:` lines; inseparable
 writes get `Serial rationale: <why>`. Never merge slices or drop acceptance to widen it.
+
+## Deferred slice
+A slice with `Satisfies: none` is an optional follow-up: plan-invented hardening or
+owner-moved scope kept with its preserved source and contracts. It carries no acceptance
+(every AC still maps to a required slice), is never dispatched (`check slice` refuses
+it), and never counts toward "all slices built", Prove, or Seal. The owner elects it
+later through a plan change that gives it an AC.

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

@@ -64,7 +64,7 @@ test changes.
    and no-progress corrections before accepting terminal none; a distinct
    fingerprint below cap resumes offline triage without another real action.
 2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
-   every slice built. Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
+   every slice built except a [deferred slice](skill://rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
    caller) and resumes here; it never authorizes ad hoc proof.
 3. **Approve commands.** If absent, use
    [test-command-discovery](reference/test-command-discovery.md) over repository

package/pack/generated/omp/skills/rite-vet/SKILL.md

@@ -209,7 +209,9 @@ plan declares a root-authored executable workflow file, read
    `devrites-engine check readiness --emit-binding <slug>`; normal readiness check
    must pass. Record the per-input drift baseline alongside it:
    `devrites-engine check drift <slug> --record` — a later stale binding then
-   names the exact artifact that moved instead of "something changed". Technical failure records reproduction, not qid. Human gap awaits
+   names the exact artifact that moved instead of "something changed". An `ADVISORY
+   proportion:` line names a slice whose proof outgrew its ACs: move its rows without a
+   `Proves` spec line to `Deferred hardening` before READY, never deepen them. Technical failure records reproduction, not qid. Human gap awaits
    Clarify. Optional cross-model follows `reference/cross-model.md` (trigger `cross-model`).
 
    With READY, no pending remediation, and a valid technical return cursor,

package/pack/generated/omp/skills/rite-vet/reference/artifacts.md

@@ -128,9 +128,21 @@ prove only their named static criterion.
 <the ASCII code-paths + user-flows diagram from review-axes.md, with COVERAGE / GAPS / REGRESSIONS line>
 
 ## Per-gap test requirements
-| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority |
-|---|---|---|---|---|---|---|
-| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** |
+| ID | Path / flow | Test file (match conventions) | Asserts (input → expected) | Kind | Slice | Priority | Proves |
+|---|---|---|---|---|---|---|---|
+| T1 | <path> | <path/to.test> | <empty list → 200 + []> | unit / E2E / eval | <slice> | P1 / **Regression-Critical** | <AC/REQ/INV/PROH/DEC/EDGE ID or standard § + quoted line> |
+
+Every row's `Proves` quotes the spec line or standard rule it proves. A row that proves
+none is plan-invented hardening: move it to `Deferred hardening`.
+
+## Deferred hardening
+| ID | Hardening | Why no spec line needs it | Promote by |
+|---|---|---|---|
+| D1 | <proof or mechanism> | <reason> | <the spec line an owner would add> |
+
+Deferred rows, like a [deferred slice](skill://rite-plan/reference/slicing.md#deferred-slice),
+are not built, proven, or gating in this feature; this table is their follow-up record.
+Nothing is deleted.
 
 ## Interaction inventory (UI slices — every element + flow gets an asserting test)
 Enumerate every interactive element and user flow the feature exposes; one row each, none

package/pack/generated/pi/agents/devrites-code-reviewer.md

@@ -160,7 +160,7 @@ Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
 Account: <admitted findings | No-findings | Gap per Result admission>
 Coverage: <files read fully | hunk-level | skipped: name — reason>
-Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line> | <observed> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 Contract: <applicable | not-applicable> — <basis: both sides read · crossing test>
 Tests: <adequate? gaps>

package/pack/generated/pi/agents/devrites-plan-drafter.md

@@ -23,7 +23,9 @@ seams supplied by the orchestrator.
 Reuse existing seams and dependencies before proposing new ones. Build vertical
 slices in dependency order; put a hub file's shared edit in one seam slice
 ([slicing.md](../skills/rite-plan/reference/slicing.md#slice-independence)). Map every REQ and AC to a slice and executable proof,
-name rollback and failure paths; keep acceptance-changing proposals separate. Durable
+name rollback and failure paths; keep acceptance-changing proposals separate. Each proof
+row quotes the spec line or standard rule it proves (`Proves`); proof that proves none
+goes to `test-plan.md` `## Deferred hardening`, never into a slice. Durable
 proof commands must be portable repository commands, never host-local wrappers,
 user-specific absolute paths, or temporary proof trees.
 Reconcile `spec.md`'s applicability map against live evidence. When triggered, apply

package/pack/generated/pi/agents/devrites-plan-reviewer.md

@@ -118,7 +118,10 @@ criterion, slice, or proof.
   `convergence_pressure` eligibility mechanical. Tag every Critical/Important
   `kind: contract` (an implementer could build it differently and still pass the
   planned tests) or `kind: mechanism` (a named test can discriminate the wrong
-  implementation; propose that case as the fix, not new plan prose).
+  implementation; propose that case as the fix, not new plan prose). Each
+  Critical/Important also quotes the spec line (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`)
+  or standard rule it breaks; hardening no spec line asks for is a Suggestion
+  ([agents.md](../skills/devrites-lib/reference/standards/agents.md) § Result admission, Proportionality).
 - In a recheck, your verdict covers the listed fingerprints, the correction diff, and
   the dependents of each changed clause. Return an explicit correction-created
   regression verdict over the touched invariants and those dependents as

package/pack/generated/pi/skills/devrites-lib/reference/standards/agents.md

@@ -98,7 +98,7 @@ Each required reviewer/analyst/auditor starts with exactly one:
 ```text
 Outcome: <findings | no-findings | gap>
 Counts: <n per severity or kind used in the rows below>
-Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | <minimum fix>
+Finding: <severity> conf <n> | <file:line or artifact section> | <observed quote/result> | when <input/state/sequence> → <effect> | breaks <ID or standard §> "<quoted line>" | <minimum fix>
 Basis: <files read · commands run to reach this finding>
 ```
 
@@ -108,6 +108,13 @@ Basis: <files read · commands run to reach this finding>
   A Critical/Important row carries `conf <n>` in its severity cell and writes impact
   as `when <input/state/sequence> → <effect>`; missing either, root admits it as
   `Unverified: <claim> — missing trigger` (stays `gap`).
+- **Proportionality:** a Critical/Important row's `breaks` quotes the line it violates:
+  a spec ID (`AC`/`REQ`/`INV`/`PROH`/`DEC`/`EDGE`) or a shipped standard rule
+  (`<standard>.md § <section>`: security, regression, principles). Root anchors the
+  quote like the `file:line` quote. No anchor, or one the defect does not break,
+  admits the row as Suggestion logged `Deferred: <claim> — no spec anchor` for an
+  optional follow-up slice; it never drives a repair round. Hardening no spec line
+  asks for is a Suggestion, however plausible.
 - **`no-findings`:** `No-findings:` names checks and inspected evidence. Bare
   pass, empty list, or “looks good” is malformed.
 - **`gap`:** names missing/unreadable/stale input; skipped/failed required check;

package/pack/generated/pi/skills/devrites-lib/reference/standards/loop-operations.md

@@ -112,6 +112,10 @@ armed AFK workspace whose exact scope, gates, and budgets permit it.
   run `devrites-engine check drift <slug>` before re-vetting: it names the
   exact input artifact that changed (or `missing`/`added`) since the recorded
   baseline, so the Spec Drift Guard or `/rite-vet` starts at the right file.
+- `check drift` and `check slice` print `ADVISORY proportion:` when a slice's proof
+  grew over 2x since the Vet baseline or carries over 3x the median proof per AC.
+  Repair by moving rows without a `Proves` spec line to `Deferred hardening`
+  ([agents.md](agents.md) § Result admission, Proportionality), not by adding proof.
 - Native notifications fire only after evidence and stop state are written.
 
 Use [`afk-hitl.md`](afk-hitl.md) for unattended authority and resource budgets,

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

@@ -68,7 +68,7 @@ Workspace files carry state; chat does not. Read and execute each phase skill:
 | 4 | `/rite-define` | approved plan/tasks/traceability |
 | 5 | `/rite-vet` | every plan; derive mutable budget after READY |
 | 6 | `/rite-build` batch loop | largest eligible path-disjoint set (cap: this invocation's `--parallel N`, else sentinel `max_parallel`, else 10; one-slice round when <2 eligible); refill per landing; charge once per landed slice |
-| 7 | `/rite-prove` | all slices built; approved proof; recovery on red |
+| 7 | `/rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
 | 8 | `/rite-polish` | re-prove after code edits |
 | 9 | `/rite-review` | in-scope correction then fresh proof |
 | 10 | `/rite-seal` | GO/NO-GO; no Git |

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

@@ -110,7 +110,8 @@ or canonical transaction, return inspection, independent code/doubt/test analysi
 approved fail-on-red proof, record, AFK accounting, and stop. Use
 [`reference/output.md`](reference/output.md) plus the shared
 [`reply contract`](../devrites-lib/reference/reply-contract.md). HITL never starts
-the next slice automatically; AFK obeys remaining budget; Prove requires all slices built.
+the next slice automatically; AFK obeys remaining budget; Prove requires every slice built except a
+[deferred slice](../rite-plan/reference/slicing.md#deferred-slice).
 
 ## Phase exit
 

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

@@ -131,7 +131,9 @@ Pull these via `Read` when shaping the plan:
    expand this into repository-wide coverage.
 4. **Map coverage and wiring:** every `AC-###` spec acceptance criterion maps to ≥1 `SLICE-###`
    ([`acceptance-criteria.md`](../rite-spec/reference/acceptance-criteria.md)); no orphaned criteria, no slice without a
-   criterion. Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
+   criterion except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Every proof row quotes the spec line it proves (`Proves`); proof that proves
+   none goes to `test-plan.md` `## Deferred hardening`, never into a slice
+   ([artifacts.md](../rite-vet/reference/artifacts.md)). Lift covered/backstop `Edge Coverage` rows and resolved `Prohibitions (must-NOT)`
    rows into `traceability.md` and `test-plan.md`; unresolved rows get a gate/owner. Each
    `Existing behavior to preserve` row becomes a regression row whose current evidence is
    observed green on the unchanged baseline as a prerequisite of the first slice touching that

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

@@ -173,3 +173,10 @@ Slices sharing a file never build side by side: put a hub file's shared edit
 (registry, command table, test harness) in one seam slice the others depend on.
 `check task-graph` prints the `schedule:` and `ADVISORY hub:` lines; inseparable
 writes get `Serial rationale: <why>`. Never merge slices or drop acceptance to widen it.
+
+## Deferred slice
+A slice with `Satisfies: none` is an optional follow-up: plan-invented hardening or
+owner-moved scope kept with its preserved source and contracts. It carries no acceptance
+(every AC still maps to a required slice), is never dispatched (`check slice` refuses
+it), and never counts toward "all slices built", Prove, or Seal. The owner elects it
+later through a plan change that gives it an AC.