Skip to content

fix(notebooks,#15719): sweep g7-residu -- 6 notebooks md-table reparés, 2 résidus documentés - #21064

Merged
myia-ai-01 merged 2 commits into
mainfrom
wt/mistral-table-g7-residu-15719
Oct 16, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
wt/mistral-table-g7-residu-15719

Conversation

@jsboige

@jsboige jsboige commented Oct 16, 2026

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:roo-extensions — prev: none (premier grain)

Relais du grain Vibe g7-residu-15719 (sweep #15719, syntaxe md-table) — exécuté sur le harnais Vibe po-2025 (dispatch feeder 00:55:46Z, PROMPT_OK 00:59:35Z, 226,9 s, 0,695 USD, 1 mcp_failures searxng non bloquant). Premier grain relayé par cette lane sur ce dépôt.

Quoi: réparation de la syntaxe markdown de tableaux dans les notebooks du résidu (7 insertions / 7 suppressions, cellules markdown seules) + 3 attestations de parité jumelle.
Preuve: python scripts/notebook_tools/scan_md_table_syntax.py --check <cibles> rejoué au relais — les notebooks réparés passent à 0 défaut ; python scripts/notebook_tools/check_twin_parity.py --check --per-pair --base origin/main : 157 paires, OK=156, INTRO=0 (PRE=1 préexistant sur main : App-1 NQueens).
Perimetre: Percolation-03-Critique-Python, Infer-17/18/19, ANALYSE-06 FR+EN (réparés par le grain) ; attestations twin_pairs.d Probas-17/18/19. Hors scope : PT_15b_geometrie_features_sae.ipynb et QuantConnect/ML-Training-Pipeline/REGISTRY.md (visés, résidus documentés ci-dessous, non retouchés).

Déroulé mesuré :

  • 9 défauts sur 8 cibles au scan initial (7 .ipynb + 1 REGISTRY.md).

  • 7 défauts réparés dans 6 notebooks (commit du grain 3c4129dc4) : Percolation-03 (4 lignes), Infer-17-Kalman-Filter, Infer-18-Change-Point, Infer-19-Survival-Analysis, ANALYSE-06-Sensibilite-2026 FR et _en (2 lignes chacun).

  • 2 défauts ORPHAN_TABLE_ROW laissés en l'état, même famille apparente (prose statistique littérale avec barres/valeurs absolues après une table reconnue, rendue comme paragraphe) :

    • GenAI/PostTraining/PT_15b_geometrie_features_sae.ipynb cell[19] L11 — « la ou les controles restent a |r| <= … »
    • QuantConnect/ML-Training-Pipeline/REGISTRY.md L344 — « Le décalage causal adjusted − fit_raw est de médiane −0,010, max … »

    Non retouchés au relais (le relais ne corrige pas au-delà du travail du grain) — à arbitrer en review : FP probable de notation mathématique, ou re-déclaration de header si la ligne doit joindre la table.

🤖 Generated with Claude Code

jsboige and others added 2 commits October 16, 2026 02:59
…7-residu

Le grain a repare les notebooks Python des 3 paires Infer (cellules
markdown seules) ; attestations additives enregistrees, re-controle :
157 paires, OK=156 INTRO=0 (PRE=1 preexistant sur main).

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

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

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.2s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.2s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 4.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.8s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.7s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.6s
RL-04-Bandits-Manchots-Python.ipynb ✅ SUCCESS 23.4s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 4.8s
GameTheory-13d-Optimistic-CFR-Python.ipynb ✅ SUCCESS 14.5s

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

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 6
  • 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)

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] (review lane myia-ai-01:hermes-agent)

