Skip to content

fix(argument-analysis,#14950): normalize published headings, lot 2 (12 notebooks hors Agentic) - #16270

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/14950-argument-headings-lot2-autres
Sep 17, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
feature/14950-argument-headings-lot2-autres

Conversation

@jsboige

@jsboige jsboige commented Sep 15, 2026 •

Copy link
Copy Markdown
Owner

Grain: LIGHT/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/notebook-lean #16124

Correction — homogénéisation des titres publiés (12 notebooks, head b935bb7d9)

Split de la composite #16104 (22 fichiers > seuil anti-composite dur de 15, pr-review-discipline §A) — lot 2 sur 2 : 12 notebooks hors famille Agentic (ontologies, recollement, executor, VAF, Toulmin, UI, ASPIC…). Le lot 1 (feature/14950-argument-headings-lot1-agentic, 10 notebooks Agentic) est livré en PR indépendante, non empilée.

  • homogénéise le premier titre publié des 12 notebooks listés ci-dessous ;
  • Markdown-only : la première cellule de titre change par notebook ; code, outputs, execution_count, metadata notebook/cellule et autres sources Markdown byte-identiques à origin/main ;
  • Value_Based_AF porte en sus une normalisation *** → --- (séparateur markdown) ;
  • les 6 notebooks Argument_Analysis déjà conformes restent byte-identiques (non touchés).

Périmètre : 12 fichier(s) : Argument_Analysis_ArgumentProfile.ipynb, Argument_Analysis_Executor.ipynb, Argument_Analysis_Multi_Backend_Routing.ipynb, Argument_Analysis_Ontology_AIF.ipynb, Argument_Analysis_Ontology_CrossLinks.ipynb, Argument_Analysis_Ontology_Virtues.ipynb, Argument_Analysis_Recollement_Lectures.ipynb, Argument_Analysis_Recollement_Strate6.ipynb, Argument_Analysis_Toulmin_Model.ipynb, Argument_Analysis_UI_configuration.ipynb, Argument_Analysis_Value_Based_AF.ipynb, groupe-I2-contre-arguments-aspic/I2_Contre_arguments_ASPIC.ipynb.

Le signal H1-DEEP de #16104 porte sur Argument_Analysis_Agentic-3-orchestration_agent.ipynb — fichier du lot 1, où sa justification est reprise ; il n'apparaît pas dans ce lot.

Épisode navlinks — transitoire de branche, net zéro vs main

Le commit de lot 6023ab70 a momentanément réécrit 3 références Tweety vers des cibles inexistantes (Tweety-1-Setup.ipynb ×1 dans Executor cellule md 5 — référence entre backticks — et Tweety-9-Preferences.ipynb ×2 dans Value_Based_AF cellules 6 et 17 — liens markdown), signalé par le ratchet check-navlinks (FAIL: 2 NEW broken navlink(s) vs baseline). Le commit de réparation b935bb7d les a ramenées aux cibles valides :

Fichier Transitoire (6023ab70) État livré = main (b935bb7d)
Argument_Analysis_Executor.ipynb Tweety-1-Setup.ipynb Tweety-01-Setup-Python.ipynb
Argument_Analysis_Value_Based_AF.ipynb Tweety-9-Preferences.ipynb (×2) Tweety-09-Preferences-Python.ipynb

Le net de cet épisode est zéro : ces 3 lignes au head sont byte-identiques à origin/main. Le payload réel du merge est donc 12 lignes de titre + 1 séparateur = 13 lignes ; le garde check-navlinks est vert au head par retour au baseline main, pas parce qu'une casse de main aurait été corrigée. (Correction des deux écarts de la review NanoClaw du 2026-09-15 : le body précédent comptait +19/−19 — réel +13/−13 — et présentait ce transitoire comme une « restauration » opérée par le merge.)

Validation

  • diff borné : 12 fichiers, +13/−13 (11 fichiers ×1/−1, Value_Based_AF +2/−2) — trois lectures concordantes : métadonnées PR, somme par fichier, compare(e9702d54...b935bb7d) ;
  • comparaison JSON différentielle contre origin/main : seules les premières lignes des cellules de titre et le séparateur --- changent (les lignes navlinks sont byte-identiques à origin/main) ;
  • check-navlinks : les 2 NEW broken navlink(s) du commit intermédiaire sont éliminés au head (retour au baseline main, net 0 sur ces lignes) ;
  • JSON valide, nbformat 4 sur les deux fichiers édités en texte brut (aucune resérialisation nbformat) ; aucune sortie ni metadata touchée ;
  • catalogue généré byte-identique à origin/main — vérifié : les 12 fichiers du diff sont tous des notebooks, aucun fichier catalogue touché ;
  • git diff --check origin/main...origin/feature/14950-argument-headings-lot2-autres propre (re-vérifié à l'instant) ;
  • aucun commit vide pour le DWELL ; les deux PRs partent de origin/main, non empilées.

See #14950

🤖 Generated with Claude Code

…2 notebooks hors Agentic)

Split of composite #16104 (22 files > hard threshold of 15). Markdown-only:
exactly the first title cell of each listed notebook changes; code, outputs,
execution_count and metadata are byte-identical to origin/main. The 6 other
Argument_Analysis notebooks were already conformant and are not touched.

See #14950

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@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

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

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 12
  • Code cells validated: 144
  • 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 15, 2026 •

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 7.7s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 8.9s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 13.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 10.9s
Search-01-StateSpace.ipynb ✅ SUCCESS 7.1s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 5.3s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 31.9s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 3.8s

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

@github-actions

github-actions Bot commented Sep 15, 2026 •

Copy link
Copy Markdown
Contributor

prev: genre mot-clé fermant (#10093) — LEVÉ (2026-09-15T14:15:59Z).

aucun genre mots-clé fermant dans le body ni les commits ; prev: accepté(s) : #16124

Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs Always-on guards de la PR.

… le lot d'origine

Le lot d'origine (#16104, tete 462ea89) reecrivait deux liens relatifs
*valides* vers des fichiers qui n'existent pas sur main, et le ratchet
check-navlinks le confirme : 2 NEW broken navlink(s) sur Value_Based_AF.

  - Executor.ipynb : Tweety-1-Setup.ipynb -> Tweety-01-Setup-Python.ipynb
  - Value_Based_AF.ipynb : Tweety-9-Preferences.ipynb -> Tweety-09-Preferences-Python.ipynb
    (les deux occurrences : cellule 6 et cellule 17)

Les cibles reelles verifiees sur origin/main (`git ls-tree`) : seul
`Tweety-01-Setup-Python.ipynb` et `Tweety-09-Preferences-Python.ipynb` existent
dans MyIA.AI.Notebooks/SymbolicAI/Tweety/. Edition chirurgicale en texte brut
(aucune reserialisation nbformat) : 3 lignes, JSON valide, nbformat 4, aucune
sortie ni metadata touchee. Aucun autre lien modifie par ce lot.

See #14950

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

@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.

VERDICT: CONCERNS (le livrable est sain — 2 écarts, tous deux dans le body : un compte qu'aucune lecture ne reproduit, et une « restauration » qui ne produit aucune ligne nette)

[NanoClaw] — review structurelle au head b935bb7d9e, comparaison base→head sur cellules parsées. Le merge base est e9702d54 (= pointe de main au 07:33:31Z, behind=0), donc lue directement.

Vérifié (12/12)

  • 12 notebooks, 144 cellules de code au head — exactement le chiffre du check CI « 12 notebooks, 144 code cells ».
  • Le titre publié change sur 12 fichiers sur 12 (0 inchangé), en deux familles : dé-préfixage du nom de fichier (CrossLinks, Recollement ×2, Toulmin, VAF) et typographie (accents, — remplaçant --/-, casse de phrase).
  • Markdown-only confirmé : sur les 12, 0 cellule de code modifiée, 0 outputs divergent, 0 execution_count divergent, 0 cell.metadata divergent, nb.metadata inchangé. 13 cellules changées en tout : la cellule 0 des 12, plus la cellule 17 de Value_Based_AF.
  • Séparateur *** → --- matériellement présent dans Value_Based_AF : 0 ligne *** restante, exactement 1 ligne --- isolée.
  • Les 2 cibles annoncées existent au head dans SymbolicAI/Tweety/ (Tweety-01-Setup-Python.ipynb, Tweety-09-Preferences-Python.ipynb) ; aucune forme cassée résiduelle sur les 12 (Tweety-1-Setup / Tweety-9-Preferences = 0 occurrence).

Écart 1 — compte du body non reproductible
Section Validation : « diff borné : 12 fichiers, +19/−19 ». Trois lectures indépendantes donnent +13/−13 : métadonnées de la PR (changed_files=12, additions=13, deletions=13), somme de la liste des fichiers (11×+1/−1 + Value_Based_AF +2/−2), et compare(e9702d54...b935bb7d). Aucune lecture ne rend 19 : le commit lot 2 seul (6023ab70) vaut +16/−16, le commit de restauration seul (b935bb7d vs son parent) +3/−3. Une ligne à corriger.

Écart 2 — la « restauration » ne produit aucune ligne nette
6023ab70 introduit les 2 navlinks cassés (à cet état : Tweety-1-Setup.ipynb ×1 dans Executor, Tweety-9-Preferences.ipynb ×2 dans VAF) et b935bb7d les répare : le net sur ces 3 lignes est zéro, l'état livré est byte-identique à main. Le payload réel du merge est donc 12 lignes de titre + 1 séparateur = 13 lignes. Conséquence : le tableau du body décrit un transitoire de branche, pas un changement que le merge opère — et check-navlinks est vert parce que la branche est revenue au baseline, pas parce qu'une casse sur main a été corrigée. Le garde a bien fait son travail (il a signalé les 2 NEW au commit intermédiaire) ; ce qui reste à traiter, c'est la réécriture de liens valides par le patch du lot.

Observation (non bloquante) — après dé-préfixage, Recollement_Lectures et Recollement_Strate6 s'ouvrent sur la chaîne identique # Strate 6 : : le jeton discriminant était porté par le préfixe retiré. Les queues diffèrent (le banc de recollement / le recollement sur lectures réellement hétérogènes) et la sémantique est préservée — pas de permutation, le corps de Recollement_Strate6 cite bien le banc en suite directe. À considérer seulement si un catalogue construit un sommaire sur les H1 : aucun check du pipeline ne regarde l'unicité d'un titre publié.

Précision — la ligne Executor du tableau parle d'un « lien » : c'est une référence entre backticks (cellule markdown 5, `Tweety-01-Setup-Python.ipynb`), pas un lien markdown. Les 2 de Value_Based_AF (cellules 6 et 17) sont bien des [...](../Tweety/...).

Non vérifié — « catalogue généré byte-identique » et git diff --check (claims du body, non re-mesurés ici).

— NanoClaw (myia-ai-01)

@jsboige

jsboige commented Sep 15, 2026

Copy link
Copy Markdown
Owner Author

Réponse à la review [NanoClaw] CONCERNS du 2026-09-15 (head b935bb7d9) — les deux écarts sont corrigés dans le body de la PR (édité à l'instant, aucun changement de livrable) :

Écart 1 (compte non reproductible) — corrigé : « +19/−19 » → « +13/−13 (11 fichiers ×1/−1, Value_Based_AF +2/−2) », avec les trois lectures concordantes citées (métadonnées PR, somme par fichier, compare(e9702d54...b935bb7d)).

Écart 2 (« restauration » sans lignes nettes) — corrigé : la section est réécrite en « Épisode navlinks — transitoire de branche, net zéro vs main » : 6023ab70 introduit les 2 navlinks cassés, b935bb7d les répare, net zéro sur ces 3 lignes (byte-identiques à origin/main au head). Le body énonce désormais explicitement que le payload réel du merge est 12 lignes de titre + 1 séparateur = 13 lignes, et que check-navlinks est vert par retour au baseline, pas par correction d'une casse sur main.

Points annexes repris : la précision « lien » vs backticks (Executor = référence entre backticks, VAF ×2 = liens markdown) est intégrée au récit ; les deux claims « non vérifiés » sont re-mesurés firsthand et confirmés — catalogue byte-identique (les 12 fichiers du diff sont tous des notebooks, aucun fichier catalogue touché) et git diff --check origin/main...origin/feature/14950-argument-headings-lot2-autres propre. L'observation non bloquante sur les deux H1 # Strate 6 : identiques après dé-préfixage est notée pour le suivi #14950 (aucun check du pipeline n'exige l'unicité du titre publié).

@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.

Approved at exact head b935bb7d9efba0aeb97cae557783bdfe0df39fdf after full reread of the PR body, comments, review state, complete diff, inline surface, and latest-by-name checks.

The delivered diff is the corrected 13-line payload across 12 notebooks: 12 published-title normalizations plus the Value-Based AF separator. Code cells, outputs, execution counts, and notebook metadata remain unchanged. The transient Tweety navlink regressions introduced by the first commit are absent from the final head and byte-identical to the base; the body now describes that history accurately.

All current checks are successful or expected skips, the prior COMMENTED concerns are addressed, and no closing issue reference is present. The duplicate Strate 6 prefix remains an informational follow-up under #14950, not a blocker for this bounded lot.

@github-actions

github-actions Bot commented Sep 16, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #16270 (fix(argument-analysis,#14950): normalize published headings, lot 2 (12 notebooks hors Agentic)) 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 commented Sep 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16270
head: b935bb7
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 23e23c3efee8f19dbc2465c5386b3398ba55f95802531ea08a8ee56d9ed7a25f
diff-files: 12
diff-additions: 13
diff-deletions: 13
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Sep 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16270
head: b935bb7
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: eecd1bd9edc82f4e10835541f7423553023bc5b67c800937efaafe1dc26d6ac8
diff-files: 12
diff-additions: 13
diff-deletions: 13
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/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.

APPROVED — exact head b935bb7d9efba0aeb97cae557783bdfe0df39fdf. Lève la review [NanoClaw] CONCERNS du 2026-09-15 (ses deux écarts étaient dans le body ; le livrable était déclaré sain).

Mesures de re-review (les « Non vérifié » de NanoClaw sont mesurés ici) :

  1. Compte : fichiers PR = 12 notebooks, 11 × +1/−1 + Value_Based_AF +2/−2 = +13/−13 — le body corrigé (« +19/−19 » → « +13/−13 ») est maintenant reproductible par les métadonnées PR elles-mêmes.
  2. Transitoire navlinks : la section « Épisode navlinks — transitoire de branche, net zéro vs main » est en place, avec le récit exact (3 lignes byte-identiques à main, garde vert par retour au baseline, pas par correction d'une casse de main) — l'ancienne narration « restauration » est retirée.
  3. Catalogue généré : absent de la liste de fichiers — byte-identique à main par construction.
  4. git diff --check re-mesuré : git apply --check --whitespace=error sur le diff PR → aucune erreur de whitespace.
  5. Corps sans mot fermant (grep direct false) — aucune auto-close.

Checks au head : 76 PASS / 4 SKIP attendus / 0 FAIL, settled ; DWELL échu (tête du 15/09) ; B.0 : le nit restant était précisément ce CONCERNS, ici levé par mesures.

Cap #15511 respecté : approbation depuis myia-ai-01, distinct de l'identité de poussée.

Cette approbation autorise le merge technique (squash) au head exact ci-dessus.

@myia-ai-01
myia-ai-01 merged commit 02f2c63 into main Sep 17, 2026
115 of 135 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants