feat(published-language): l'instrument de coupe — où chaque garde vit réellement

La juridiction se mesure elle-même (temoin/ADR-018, mandat temoin/DEC-012 ;
ADR-061 §2.6/§2.8 : le plan de mesure remplit la coupe). L'instrument court
dans la CI de la juridiction observée, lit les invariants déclarés par ses
parcours, et constate pour chacun l'étage où sa vérification est nommée :
domicilié, renforcé, mal domicilié, aucun locus. Il constate la nomination,
pas l'exécution ; il n'échoue jamais sur un écart — l'écart est le produit.

Constats en ajout seul et sur changement d'état seulement ; journal de
fraîcheur réécrit à chaque exécution ; réglage tenu par la juridiction et
épinglé dans chaque constat ; homonymie exposée, jamais résolue. Auto-épreuve
sur juridiction d'essai (quinze vérifications). Essai à blanc sur openathle
réel : 21 invariants, 3 mal domiciliés, 18 sans locus — la coupe mord.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-09-08 18:06:40 +02:00
co-authored by Claude Opus 5
parent 79b3d3ca54
commit 92d402444e
11 changed files with 520 additions and 1 deletions
@@ -0,0 +1,2 @@
// Guard for INV-001 — names it, proves nothing.
class Rule {}
@@ -0,0 +1,2 @@
// Proves INV-001 and INV-002 above the due stratum.
class FlowTest {}
@@ -0,0 +1,2 @@
// Proves INV-001 at its due stratum.
class RuleTest {}