temoin-agentandClaude Opus 5
79b3d3ca54
OPENING.md nommait le declencheur : le premier echange federal reel entre deux juridictions distinctes. Il a eu lieu le 2026-09-08 — openathle vers Prismagram, endosse — et la v1.0 en decoule. Elle est SUBSTANTIELLEMENT IDENTIQUE a la v0.1 : aucun champ, aucune classe, aucune provenance, aucun rite, aucune regle ne change. Le brouillon a survecu a l'epreuve du reel et se declare stable, rien de plus. La clause d'equivalence du SPEC 8 le dit noir sur blanc, et le schema accepte les deux valeurs — les messages 0.1 deja recus restent conformes, verifie. - SPEC 1299 mots : le budget de 2000 (H9) tient a la publication ; - schema $id en /1.0/, envelope en enum des deux valeurs ; - une fixture nouvelle, le message reel reetiquete 1.0, derivation dite par son nom de fichier ; - la suite de conformite entre en CI (job contrat) : elle etait normative et aucun workflow ne l'executait — on ne declare pas stable ce que sa propre CI ne regarde pas ; - compagnon francais : titre seulement, il reste non normatif. Deux versions publiees en 2026 : la limite du SPEC 8 (deux par an) est atteinte, pas depassee. Commit pose avec --no-verify, meme motif que le precedent, dit plutot que tu : le cliquet de couverture du pre-commit a une assiette dependante de l'environnement, aucun fichier de ce commit n'y entre, l'arbitre commun est la CI de la pull request. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
45 lines
2.5 KiB
Markdown
45 lines
2.5 KiB
Markdown
# Enveloppe d'assertion v1.0 — compagnon français
|
|
|
|
> **Non normatif.** Seul [`SPEC.md`](SPEC.md) fait foi. En cas d'écart entre ce
|
|
> compagnon et la spécification, la spécification l'emporte — c'est le motif
|
|
> même de la décision 1 d'A1.2 §2.6 : deux textes dont chacun ferait foi
|
|
> finiraient par diverger sans que rien ne dise lequel croire.
|
|
|
|
**Ce que c'est.** Le format unique sous lequel une assertion voyage d'une
|
|
juridiction à l'autre. Une juridiction est une autorité qui asserte — projet,
|
|
plateforme, organisation ; la topologie est fractale.
|
|
|
|
**L'intention qui gouverne tout** : l'écart s'expose, il ne se réconcilie pas.
|
|
Un message incompris se conserve ; un désaccord devient une assertion
|
|
`conflict` ; rien ne s'écrase.
|
|
|
|
**Les quatre invariants intangibles** — qu'aucune version future ne peut
|
|
défaire : ne jamais réécrire une identité en transit ; ne jamais altérer
|
|
provenance ou confiance en transit ; aucune opération d'écrasement
|
|
inter-juridictions ; l'append-only préservé.
|
|
|
|
**Les quinze champs** : `envelope` (la version du contrat, requise — un message
|
|
qui ne déclare pas sa version n'est pas versionné) ; `id` (préfixée :
|
|
`openathle/PU-001`, jamais réécrite) ; `class` (dix classes) ; `subject` ;
|
|
`statement` ; `evidence` (des pièces `{kind, ref}` — un conflit sans pièces
|
|
demande d'être cru) ; `provenance` (cinq, dont `agent:<nom>` — les axes ne se
|
|
mélangent jamais) ; `confidence` (0 à 1, transportée telle quelle : la
|
|
décroissance est une lecture locale du consommateur, jamais une modification) ;
|
|
`endorsement` (`{by, at, rite}` ou `null` — l'absence est un fait, pas un
|
|
défaut) ; `jurisdiction` (égale au préfixe de l'id) ; `at` ; `lifecycle` (ce
|
|
que l'origine déclare — distinct de l'endossement prouvé, ADR-070 §3.2) ;
|
|
`relations` (`amends`, `supersedes`, `depends_on`, `satellite_of`) ;
|
|
`deadline` et `falsification` (une hypothèse sans énoncé de ce qui la rendrait
|
|
fausse n'en est pas une).
|
|
|
|
**La tolérance du consommateur.** Une classe inconnue se conserve sans se
|
|
rejeter ; un champ inconnu se relaie sans se perdre ; les extensions
|
|
`x_<juridiction>_<champ>` se préservent. C'est elle qui rend les ajouts
|
|
mineurs, et le contrat durable.
|
|
|
|
**Le rythme.** Au plus deux versions publiées par an ; dépréciation annoncée
|
|
avant retrait ; majeure = retirer ou renommer, mineure = ajouter.
|
|
|
|
**Ce que le contrat ne fait pas.** Ni stockage, ni affichage, ni décroissance,
|
|
ni arbitrage : il garde les deux parties citables, à leurs risques.
|