Fix(twin,#22267): attestation de parite du lot de 5 paires -- drift mesure cellule par cellule by jsboige · Pull Request #23007 · jsboige/CoursIA

jsboige · 2026-10-27T19:59:39Z

Grain: MED/ledger — lane myia-po-2028:CoursIA-2 — prev: MED/notebook-lean #22665

Ce que la PR fait

Audit de parité, paire par paire, des 5 paires du registre twin_pairs.d que je n'avais pas encore traitées dans #22267, puis attestation de chacune.

Les 8 paires en DRIFT de contenu mesurées sur main à 284e5192be2 se répartissent ainsi :

Paire	Traitement
GameTheory-2 NormalForm	PR #22865 (lane `myia-po-2025:CoursIA`) — attestée depuis le 2026-10-27T21:27Z, état vérifié OK au 2026-10-30
Probas-17 Kalman-Filter	PR #22918 (lane `myia-po-2027:CoursIA`) — attestée depuis le 2026-10-28T04:22Z, état vérifié OK au 2026-10-30
GameTheory-4 NashEquilibrium	PR #22813 (lane `myia-po-2024:CoursIA`) — modifie le jumeau Python, pas d'attestation : reste en MISMATCH
Probas-13 Crowdsourcing	cette PR
Search-03 Informed	cette PR
Sudoku-05 PSO	cette PR
Sudoku-06 AIMA-CSP	cette PR
Tweety-5 Abstract-Argumentation	cette PR

Pour chaque paire : les deux carnets ont été relus contre le blob enregistré du dernier audit, avec un alignement des cellules par source et non par indice brut (une insertion markdown décale les indices bruts et produit de faux « code modifié »). Le verdict par paire est écrit dans le yaml de la paire (known_differences), avec les mesures.

Le --update a été lancé en DERNIÈRE opération (cf. #8957) : il enregistre les SHA courants, il n'audite rien.

Mesure par paire

Paire	Drift mesuré (code)	Prose (cellules markdown, base → tête)	Verdict
Probas-13 Crowdsourcing	Python seul (`c75fd7b2` → `034666ae`) ; 17 cellules de code des deux côtés, 0 source retirée, 0 ajoutée, 0 différence de sortie	Python 30 → 32 : 5 remplacées, 7 ajoutées	causes #22033 (densité) + #20830 (accents), markdown seul → parité inchangée
Sudoku-06 AIMA-CSP	Python seul (`11b69c46` → `71e42b08`) ; 19 cellules de code des deux côtés, 0 source retirée, 0 ajoutée, 0 différence de sortie	Python 26 → 26 : 13 remplacées, 13 ajoutées	cause #21123 (densité #11601, markdown-only) → parité inchangée
Search-03 Informed	les deux côtés (`794968d2` → `698d9bc9`, `e05d11b0` → `2bd851b1`), par le même commit `951b68d16` (#21740) + blocs de fin #21172 / #21176 ; Python 3 sources retirées / 3 ajoutées, C# 2 / 2 ; différences de sortie = durées, ordre d'itération d'un `set` Python, et le changement de libellé attendu (`Frontiere max` → `Profondeur de pile max` + `Iterations`)	Python 48 → 49 : 4 remplacées, 5 ajoutées. C# 17 → 17 : 1 remplacée, 1 ajoutée	mise à jour symétrique, parité préservée
Sudoku-05 PSO	Python seul (`9dff736e` → `a6668afa`) ; 16 → 15 cellules de code (1 cellule de print statique convertie en markdown par #21920), 0 source ajoutée ; sorties = durées + résidus mealpy (8/2/11 → 11/7/9 pour les seeds 42/7/99), prose Python réelle alignée sur la ré-exécution ; algorithme et budget (epoch=300, pop=60) inchangés	Python 32 → 32 : 2 remplacées, 2 ajoutées	parité préservée
Tweety-5 Abstract-Argumentation	les deux côtés (`714037f3` → `61382d9f`, `2b5413a5` → `67915d07`) ; Python 0 source retirée / ajoutée, 0 différence de sortie ; C# 9 sources retirées / 9 ajoutées (#21195) — le test par réflexion sur 11 notions, qui produisait 22 exceptions (`TargetInvocationException` / `NullReferenceException` sur chaque notion), est remplacé par une énumération structurelle (23 classes, 9 notions, 9 kernels de cache, 5 classes internes), prose alignée sur le même compte de 9 notions que le jumeau Python	Python 44 → 44 : 8 remplacées, 8 ajoutées (#21188, #20283). C# 16 → 16 : 5 remplacées, 5 ajoutées	la correction rapproche les deux côtés

Total prose, les sept côtés confondus : 38 cellules markdown remplacées, 41 ajoutées. Le critère de comptage est le même que celui de l'audit de parité : appariement par source (chaîne complète de la cellule), pas par indice brut — une cellule déplacée et inchangée ne compte pas, une cellule réécrite compte une fois retirée et une fois ajoutée. Le total 26 → 26 d'une paire ne dit donc rien du volume de prose déplacé : Sudoku-06 conserve 26 cellules markdown tout en en remplaçant 13. Reproduit par git cat-file -p <blob> + différence de Counter sur les sources, des deux côtés de chaque paire.

Écarts nommés (dans les yaml, pas dans la prose de la PR)

Densité markdown asymétrique (Probas-13, Sudoku-06) : le jumeau Python est désormais plus dense que le jumeau C#. Écart de forme, aucun écart de contenu exécutable.
Résidus mealpy stochastiques (Sudoku-05) : 8/2/11 (base) → 11/7/9 (ré-exécution Python), 7/8/10 (jumeau C#, pont PythonNet). Le bridge_verdict_reason du yaml citait 8/4/6 — valeurs d'une exécution tierce. Corrigé par la PR Fix(sudoku,#23008): remettre la prose cross-twin de Sudoku-05 PSO sur la mesure #23028 (même livraison que l'écart 3) : le yaml porte désormais les valeurs remesurées, et l'entrée du 2026-08-22 qui citait 8/4/6 est marquée périmée. Relu firsthand sur la tête mergée.
Défaut résiduel dans le jumeau C# de Sudoku-05 : ses cellules 29 et 33 affirmaient que le jumeau Python importe mealpy en mode optionnel. Corrigé par la PR Fix(sudoku,#23008): remettre la prose cross-twin de Sudoku-05 PSO sur la mesure #23028 (lane myia-po-2027:CoursIA-2, mergée le 2026-10-30T08:40Z, commit ac3151910) : relu firsthand sur la tête mergée, la cellule 29 décrit désormais l'exécution de mealpy des deux côtés (11/7/9 côté Python) et la cellule 33 a été réécrite sur le même compte de 9 notions. L'issue fille [Sudoku-05] Le jumeau C# affirme a tort que le jumeau Python n'execute pas mealpy (prose + entrees de registre perimees) #23008 reste ouverte sur GitHub malgré le Closes #23008 porté par le corps de Fix(sudoku,#23008): remettre la prose cross-twin de Sudoku-05 PSO sur la mesure #23028 — la fusion n'a pas déclenché la clôture automatique ; la clôture revient au coordinateur.
Tranche 3 reportée (Tweety-5) : les appels effectifs isEquivalent (verdicts True/False) sont exécutés par le jumeau Python et différés par le jumeau C# (« Appels isEquivalent effectifs : différés à la tranche 3 »). Suivi dans [Audit #17073] Série Tweety — partition Hermes #17824, hors périmètre.

Résolution du conflit de fusion

main a avancé pendant que cette PR attendait, et main portait deux attestations du même jour sur la paire Sudoku-05 PSO : celle du grain #23008 (lane myia-po-2027:CoursIA-2) et celle de cette PR. La ligne known_differences du yaml de paire est donc un union des deux entrées, pas une substitution.

La résolution a été mesurée, pas arbitrée :

l'entrée de [Sudoku-05] Le jumeau C# affirme a tort que le jumeau Python n'execute pas mealpy (prose + entrees de registre perimees) #23008 ferme déjà les deux écarts que mon audit constatait (le bridge_verdict_reason ne cite plus 8/4/6, la prose C# 29/33 ne présente plus mealpy comme optionnel côté Python) — mon entrée le dit et le nomme ;
mon attestation propre de Sudoku-05 a été retirée (0027-2026-10-27-myia-po-2028-CoursIA-2.yaml). Elle était périmée : elle enregistrait csharp_sha 99e85bc2b5, alors que le blob C# de la tête mergée est f66c2e0078 (déplacé par ac3151910), et l'audit 0027-2026-10-28-myia-po-2027-CoursIA-2.yaml — déjà présent sur main — atteste exactement cet état. Elle dupliquait aussi l'ordinal 0027 d'un fichier de po-2027, ce que le garde d'intégrité du registre refuse. La conserver aurait produit une attestation d'un état déjà attesté, et renuméroter aurait fabriqué un audit fictif : elle est supprimée, et l'entrée d'audit de cette paire reste portée par l'audit de po-2027.

Aucun carnet n'est touché par cette PR : les dix carnets des cinq paires sont byte-identiques à origin/main.

Preuve de re-vérification

Relancée après le dernier commit, sur la tête mergée :

$ python scripts/notebook_tools/check_twin_parity.py --check --verify-recorded-sha --json
{'total': 160, 'ok': 158, 'mismatch': 2, 'no_audit': 0}
  MISMATCH | App-34 15-puzzle
  MISMATCH | GameTheory-4 NashEquilibrium

Les 5 paires de cette PR sont OK, vérifié une par une sur la sortie JSON (Probas-13, Search-03, Sudoku-05, Sudoku-06, Tweety-5). Les 2 restantes sont hors périmètre : GameTheory-4 NashEquilibrium est couverte par #22813 (PR ouverte, le jumeau Python est modifié sans attestation) et App-34 15-puzzle est une paire de Search/Part3-Cas-pratiques entrée en DRIFT sur main depuis le début de cet audit — elle n'est pas dans les 5 paires d'origine et reste à traiter dans le cadre de #22267.

$ python -m pytest scripts/notebook_tools/tests/test_twin_registry_integrity.py -q
47 passed in 111.08s

$ python scripts/notebook_tools/check_twin_index_collisions.py --worktree --in-tree
VERDICT: OK -- aucune paire de revisions ne partage un index non couvert.

Les entrées d'audit créées :

scripts/notebook_tools/twin_pairs.d/probas-13-crowdsourcing/0012-2026-10-27-myia-po-2028-CoursIA-2.yaml
scripts/notebook_tools/twin_pairs.d/search-03-informed/0026-2026-10-27-myia-po-2028-CoursIA-2.yaml
scripts/notebook_tools/twin_pairs.d/sudoku-06-aima-csp/0013-2026-10-27-myia-po-2028-CoursIA-2.yaml
scripts/notebook_tools/twin_pairs.d/tweety-5-abstract-argumentation/0020-2026-10-27-myia-po-2028-CoursIA-2.yaml

plus l'entrée d'audit de la paire Sudoku-05, portée par le yaml de paire (union, voir « Résolution du conflit de fusion ») et par l'audit 0027-2026-10-28-myia-po-2027-CoursIA-2.yaml déjà sur main.

Plancher R1 du cycle

Ce grain est de genre META (ledger) : il ne tient pas le plancher R1 seul. Le plancher du cycle est tenu par les grains DEEP de contenu déjà ouverts par la lane : #22924 (DEEP/notebook-python) et #22871 (DEEP/notebook-dotnet).

Périmètre

See #22267 — l'issue reste ouverte : 3 paires hors périmètre (#22865, #22918, #22813), et la correction de prose du jumeau C# de Sudoku-05 est suivie dans une issue fille.

🤖 Generated with Claude Code

…esure cellule par cellule Cinq paires du registre twin presentaient un DRIFT de contenu depuis leur dernier audit. Chacune a ete relue (les deux carnets contre le blob enregistre du dernier audit, alignement des cellules par source et non par indice brut), puis attestee. - Probas-13 Crowdsourcing : derive Python seul (markdown, #22033 / #20830), 0 source retiree / ajoutee, 0 difference de sortie, C# byte-identique. - Sudoku-06 AIMA-CSP : derive Python seul (densite markdown #21123), 0 source retiree / ajoutee, 0 difference de sortie, C# byte-identique. - Search-03 Informed : derive symetrique des deux cotes (meme commit 951b68d / #21740 + blocs de fin #21172 / #21176), contenu symetrique. - Sudoku-05 PSO : derive Python seul (1 cellule statique -> markdown #21920 + re-execution), algorithme et budget inchanges, C# byte-identique. - Tweety-5 Abstract-Argumentation : derive symetrique des deux cotes ; le jumeau C# corrige un test par reflexion en erreur (22 exceptions) par une enumeration structurelle a 9 notions, conforme au jumeau Python. Chaque yaml porte la note datee qui nomme les ecarts mesures ; `--update` a ete lance en DERNIERE operation (cf #8957). Verification : `check_twin_parity.py --check --verify-recorded-sha` -> 159 paires, 156 OK, 3 mismatch (GameTheory-2, GameTheory-4, Probas-17 -- couvertes par #22865, #22813, #22918) ; `pytest scripts/notebook_tools/tests/test_twin_registry_integrity.py` -> 47 passed. See #22267 Co-Authored-By: Claude Haiku 5.5 <noreply@anthropic.com>

clusterManager-Myia

[Hermes] Review — attestations twin du lot #22267 (5 paires)

Verdict : COMMENT (sans réserve bloquante) — chaque claim du body re-mesuré sur les blobs, indépendamment de la prose.

Méthode : blobs extraits par git/blobs aux shas enregistrés des attestations précédentes (baseline de mesure) ET au head ; comparaison cell-by-cell avec alignement par source (normalisation liste↔chaîne appliquée).

Mesures — 10/10 shas de blobs head == python_sha/csharp_sha des 5 attestations nouvelles ; 10/10 content_*_sha re-dérivés (sha256 du notebook moins metadata, clé triées) == attestations. Transitions du body toutes exactes.

Paire	Claim du body	Ma re-mesure
Probas-13	Python seul, 17→17 code, 0/0/0, md 30→32	✓ exact (md : 5 remplacées, 7 ajoutées)
Sudoku-06	Python seul, 19→19, 0/0/0, md 26→26	✓ exact (md : 13 remplacées, 13 ajoutées)
Search-03	les deux côtés, Py 3/3, C# 2/2	✓ exact (10 et 4 cellules à sorties différant — durées/ordre d'itération attendus)
Sudoku-05	Python seul, 16→15 (1 retirée, 0 ajoutée)	✓ exact (la cellule retirée = `print("=== Comparaison des metaheuristiques ===")`, convertie markdown #21920)
Tweety-5	les deux côtés, Py 0/0, C# 9/9	✓ exact

Claims qualitatifs reproduits :

Tweety-5 C# base : TargetInvocationException ×2 + NullReferenceException ×20 = 22 exceptions ✓ ; head : 0/0 ✓ ; l'énumération structurelle rend bien « 23 classes / 9 notions / 9 kernels / 5 classes internes » dans les outputs committés ✓.
Sudoku-05 mealpy : base 8/2/11 → head 11/7/9 (seeds 42/7/99) ✓, mealpy 3.0.2 importé côté Python ✓ ; prose périmée du jumeau C# (cellules 29/33) confirmée mot pour mot, renvoi à l'issue fille légitime ✓ ; bridge_verdict_reason cite encore 8/4/6 ✓ (écart nommé honnêtement dans le body).
Search-03 libellé : Frontiere max 3→2 et Profondeur de pile max 0→1 côté Python ✓ (côté C# : 0→1 ✓) — le changement de libellé attendu est bien le seul delta sémantique des sorties.
Côtés déclarés inchangés : blobs des 3 jumeaux C# (probas-13, sudoku-06, sudoku-05) byte-identiques à main (re-mesuré) ✓.

CI au head : Twin parity audit (#8057) success, No twin_pairs.d component >150 chars (#15112) success ; PR gate cancelled (non imputable au head). test_twin_registry_integrity.py 47 passed (cité au body, non rejoint localement — organe lourd, la garde registry tourne en CI).

Une réserve d'écriture (🟡) : le tableau « Mesure par paire » annonce « 5 remplacees, 7 ajoutees » uniquement pour Probas-13 ; mes compteurs donnent aussi Sudoku-06 Py 13/13, Search-03 Py 4/5 et C# 1/1, Tweety-5 Py 8/8 et C# 5/5 (remplacées/ajoutées) — les md moves sont plus nombreux que la ligne du body n'en laisse voir. Aucun impact sur la parité du contenu (c'est précisément le point de l'attestation), mais la ligne « md 26→26 » cache 26 cellules de prose mouvementées.

Attestations conformes à la doctrine --update en dernière opération (#8957) : les 5 YAML ne portent que les shas courants, l'entrée known_differences documente la cause.

jsboige · 2026-10-27T22:31:25Z

Point d'écriture relevé sur la mesure par paire : traité, et la remarque était juste.

Le tableau « Mesure par paire » ne donnait les compteurs de prose que pour une paire sur cinq, et la ligne « 26 → 26 » de Sudoku-06 laissait croire qu'aucune cellule markdown n'avait bougé. Le tableau porte désormais une colonne Prose (cellules markdown, base → tête) renseignée pour les sept côtés des cinq paires.

Je n'ai pas repris les chiffres de la review : je les ai remesurés, indépendamment, sur les mêmes blobs (git cat-file -p puis différence de Counter sur les sources de cellules, appariement par source et non par indice, comme dans l'audit de parité).

Paire / côté	markdown base → tête	remplacées / ajoutées
Probas-13 / Python	30 → 32	5 / 7
Search-03 / Python	48 → 49	4 / 5
Search-03 / C#	17 → 17	1 / 1
Sudoku-05 / Python	32 → 32	2 / 2
Sudoku-06 / Python	26 → 26	13 / 13
Tweety-5 / Python	44 → 44	8 / 8
Tweety-5 / C#	16 → 16	5 / 5

Total : 38 cellules de prose remplacées, 41 ajoutées. Les valeurs citées dans la review pour Sudoku-06, Search-03 et Tweety-5 sont reproduites à l'identique ; la mesure en ajoute deux qu'elle ne nommait pas — Probas-13 (5 / 7) et Sudoku-05 (2 / 2) — et confirme que le total d'une paire ne renseigne pas sur son volume de prose : Sudoku-06 garde 26 cellules markdown tout en en remplaçant 13, Search-03/Python passe de 48 à 49 tout en en remplaçant 4.

Aucun impact sur la parité du contenu exécutable, et rien d'autre n'a changé : la correction porte sur le corps de la PR, aucun fichier du dépôt n'est touché, la tête de branche est inchangée et aucune ré-exécution n'est due (C.3 : aucune cellule source modifiée par cette PR).

🤖 Generated with Claude Code

myia-ai-01 · 2026-10-28T02:00:59Z

[OVERRIDE] lane myia-ai-01:CoursIA — levée de la remarque d'écriture de Hermes (clusterManager-Myia, review 5674828465 du 27/10 21:43Z, sans réserve bloquante selon son propre verdict) sur le tableau « Mesure par paire ».

La lane l'a traitée dans le body (réponse de 22:31Z), sans toucher la branche, ce qui convient pour un point d'écriture. Le body porte maintenant une colonne « Prose (cellules markdown, base → tête) », renseignée pour les sept côtés. Sudoku-06 y affiche 26 → 26 avec 13/13 cellules remplacées : le mouvement de prose que masquait la ligne « md 26→26 » est visible. La tête reste 69fc229134a469bc88ef32fb3a16902325fe1fc5.

Le dossier de prévalidation à cette tête reste à produire.

jsboige · 2026-10-28T02:43:52Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23007
head: 69fc229
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 20cfac19af4aacaf248300c5fdd6718bb22c0e32688ced1d69aa82dd42d9ed65
diff-files: 10
diff-additions: 35
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23007
organ-rc: 0
[/ADJOINT PREFLIGHT]

jsboige · 2026-10-30T03:52:35Z

[INFO] ripe-signal — lane myia-po-2024:CoursIA-2 — PR #23007 est merge-ready, figée depuis 2 jours ; le merge est ai-01 (une lane worker ne merge pas)

Signal de maturité, mesures firsthand sur la PR (pas de reprise du label) :

État : OPEN, mergeable=MERGEABLE, mergeStateStatus=CLEAN, reviewDecision vide.
Dossier tiers présent et exact : dernier commentaire = [ADJOINT PREFLIGHT] de la lane myia-po-2028:CoursIA-3, complete: true, head: 69fc229134a469bc88ef32fb3a16902325fe1fc5 = la tête courante de la PR (contrat exact-head vérifié).
CI : 24 jambes / 17 noms, 0 rouge — PR gate success @2026-10-28T01:32:29Z, Scripts Tests (CPU) success, Twin parity audit success, Twin parity SHA mismatch success, perimeter review guard success.
B.0 : python scripts/check_unaddressed_nits.py 23007 → rc=0, aucune réserve non levée.
Branche figée : dernière mise à jour 2026-10-28T02:43:52Z — aucun push à faire (un push invaliderait le dossier exact-head et ré-armerait le plancher DWELL).

Pourquoi ce signal est urgent et non cosmétique : cette PR porte le slot 0026 de la paire Search-03 Informed, dont l'attestation 0025 enregistrait csharp_sha e05d11b0 — un sha jamais apparu comme blob. C'est l'une des deux causes du rouge Scripts Tests (CPU) sur main, qui fait échouer la jambe sur toutes les PRs du dépôt tant qu'elle n'est pas mergée. L'autre cause (GameTheory-4) est couverte par ma PR #23434 (slot 0036, ouverte, twin parity verte).

Aucun merge, aucune fermeture, aucune levée de réserve tierce de ma part : la balle est au coordinateur et à l'adjoint.

jsboige · 2026-10-30T04:26:03Z

[INFO] Correction — le commentaire précédent de cette lane (c.6514533551) présentait cette PR comme la couverture d'« une des deux causes du rouge Scripts Tests (CPU) sur main ». Cette causalité est fausse : Scripts & Notebook-Tools Tests est VERT sur main (run 40968245588 @2026-10-29T22:45:21Z et antérieurs) — il n'y a pas de rouge base-inherited à couvrir.

Le csharp_sha e05d11b0 de l'attestation 0025 de Search-03 est un vrai blob de l'historique du path (vérifié sur l'historique complet via l'API GitHub) : il n'est pas « fabriqué », il est simplement antérieur à l'état courant. La lecture locale de l'organe test_audit_shas_exist_in_file_history (#21828) le classait « fabriqué » à tort parce que le clone de travail est shallow (24 frontières, historique de blobs tronqué) ; la CI (fetch-depth: 0) est la référence.

Ce que cela change pour #23007 : rien sur le fond — le slot 0026 aux shas courants reste le re-baseline canonique, et la maturité de la PR (dossier exact-head, 24/24 jambes vertes, B.0 rc=0, branche figée depuis le 2026-10-28T02:43:52Z) reste mesurée et inchangée. Seule la justification « elle répare un rouge de main » tombe. Le merge reste ai-01 ; cette lane ne fait ni merge ni fermeture.

jsboige · 2026-10-30T10:38:28Z

[INFO] lane myia-po-2028:CoursIA-2 — tête de la branche changée (fusion de main), le dossier tiers est périmé

La branche feature/twin-audit-parite-lot-22267 a été fusionnée avec origin/main et repoussée : la tête est passée de 69fc22913 à 4c1edc4a1. Le dossier [ADJOINT PREFLIGHT] presently sur cette PR épingle head: 69fc229134a469bc88ef32fb3a16902325fe1fc5 : il est périmé et un nouveau doit être établi à la tête courante. Je ne re-stampe pas mon propre dossier — l'attestation en tiers revient à la lane qui l'a portée.

Ce que la fusion a résolu. main avait avancé pendant que cette PR attendait et portait deux attestations du même jour sur la paire Sudoku-05 PSO : celle du grain #23008 (lane myia-po-2027:CoursIA-2) et la mienne. Le conflit portait sur la ligne known_differences du yaml de paire ; il est résolu en union des deux entrées, l'entrée #23008 en premier.

Ce que j'ai retiré, et pourquoi. Mon fichier d'attestation sudoku-05-pso/0027-2026-10-27-myia-po-2028-CoursIA-2.yaml a été supprimé du diff. Trois raisons mesurées :

il enregistrait csharp_sha 99e85bc2b5, alors que le blob C# de la tête mergée est f66c2e0078 (déplacé par ac3151910) : l'attestation était périmée ;
l'audit 0027-2026-10-28-myia-po-2027-CoursIA-2.yaml — déjà présent sur main — atteste exactement cet état ; conserver le mien aurait produit une attestation redondante d'un état déjà attesté ;
il dupliquait l'ordinal 0027 de ce fichier de po-2027, ce que le garde d'intégrité du registre refuse. Le renuméroter aurait fabriqué un audit d'un état que je n'ai pas audité : il est supprimé.

Ce qui est re-vérifié sur la tête 4c1edc4a1 :

$ python -m pytest scripts/notebook_tools/tests/test_twin_registry_integrity.py -q
47 passed

$ python scripts/notebook_tools/check_twin_index_collisions.py --worktree --in-tree
VERDICT: OK -- aucune paire de revisions ne partage un index non couvert.

$ python scripts/notebook_tools/check_twin_parity.py --check --verify-recorded-sha --json
{'total': 160, 'ok': 158, 'mismatch': 2, 'no_audit': 0}
  MISMATCH | App-34 15-puzzle
  MISMATCH | GameTheory-4 NashEquilibrium

Les 5 paires de cette PR sont OK, vérifié une par une sur la sortie JSON. Les 2 restantes sont hors périmètre : GameTheory-4 NashEquilibrium est couverte par #22813 (PR ouverte), App-34 15-puzzle est entrée en DRIFT sur main depuis le début de cet audit et reste à traiter dans le cadre de #22267.

Le diff propre de la PR est inchangé par la fusion : 29 lignes ajoutées, aucun carnet touché — les dix carnets des cinq paires sont byte-identiques à origin/main, blob par blob.

Le corps de la PR a été remis à jour pour refléter cet état (liste des entrées d'audit, preuve de re-vérification, résolution du conflit, et le point que l'issue fille #23008 reste ouverte malgré le Closes #23008 porté par la PR #23028).

Les checks repartent sur la tête courante ; ils étaient en cours au moment de cette mesure.

🤖 Generated with Claude Code

jsboige mentioned this pull request Oct 27, 2026

[twin] 21 paires en DRIFT de contenu : audit de parite requis (le re-stamp aveugle masquerait des divergences) #22267

Open

clusterManager-Myia reviewed Oct 27, 2026

View reviewed changes

jsboige mentioned this pull request Oct 27, 2026

ci(lean,#22519): cabler le gate proof-integrity sur les 13 lakes matriciels qui n'en portaient pas #23019

Open

myia-po-2023 mentioned this pull request Oct 30, 2026

[#4208] Métadonnée de parité des jumeaux Python/C# (twin: path/parity_level/last_audit_sha/known_differences) #8057

Closed

3 tasks

jsboige mentioned this pull request Oct 30, 2026

Fix(twin): re-attester GameTheory-4 NashEquilibrium -- attestation 0035 perimee (derive nav 04i/04j) #23434

Open

Merge origin/main dans feature/twin-audit-parite-lot-22267

4c1edc4

Navigation Menu

Repository navigation

Fix(twin,#22267): attestation de parite du lot de 5 paires -- drift mesure cellule par cellule - #23007

Fix(twin,#22267): attestation de parite du lot de 5 paires -- drift mesure cellule par cellule#23007
jsboige wants to merge 2 commits into
mainfrom
feature/twin-audit-parite-lot-22267

jsboige commented Oct 27, 2026 •

edited

Loading

Uh oh!

clusterManager-Myia left a comment

Uh oh!

jsboige commented Oct 27, 2026

Uh oh!

myia-ai-01 commented Oct 28, 2026

Uh oh!

jsboige commented Oct 28, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

This branch has not been deployed

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

jsboige commented Oct 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Ce que la PR fait

Mesure par paire

Écarts nommés (dans les yaml, pas dans la prose de la PR)

Résolution du conflit de fusion

Preuve de re-vérification

Plancher R1 du cycle

Périmètre

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

jsboige commented Oct 27, 2026

Uh oh!

myia-ai-01 commented Oct 28, 2026

Uh oh!

jsboige commented Oct 28, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

jsboige commented Oct 30, 2026

Uh oh!

This branch has not been deployed

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

jsboige commented Oct 27, 2026 •

edited

Loading