v1.4.1: two internally-inconsistent contracts, closed by subtraction #71

Merged

crenshawdev merged 3 commits from cadence/v1.4.1 into main

2026-07-28 18:04:09 +00:00

crenshawdev commented

2026-07-28 18:03:21 +00:00

(Migrated from github.com)

Patch cycle. Two small contract defects, both fixed by deleting rather than wiring.

#65 cad-executor required a terminal success-criteria check whose output the same contract gave nowhere to put, and which execute.md never consumed. goal_check already redoes it one step later with the full phase diff in view. Deleted. The per-task predict-then-verify at process step 2 is untouched.
#67 conventions.md claimed "every skill and workflow follows" while being @-included by exactly one skill and named in prose by 18 others. Header now states its real reach. Including it everywhere was the rejected alternative: it spends resident context in every session on rules most invocations never need.

Plus the version bump and CHANGELOG entry.

Verification: 727 tests pass, tsc -p tsconfig.ci.json clean, self-verify returns ok:true with no problems.

Closes #65
Closes #67

Patch cycle. Two small contract defects, both fixed by deleting rather than wiring. - **#65** `cad-executor` required a terminal success-criteria check whose output the same contract gave nowhere to put, and which `execute.md` never consumed. `goal_check` already redoes it one step later with the full phase diff in view. Deleted. The per-task predict-then-verify at process step 2 is untouched. - **#67** `conventions.md` claimed "every skill and workflow follows" while being `@`-included by exactly one skill and named in prose by 18 others. Header now states its real reach. Including it everywhere was the rejected alternative: it spends resident context in every session on rules most invocations never need. Plus the version bump and CHANGELOG entry. Verification: 727 tests pass, `tsc -p tsconfig.ci.json` clean, `self-verify` returns `ok:true` with no problems. Closes #65 Closes #67