Skip to content

docs(ledger,#11690): strand 3 — lectures 18/18b/19/19b, l'asymetrie inversee - #16805

Merged
jsboige merged 2 commits into
mainfrom
feature/11690-strand-18-19
Sep 21, 2026
Merged

jsboige merged 2 commits into
mainfrom
feature/11690-strand-18-19

Conversation

@jsboige

@jsboige jsboige commented Sep 19, 2026 •

Copy link
Copy Markdown
Owner

Grain: LIGHT/ledger -- lane myia-po-2023:CoursIA -- prev: LIGHT/tooling #16802

Chemin critique user (arbitrage 19/09 relaye par ai-01 : « 3 lectures manquantes AVANT toute nouvelle chirurgie lourde. Elles sont dispatchables telles quelles : le ledger porte deja une mesure et une hypothese pour chacune »). Strand rang 3 du ledger #11690 : lecture complete des 4 notebooks ICT-18 / 18b / 19 / 19b (contenu ET outputs committes) et consignation au ledger.

Perimetre (arbitrage 21/08 inchange)

  • Ledger uniquement : docs/ledgers/11690-ict-consolidation.md (+54/-2). Aucun notebook modifie, aucune renumerotation.
  • Ligne du tableau de strand passee a **LU** (strand 3, 2026-09-19).

Hypothese du strand — verifiee sur deux axes

  1. Axe role du principal, inverse entre paires : dans 18/18b le principal porte la demonstration (gates discriminants + faux-positif S5b attrape : sigma=4.6227 vs 0.0014) et le -b affine (P1 PASS tau=-0.917, P2 DISSOCIATION, P3 PASS) ; dans 19/19b le principal finit au verdict nul (ENJEU-1 FAIL : I_stake(S4)=-0.5083 vs I_stake(S5)=-0.4651 alors que I_thermo(S4)=+5.6249 vs 0.0000) et le -b porte la preuve (artefact d'instrument demontre, repair_gain champ +0.82 +- 0.27).
  2. Axe substrats croises S2/S4 : S2 est KO en 18 (Gate 4 ratio 0.00) mais PASS en 18b-P1 (budget epuise au pli) ; S4 est OK en 18 (sigma x4285) mais dissocie en 18b-P2 (dissiper plus ne regenere pas plus). Ces croisements ne sont pas des contradictions — ils SONT la these moyen/fin, mais aucun des 4 notebooks n'ecrit le croisement.

Findings transverses (4, pour l'arbitrage user)

  • Un seul point de consolidation de contenu sur le strand : Gate ENJEU-1 d'ICT-19 exprime sur l'instrument scalaire pour S4 — correction d'une cellule, documentee comme « increment de consolidation ulterieur » en annexe de 19b elle-meme.
  • Controles negatifs : trois temoins (S5a/S5b, S5, Custom B), zero redondance — a preserver tel quel.
  • Entrees [ICT] Renumérotation série ICT (fille #5081) — placement strand Schmidhuber avant les LLMs #7260 (renumerotation) : ordre 18->18b->19->19b pedagogiquement correct, aucun candidat a la fusion, split de charge 19/19b assumé par conception.

Validation

  • Lecture mesuree depuis les outputs committes (33/25/33/24 cellules, 14/8/11/9 code toutes executees — script scratchpad, chiffres cites verbatim dans le ledger).
  • Ledger only : pas de CI specifique, pas de catalogue touche (byte-identique a main).

See #11690

🤖 Generated with Claude Code


Exception ecrite (G-VAR-3 adjacency + trivial-diff #15740), ajout 2026-09-20. L'organe adjacency mesure deux grains LIGHT/ledger consecutifs pour la lane en sequence de merges (#16827 -> #16805). C'est voulu : les strands du ledger #11690 forment une serie coordonnee livree en PRs separees (one-subject-per-PR, regle atomique), chaque strand etant une tranche de lecture distincte (strand rang 3 = lectures 18/18b/19/19b + asymetrie inversee), dispatchee comme telle par arbitrage user du 19/09 relaye par ai-01 (« 3 lectures manquantes AVANT toute nouvelle chirurgie lourde »). Le diff de 55 lignes <= 100 est le format attendu d'un strand de ledger (consignation au ledger existant), pas un grain de fond deguise : la substance — lecture complete des 4 notebooks ICT, contenu ET outputs committes — est documentee dans le corps ci-dessus et mesuree au ledger.

…nversee

Consignation de la lecture complete (contenu + outputs committes) du strand
rang 3 : ICT-18, ICT-18b, ICT-19, ICT-19b. Hypothese verifiee sur deux axes :
role du principal inverse entre paires (18 porte la demonstration / 19 finit au
verdict nul repare par 19b) ; croisement S2/S4 entre instruments (S2 KO en 18
mais PASS en 18b-P1, S4 OK en 18 mais dissocie en 18b-P2). Un seul point de
consolidation de contenu : Gate ENJEU-1 d'ICT-19 exprime sur l'instrument
scalaire pour S4, correction documentee en annexe de 19b. Perimetre = ledger
uniquement, aucun notebook modifie, arbitrage 21/08 inchange.

See #11690

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions github-actions Bot added the trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) label Sep 19, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Trivial-diff advisory (#15740, non bloquant).
genre ledger dans la famille META (docs/guard/ledger/readme/test) + diff de 56 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.

@github-actions

github-actions Bot commented Sep 19, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #16805 (docs(ledger,#11690): strand 3 — lectures 18/18b/19/19b, l'asymetrie inversee) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

@jsboige

jsboige commented Sep 19, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT] PR #16805 — verdict: BLOCKED-WITH-SUBSTANCE

Head audité : f2874fef11feda677824bb748e6fc0a49e3a5515.

B.0 est clair et les checks latest-wins sont verts, mais le diff retire accidentellement le titre ## Strand 4 — ICT-25 (rang 4) : il existe à la ligne 75 sur main, puis est remplacé par ## Strand 3 — 18 / 18b / 19 / 19b (rang 3) au head. Le contenu ICT-25 survit à partir de la ligne 129, mais sans son ancre H2 ; la hiérarchie durable du ledger est donc cassée.

Preuve comparative : headings sur main = Strand 1 ligne 31 + Strand 4 ligne 75 ; headings au head = Strand 1 ligne 31 + Strand 3 ligne 75, puis paragraphe ICT-25 ligne 129 sans ## Strand 4.

Action auteur : réinsérer exactement ## Strand 4 — ICT-25 (rang 4) entre le séparateur fermant Strand 3 et le paragraphe ICT-25, puis laisser les checks se recalculer. Aucun push/rebase n’est effectué par l’adjoint.

…te (adjoint audit f2874fe)

The ICT-25 content survived but was orphaned under Strand 3; re-insert
'## Strand 4 — ICT-25 (rang 4)' between the separator and the reading
paragraph, matching the Strand 3 heading shape.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 19, 2026
@github-actions

Copy link
Copy Markdown
Contributor

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: ledger succede a ledger -- deux grains LIGHT consecutifs pour la lane myia-po-2023:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-po-2023:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #16827, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #16827 (ledger, source merged-sequence), sequence de merges arretee au 2026-09-19T20:16:43Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 16805

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

@github-actions github-actions Bot added variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) and removed trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) labels Sep 20, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

@github-actions github-actions Bot removed variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) labels Sep 20, 2026
@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16805
head: edf301a
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ad34d10629ccc2744a9c6968b845a28f06ac469a0c371f72a6f46edd1d72ef81
diff-files: 1
diff-additions: 54
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@jsboige
jsboige merged commit c6d8ec7 into main Sep 21, 2026
24 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-overlap Advisory: another open PR touches the same files (organ #13615)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant