devrites 5.2.0 → 5.2.1

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to DevRites are documented here. The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and DevRites adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). Releases are generated automatically by [semantic-release](https://semantic-release.gitbook.io/) from Conventional Commits on `main`.
 
+## [5.2.1](https://github.com/ViktorsBaikers/DevRites/compare/v5.2.0...v5.2.1) (2026-09-11)
+
+### Fixed
+
+* **skills:** scope drafter self-check to patched invariants ([#62](https://github.com/ViktorsBaikers/DevRites/issues/62)) ([d32bbf9](https://github.com/ViktorsBaikers/DevRites/commit/d32bbf9f81e255dae6e66622ab8b0e1fd1017a2c))
+
 ## [5.2.0](https://github.com/ViktorsBaikers/DevRites/compare/v5.1.0...v5.2.0) (2026-09-11)
 
 ### Added

package/README.md

@@ -33,7 +33,7 @@ project-conventional push, tag, or PR action, and archive the workspace.
 Unattended runs may create local WIP checkpoint commits along the way, but they
 remain local unless Ship's disclosed plan includes an approved remote action.
 
-**Status:** [`v5.2.0`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v5.2.0): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
+**Status:** [`v5.2.1`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v5.2.1): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
 
 This is the latest published release; `main` may contain unreleased work.
 

package/pack/.claude/agents/devrites-plan-drafter.md

@@ -53,6 +53,13 @@ principle-exception questions. List them for the root.
 - Do not invoke another agent.
 - Return candidate content only for requested paths. If unfinished, name the exact
   remaining path instead of compressing away a contract.
+- In `repair`, if the full bundle would exceed reliable output, return
+  `Outcome: partial` with complete hunks for a whole-finding prefix in packet
+  order plus `remaining_findings` — a finding is all its sites or none; never
+  split one across returns. The root materializes the partial bundle and
+  re-dispatches the rest. A finding blocked on human-owned information goes in
+  `blocked_findings` with the needed input named — never `remaining_findings`,
+  which is reserved for what another dispatch can complete.
 
 ## Output format
 

package/pack/.claude/skills/rite-plan/SKILL.md

@@ -79,9 +79,11 @@ Before classifying any Reslice, read `.claude/skills/devrites-lib/reference/stan
    require the drafter to apply `one-shot-actions.md` and return the bounded
    diagnostic-amplification design, injective boundary map, per-seam fixtures, and
    collision mutant. Past evidence loss is not terminal. The drafter supplies no bodies.
-   A repair candidate carries a delta self-check: touched invariants re-verified
-   (acyclic deps, bidirectional traceability, shared contract proof, sizing), no
-   correction-created regression.
+   A repair candidate carries a delta self-check scoped to what the patch
+   touches: which intersected invariants it re-verified, with evidence of no
+   correction-created regression. Global re-derivation (ID/edge/HZN counts,
+   acyclicity) runs on materialized artifacts at the step-7 gate — the drafter
+   never re-derives them by exhaustive search.
    Bind exact active `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
    materializes the exact vetted workflow-artifact paths under
    [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md)
@@ -104,7 +106,16 @@ Before classifying any Reslice, read `.claude/skills/devrites-lib/reference/stan
    [task-breakdown](reference/task-breakdown.md). Prefer thin, shippable, verifiable.
    **Completion:** every slice is independently shippable/provable or carries an irreducibility reason.
 5. Reconcile the candidate against steps 3 and 4, then the root updates `plan.md`, `tasks.md`,
-   `state.md`, and appends rationale to `decisions.md`.
+   `state.md`, and appends rationale to `decisions.md`. A rejected candidate
+   (malformed bundle, stale or non-unique anchor) or a drafter `Outcome: gap`
+   is one no-progress outcome on every open fingerprint in the fold; the
+   re-dispatch packet must name the rejection so the same hunks don't recur.
+   A gap naming genuinely human-owned information routes to `/rite-clarify`.
+   A drafter `Outcome: partial` is progress: materialize its complete findings,
+   then re-dispatch a narrowed packet for `remaining_findings` with anchors
+   re-derived from the just-updated files — same repair pass, fresh context.
+   A partial covering zero findings counts as no-progress. Findings in
+   `blocked_findings` route to `/rite-clarify`, never the re-dispatch.
    Any change to `architecture.md`, `plan.md`, `tasks.md`, or `traceability.md` invalidates
    the previous vet verdict: set `Phase: plan`, `Next step: /rite-vet`, and, when
    `eng-review.md` exists, set `Implementation readiness: NEEDS REPLAN`. Never retain READY

package/pack/.claude/skills/rite-vet/SKILL.md

@@ -83,7 +83,9 @@ plan declares a root-authored executable workflow file, read
    Do not rerun broad inventory or unaffected reviewers. Close the prior
    fingerprint only with discriminating evidence plus an explicit
    correction-created regression verdict on the touched invariants (acyclic
-   deps, traceability, contract proof, sizing). Otherwise record one no-progress outcome. A
+   deps, traceability, contract proof, sizing) and every region depending on a
+   changed clause — enumerate dependents via the dep graph and traceability
+   refs, not only patched sites. Otherwise record one no-progress outcome. A
    different Critical/Important invariant needs exact evidence and a new
    fingerprint; a Suggestion, Nit, or FYI cannot keep recovery open. Reconcile
    shared artifact/readiness gates and return to caller or next repair.
@@ -131,7 +133,8 @@ plan declares a root-authored executable workflow file, read
    per correction/fingerprint accounting (each checked individually with its
    accepted findings, changed paths/criteria, new identity, and recorded delta
    self-check); it must return an explicit correction-created regression
-   verdict, not only fingerprint closure. Within one correction, no broad
+   verdict over touched invariants plus every dependent of each changed clause
+   (dep-graph and traceability lookup), not only fingerprint closure. Within one correction, no broad
    third loop. If it changes plan, fold again. A closed input plus a distinct Critical/Important invariant returns
    that new fingerprint as progress. Then close matrix and rerun ID/meaning audit.
 8. **Build readback and readiness.** Add a cited five-line readback to

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

@@ -53,6 +53,13 @@ principle-exception questions. List them for the root.
 - Do not invoke another agent.
 - Return candidate content only for requested paths. If unfinished, name the exact
   remaining path instead of compressing away a contract.
+- In `repair`, if the full bundle would exceed reliable output, return
+  `Outcome: partial` with complete hunks for a whole-finding prefix in packet
+  order plus `remaining_findings` — a finding is all its sites or none; never
+  split one across returns. The root materializes the partial bundle and
+  re-dispatches the rest. A finding blocked on human-owned information goes in
+  `blocked_findings` with the needed input named — never `remaining_findings`,
+  which is reserved for what another dispatch can complete.
 
 ## Output format
 

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

@@ -79,9 +79,11 @@ Before classifying any Reslice, read `.claude/skills/devrites-lib/reference/stan
    require the drafter to apply `one-shot-actions.md` and return the bounded
    diagnostic-amplification design, injective boundary map, per-seam fixtures, and
    collision mutant. Past evidence loss is not terminal. The drafter supplies no bodies.
-   A repair candidate carries a delta self-check: touched invariants re-verified
-   (acyclic deps, bidirectional traceability, shared contract proof, sizing), no
-   correction-created regression.
+   A repair candidate carries a delta self-check scoped to what the patch
+   touches: which intersected invariants it re-verified, with evidence of no
+   correction-created regression. Global re-derivation (ID/edge/HZN counts,
+   acyclicity) runs on materialized artifacts at the step-7 gate — the drafter
+   never re-derives them by exhaustive search.
    Bind exact active `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
    materializes the exact vetted workflow-artifact paths under
    [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md)
@@ -104,7 +106,16 @@ Before classifying any Reslice, read `.claude/skills/devrites-lib/reference/stan
    [task-breakdown](reference/task-breakdown.md). Prefer thin, shippable, verifiable.
    **Completion:** every slice is independently shippable/provable or carries an irreducibility reason.
 5. Reconcile the candidate against steps 3 and 4, then the root updates `plan.md`, `tasks.md`,
-   `state.md`, and appends rationale to `decisions.md`.
+   `state.md`, and appends rationale to `decisions.md`. A rejected candidate
+   (malformed bundle, stale or non-unique anchor) or a drafter `Outcome: gap`
+   is one no-progress outcome on every open fingerprint in the fold; the
+   re-dispatch packet must name the rejection so the same hunks don't recur.
+   A gap naming genuinely human-owned information routes to `/rite-clarify`.
+   A drafter `Outcome: partial` is progress: materialize its complete findings,
+   then re-dispatch a narrowed packet for `remaining_findings` with anchors
+   re-derived from the just-updated files — same repair pass, fresh context.
+   A partial covering zero findings counts as no-progress. Findings in
+   `blocked_findings` route to `/rite-clarify`, never the re-dispatch.
    Any change to `architecture.md`, `plan.md`, `tasks.md`, or `traceability.md` invalidates
    the previous vet verdict: set `Phase: plan`, `Next step: /rite-vet`, and, when
    `eng-review.md` exists, set `Implementation readiness: NEEDS REPLAN`. Never retain READY

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

@@ -83,7 +83,9 @@ plan declares a root-authored executable workflow file, read
    Do not rerun broad inventory or unaffected reviewers. Close the prior
    fingerprint only with discriminating evidence plus an explicit
    correction-created regression verdict on the touched invariants (acyclic
-   deps, traceability, contract proof, sizing). Otherwise record one no-progress outcome. A
+   deps, traceability, contract proof, sizing) and every region depending on a
+   changed clause — enumerate dependents via the dep graph and traceability
+   refs, not only patched sites. Otherwise record one no-progress outcome. A
    different Critical/Important invariant needs exact evidence and a new
    fingerprint; a Suggestion, Nit, or FYI cannot keep recovery open. Reconcile
    shared artifact/readiness gates and return to caller or next repair.
@@ -131,7 +133,8 @@ plan declares a root-authored executable workflow file, read
    per correction/fingerprint accounting (each checked individually with its
    accepted findings, changed paths/criteria, new identity, and recorded delta
    self-check); it must return an explicit correction-created regression
-   verdict, not only fingerprint closure. Within one correction, no broad
+   verdict over touched invariants plus every dependent of each changed clause
+   (dep-graph and traceability lookup), not only fingerprint closure. Within one correction, no broad
    third loop. If it changes plan, fold again. A closed input plus a distinct Critical/Important invariant returns
    that new fingerprint as progress. Then close matrix and rerun ID/meaning audit.
 8. **Build readback and readiness.** Add a cited five-line readback to

package/pack/generated/codex/agents/devrites-plan-drafter.toml

@@ -51,6 +51,13 @@ principle-exception questions. List them for the root.
 - Do not invoke another agent.
 - Return candidate content only for requested paths. If unfinished, name the exact
   remaining path instead of compressing away a contract.
+- In `repair`, if the full bundle would exceed reliable output, return
+  `Outcome: partial` with complete hunks for a whole-finding prefix in packet
+  order plus `remaining_findings` — a finding is all its sites or none; never
+  split one across returns. The root materializes the partial bundle and
+  re-dispatches the rest. A finding blocked on human-owned information goes in
+  `blocked_findings` with the needed input named — never `remaining_findings`,
+  which is reserved for what another dispatch can complete.
 
 ## Output format
 

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

@@ -79,9 +79,11 @@ Before classifying any Reslice, read `.agents/skills/devrites-lib/reference/stan
    require the drafter to apply `one-shot-actions.md` and return the bounded
    diagnostic-amplification design, injective boundary map, per-seam fixtures, and
    collision mutant. Past evidence loss is not terminal. The drafter supplies no bodies.
-   A repair candidate carries a delta self-check: touched invariants re-verified
-   (acyclic deps, bidirectional traceability, shared contract proof, sizing), no
-   correction-created regression.
+   A repair candidate carries a delta self-check scoped to what the patch
+   touches: which intersected invariants it re-verified, with evidence of no
+   correction-created regression. Global re-derivation (ID/edge/HZN counts,
+   acyclicity) runs on materialized artifacts at the step-7 gate — the drafter
+   never re-derives them by exhaustive search.
    Bind exact active `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
    materializes the exact vetted workflow-artifact paths under
    [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md)
@@ -104,7 +106,16 @@ Before classifying any Reslice, read `.agents/skills/devrites-lib/reference/stan
    [task-breakdown](reference/task-breakdown.md). Prefer thin, shippable, verifiable.
    **Completion:** every slice is independently shippable/provable or carries an irreducibility reason.
 5. Reconcile the candidate against steps 3 and 4, then the root updates `plan.md`, `tasks.md`,
-   `state.md`, and appends rationale to `decisions.md`.
+   `state.md`, and appends rationale to `decisions.md`. A rejected candidate
+   (malformed bundle, stale or non-unique anchor) or a drafter `Outcome: gap`
+   is one no-progress outcome on every open fingerprint in the fold; the
+   re-dispatch packet must name the rejection so the same hunks don't recur.
+   A gap naming genuinely human-owned information routes to `$rite-clarify`.
+   A drafter `Outcome: partial` is progress: materialize its complete findings,
+   then re-dispatch a narrowed packet for `remaining_findings` with anchors
+   re-derived from the just-updated files — same repair pass, fresh context.
+   A partial covering zero findings counts as no-progress. Findings in
+   `blocked_findings` route to `$rite-clarify`, never the re-dispatch.
    Any change to `architecture.md`, `plan.md`, `tasks.md`, or `traceability.md` invalidates
    the previous vet verdict: set `Phase: plan`, `Next step: $rite-vet`, and, when
    `eng-review.md` exists, set `Implementation readiness: NEEDS REPLAN`. Never retain READY

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

@@ -83,7 +83,9 @@ plan declares a root-authored executable workflow file, read
    Do not rerun broad inventory or unaffected reviewers. Close the prior
    fingerprint only with discriminating evidence plus an explicit
    correction-created regression verdict on the touched invariants (acyclic
-   deps, traceability, contract proof, sizing). Otherwise record one no-progress outcome. A
+   deps, traceability, contract proof, sizing) and every region depending on a
+   changed clause — enumerate dependents via the dep graph and traceability
+   refs, not only patched sites. Otherwise record one no-progress outcome. A
    different Critical/Important invariant needs exact evidence and a new
    fingerprint; a Suggestion, Nit, or FYI cannot keep recovery open. Reconcile
    shared artifact/readiness gates and return to caller or next repair.
@@ -131,7 +133,8 @@ plan declares a root-authored executable workflow file, read
    per correction/fingerprint accounting (each checked individually with its
    accepted findings, changed paths/criteria, new identity, and recorded delta
    self-check); it must return an explicit correction-created regression
-   verdict, not only fingerprint closure. Within one correction, no broad
+   verdict over touched invariants plus every dependent of each changed clause
+   (dep-graph and traceability lookup), not only fingerprint closure. Within one correction, no broad
    third loop. If it changes plan, fold again. A closed input plus a distinct Critical/Important invariant returns
    that new fingerprint as progress. Then close matrix and rerun ID/meaning audit.
 8. **Build readback and readiness.** Add a cited five-line readback to

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

@@ -52,6 +52,13 @@ principle-exception questions. List them for the root.
 - Do not invoke another agent.
 - Return candidate content only for requested paths. If unfinished, name the exact
   remaining path instead of compressing away a contract.
+- In `repair`, if the full bundle would exceed reliable output, return
+  `Outcome: partial` with complete hunks for a whole-finding prefix in packet
+  order plus `remaining_findings` — a finding is all its sites or none; never
+  split one across returns. The root materializes the partial bundle and
+  re-dispatches the rest. A finding blocked on human-owned information goes in
+  `blocked_findings` with the needed input named — never `remaining_findings`,
+  which is reserved for what another dispatch can complete.
 
 ## Output format
 

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

@@ -79,9 +79,11 @@ Before classifying any Reslice, read `.omp/skills/devrites-lib/reference/standar
    require the drafter to apply `one-shot-actions.md` and return the bounded
    diagnostic-amplification design, injective boundary map, per-seam fixtures, and
    collision mutant. Past evidence loss is not terminal. The drafter supplies no bodies.
-   A repair candidate carries a delta self-check: touched invariants re-verified
-   (acyclic deps, bidirectional traceability, shared contract proof, sizing), no
-   correction-created regression.
+   A repair candidate carries a delta self-check scoped to what the patch
+   touches: which intersected invariants it re-verified, with evidence of no
+   correction-created regression. Global re-derivation (ID/edge/HZN counts,
+   acyclicity) runs on materialized artifacts at the step-7 gate — the drafter
+   never re-derives them by exhaustive search.
    Bind exact active `.devrites/work/<slug>/` targets and executable contract; after Vet READY, root
    materializes the exact vetted workflow-artifact paths under
    [`workflow-artifacts.md`](../devrites-lib/reference/standards/workflow-artifacts.md)
@@ -104,7 +106,16 @@ Before classifying any Reslice, read `.omp/skills/devrites-lib/reference/standar
    [task-breakdown](reference/task-breakdown.md). Prefer thin, shippable, verifiable.
    **Completion:** every slice is independently shippable/provable or carries an irreducibility reason.
 5. Reconcile the candidate against steps 3 and 4, then the root updates `plan.md`, `tasks.md`,
-   `state.md`, and appends rationale to `decisions.md`.
+   `state.md`, and appends rationale to `decisions.md`. A rejected candidate
+   (malformed bundle, stale or non-unique anchor) or a drafter `Outcome: gap`
+   is one no-progress outcome on every open fingerprint in the fold; the
+   re-dispatch packet must name the rejection so the same hunks don't recur.
+   A gap naming genuinely human-owned information routes to `/rite-clarify`.
+   A drafter `Outcome: partial` is progress: materialize its complete findings,
+   then re-dispatch a narrowed packet for `remaining_findings` with anchors
+   re-derived from the just-updated files — same repair pass, fresh context.
+   A partial covering zero findings counts as no-progress. Findings in
+   `blocked_findings` route to `/rite-clarify`, never the re-dispatch.
    Any change to `architecture.md`, `plan.md`, `tasks.md`, or `traceability.md` invalidates
    the previous vet verdict: set `Phase: plan`, `Next step: /rite-vet`, and, when
    `eng-review.md` exists, set `Implementation readiness: NEEDS REPLAN`. Never retain READY

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

@@ -83,7 +83,9 @@ plan declares a root-authored executable workflow file, read
    Do not rerun broad inventory or unaffected reviewers. Close the prior
    fingerprint only with discriminating evidence plus an explicit
    correction-created regression verdict on the touched invariants (acyclic
-   deps, traceability, contract proof, sizing). Otherwise record one no-progress outcome. A
+   deps, traceability, contract proof, sizing) and every region depending on a
+   changed clause — enumerate dependents via the dep graph and traceability
+   refs, not only patched sites. Otherwise record one no-progress outcome. A
    different Critical/Important invariant needs exact evidence and a new
    fingerprint; a Suggestion, Nit, or FYI cannot keep recovery open. Reconcile
    shared artifact/readiness gates and return to caller or next repair.
@@ -131,7 +133,8 @@ plan declares a root-authored executable workflow file, read
    per correction/fingerprint accounting (each checked individually with its
    accepted findings, changed paths/criteria, new identity, and recorded delta
    self-check); it must return an explicit correction-created regression
-   verdict, not only fingerprint closure. Within one correction, no broad
+   verdict over touched invariants plus every dependent of each changed clause
+   (dep-graph and traceability lookup), not only fingerprint closure. Within one correction, no broad
    third loop. If it changes plan, fold again. A closed input plus a distinct Critical/Important invariant returns
    that new fingerprint as progress. Then close matrix and rerun ID/meaning audit.
 8. **Build readback and readiness.** Add a cited five-line readback to

package/package.json

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