[jsboige]

Grain: DEEP/notebook-python — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #23823

Tranche 2 de #23817 (famille GenAI/Plateformes-Conversationnelles/AI-Engine-WordPress du census #23384) : 03-Functional/03-2-Forms/auditer-un-formulaire-conditionnel.ipynb passe de language_info.version 3.12.13 à CPython 3.13.3 sous le kernelspec python3.

Carnet d'audit combinatoire de chemins conditionnels — aucune dépendance externe (l'en-tête de sa cellule de config : « Aucune dépendance externe. Tout est en mémoire. ») : pas d'instance Valmont, pas de LLM (les actions llm_synthese/llm_verification sont des chaînes comptées par cout_llm, jamais invoquées).

Mesure de la tranche

Contrôle	Résultat
Cellules	36 → 36, 36/36 sources identiques à l'octet près (forme liste d'origine restaurée après exécution)
Cellules code	9 → 9, 9/9 execution_count non nuls, 0 erreur
Sorties	9/9 byte-identiques — carnet combinatoire déterministe (énumération de chemins, coûts LLM comptés, invariants)
Diff réel	metadata papermill par cellule + language_info.version uniquement — aucune source, aucune sortie, aucune prose touchée
Version	3.12.13 → 3.13.3
papermill	exécution réelle -k python3, 36/36 cellules en ~1,7 s

Diagnostic dérive

Verdict : sans objet — aucune sortie n'a dérivé. Le diff entier est constitué des métadonnées d'exécution papermill (durées, horodatages, tags) et du passage de version kernel. Le carnet énumère des chemins d'un formulaire à 7 champs conditionnels en mémoire : aucune stochasticité, aucun id d'instance, aucun appel réseau — la re-exécution reproduit les sorties à l'octet près.

Gardes locales (post-commit a0e6d605425)

• check_kernel_drift.py origin/main --json → findings: [], changed_notebooks: 1
• check_prose_quantitative_claims.py --diff origin/main...HEAD → [OK]
• check_activity_leak.py --diff origin/main...HEAD → [OK]
• check_output_collapse.py origin/main → 0 flagged · check_source_collapse.py origin/main → 0 flagged (advisory)
• Hooks pre-commit passés (H.3, #13326, gitleaks, scrubs papermill)
• twin_pairs.d/ : carnet absent du registre (vérifié)

Hors scope

Les 26 autres carnets de #23817 restent libres. Les tranches chat (vLLM 11500) et RAG (embeddings) attendent le réveil du moteur local.

See #23817, Part of #23384.

🤖 Generated with Claude Code

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.6s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	2.9s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	1.8s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	15.6s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	1.9s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	8.4s

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

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=5 genre=7 cap=10)
• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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]

✅ No prose/output mismatch detected in the notebooks this PR changed.

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]

✅ No unanchored measurement claim detected in the notebooks this PR changed.

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]

✅ 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]

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]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 9
• 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]

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

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23826
head: a0e6d60
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0b85944dbabc275c4bea9b98bb5d623f0e365cbff76df45da733629bd33732ca
diff-files: 1
diff-additions: 400
diff-deletions: 73
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 23826
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Lecture coordinateur à la tête a0e6d60542 (body, dossier [ADJOINT PREFLIGHT] de myia-po-2028:CoursIA-3, diff). Aucune review ni réserve antérieure.

• Delta mesuré par id de cellule entre la base de fusion et la tête : 36 → 36 cellules, 0 source modifiée, 0 sortie modifiée, 0 erreur, 0 execution_count nul.
• Seules les métadonnées changent : language_info (3.12.13 → 3.13.3), le bloc papermill, et les métadonnées d'exécution des 36 cellules. Cela confirme la byte-identité annoncée au body.

B.0 rc=0, validate-notebooks vert en latest-wins.

Approuvé à la tête exacte a0e6d60