matthieuandClaude Opus 5
92d402444e
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>
21 lines
682 B
JSON
21 lines
682 B
JSON
{
|
|
"name": "published-language",
|
|
"version": "0.1.0",
|
|
"private": true,
|
|
"type": "module",
|
|
"description": "Contrat d'échange inter-juridictions : grammaire source (grammar/) et enveloppe d'assertion (envelope/), sous un seul numéro de version (ADR-061/A1.2 §2.6, décision 6). Privé jusqu'à l'extraction publique décrite dans OPENING.md.",
|
|
"license": "Apache-2.0",
|
|
"scripts": {
|
|
"conformance": "node envelope/conformance/run.mjs",
|
|
"instrument": "node instrument/run.mjs",
|
|
"instrument:selftest": "node instrument/selftest.mjs"
|
|
},
|
|
"devDependencies": {
|
|
"ajv": "^8.17.0",
|
|
"ajv-formats": "^3.0.0"
|
|
},
|
|
"dependencies": {
|
|
"yaml": "2.9.0"
|
|
}
|
|
}
|