doctrine-change-conventionslisted
Install: claude install-skill F-e-u-e-r/opus-pack
# Doctrine Change Conventions
What any doctrine diff in this repo must satisfy beyond the canon
skills (`skills/skill-authoring` is canonical for method; the README
"House covenant" paragraph for the probe policy). Every item below was
verified against the repo on 2026-07-30.
## The covenant pairing (in-body marker + Provenance entry)
- README House covenant, quoted verbatim (2026-07-16): "a new
behavioral rule ships with the probe or trap that would have failed
without it, or it ships explicitly labeled `unprobed`."
- The standing form here is BOTH pieces: an in-body marker at the
clause — ``(`unprobed` — see Provenance.)`` — AND a Provenance
entry. A clause carrying only the Provenance-level label gets the
in-body marker added as an integration fix (`f529014`: "#94 and #96
already carried theirs"; `814d116` added six for the #85–#89
batch).
- Provenance source labels in current use: `contributor-reported, not
linkable` (private evidence) and `repo-verifiable` (cite the
commit/PR). External measurements are additionally glossed "cited
as shape" — a qualifier phrase, not a label — when another
project's numbers are described without restating them as this
repo's own evidence.
- Probe debt needs no ledger edit: issue #92's canonical live view is
`grep -rn 'unprobed' skills/*/SKILL.md`. The issue stays open while
any marker exists; a marker leaves only by a probe-result
write-back or a recorded demotion/decline (see #92's body). Note
the grep'