SPEC v1.2 : la mesure nomme ce qu'elle a examiné (relations.confirms) #3

2026-09-21T11:53:06Z

temoin-agent commented

2026-09-21 11:53:06 +00:00

Volet A du chantier convergent (invariants → confirmation → proposeur nommé).

Le sens est la décision entière. Une relation confirms, portée par la mesure, pointant vers ce qu'elle a examiné — jamais l'inverse. L'assertion confirmée existe déjà et ne se réécrit pas (P2) ; l'instrument sait ce qu'il a mesuré, le lien est inféré et non saisi (P4) ; et l'auteur d'une confirmation est la machine qui mesure, non l'agent dont l'affirmation est confirmée. C'est ce qui distingue cette relation du confirmed_by envisagé, qui aurait été une auto-attestation avec un pointeur.

La règle mord : le runner de conformité refuse confirms sur toute assertion qui n'est pas une measure de provenance measured — fixture invalide fournie. Fixture valide : le constat réel MES-INV-011-2 confirmant openathle/INV-011.

Portée : MINOR (§8), additif et ignorable. Un consommateur v1.1 préserve la clé comme toute clé inconnue de relations.

À sa fusion, la dérive de temoin rougira et le proposeur ouvrira l'adoption — sous le nom temoin-bot si le compte existe (volet C), sous gitea-actions sinon.

🤖 Generated with Claude Code

Volet A du chantier convergent (invariants → confirmation → proposeur nommé). **Le sens est la décision entière.** Une relation `confirms`, portée par la **mesure**, pointant vers ce qu'elle a examiné — jamais l'inverse. L'assertion confirmée existe déjà et ne se réécrit pas (P2) ; l'instrument sait ce qu'il a mesuré, le lien est inféré et non saisi (P4) ; et l'auteur d'une confirmation est la machine qui mesure, non l'agent dont l'affirmation est confirmée. C'est ce qui distingue cette relation du `confirmed_by` envisagé, qui aurait été une auto-attestation avec un pointeur. **La règle mord** : le runner de conformité refuse `confirms` sur toute assertion qui n'est pas une `measure` de provenance `measured` — fixture invalide fournie. Fixture valide : le constat réel `MES-INV-011-2` confirmant `openathle/INV-011`. **Portée** : MINOR (§8), additif et ignorable. Un consommateur v1.1 préserve la clé comme toute clé inconnue de `relations`. À sa fusion, la dérive de temoin rougira et le proposeur ouvrira l'adoption — sous le nom `temoin-bot` si le compte existe (volet C), sous `gitea-actions` sinon. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

temoin-agent added 1 commit 2026-09-21 11:53:06 +00:00

SPEC v1.2 : la mesure nomme ce qu'elle a examiné (relations.confirms)

gardes du contrat / conformite (pull_request) Successful in 28s

Details

f3d7383748

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>

oat_gitadmin approved these changes

2026-09-21 12:03:37 +00:00

oat_gitadmin left a comment

ok relu

oat_gitadmin merged commit 887d9a90c3 into master

2026-09-21 12:03:41 +00:00

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Prismagram/published-language#3