feat(notebook,#19796): ICT-18b Wolfram 4 classes vs signature thermo

[jsboige]

Grain: DEEP/research-code -- lane myia-po-2023:CoursIA-2 -- prev: REPAIR #19372

Summary

Carnet ICT-18b du pli 2 EPIC Origami Wolfram (#19766) : 4 classes Wolfram canoniques (I/II/III/IV) confrontées à la signature thermodynamique de ict.time_arrow.

#	Règle	Classe	rho_mean	rho_std
1	Rule 0 (I, fixe)	I	0.000	0.000
2	Rule 4 (II, periodique)	II	oscille	borné
3	Rule 30 (III, chaotique)	III	~0.5	non nul
4	Rule 110 (IV, complexe)	IV	~0.5	non nul, gliders
5	Rule 250 (III-ref)	III	~0.5	non nul

Pedagogie : 1 exemple guide (Ex1) + 3 exercices stubs C.1 (Ex2 gliders, Ex3 thermo, Ex4 calibration).

Outils :

• wolfram_step_inline (vecteurise, dtype int8, bord = 0) -- version simplifiee de ict.wolfram_step en attendant merge feat(iit,#19766 pli 2): ict.wolfram_step -- organe de l'automate 1-D de Wolfram (extrait d'ICT-18 EG3) #19793
• ict.time_arrow.compare_real_reversed_reversibilized (déjà sur main)

Validation

• Papermill SUCCESS (10/10 cellules, 0 erreur, ~2 s exec)
• Pre-commit : CRLF/LF, LaTeX escape, markdown-typed-code Aucun garde ne parse la source des cellules : une cellule non compilable portant une sortie traverse les 60+ checks #13326 = Passed
• execution_count != null sur cellules code (C.2 OK)

Links

• Carnet parent EPIC : [Origami Wolfram, Pli 1] Lire le corpus et arbitrer les idées vers les plis 2 à 8 — archive GDrive, matrice, note de veille #19766 (Pli 2 Origami Wolfram)
• Issue trackee : Origami Wolfram pli 2 (suite) -- ICT-18b Wolframe / 4 classes vs thermodynamique #19796
• PR source organe : feat(iit,#19766 pli 2): ict.wolfram_step -- organe de l'automate 1-D de Wolfram (extrait d'ICT-18 EG3) #19793 (wolfram_step merge en attente, hors scope carnet)

Test plan

• Papermill SUCCESS sur cellule 1 (setup) : setup OK
• Papermill SUCCESS sur cellule 3 (Ex1) : 5 regles trajectoires generees
• C.1 OK sur cellules 5/7/9 (stubs pass)
• Diagnostic derive N/A (Pas de derive kernel/regression -- notebook neuf)

🤖 Generated with Claude Code

[jsboige]

[INFO doublon] c.1161 -- PR #19850 ICT-18b Wolframe fermee pour doublon avec PR #19807 (canonique ICT-48 pli 2 carnet Origami Wolfram #19766). PR #19807 (open, branche fix/19796-ict18b-wolframe-thermo) est la livraison retenue. PR #19809 (ICT-23, livree par po-2024) deja fermee par RELEASED pour doublon #19807 (cid ant). Reference : convention ICT-N chronologique #19807 > #19809 > #19850.

Grain reel livre par cette session : PR #19850 ICT-18b (10 cellules, 5 code) -- contenu verbatim adapte au worktree isole (re-execution reussie 10/10 cellules).

Pas d'action requise du coordinateur sur PR #19850 (je clos ci-dessous).

[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 outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

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

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

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

Notebook PR Validation: PASS

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