From 138157767e43ddfc58db7cc5b305c9e60a5c56bc Mon Sep 17 00:00:00 2001 From: Brummel Date: Thu, 28 May 2026 18:44:09 +0200 Subject: [PATCH] design: forward-fix feature-acceptance contract anchor after plugin migration MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The skill-system migration (c1441f3) moved skills/ out of the repo to ~/dev/skills/, but the feature-acceptance contract's ratifying anchor still pointed at the now-gone `skills/brainstorm/SKILL.md`. `every_contract_names_a_resolvable_ratifying_test` in design_index_pin.rs (the test the honesty-rule wires to every contract row) caught it. Re-anchor to `CLAUDE.md` § "Feature acceptance: LLM utility" — that section in the in-tree project discipline file IS the ratification of the criterion; the brainstorm skill is the out-of-tree mechanism that applies it at spec time. Two edits in lockstep: design/INDEX.md row 81 and the "Ratified by:" line at the bottom of the contract body. Not iter-scoped (orthogonal to prep.3 of kernel-extension- mechanics, which landed in 9339279). --- design/INDEX.md | 2 +- design/contracts/0004-feature-acceptance.md | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/design/INDEX.md b/design/INDEX.md index 7fe92c9..78bdf0c 100644 --- a/design/INDEX.md +++ b/design/INDEX.md @@ -78,7 +78,7 @@ is the default. ## Contracts | id | consumer / lifetime | ratifying-test | link | |----|---------------------|----------------|------| -| feature-acceptance | brainstorm-gate / stable | skills/brainstorm/SKILL.md | design/contracts/0004-feature-acceptance.md | +| feature-acceptance | brainstorm-gate / stable | CLAUDE.md | design/contracts/0004-feature-acceptance.md | | authoring-surface | LLM author / stable | crates/ailang-surface/tests/round_trip.rs | design/contracts/0001-authoring-surface.md | | roundtrip-invariant | every release / stable | crates/ailang-surface/tests/round_trip.rs | design/contracts/0009-roundtrip-invariant.md | | language-constraints | LLM author / stable | crates/ailang-check/src/uniqueness.rs (in-source mod tests) | design/contracts/0015-language-constraints.md | diff --git a/design/contracts/0004-feature-acceptance.md b/design/contracts/0004-feature-acceptance.md index 1491f1d..8f5c345 100644 --- a/design/contracts/0004-feature-acceptance.md +++ b/design/contracts/0004-feature-acceptance.md @@ -73,4 +73,7 @@ Empirically: if a feature is proposed and the LLM does not produce it in unprompted code samples, the feature is proposed for the wrong reason. The orchestrator's job is to notice that and cut. -Ratified by: `skills/brainstorm/SKILL.md`. +Ratified by: `CLAUDE.md` § "Feature acceptance: LLM utility" +(in-tree project discipline). The brainstorm skill, which lives in +the `~/dev/skills/` plugin outside the repo, applies this criterion +at spec time.