Skip to content

feat(ict,#16682): statut épistémique en tête — tranche 1 (13 notebooks, strates 1-3) - #16696

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/16682-ict-epistemic-markers
Sep 18, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/16682-ict-epistemic-markers

Conversation

@jsboige

@jsboige jsboige commented Sep 18, 2026

Copy link
Copy Markdown
Owner

Grain: DEEP/epistemic-markers -- lane myia-po-2026:CoursIA -- prev: LIGHT/deaccent #16659

See #16682 (tranche 1 — section 1, 13 des ~36 notebooks sans marqueur)

Ce que fait cette PR

Chaque notebook porte désormais, en tête (cellule blockquote insérée après la cellule titre), le statut épistémique qui le concerne : verdict(s) exact(s) tiré(s) de docs/ict/dissociations-matrix.md (65 verdicts : Établi / Fortement soutenu / Spéculatif), claim résumé en une ligne, et lien vers la matrice. Pas une duplication de la matrice — un pointeur qui porte le verdict.

Tranche 1 = strates 1-3 (ordre de lecture) : ICT-01, 02, 03, 05, 06, 07, 09, 10, 11, 12, 12b, 12c, 13.

  • 11 notebooks mono-verdict (10 × Établi, 1 × Spéculatif : ICT-11).
  • ICT-10 = 3 claims distingués (Établi / Fortement soutenu / Spéculatif).
  • ICT-13 = 5 claims (4 Gates + verdict global, tous Établi).

Méthode

  • Verdicts et claims extraits par script de la matrice (source unique, zéro retypage — les claims gardent leur gras interne exact).
  • Détection des marqueurs existants in-situ avant édition (36 notebooks déjà marqués, aucun retouché ; cartographie complète label × verdicts × marqueur × collision).
  • Cellules ajoutées avec id nbformat 4.5 (leçon enrich(iit,#13410): densite ICT-22b intervention causale + ICT-39 composition de regards — lectures de sorties chiffrees #16424 : une cellule ajoutée sans id = défaut).
  • Édition markdown-only → exception C.2 (outputs précédents valides, pas de re-exécution requise).
  • nbformat.validate OK sur les 13 ; round-trip JSON vérifié fichier par fichier avant écriture.
  • Fix hook incluse : --- → *** dans ICT-11 (convertisseur séparateur obligatoire du pre-commit).

Exclusions (collisions PRs ouvertes)

ICT-04 (#16681), ICT-08 (#16455), ICT-22b + ICT-39 (#16424), ICT-37 + ICT-40 (#16675) — leurs marqueurs iront dans une tranche ultérieure post-merge.

Résiduel (hors scope de cette tranche)

🤖 Generated with Claude Code

@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

⚠️ 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

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

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.

@github-actions

github-actions Bot commented Sep 18, 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 3.1s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 3.1s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 4.2s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 3.7s
Search-01-StateSpace.ipynb ✅ SUCCESS 2.7s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 1.9s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 17.5s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.1s

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: 13
  • Code cells validated: 143
  • 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)

…s, strates 1-3)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@jsboige
jsboige force-pushed the feature/16682-ict-epistemic-markers branch from 34fad2c to 0474c00 Compare September 18, 2026 16:47

@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: LGTM

Preuve-vive : les 13 notebooks du head SHA (0474c00) re-téléchargés et re-parsés — 13/13 valides, cellule 1 = markdown Statut épistémique, lien relatif vers la matrice présent. Croisement verdicts PR ↔ docs/ict/dissociations-matrix.md (organe réel, téléchargé au même SHA) : 13/13 conformes — dont ICT-10 qui distingue correctement ses 3 verdicts (Établi/Fortement soutenu/Spéculatif = lignes bis/ter de la matrice) et ICT-11 qui porte honnêtement le Spéculatif (les deux mesures d'agence se contredisent dans la matrice — le notebook ne l'élude pas).

La méthode correspond à l'issue #16682 §1 : le statut épistémique existe dans la matrice mais était invisible depuis les notebooks — cette tranche le rend visible in-situ sans ré-exécution. Diff +106/−2, zéro ligne touchant code/outputs/execution_count. Organes notebook verts au périmètre (validation 13/13, golden-set exécuté). Scan secrets : clean.

[Hermes hermes-pr-review, cycle :17 18/09, host c92df397a786]

@github-actions

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #16696 (feat(ict,#16682): statut épistémique en tête — tranche 1 (13 notebooks, strates 1-3)) 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants