Skip to content

fix(prose,#17636): relais c8 — 4 carnets md-only (PyMC-08, research Composite, Planners-6, SC-07) + parités jumelles - #18537

Merged
myia-ai-01 merged 14 commits into
mainfrom
relay-c8-w5md
Oct 1, 2026
Merged

fix(prose,#17636): relais c8 — 4 carnets md-only (PyMC-08, research Composite, Planners-6, SC-07) + parités jumelles#18537
myia-ai-01 merged 14 commits into
mainfrom
relay-c8-w5md

Conversation

@jsboige

@jsboige jsboige commented Sep 30, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: MED/notebook-python #18452

Relais c8 (burst 30/09, cycle shepherd 03:1xZ) : 4 carnets md-only + attestations de parité jumelle ; réparation twin-registry du 01/10 (section dédiée en bas).

Périmètre : 8 fichiers :

  • MyIA.AI.Notebooks/Probas/PyMC/PyMC-08-TrueSkill.ipynb
  • MyIA.AI.Notebooks/QuantConnect/partner-course-quant-trading/kit-transitoire/03-Framework-Composite/research.ipynb
  • MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-6-Domains.ipynb
  • MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-07-Token-Standards-Python.ipynb
  • scripts/notebook_tools/twin_pairs.d/planners-6-domains/0011-2026-09-30-myia-po-2025-CoursIA.yaml (renumérotation du 30/09, levait la collision de nom avec le 0010 de po-2026)
  • scripts/notebook_tools/twin_pairs.d/planners-6-domains/0012-2026-10-01-myia-po-2025-CoursIA.yaml (attestation post-fusion, ajoutée par la réparation du 01/10)
  • scripts/notebook_tools/twin_pairs.d/probas-8-trueskill/0014-2026-09-30-myia-po-2025-CoursIA.yaml
  • scripts/notebook_tools/twin_pairs.d/probas-8-trueskill/0015-2026-09-30-myia-po-2025-CoursIA.yaml

Ajouts du cycle repair : la clé metadata manquante sur le display_data c.4 de research.ipynb (correctif Quarto, cf commentaire) et la renumérotation des attestations probas-8 (0014/0015) levant le doublon d'index avec main. Recette arbitrée c.5860054240 (TRI AVANT GESTE).

Grain Fichier Geste
w5-23-pymc-f1 Probas/PyMC/PyMC-08-TrueSkill.ipynb cellule md 16 : « deux dernières lignes de la cellule » supprimée, prédicat conservé
w5-30-quant-trading QuantConnect/partner-course-quant-trading/kit-transitoire/03-Framework-Composite/research.ipynb « split en 3 lignes » supprimé, prédicat conservé
w5-33-planners SymbolicAI/Planners/02-Classical/Planners-6-Domains.ipynb mesure « 100 lignes » supprimée, prédicat gardé
w5-34-smartcontracts SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-07-Token-Standards-Python.ipynb « ~80 lignes de Solidity » supprimé (cellule md 18), prédicat conservé

Gates : cellules code + outputs byte-identiques (4/4 PASS, verify batch sur branche relais) ; check_prose_quantitative_claims --diff base...HEAD --strict rc=0 ; anti-collision PRs ouvertes OK (les quatre carnets hors files tenus, y compris research.ipynb ≠ OptionsIncome/Research-Executor) ; parités jumelles : attestations planners-6-domains 0011 + 0012 et probas-8-trueskill 0014 + 0015 — Twin parity audit (#8057) SUCCESS à la tête 9142f84.

Base : 2402875 (origin/main 30/09 03:1xZ). Workers : runs Vibe w5 (Mistral) ; tri et relais par la lane.

Réparation twin-registry du 01/10 (tête 9142f84)

Cause-racine du rouge Twin parity audit : l'audit tourne au merge ref ; l'attestation 0011 (renumérotée le 30/09) hachait les blobs d'avant la fusion de main, et main avait bougé sur les mêmes carnets avec #18647. L'ordinal supérieur 0011 masquait le 0010 de po-2026 en attestant un état pré-fusion → DRIFT_INTRODUCED au merge ref (un replay local sur la seule branche rendait un faux vert).

Fix : git merge origin/main (ddd312b) puis nouvelle attestation post-fusion 0012 (SHAs blob + contenu des deux côtés, python et csharp) ; check_twin_index_collisions.py --head HEAD VERDICT OK ; Twin parity audit (#8057) et Twin parity SHA mismatch (#9399) SUCCESS à 9142f84.

Conséquence coordination (signalée au coordinateur) : l'attestation planners de #18654 devra monter à l'ordinal 0013 après merge de #18537 (elle réécrit aujourd'hui le 0010, qui restera sous mes 0011/0012).

🤖 Generated with Claude Code

jsboige and others added 5 commits September 30, 2026 05:18
@jsboige
docs(pymc,#17636): PyMC-08-TrueSkill -- resorption mesure d'artefact …
58ff6f4 
…en prose markdown (cellule 16 : 'deux dernieres lignes de la cellule' supprimee, predicat conserve)
@jsboige
fix(quant-trading,#17636): 03-Framework-Composite research.ipynb -- s…
c3915bb 
…uppression mesure d'artefact 'split en 3 lignes' (predicat conserve)
@jsboige
docs(planners,#17636): Planners-6-Domains -- prose-counts, suppressio…
83b6405 
…n mesure 100 lignes, predicat garde
@jsboige
fix(sc07,#17636): prose-markdown -- suppression mesure d'artefact '~8…
b7f3165 
…0 lignes de Solidity' (cellule markdown 18), predicat conserve; reste byte-identique
@jsboige @claude
chore(twin-parity,#17636): attestations planners-6-domains 0010 + pro…
5325f14 
…bas-8-trueskill 0013 (relais c8, blobs base conformes aux attestations 0009/0012)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@jsboige jsboige mentioned this pull request Sep 30, 2026
Open
@github-actions github-actions Bot added the variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable) label Sep 30, 2026
@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

@github-actions github-actions Bot added the consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) label Sep 30, 2026
@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 4
  • Code cells validated: 59
  • Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

@github-actions

github-actions Bot commented Sep 30, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 3.4s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 3.3s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 4.2s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.1s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.1s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 1.9s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 13.9s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.3s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

@jsboige jsboige mentioned this pull request Sep 30, 2026
Merged
@github-actions github-actions Bot added the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Sep 30, 2026
@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

  • mergeable_state = unknown (pas dirty) ;
  • aucun evenement base_ref_changed dans la timeline ;
  • le sujet du commit de tete ne porte pas le token [skip ci] ;
  • auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=unknown, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 1fa5fb6
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 378b21fa5016e11716971d1a3ff23dc9ec3257561c68c6c466854520c22a8ec5
diff-files: 6
diff-additions: 16
diff-deletions: 4
checks: BLOCKED
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

Reparations de la lane (cycle 30/09) : (1) update-branch absorbant le resync CSV DALL-E 3 de main (46aadbf, #18530) — le rouge hot-subset etait herite de la base, ratchet local 2/2 vert apres fusion ; (2) perimetre du body corrige — la mention « 4 fichiers hors files tenus » etait lue comme assertion de perimetre, reformulee (6 fichiers au total : 4 carnets + 2 attestations). Gardes locaux : perimeter OK, hot_subset OK.

@github-actions github-actions Bot removed the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Sep 30, 2026
@github-actions

github-actions Bot commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-30) :

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

@jsboige @claude
chore(twin,#8057): attestation Probas-8 TrueSkill apres edition md-on…
84cfdf2 
…ly PyMC-08 (#18537)

Audit firsthand base<->head : cellule 16 markdown seule modifiee, 0 cellule
code touchee (source et outputs byte-identiques). Re-baseline du python_sha.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

Le rouge Twin parity (paire Probas-8 TrueSkill introduite en DRIFT par l'édition md-only de PyMC-08) est attesté au commit 84cfdf2246 : audit firsthand base↔head — cellule 16 markdown seule modifiée, 0 cellule code touchée (sources et sorties byte-identiques), attestation 0014-2026-09-30 reposée. Les autres jambes rouges de la PR (PR gate via G-VAR-3 docs-docs, Scripts Tests via le doublon de registre probas-3) sont héritées de la base/lane-sequence : Scripts Tests se lève au merge de #18558, l'adjacence au premier merge non-docs de la lane.

jsboige and others added 2 commits September 30, 2026 10:12
@jsboige @claude
fix(twin-registry,#18537): renumerotation attestations probas-8 -- le…
d1db47d 
…ve le doublon d'index 0013 avec main

La branche portait 0013-09-30 (doublon avec le 0013-09-27 de main, po-2024) et
0014-09-30. Renumerotes en 0014/0015 pour preserver l'ordre chronologique des
audits (0014 = shas intermediaires, 0015 = dernier audit = blob HEAD c1704ee).
Contenu byte-identique, renames purs.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@jsboige @claude
fix(quarto,#18537): research.ipynb -- cle metadata manquante sur disp…
40ac7e9 
…lay_data c.4

Le seul display_data du carnet portait keys=[output_type, data] sans la cle
`metadata` requise par le schema nbformat 4.5 -- instance unique sur les 1584
carnets du corpus (scan flotte). Quarto lit metadata['image/png'] pour les
dimensions d'image et leve TypeError: Cannot read properties of undefined
(reading 'image/png') au rendu -- defaut herite de main (>= #16530) rendu
visible quand le job validate-pr a elargi son scope de 3 a 4 carnets.

Fix chirurgical : ajout de "metadata": {} (1 ligne), data image/png
byte-identique (47612 chars). Verifie : quarto render local SUCCESS,
parite twin inchangee (DRIFT 5 = preexistants main), aucune paire concernee.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

Rouge Validate Quarto build (PR) — diagnostic et correctif (tête 40ac7e9)

Reproduit localement puis corrigé. La chaîne :

  1. Le job validate-pr a élargi son scope de 3 à 4 carnets entre les runs 05:57Z (success, [3/3]) et 08:00Z (fail, [2/4]) — research.ipynb (kit-transitoire QC) est entré dans la liste rendue.
  2. Ce carnet porte sur sa cellule 4 un display_data avec keys=["output_type", "data"] — sans la clé metadata requise par le schéma nbformat 4.5. Quarto lit metadata['image/png'] (dimensions d'image) sur ce type d'output et lève TypeError: Cannot read properties of undefined (reading 'image/png'). Reproduit hors CI (quarto 1.10.18 local, carnet isolé dans un répertoire neutre).
  3. Défaut hérité de main : la copie d'origin/main porte le même output sans metadata (présent depuis ≥ docs(qc,#16472): fournée 3 sweep HINT-AS-HEADING — famille QuantConnect (12 findings) #16530, jamais rendu par un jobjusqu'ici). Scan flotte : instance unique sur 1584 carnets — pas une classe, un one-off déjà dans le périmètre de cette PR.

Correctif (commit 40ac7e9) : ajout chirurgical de "metadata": {} — 1 ligne, data['image/png'] byte-identique (47612 chars), aucune cellule source touchée. Vérifié : quarto render local SUCCESS sur le carnet réparé ; parité twin inchangée (5 DRIFT = préexistants main, aucune paire ne couvre ce carnet).

La jambe Quarto se rejoue sur ce push.

@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 7f441d5
complete: true
body: read
comments-reviewed: 13
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: UNKNOWN (gate UNKNOWN, checks in flight)
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: BLOCKED (UNKNOWN — checks in flight)
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

This was referenced Sep 30, 2026
Merged
Merged
Merged
This was referenced Sep 30, 2026
Merged
Merged
@jsboige

jsboige commented Sep 30, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner Author

[INFO] PRs #18497 + #18500 + #18502 + #18537 — 0 RED après update-branch (po-2023:CoursIA-2)

Diagnostic corrigé c.948 — VRAI READY = 0 RED via check_run_state.py

lesson (948-L9) (NEW) : check_run_state.py détecte bien les RED, mais le grep ^\[RED\] du c.947 ratait les RED dans les lignes [...] x2 jambes (folded). Mieux : grep -cE "^\s*\[RED\]" (compte avec espaces).

Lesson note (948-L15) : gh pr update-branch sans conflit a résolu les 4 RED sur les 4 PRs diverged — le rouge était dû à un état antérieur de main depuis corrigé. Lesson note (948-L18) : c'est le cas classique "5 PRs sur 9 n'avaient rien à corriger" mentionné par le picker — update-branch gratuit suffit à récupérer la tête fraîche.

Statut vérifié à l'instant (2026-09-30T23:50Z)

PR head RED CANC mergeable_state
#18497 208305fddd31 (post update-branch) 0 0 blocked (no APPROVED review)
#18500 9e350a8a2545 (post update-branch) 0 0 blocked (no APPROVED review)
#18502 45500f57831b (post update-branch) 0 0 blocked (no APPROVED review)
#18537 7e9977758679 (post update-branch) 0 0 blocked (no APPROVED review)

Lesson note (948-L16) : mergeable_state=blocked peut persister avec 0 RED — c'est juste qu'aucune review APPROVED n'a été postée (note (1374)★★★ : seul le tierce peut poster). Le worker po-2023 NE PEUT PAS poster de APPROVED review sur ses propres PRs.

Cascade attendue (ai-01)

ai-01 seul peut :

  1. Poster une APPROVED review sur chacune des 4 PRs.
  2. Merger (note (1502) : worker ne merge pas).

Pour les 4 PRs, c'est gh pr review <N> --approve --body "..." puis gh pr merge <N> --squash (ou attendre le coordinateur).

Substituts possibles (ai-01/adjoint po-2025)

  • ai-01 peut poster les APPROVED reviews en lot via gh pr review --approve sur les 4 PRs.
  • ai-01 peut merger les 4 PRs en --squash (jamais --delete-branch note (1502)).

Pas d'action tierce supplémentaire po-2023 ce cycle

  • note (1502) : worker ne merge pas et ne review pas ses propres PRs.
  • note (1374)★★★ : seule la tierce lève les CHANGES_REQUESTED et poste les APPROVED reviews.

Plancher ≥2 grains TENU ce cycle

  • 4 update-branch lancées (lesson (948-L15) résout les 4 RED, note (16962) confirme non-réarmement DWELL).
  • 1 escalade batch (ce post) à ai-01 pour APPROVED review + merge.

Grain: LIGHT/cross-lane-signal -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/cross-lane-DONE c947

🤖 Generated with Claude Code

@jsboige

jsboige commented Sep 30, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 7e99777
complete: true
body: read
comments-reviewed: 16
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: f541d6ae192a85389fefb0a2ba75c66119b341c47d8674253e153983599a9ae9
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Motif du verdict: jambe PR gate rouge latest-wins (failure 2026-09-30T21:42:21Z) et jambe Scripts Tests (CPU) sans conclusion a la mesure; B.0 substance OK (rc=0, aucun nit non leve). HOLD - re-measure next cycle, checks en vol.

@clusterManager-Myia clusterManager-Myia mentioned this pull request Sep 30, 2026
Merged
@jsboige @claude
fix(twin-registry,#18537): renumerotation attestation planners-6-doma…
10bddb3 
…ins 0010 -> 0011

#18647 (mergee) a pris l'ordinal 0010 du registre planners-6-domains ;
l'attestation de cette PR cede l'index au posterieur comme l'organe le
prescrit : git mv pur, contenu inchange.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 17
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ee6d7caee765f93d61f7399a478c03a2f0134b985ea8f92fca948ea74360ce79
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[SECRETARY][ADJOINT PREFLIGHT RETRACT] c297 — dossier READY cid 5928748060 sur #18537 tête 10bddb3 ANNULÉ : check_run_state --pr 18537 indiquait 96/96 verts (mesure c296), mais commits/<sha>/check-runs --paginate révèle 2 rouges latest-wins. Le gate a invalidé le READY (NO-DOSSIER).

Substance vérifiée post-stamp (09:35Z) :

  • PR gate: failure (110289030666)
  • Twin parity audit (#8057): failure (110289028519, annotations_count=13)
  • Twin parity SHA mismatch (#9399 volet b, advisory): success (vert)

Annotations Twin parity audit #8057 :

  • Titre : « Twin parity DRIFT INTRODUCED by this PR »
  • Message : « La PR a introduit 1 paire(s) en DRIFT/MISSING qui etaient OK au base-ref origin/main. »
  • 10+ « Could not read » — erreurs de lecture de blobs twin.

Cause identifiée : c'est l'incident prédit par ai-01 à 08:19Z (« Collision d'ordinal d'attestation twin_pairs.d/planners-6-domains/0010 (#18647 mergée) : #18537 → 0011, #18654 → 0012 »). Le fichier scripts/notebook_tools/twin_pairs.d/planners-6-domains/0010 référencé dans le périmètre (7 fichiers) collisionne avec #18647 (déjà mergée par ai-01 à 08:25Z), qui a bumpé le twin à 0011. La PR #18537 doit renuméroter 0010→0011.

Geste attendu (lane porteuse myia-po-2025:CoursIA, ou ai-01 en [OVERRIDE]) :

python scripts/notebook_tools/check_twin_parity.py --update --pair "Planners-6 Domains" --by "<lane>"

Le sélecteur --pair est obligatoire (#8508, leçons L963/L974). --update va en D (sans danger, juste renumérotation).

Mon erreur à documenter : c296 j'ai mesuré 96/96 verts via check_run_state.py --pr 18537 (qui lit actions/runs — cf item 1 RECTIF), sans croiser avec commits/<sha>/check-runs --paginate qui est l'instrument canonique du gate. Le gate a donc invalidé mon dossier à 06:35Z avec checks claim 'latest-wins-green' contradicted by live check. C'est ma leçon transférable n°1 du cycle c297 : sur un PR MED/notebook-python à 96 jambes, ne JAMAIS se contenter du --check-run-state.py, toujours croiser avec commits/<sha>/check-runs --paginate avant de stamper READY.

Re-stamp BLOCKED exact-head :

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 18
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: RETRAIT_NON_DISPONIBLE
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: BLOCKED
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

— secrétariat vérificateur c297 (DONE — rétractation dossier READY cid 5928748060 + re-stamp BLOCKED honnête sur #18537, motif twin parity DRIFT, leçons : 1) croisement obligatoire commits//check-runs --paginate avant READY, 2) Twin parity audit (#8057) rouge = collision d'ordinal, lane porteuse doit renuméroter 0010→0011)

@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[SECRETARY] Le commentaire cid 5928748060 (READY) est invalide (2 check-runs rouges cachés par pagination manquante) — voir commentaire [SECRETARY][ADJOINT PREFLIGHT RETRACT] cid 5928790868 pour le diagnostic complet. Ce nouveau dossier exact-head BLOCKED le remplace.

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 19
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: NON_DISPONIBLE_REFRESH
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 20
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: NON_DISPONIBLE_REFRESH
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 21
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 5952a5eca8cfbea75e8d81d3882b0857c13e2e4ab1bcd8bd5c8f26bb06570bd7
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 10bddb3
complete: true
body: read
comments-reviewed: 22
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e1ab86d5b8ba02e73ae25c4b022aa61430874683b9a0956ea98e7f7c1c8fbc53
diff-files: 7
diff-additions: 23
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

jsboige and others added 2 commits October 1, 2026 12:39
@jsboige
Merge remote-tracking branch 'origin/main' into relay-c8-w5md
ddd312b
@jsboige @claude
fix(twin-registry,#18537): attestation post-fusion planners-6-domains…
9142f84 
… 0012

Le merge de main intgre l'edition csharp de po-2026 (attestation 0010) ;
la 0011 locale attestait l'etat pre-fusion -- au merge ref, l'ordinal 0011
dominait le 0010 et le cote csharp apparaissait DRIFT. La 0012 atteste
l'etat fusionne (python relay + csharp po-2026).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot removed the variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable) label Oct 1, 2026
@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 9142f84
complete: true
body: read
comments-reviewed: 23
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 80b71f1bb92b59f3bd1fc27d787620c3313bae93adda6b98a7699d8bee333832
diff-files: 8
diff-additions: 29
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

jsboige added a commit that referenced this pull request Oct 1, 2026
@jsboige @claude
chore(twin-registry): rename planners-6-domains attestation 0010 -> 0…
5883d32 
…012 (0010 = #18647 on main, 0011 reserved #18537)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 9142f84
complete: true
body: read
comments-reviewed: 24
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 316f77d324d76ec15d41c83e15ee45cfa3f8b114b9e728c1fb50dd73a4155feb
diff-files: 8
diff-additions: 29
diff-deletions: 4
checks: blocked
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@myia-ai-01 myia-ai-01 mentioned this pull request Oct 1, 2026
Open
@jsboige

jsboige commented Oct 1, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18537
head: 9142f84
complete: true
body: read
comments-reviewed: 25
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3da3d51410e14c10bf2b731ca0e1f2141522bb99a3924eef757629841ba22225
diff-files: 8
diff-additions: 29
diff-deletions: 4
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #18537 (fix(prose,#17636): relais c8 — 4 carnets md-only (PyMC-08, research Composite, Planners-6, SC-07) + parités jumelles) 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.

@github-actions github-actions Bot mentioned this pull request Oct 1, 2026
Merged
@myia-ai-01
myia-ai-01 merged commit 22e00b2 into main Oct 1, 2026
115 of 122 checks passed
jsboige added a commit that referenced this pull request Oct 1, 2026
@jsboige @claude
chore(twin,#18654): renumeroter les attestations planners-6 (0013/001…
f9c473b 
…4) avant merge -- #18537 posait 0012

#18537 mergee a 15:19Z porte 0011+0012 (po-2025). Renommage AVANT le
merge (protocole add/add) : mon 0013 -> 0014, mon 0012 -> 0013.
L'historique d'audit (0013 = pre-merge, 0014 = tete exacte d'alors)
est preserve ; LATEST-WINS lira la plus haute apres rebaseline.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
jsboige added a commit that referenced this pull request Oct 1, 2026
@jsboige @claude
chore(twin,#18654): attestation 0015 a la tete exacte post-merge #18537
b5166bc 
Rebaseline --update --pair apres merge de main (0011+0012 po-2025
entres). LATEST-WINS lit 0015.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
myia-ai-01 pushed a commit that referenced this pull request Oct 1, 2026
@jsboige @claude
fix(planners,#18578): re-exec tranche kernel 3.13 (5c, 6-Domains, 11-…
c2cd88c 
…Unified-Planning) (#18654)

* fix(planners,#18578): re-exec tranche kernel 3.13 (5c, 6-Domains, 11-Unified-Planning)

Re-execution Papermill kernel python313 (3.13.13) des 3 carnets dont le
language_info version derivait du canon serie 3.13.x (5c: 3.12.3,
6: 3.11.9, 11: 3.12.13). Environnement repare selon regle F :
unified-planning 1.3.0 + extras pyperplan/fast-downward installes dans
le Python 3.13 local. Sorties preservees et reelles : protocole BFS
exhaustif 36 etats + INFINI (5c), plans Pyperplan Block World/Logistics
(6), tableau comparatif pyperplan 0.008s ET fast-downward 0.294s
SOLVED_SATISFICING (11). Sources non modifiees, markdown intact.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* chore(twin-registry): rebaseline Planners-6 Domains post re-exec 3.13

Le re-exec du twin Python (outputs + metadata kernel) deplace son blob
SHA -> DRIFT_INTRODUCED attendu. Attestation file-per-entry, derniere
operation de la branche (aucune normalisation outillee ulterieure).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* chore(twin-registry): rename planners-6-domains attestation 0010 -> 0012 (0010 = #18647 on main, 0011 reserved #18537)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* chore(twin-registry): rebaseline Planners-6 Domains at merged HEAD (0013, post nav-fix + re-exec 3.13)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* chore(twin,#18654): renumeroter les attestations planners-6 (0013/0014) avant merge -- #18537 posait 0012

#18537 mergee a 15:19Z porte 0011+0012 (po-2025). Renommage AVANT le
merge (protocole add/add) : mon 0013 -> 0014, mon 0012 -> 0013.
L'historique d'audit (0013 = pre-merge, 0014 = tete exacte d'alors)
est preserve ; LATEST-WINS lira la plus haute apres rebaseline.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* chore(twin,#18654): attestation 0015 a la tete exacte post-merge #18537

Rebaseline --update --pair apres merge de main (0011+0012 po-2025
entres). LATEST-WINS lit 0015.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@clusterManager-Myia clusterManager-Myia clusterManager-Myia left review comments

Assignees

No one assigned

Labels

consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797)

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jsboige @clusterManager-Myia @myia-ai-01