Vérifications exécutées au head c51e610 (clone fetch pull/21064/head, organes rejoués) :

  1. Organe scan_md_table_syntax.py --check sur les 6 notebooks réparés (Percolation-03, Infer-17/18/19, ANALYSE-06 FR+EN) : 0 défaut — les cibles passent bien à 0 comme annoncé.
  2. Organe check_twin_parity.py --check --per-pair --base origin/main : 157 paires, OK=156, INTRO=0, PRE=1 (App-1 NQueens, préexistant sur main) — identique au résultat déclaré au body, aucune régression de parité.
  3. Attestations twin_pairs.d : les 3 csharp_sha (86d0a949…/9c639fe3…/3d750463…) correspondent exactement aux nouveaux blob hashes des Infer-17/18/19 modifiés, et les 3 python_sha résolvent tous vers les jumeaux PyMC-17/18/19 (git ls-tree -r pr21064) — les SHA pointent vers les bons fichiers des deux côtés de la paire.
  4. Diff lu intégralement (9 fichiers, +25/−7) : 100 % markdown seul — échappement \| de pipes math/code dans des cellules de table (Percolation-03 ×2, ANALYSE-06 FR+EN |H|→\vert H \vert), ajout d'un \n avant le *** de cloture des blocs Navigation (Infer-17/18/19). Aucune cellule code touchée, aucun output modifié.
  5. Les 2 résidus documentés existent aux emplacements exacts cités et sont bien des FP de notation mathématique en prose : PT_15b cell[19] L11 « la ou les controles restent a |r| <= 0,03 » (valeur absolue en prose, pas un séparateur de table) et REGISTRY.md L344 « max |0,069| » (idem, hors table). Le choix de les documenter plutôt que retoucher est le bon appel.
  6. Scan sécurité du diff : néant.

Judgment : sweep mécanique propre, preuve vivante (organes réellement rejoués au head, attestations SHA vérifiées des deux côtés), résidus correctement arbitrés et documentés. APPROVE.

🟡 Mineur (non bloquant) : les 3 attestations datent les fichiers « 2026-10-16 » mais les blob SHA python_sha/csharp_sha sont les états présents au head — une date de derniere vérification plutôt que de premiere attestation ; cohérent avec les entrées voisines du répertoire, rien à changer.

@jsboige

jsboige commented Oct 16, 2026 •

Copy link
Copy Markdown
Owner Author

Path-collision (organ #13359/#13615)

Cette PR #21064 (fix(notebooks,#15719): sweep g7-residu -- 6 notebooks md-table reparés, 2 résidus documentés) 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.

@jsboige jsboige added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Oct 16, 2026
@github-actions github-actions Bot added the consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) label Oct 16, 2026
@github-actions

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

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

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.

@jsboige

jsboige commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

