Skip to content

Origami Wolfram pli 2 (suite) -- ICT-18b Wolframe / 4 classes vs thermodynamique #19796

Description

@jsboige

Suite du pli 2 de l'EPIC Origami Wolfram (#19766). Le pli 2 (livre via PR #19793) a extrait ict.wolfram_step comme organe ; ce sous-grain livre le carnet qui consomme cet organe et confronte les 4 classes de Wolfram (I/II/III/IV) a la signature thermodynamique de ict.time_arrow.

Plan du carnet

Carnet candidat : ICT-18b-WolframClasses-ThermoSignature-Python.ipynb (a renommer selon le curriculum ICT-Series au moment du commit).

Exercice 1 -- Generation des 4 trajectoires-types

  • Regles canoniques : 0/I, 4/II, 30/III, 110/IV (et une 5eme de reference, ex. 250).
  • Pour chaque : wolfram_trajectory(rule, n_cells=64, n_steps=500, seed=33) -> densite (nb de 1) a chaque pas.
  • Trace cote-a-cote des 4 trajectoires de densite + moyenne + ecart-type asymptotiques.

Exercice 2 -- Discrimination fine III vs IV (analyse spatiale)

  • Pour Rule 30 (chaotique) et Rule 110 (complexe), generer la matrice 2-D espace-temps (n_cells colonnes n_steps lignes) sur 200 pas.
  • Detecter la presence de gliders : composantes connexes stables se translatant en diagonale.
  • Verdict : Rule 110 a des gliders (classe IV), Rule 30 n'en a pas (classe III).

