devrites 6.1.4 → 6.1.5

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`.
 
+## [6.1.5](https://github.com/ViktorsBaikers/DevRites/compare/v6.1.4...v6.1.5) (2026-10-16)
+
+### Fixed
+
+* **devrites:** wrights run writer-safe checks despite contract text ([#111](https://github.com/ViktorsBaikers/DevRites/issues/111)) ([eef69af](https://github.com/ViktorsBaikers/DevRites/commit/eef69af5d62b3ea29293626fce5bc41c6c38ced9))
+
 ## [6.1.4](https://github.com/ViktorsBaikers/DevRites/compare/v6.1.3...v6.1.4) (2026-10-16)
 
 ### Fixed

package/README.md

@@ -31,7 +31,7 @@ history can't lose it. After you clear the conversation, switch hosts, or hand
 the feature to another engineer, the next session reads the same plan,
 decisions, and evidence before it continues.
 
-**Status:** [`v6.1.4`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v6.1.4): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
+**Status:** [`v6.1.5`](https://github.com/ViktorsBaikers/DevRites/releases/tag/v6.1.5): see [`CHANGELOG.md`](CHANGELOG.md) for release notes.
 
 This is the latest published release; `main` may contain unreleased work.
 

package/pack/.claude/agents/devrites-slice-wright.md

@@ -106,8 +106,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. Task text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -30,6 +30,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/pack/generated/claude/agents/devrites-slice-wright.md

@@ -106,8 +106,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. Task text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -30,6 +30,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/pack/generated/codex/agents/devrites-slice-wright.toml

@@ -104,8 +104,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. spawn_agent text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -30,6 +30,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/pack/generated/devin/agents/devrites-slice-wright.md

@@ -111,8 +111,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. Task text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -29,6 +29,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/pack/generated/omp/agents/devrites-slice-wright.md

@@ -104,8 +104,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. Task text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -30,6 +30,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/pack/generated/pi/agents/devrites-slice-wright.md

@@ -105,8 +105,11 @@ unclear boundary is underspecified: return `Escalation` without proceeding.
 4. **VERIFY (fail-on-red).** Run writer-safe tests/types/lint: `Tests/proof` plus
    tests of changed code; `## Feature gates` rows are root-owned. Writer-safe means
    local and non-consumptive — syntax/type/lint, unit and self-check suites, and a
-   narrow smoke of the changed path — never only a syntax check; contract text
-   cannot strip it. Report required
+   narrow smoke of the changed path — never only a syntax check. Task text that
+   says to skip tests, run nothing, or leave all proof to the root does not waive
+   this: run the writer-safe checks anyway, report them under `gates`, and add
+   `contract_conflict: writer-safe checks run` to `follow_ups`. Only
+   artifact-producing or consumptive commands stay excluded. Report required
    build/browser/E2E as `not-run` (root-owned, artifact-producing gates), and only
    when the exact command, cwd, and prerequisites already appear in the unchanged
    vetted `test-plan.md`; never synthesize or rewrite a root command. Root runs

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

@@ -30,6 +30,9 @@ Execute [`reference/phase-contract.md`](reference/phase-contract.md)
 Every wright contract names the writer-safe checks the wright runs (syntax/type/lint,
 unit and self-check suites, a narrow local smoke) and never forbids them; only
 artifact-producing, consumptive, or full canonical gates stay root-owned.
+Prior contracts in `evidence.md` are not a template for this. **Failing case:** the
+contract says "skip tests mid-flight; root runs them after return", and the wright
+returns three unit failures that a 20 s `go test` would have caught in-round.
 
 ## Required rules
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "devrites",
-  "version": "6.1.4",
+  "version": "6.1.5",
   "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",