4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
temoin-agentandClaude Fable 5.1	6508f3be47	Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse ... Une exception de domaine est une règle qui a un nom, un throw, presque toujours une épreuve, et souvent aucune déclaration. Si le réglage le demande (gardes_nommees, adr), le journal rend les candidats qu'aucun parcours ne cite, avec leur strate et ce qui les cite. Rien ne devient un constat, aucun état ne change de sens, la section n'existe pas sans les clés : additif, ignorable. Ce qu'un dessin de trois lecteurs (Java annoté, SQL, réconciliation) voulait démontrer, abattu par l'objecteur mandaté, ces quarante lignes le démontrent : huit exceptions de domaine chez openathle, zéro déclarée. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-09-21 15:43:14 +02:00
temoin-agentandClaude Fable 5.1	f3d7383748	SPEC v1.2 : la mesure nomme ce qu'elle a examiné (relations.confirms) ... Le sens est la décision entière : c'est la MESURE qui déclare ce qu'elle confirme, jamais l'assertion confirmée qui pointe en retour. Trois raisons suffisantes chacune : l'assertion confirmée existe déjà et ne se réécrit pas ; l'instrument sait ce qu'il a mesuré — le lien est inféré, jamais saisi ; et l'auteur d'une confirmation est la machine, non l'agent dont l'affirmation est confirmée. Le runner refuse confirms sur autre chose qu'une mesure de provenance measured. Mineur et ignorable : un consommateur qui ignore la clé la préserve. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-09-21 13:53:04 +02:00
temoin-agentandClaude Opus 5	1954dcb704	SPEC v1.1 : une décroissance montrée nomme sa lecture ... Un auditeur qui voit une confiance décrue ne peut pas la reproduire s'il ignore quelle fonction l'a produite, dans quelle version, à quelle date. Deux lectures divergentes du même verbatim se valent alors, sans qu'on puisse dire pourquoi : c'est l'opposabilité qui se fissure, non le fait. Champ 15 confidence_reading (§4.1), OPTIONNEL — présent seulement quand l'émetteur EXPOSE une valeur qu'il a dérivée ; ses quatre clés sont alors requises (policy, version, value, as_of). Le verbatim reste intact au champ 8. Règle de conformité au §9 : une valeur dérivée non déclarée n'est pas conforme. Additif et ignorable — un consommateur v1.0 le préserve et passe, comme §8 l'exige de tout champ inconnu. Relevé par une lecture extérieure du 2026-09-19 : « c'est une ligne du contrat, pas une ADR ». Elle avait raison sur les deux points. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>	2026-09-19 10:13:31 +02:00
temoin-agentandClaude Opus 5	1227a4fb5a	Autonomie : le dépôt public devient la source de vérité du contrat ... Le développement se fait ici, par pull request endossée — le subtree depuis le corpus hôte est mort (temoin/DEC-014, à consigner côté temoin). Deux gardes en CI, normatives toutes deux : la suite de conformité (SPEC §9) et l'auto-épreuve de l'instrument. Lockfile commité pour une CI reproductible ; note de gouvernance au README. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>	2026-09-11 09:30:11 +02:00