devrites 6.2.0 → 6.4.0

package/pack/generated/pi/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/pi/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/pi/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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "devrites",
-  "version": "6.2.0",
+  "version": "6.4.0",
   "description": "DevRites: a disciplined senior-engineer workflow pack for Claude Code, Codex, omp, pi, and Devin CLI",
   "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://github.com/ViktorsBaikers/DevRites#readme",