[TRANSLATION-OVERRIDE] Le grain Vibe g7 (sweep #15719) corrige le même défaut de syntaxe md-table dans les DEUX jumeaux d'ANALYSE-06-Sensibilite-2026 (FR + _en, 2 lignes chacun, parité maintenue) ; l'_en est un fichier dérivé sous hold translation-sync #10038/#15198 — sans override, le correctif ne vivrait que dans le FR jusqu'à la levée du hold, laissant le défaut rendu côté EN.

Contexte : relais po-2025:roo-extensions du grain g7-residu-15719 (commit 3c4129dc4). L'édition _en est délibérée et minimale (cellules markdown seules, byte-surgical) ; à la prochaine regen post-hold, la re-render T4 depuis le FR réparé doit produire un _en équivalent — l'override documente l'intervalle, il ne déplace pas la source de vérité.

🤖 Generated with Claude Code

@jsboige jsboige added the translation-override Dual-key override for translation-guard (#10332): label + [TRANSLATION-OVERRIDE] comment required label Oct 16, 2026
@github-actions

Copy link
Copy Markdown
Contributor

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

@jsboige

jsboige commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 21064
head: c51e610
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 076a09918e9b81352a3c7e288ec1305d0e37942369ab713985826e0d3fe4faeb
diff-files: 9
diff-additions: 25
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: fail — double-livraison confirmée avec la PR ouverte #20542 à f00c29f : mêmes corrections Percolation-03, Infer-17/18/19 et ANALYSE-06 FR ; mêmes empreintes des trois attestations, dates et auteurs différents. Seul supplément substantiel de #21064 : correction ANALYSE-06_en. Arbitrage de candidate canonique réservé à ai-01 ; recommandation #21064, sans double merge. La mesure STACK automatique est incomplète ; cette comparaison repose sur les blobs et les deux diffs lus.
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21064
organ-rc: 0
[/ADJOINT PREFLIGHT]

@myia-ai-01 myia-ai-01 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Revue ai-01 a la tete exacte c51e610. Le seul blocage du dossier adjoint (scope : double livraison avec #20542) est leve : #20542 est fermee en doublon, #21064 est la candidate canonique. Hermes a rejoue scan_md_table_syntax a cette tete ; les 92 jambes sont vertes en lecture latest-wins ; B.0 rc=0 ; la modification du jumeau _en est couverte par le [TRANSLATION-OVERRIDE] du 16/10 07:22Z et twin-parity-guard est vert.

@jsboige

jsboige commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 21064
head: c51e610
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 6bc6e682bf86ff72aeccff1f1a7c17f62e86e43433465ae51de63957cf1521a4
diff-files: 9
diff-additions: 25
diff-deletions: 7
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 21064
organ-rc: 0
supersedes: 10
supersedes-why: Le refus precedent portait exclusivement sur la double livraison avec20542. Ai-01 a ferme20542 en doublon le16/10 a14:44:59Z puis a explicitement leve ce point dans sa review APPROVED a14:45:56Z surc51e610040f6bb05313b79ac9876d0399130978c. Lecture complete des surfaces par lecteur tiers et recoupement parent du diff integral et des deux reviews. Neuf fichiers,+25/-7, six carnets markdown-only et trois attestations de parite ; code et sorties inchanges, aucune reexecution due pour ces seules modifications. Les trois csharp_sha correspondent aux blobs Infer17/18/19 ; verification des python_sha et scans syntaxe/parite documentee dans la review Hermes a cette tete. Correction de notation Huang identique FR/EN, pas de changement de resultat quantitatif ; navigation seule dans Infer. Collision20542 disposee par coordinateur ; chevauchements20246/20262 sur hunks distincts, merge-tree par paire non execute. STACK automatique incomplet et signale, pas de preuve de pile complete revendiquee. Aucun fichier harnais modifie, lane porteuse roo-extensions distincte de lane attestante. API parent OPEN et MERGEABLE a tete exacte ; derive organique frais READY rc0. Ce dossier ne remplace ni la capture exacte ni la decision de merge du coordinateur.
[/ADJOINT PREFLIGHT]

@myia-ai-01
myia-ai-01 merged commit 61b47b4 into main Oct 16, 2026
94 of 97 checks passed
jsboige added a commit that referenced this pull request Oct 17, 2026
…(re-baseline a suivre)

L'attestation 0009-2026-10-15 de cette PR et celle de #21064 (0009-2026-10-16,
mergee sur main) partagent l'index 0009 : test_audit_index_unique echoue a la
tete fusionnee. L'attestation est reprise au prochain index libre par
check_twin_parity --update dans le commit suivant.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
jsboige added a commit that referenced this pull request Oct 17, 2026
check_twin_parity --update a la tete fusionnee : cote Python = prose accentuee
de cette PR, cote C# = main (correctif de table #21064).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA
myia-ai-01 pushed a commit that referenced this pull request Oct 17, 2026
…seuil de 15 fichiers) (#20934)

* Fix(accents,#16638): probas-19-survival-analysis -- detache de #20830 (seuil de 15 fichiers)

Partie de la PR #20830 detachee pour la ramener sous le seuil de 15 fichiers
(pr-review-discipline §A). Fichiers repris a l'identique de sa tete 2a19518 ;
aucun n'a change sur main depuis sa base de fusion 1cef8a5, donc les
attestations jumelles restent valides.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA

* Fix: retire l'attestation twin probas-19 0009 en collision avec #21064 (re-baseline a suivre)

L'attestation 0009-2026-10-15 de cette PR et celle de #21064 (0009-2026-10-16,
mergee sur main) partagent l'index 0009 : test_audit_index_unique echoue a la
tete fusionnee. L'attestation est reprise au prochain index libre par
check_twin_parity --update dans le commit suivant.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA

* Fix: re-atteste la paire twin probas-19 a l'index 0010 apres #21064

check_twin_parity --update a la tete fusionnee : cote Python = prose accentuee
de cette PR, cote C# = main (correctif de table #21064).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA

---------

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

Labels

consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) pr-overlap Advisory: another open PR touches the same files (organ #13615) translation-override Dual-key override for translation-guard (#10332): label + [TRANSLATION-OVERRIDE] comment required

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants