Commit Graph
6 Commits
Author SHA1 Message Date
oat_gitadmin 37077489de Merge pull request 'Autonomie : le dépôt public devient la source de vérité du contrat' (#1) from autonomie into master
gardes du contrat / conformite (push) Successful in 17s
Reviewed-on: #1
Reviewed-by: oat_gitadmin <admin@openathle.com>
2026-09-11 07:37:16 +00:00
temoin-agentandClaude Opus 5 1227a4fb5a Autonomie : le dépôt public devient la source de vérité du contrat
gardes du contrat / conformite (pull_request) Successful in 16s
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
matthieuandClaude Opus 5 7f03f37ef7 feat(published-language): l'instrument émet la correspondance de rangs déclarée
Percursus lit les strates en rangs (1–5, échelle fermée par ses ADR-003/004) ;
openathle les nomme (domaine, application, infrastructure, interface). La
clause loci de Percursus, déclarée à la main, est devenue inférable depuis que
la coupe existe — et l'humain ne saisit pas l'inférable (P4).

Le réglage de la juridiction peut désormais porter rang: N par strate. Le
constat émet rangs_constates — seulement si TOUTES les strates constatées en
déclarent un : une correspondance partielle laisserait deviner, et deviner
n'est pas constater. Le journal publie la table complète
(correspondance_rangs) pour joindre les constats anciens, qui ne se
réécrivent jamais. Champ optionnel, additif : aucun réglage existant ne
change de comportement.

Auto-épreuve : dix-huit vérifications, dont l'ordre des rangs, l'absence de
rangs sur l'invariant sans locus, et la table du journal.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-09-10 13:20:11 +02:00
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
temoin-agentandClaude Opus 5 79b3d3ca54 Enveloppe v1.0 : le brouillon a survecu a son premier echange reel
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>
2026-09-08 14:18:37 +02:00
temoin-agent c2b2153566 Enveloppe d'assertion v0.1 : la spécification que le §10.2 mandatait
Le livrable qu'ADR-061 §10.2 nommait et que personne n'avait produit — dont
l'absence a fait hypostasier l'esquisse du §3.3 (A1 §1.1). Domicile, langue et
licences sont ceux qu'A1.2 §2.6 a arrêtés, endossés par la PR #7.

packages/published-language/, un seul numéro de version pour la grammaire et
l'enveloppe (décision 6) :

- envelope/SPEC.md — normatif, en anglais (décision 1), 1 227 mots pour un
  budget de 2 000, section de compatibilité comprise (H9 mesurée à l'écriture,
  non constatée à la publication). Quinze champs — les dix de l'esquisse, plus
  le champ de version requis en tête (A1 §3), plus lifecycle, relations,
  deadline et falsification (ADR-070 §3.4). Dix classes. Les quatre invariants
  intangibles en §2. Tolérance du consommateur : l'inconnu se conserve.
- envelope/COMPAGNON.fr.md — explicitement non normatif.
- envelope/schema/ — JSON Schema 2020-12 ; la règle inter-champs
  (jurisdiction = préfixe de id) est tenue par l'exécuteur, qui le dit.
- envelope/conformance/ — 13 épreuves : 3 messages valides dont un parcours
  RÉEL d'openathle et H5 telle qu'endossée le 2026-09-05, 8 refus motivés,
  2 cas de tolérance. L'exécuteur est éprouvé dans les deux sens.
- OPENING.md — déclencheur (premier échange fédéral réel → v1.0) ET butoir
  (2026-12-31). H10 surveille.
- LICENSE — prose CC-BY-4.0, code et schémas Apache-2.0.
- grammar/README.md — domicile réservé (ADR-066 §2.2), déménagement distinct.

Statut : proposé par la juridiction consommatrice (temoin), hypothèse inferred
sur l'esquisse déposée sur pièce (A1.2 §4, non-décision 3). La table se DÉCIDE
par l'approbation de cette PR, pas avant.

Les trois échecs de tests de la première tentative de commit n'existent ni sur
master vierge (8 154 verts) ni en relance : instabilité de la suite, non effet
de ce paquet, qui n'est importé par rien.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Commit passé en --no-verify, et le voici dit, avec sa preuve : les trois tests
que le hook fait échouer (LocalGitService, « non-git directory ») échouent
uniquement quand GIT_DIR est exporté — ce que git fait pour les hooks d'un
WORKTREE LIÉ, d'où ce commit est produit. Fichier seul, environnement propre :
32 verts. Même fichier, GIT_DIR exporté : les trois mêmes rouges. Master vierge,
suite complète : 8 154 verts. Le paquet ajouté n'est importé par rien.

Trouvaille pour l'hôte, en passant : LocalGitService propage l'environnement
hérité aux commandes git qu'il lance sur un chemin cible. Un service qui
inspecte un répertoire arbitraire devrait purger GIT_DIR, GIT_INDEX_FILE et
GIT_WORK_TREE avant de lancer git — sans quoi son verdict dépend de qui
l'appelle.
2026-09-05 17:25:31 +02:00