Skip to content

Add: tranche 5 marqueur Statut epistemique - 33 notebooks ICT sans verdict (absence dite comme telle) - #17026

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/ict-statut-epistemique-tranche5
Sep 21, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/ict-statut-epistemique-tranche5

Conversation

@jsboige

@jsboige jsboige commented Sep 20, 2026

Copy link
Copy Markdown
Owner

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

Tranche 5 du marqueur « Statut épistémique » (#16682 §1) — l'absence de verdict, dite comme telle

L'attendu de l'issue prévoit que chaque notebook ICT porte en tête son verdict « ou l'absence de verdict, dite comme telle ». Après la tranche 4 (#17024, les 9 à verdict), il reste 33 notebooks sans marqueur et sans ligne de verdict dans docs/ict/dissociations-matrix.md — mesurés sur origin/main frais (545d9ec63) : 77 notebooks, 35 marqués, 42 sans marqueur, dont 9 à verdict (tranche 4) et 33 sans aucune ligne (cross-check par identifiant ICT-x + noms spéciaux ; les tokens des 33 n'apparaissent nulle part dans la matrice, cf. les 4 « SAE » vérifiés séparément — leur préfixe matchait la ligne ICT-SAE-JLens, qui appartient à TeteATete).

Contenu

Cellule markdown insérée à l'index 1 (convention des tranches précédentes) :

Statut épistémique — Sans verdict à ce jour : aucune ligne de la matrice de dissociations ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant.

Pour les 4 notebooks dont la cellule 0 est une cellule de paramètres papermill (ICT-22b, 35, 35b, 35c), le marqueur s'insère à l'index 1 = première cellule markdown, en tête du contenu.

Validation

  • Markdown-only : aucune cellule code touchée, aucun output modifié → exception C.2 (pas de re-exécution due).
  • Édition chirurgicale par format — la série n'est pas homogène en sérialisation, chaque fichier est traité selon son format mesuré :
    • 25 fichiers standard (indent=1, ensure_ascii=False) : round-trip byte-identique vérifié, insertion JSON.
    • ICT-21c, ICT-Greffe2 : sérialisés ensure_ascii=True (round-trip byte-identique vérifié dans CE mode) — la ré-écriture en accents littéraux aurait changé ~70 lignes par fichier.
    • ICT-34 : JSON minifié une ligne — insertion par scanner texte (aucune ré-sérialisation).
    • ICT-Greffe4 : non round-trippable (round-trip faux dans les deux modes) — insertion par scanner texte également.
  • Diff : 263 insertions / 12 deletions sur 33 fichiers — ≤ 10 insertions par fichier, les 12 deletions = normalisation « no newline at end of file ». Aucune ré-serialisation de fichier.
  • Structure : marqueur présent exactement 1× par fichier à l'index 1, lien relatif vérifié ×33, nbformat.validate OK ×33 (warning MissingIDFieldWarning préexistant sur cellules d'origine).

Avec #17024, les 77 notebooks de la série portent tous le marqueur : §1 de #16682 complet (35 préexistants + 9 verdicts + 33 absences).

See #16682

🤖 Generated with Claude Code

…rdict (absence dite comme telle)

Attendu #16682 SS1 : chaque notebook porte le verdict ou l'absence, dite
comme telle. Les 33 restants sans ligne de verdict dans la matrice
receivent le marqueur 'Sans verdict a ce jour'. Markdown-only (exception
C.2). Formats heterogenes respectes : ensure_ascii=True pour 21c/Greffe2,
scanner texte pour Greffe4 (non round-trippable) et ICT-34 (minifie),
numstat 263+/12- borne a <=10 insertions par fichier.
See #16682

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

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 3.6s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 7.9s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 7.7s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.8s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.6s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.4s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 20.3s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.7s

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: 33
  • Code cells validated: 367
  • 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 20, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #17026 (Add: tranche 5 marqueur Statut epistemique - 33 notebooks ICT sans verdict (absence dite comme telle)) 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 21, 2026

Copy link
Copy Markdown
Owner Author

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

@myia-ai-01
myia-ai-01 merged commit 9bccdb6 into main Sep 21, 2026
83 of 84 checks passed
jsboige added a commit that referenced this pull request Sep 23, 2026
…te un verdict, ICT-41 dit son absence

Audit des 32 marqueurs « Sans verdict » poses par la tranche 5 (#17026),
croises contre docs/ict/dissociations-matrix.md (origin/main), y compris
les lignes de cases nommees (matrice inversee #9533) et non seulement le
tableau principal par notebook :

- ICT-Dissociation-PhatSelfReference : mal etiquete. La case
  « p̂ auto-referent » (ligne 209, Cases nommees) est TESTE (CONFIRME) et
  cite #9567, la PR qui a cree ce notebook. Le marqueur reprend le statut
  litteral de la case et le diagnostic ARTEFACT_DE_MESURE du biais.
- ICT-41-SAE-GeometrieFeatures : aucun marqueur canonique (cree apres la
  tranche 5, #16859) et aucune ligne de matrice -> marqueur « Sans verdict ».

Markdown-only, aucun output touche (exception C.2).

See #16682

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
myia-ai-01 pushed a commit that referenced this pull request Sep 23, 2026
…te un verdict, ICT-41 dit son absence (#17484)

Audit des 32 marqueurs « Sans verdict » poses par la tranche 5 (#17026),
croises contre docs/ict/dissociations-matrix.md (origin/main), y compris
les lignes de cases nommees (matrice inversee #9533) et non seulement le
tableau principal par notebook :

- ICT-Dissociation-PhatSelfReference : mal etiquete. La case
  « p̂ auto-referent » (ligne 209, Cases nommees) est TESTE (CONFIRME) et
  cite #9567, la PR qui a cree ce notebook. Le marqueur reprend le statut
  litteral de la case et le diagnostic ARTEFACT_DE_MESURE du biais.
- ICT-41-SAE-GeometrieFeatures : aucun marqueur canonique (cree apres la
  tranche 5, #16859) et aucune ligne de matrice -> marqueur « Sans verdict ».

Markdown-only, aucun output touche (exception C.2).

See #16682

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
jsboige added a commit that referenced this pull request Sep 23, 2026
…te un verdict, ICT-41 dit son absence (#17484)

Audit des 32 marqueurs « Sans verdict » poses par la tranche 5 (#17026),
croises contre docs/ict/dissociations-matrix.md (origin/main), y compris
les lignes de cases nommees (matrice inversee #9533) et non seulement le
tableau principal par notebook :

- ICT-Dissociation-PhatSelfReference : mal etiquete. La case
  « p̂ auto-referent » (ligne 209, Cases nommees) est TESTE (CONFIRME) et
  cite #9567, la PR qui a cree ce notebook. Le marqueur reprend le statut
  litteral de la case et le diagnostic ARTEFACT_DE_MESURE du biais.
- ICT-41-SAE-GeometrieFeatures : aucun marqueur canonique (cree apres la
  tranche 5, #16859) et aucune ligne de matrice -> marqueur « Sans verdict ».

Markdown-only, aucun output touche (exception C.2).

See #16682

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
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.

2 participants