Spec amendment after plan-recon flagged four missed touch-points
in the brainstorm grounding-check loop:
1. `design/contracts/data-model.md:142-147` — fenced JSON-block in
the canonical data-model contract. The data-model contract IS
the canonical-schema doc (INDEX.md row, ratifying test
`tests/design_schema_drift.rs`); leaving it on camelCase after
`ast.rs` ships kebab is a direct Honesty-Rule violation.
2. Three rustdoc strings in production source that describe the
present-state schema vocabulary: `ast.rs:8`, `parse.rs:81`,
`check/lib.rs:1707`. Each enumerates the rename targets in
prose; left unchanged they would describe a state that no
longer exists.
3. Better home for the new schema-shape pin: `design_schema_drift.rs`
(not `schema_coverage.rs`). That file already operates as the
data-model-contract ratifying test, already builds Term::Lam
exemplars at L121-129, and uses `anchor_in_jsonc_block` to walk
data-model.md fenced blocks — the proposed extension slots
directly into the existing pin family.
4. Experiment-tree files (`experiments/2026-05-12-.../master/spec.md`,
`rendered/*.md`, `runs/**`) carry old tags. Per Honesty-Rule
analogy with docs/plans/* — these are frozen historical
artefacts of the 2026-05-12 cross-model-authoring experiment
and are NOT migrated. The experiment's `master/examples/*.ail.json`
fixture IS migrated (live JSON the workspace loader can
deserialise); surrounding prose is not.
Plus an editorial fix: the fixture-occurrence count parenthetical
corrected from "3" to "2" — each fixture has one `paramTypes` +
one `retType`, one per line.
Spec re-dispatched through `ailang-grounding-check` (Step 7.5
re-PASS). All 9 load-bearing claims ratified, with 2 negative-grep
"no test pins this" ratifications openly flagged in the agent
report as a Boss-override-eligible shape. Acceptance criteria
renumbered to 7 (was 6).
Touch-point count now: 2 serde-renames + 1 workspace.rs literal +
2 .ail.json fixtures + 1 data-model.md fenced block + 3 rustdoc
strings = 9 files, all small edits. No hash-pin refresh required.
Brummel
55ce6d0d70