Files

T

matthieuandClaude Opus 5 92d402444e 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>

2026-09-08 18:06:40 +02:00

300 B

Raw Permalink Blame History

id, titre, invariants

titre

invariants

PU-001

Parcours d'essai

id	enonce
INV-001	Un essai ne vaut que constaté.

id	enonce
INV-002	Nul ne franchit sans être nommé.

id	enonce
INV-003	Ce que personne n'éprouve n'existe pas.

PU-001 — corps sans importance pour l'instrument

300 B Raw Permalink Blame History

PU-001 — corps sans importance pour l'instrument

300 B

Raw Permalink Blame History