docs(ledger,#12204): reconciliation ops 2 et 6 — GT-19 et Search-03f enregistrees comme 2es attestations

[jsboige]

Grain: MED/ledger — lane myia-po-2027:CoursIA — prev: DEEP/notebook-python #19013

Sous-grain op 2 + sync op 6 de l'EPIC #12204 (ICT Chantier 1, table des operations) — reconciliation ledger-vs-artefacts (pattern #11900 inversé : c'est le ledger qui avait vieilli, pas le body).

Defaut

Le ledger audit-froid date du 30/09. Deux artefacts livres sur main n'y figurent pas :

Op	Artefact	Preuve
2 « Abstraire a dette bornee »	GameTheory-19-Abstraction-a-Dette-Python.ipynb — ne de #12229 (CLOSED, meme voyage de digestion, 0 citation dans le body de l'EPIC), PR #12267 (11/09), digere #18317 (01/10), 7/7 cellules executees	Cellule 3 : fusion d'etats ; cellule 7 : solve exact de G_tilde, retransport, mesure DANS G (pipeline alpha->solve->rho->sigma_G de la loi) ; cellule 12 : courbe de dette sur la chaine P6<P4<P3<P2 avec refines ; atlas des 15 paires ; P3B hors chaine a taille egale (P3 = 1.9091)
6 « Reparer localement sous garantie »	Search-03f-Reparer-Localement-Sous-Garantie-Python.ipynb, PR #19013 MERGED 04/10 02:14Z (posterieure au dernier toucher du ledger), 11/11 cellules executees	Garantie transportee (LPA* = A* from scratch, 8/8), localite payee juste (12 expansions), 0 mention de Sandholm (independance par construction)

Ce que la PR fait

• Lignes ops 2 et 6 : FILE D'ATTENTE -> en construction (etat des ops 11-13), avec la reserve d'independance explicitee pour op 2 (GT-19 cite Kroer-Sandholm et nait du meme batch — precedent c.1308/op 3 applique honnetement).
• Tranche « Reconciliation 04/10 » ajoutee : constat, preuves cellule par cellule, statut.
• Aucune promotion auto-decidee : les deux promotions TABLE appartiennent a A7 (convention des ops 11-13). File d'attente 4 -> 2 (restent ops 3 et 5).

Verification

• Lecture firsthand des deux carnets sur origin/main (contenu des cellules, execution_count, outputs, comptes de mots-cles Sandholm/Kroer).
• Gate check_prose_quantitative_claims --strict sur le diff : OK.
• 1 fichier, 14 insertions, 2 deletions — aucun notebook touche (pas de re-exec due).

See #12204

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2027:CoursIA a deja consomme son budget LIGHT du jour (#18986 (merge a 2026-10-04T06:12:19Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre ledger dans la famille META (docs/guard/ledger/readme/test) + diff de 16 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA-2
pr: 19085
head: 7c31835
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3d9a338b305db6e3e67f3bee03239f9c63545141cc03674569a0a0be95626559
diff-files: 1
diff-additions: 14
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier tiers (dispatch ai-01 c1406, lot n2). Fond verifie firsthand a la tete exacte :

• Checks : 26/26 jambes latest-wins vertes, 0 rouge. B.0 : rc=0.
• Scope : 1 fichier ledger = perimetre annonce. Tag Grain + prev documentes. See [EPIC][ICT] Chantier 1 — La table des opérations : algèbre des transformations attestée, ses trois lois, ses témoins et ses dettes #12204 sans Closes (EPIC ouverte).
• Domain : diff = mise a jour table ops 2/6 + tranche reconciliation datee avec verifications firsthand citees (GT-19 cellules 3/7/12, chaine P6<P4<P3<P2 ; Search-03f 3 temoins, 0 mention Sandholm mesuree). RESERVE d'independence explicite, promotion renvoyee a A7 (pas d'auto-decision) — honnetete conforme. Spot-check G.1 : PR feat(search,#12204): Search-03f -- repair incremental LPA* sous garantie (2e attestation op 6) #19013 merged=2026-10-04T02:14:57Z VERIFIE conforme au body. Les 2 commentaires = advisories bots (G-VAR-2 light cap, trivial-diff), non bloquants.