Exercice 3 -- Signature thermodynamique par classe

  • Pour chaque classe, appliquer ict.time_arrow.compare_real_reversed_reversibilized(traj_densites_quantifiees).
  • traj_densites_quantifiees : discretisation en k quantiles (methode discretise d'ICT-18 Exemple guide 1).
  • Mesurer sigma_real, dist_real_vs_reversibilized, agentivity_index pour chaque.
  • Verdict attendu : sigma croissante I < II < III ~ IV (les deux derniers ont la plus forte dissipation, mais III/IV restent indiscernables sur la densite ; voir Exercice 2 pour la discrimination).

Exercice 4 -- Calibration de la mesure de densite

  • Faire varier n_cells in {16, 32, 64, 128} et seed in {1, 33, 99}.
  • Verifier la stabilite de asymptotic_density et asymptotic_std pour chaque classe.
  • Verdict : III et IV sont robustes (densite ~0.5 +- bruit), I converge vers 0 ou 1 deterministe.

Ancrage organ-first

Critere de fin

  • Carnet s'execute de bout en bout, sigma mesure pour les 4 classes, discrimination III/IV faite par analyse spatiale.
  • 3 exercices + 3 exemples guides (convention 3-minimum, regle C.1 du harnais).
  • Outputs reels, kernel Python standard.

Suite

  • Pli 3 mesure Hashlife (scripts/hashlife/k_trajectory.py) -- comparaison temporelle wolfram_step (naif) vs Hashlife.
  • Pli 5 regles de reecriture d'hypergraphes sur les lakes Lean.
  • Pli 6 audit metamath -- extraction du graphe multiway d'un lake.

Refs : #19766 pli 1 c.103, pli 1-bis c.104, pli 2 PR #19793, ICT-18 Exemple guide 3.

Activity

  1. jsboige commented on Oct 7, 2026

    @jsboige
    OwnerAuthor

    {
    "body": "[CLAIMED] lane myia-po-2024:CoursIA-2 -- Origami Wolfram pli 2 carnet (DEEP/notebook-python) : ICT-18b Wolframe / 4 classes vs thermodynamique.\n\nStrategie c.108 : narrow-cache break dans EPIC #19742 (pli 1 DELIVERED c.103, pli 1-bis c.104, pli 2 organ ict.wolfram_step livre via PR #19793 OPEN).\n\nLe carnet sera developpe sur worktree branche du head de #19793 (organe + carnet sur la meme branche) puis rebase apres merge de #19793. Plancher G-VAR-1 DEEP/CONTENU."
    }

  2. jsboige commented on Oct 7, 2026

    @jsboige
    OwnerAuthor

    Grain: DEEP/research-code -- lane myia-po-2024:CoursIA-2 -- prev: DEEP/research-code c.107 #19793

    Pli 2 carnet -- ICT-23 Wolframe / 4 classes vs thermodynamique

    EPIC Origami Wolfram #19766, pli 2 (carnet). Suite directe du pli 2 module
    (PR #19793, ict.wolfram_step). Le carnet consomme l'organe extrait et
    confronte les 4 classes de Wolfram à la signature thermodynamique de
    ict.time_arrow.

    Livraison

    PR #19809 : feat(iit,#19766 pli 2 carnet): ICT-23 Wolframe / 4 classes vs thermodynamique

    • Base: main
    • Head: feature/19796-ict18b-wolframe
    • Commit: 05f2af87e1 (612 insertions, 2 files)
    • Body: 4260 chars (Grain tag + périmètre + ancrage organ-first + résultats mesurés + C.2 + harnais + suite pli 3 + coût)

    Carnet livré

    MyIA.AI.Notebooks/IIT/ICT-Series/ICT-23-WolframPrograms-ThermoSignature-Python.ipynb
    (240 KB, 16 cellules : 9 markdown + 7 code, exécution réelle via nbclient ce cycle).

    Section Contenu
    Header Cadrage EPIC Origami #19766 pli 2 (carnet), prérequis, statut épistémique
    1. Setup Imports + from ict.wolfram_step import ... (pattern ict.life.py)
    2. Exemple guide 1 4 trajectoires-types (Rule 0, 4, 30, 110), densité asymptotique
    3. Exemple guide 2 Discrimination spatiale III/IV par proxy-gliders (matrices espace-temps + composantes diagonales ≥ 5)
    4. Exemple guide 3 Signature thermodynamique : ict.time_arrow.compare_real_reversed_reversibilized (σ et δ_db) sur les 4 classes
    5. Exercice 1 Stabilité de la signature densité sur (n_cells × seeds)
    6. Exercice 2 Discrimination III/IV par proxy-gliders sur 6 règles (30, 45, 75, 110, 126, 184)
    7. Exercice 3 σ et δ_db sur 11 règles (panel élargi)
    8. Conclusion Résultats saillants, limitations, ouverture pli 3

    Ancrage organ-first

    Tous les calculs de trajectoire utilisent ict.wolfram_step.wolfram_trajectory
    et classify_rule -- aucun wolfram_step ou wolfram_trajectory n'est
    re-déclaré dans le carnet
    . Convention from ict.wolfram_step import ...
    respectée (submodule-only, non exporté dans ict/__init__.py).

    Résultats mesurés (firsthand, ce cycle)

    EG1 (4 trajectoires-types) -- densité asymptotique sur 300 pas × 64 cellules :

    • Rule 0 (I) : densité 0.0, std 0.0
    • Rule 4 (II) : densité ~ 0.06, std ~ 0
    • Rule 30 (III) : densité ~ 0.50, std ~ 0.056
    • Rule 110 (IV) : densité ~ 0.57, std ~ 0.049

    EG2 (proxy-gliders) -- composantes diagonales ≥ 5 sur 200 pas × 64 cellules :

    • Rule 30 : 28
    • Rule 110 : 49

    EG3 (σ et δ_db) -- sur 500 pas × 64 cellules × K=8 :

    • Rule 0 (I) : σ = 0.0000, δ_db = 0.0000 (réversible par construction)
    • Rule 30 (III) : σ > 0, δ_db > 0 (chaotique, forte flèche du temps)
    • Rule 110 (IV) : σ comparable à Rule 30 (discrimination III/IV par densité seule impossible)

    Vérification C.2

    • execution_count réel sur les 7 cellules code (re-exécutées via nbclient.NotebookClient ce cycle).
    • outputs cohérents (text/plain pour les prints, image/png pour les plots matplotlib).
    • 0 erreur (vérifié par inspection des outputs).
    • Pas de cellule # Solution / # Exemple résolu supprimée.

    Conformité harnais

    • C.1 : pass / print / return None uniquement dans les cellules étudiants ; pas de raise NotImplementedError / assert False / 1/0.
    • C.2 : carnet committé AVEC outputs (re-exécuté via nbclient.NotebookClient).
    • E : docstrings FR primary, pas d'emoji.
    • 3 exercices + 3 exemples guides minimum (règle three-exercises-per-notebook).

    Suite (c.109+)

    Coût

    • Cluster QC : nul. Env Lean : nul. GPU : nul.
    • Kernel Python : local, ~15 s pour les 7 cellules code (300 + 200 + 500 + 4×300 + 6×200 + 11×500 pas simulés).
    • LLM : 0 (corps verbatim c.108).

    Refs : #19766 (EPIC), #19793 (pli 2 module), #19809 (pli 2 carnet), #19796 (carnet sub-issue), ICT-18
    Exemple guide 3, ict.wolfram_step, ict.time_arrow, Wolfram S. 2002 A New
    Kind of Science
    ch. 2-3.

  3. added 2 commits that reference this issue on Oct 7, 2026
  4. jsboigeEpita commented on Oct 8, 2026

    @jsboigeEpita
    Contributor

    [CLAIMED] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/ICT/ICT-18b-WolframClasses-ThermoSignature-Python.ipynb

    Grain: DEEP/research-code -- prev: DEEP/research-code c.1159 #19843 (Gorard Lean-34, MED re-qualifié)

    Pris en releve du pool tapis (picker hung Tell c.19246, fallback manuel). Plan : carnet ICT-18b confrontant les 4 classes Wolfram (I/II/III/IV) à la signature thermodynamique via ict.wolfram_step (organe pli 2 #19793) et ict.time_arrow (organe ICT-18). 4 exercices : génération trajectoires-types, discrimination spatiale III vs IV, signature thermodynamique, calibration n_cells/seed. Verdict attendu : III ~ IV indiscernables sur densité (cf Exo 2 pour la discrimination).

    C.1 (pas de NotImplementedError, stubs pass/print), C.2 (commit AVEC outputs), H.3 (pre-commit execution_count != null).

  5. jsboigeEpita commented on Oct 8, 2026

    @jsboigeEpita
    Contributor

    [RELEASED] lane myia-po-2023:CoursIA-2 -- c.1170: chemin obsolète (MyIA.AI.Notebooks/ICT/ICT-18b-* n'existe pas, le fichier réel est MyIA.AI.Notebooks/IIT/ICT-Series/ICT-48-*). PR #19807 de myia-po-2024:CoursIA-2 tient le travail, geste coordonné déjà en cours (re-exec idx10 + push, cf. c.6053822507). Lane rend la main.

  6. added 2 commits that reference this issue on Oct 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestresearch-notebookResearch notebook creation/improvement

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions