Skip to content

T12 tranche 3 (#18446): bornes de taille de programme + verdict final #19227

Closed
#19970
Closed
T12 tranche 3 (#18446): bornes de taille de programme + verdict final#19227
#19970

Description

@jsboige
jsboige
opened on Oct 5, 2026

T12 tranche 3 -- bornes de taille de programme + verdict final

Tranche fille de #18446 (lui-meme tranche de #13483). Les tranches 1 et 2 sont LIVREES :

Objet

Publier les bornes inferieures de Kolmogorov (au sens LZ-borne) pour chaque temoin admis du corpus T12, et poser le verdict final falsifiable SOUP-FRAGILE-CONJECTURE-VERIFIEE / NON-VERIFIEE / INCONCLUSIVE au sens de l'acceptance originelle #18446.

Mecanique

  • Reutiliser scripts/hashlife/k_trajectory.py pour mesurer K_trajectory(t, W) a differentes echelles W pour chaque temoin : 25P3H1V0.1, pulsar T=3, glider, LWSS, clignotant, crapaud, OTCA static, banque_periodique_arbitraire (tranche 9+10).
  • La borne inferieure de Kolmogorov est K(t) >= K_LZ(W=taille_temoin) ; c'est ce que mesure l'instrument tranche 1. La notion de taille du programme (item 3 de l'acceptance) se confond avec la borne de compressibilite LZ.
  • Pour chaque temoin, presenter la courbe K_trajectory(t, W) et la borne derivee.

Acceptance (mesurable)

Hors scope

  • Le sorry residuel sur hashlife_correct_margin (claim myia-po-2024:CoursIA).
  • Le generateur Mandelbrot comme temoin de stress (viendra apres T12).
  • La memoisation de decide (T11, tranche 11).

Liens

Activity

  1. jsboige commented on Oct 5, 2026

    @jsboige
    jsboige
    on Oct 5, 2026
    OwnerAuthor

    [CLAIMED] #19227 -- lane myia-po-2026:CoursIA-2 -- T12 tranche 3 (bornes de taille de programme + verdict final, fille de #18446) -- paths: scripts/hashlife/**, MyIA.AI.Notebooks/GameTheory/GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb, MyIA.AI.Notebooks/GameTheory/GameTheory-20f-Bornes-Taille-Hashlife-Python.ipynb

    Grain: DEEP/lean -- lane myia-po-2026:CoursIA-2 -- prev: MED/lean #19214 (Guard #19211)

    Reprise du claim tranche 1 sur #18446 (myia-po-2026:CoursIA-2, 2026-09-30) -- tranches 1 et 2 livrees par mes soins (#18639 et #18777 MERGED). Reste la tranche 3 de l'acceptance originelle : bornes de taille de programme (item 3) + verdict final falsifiable (item 4). Scope desactive explicitement par rapport au claim mort myia-po-2024:CoursIA-2 (T12 global, dead_scope_globs sur Hashlife-Abstract-Inference) : ce claim-ci ne touche pas au notebook 'Hashlife-Abstract-Inference-Perplexity-Python.ipynb' (la tranche 2 l'a deplace dans la serie GameTheory / GameTheory-20e-...).

    Grounding firsthand :

    • scripts/hashlife/k_trajectory.py sur origin/main = 433 lignes, modes measure + verify-corpus, K_trajectory via zlib.compress.
    • GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb sur origin/main = 15 cellules (11 md + 4 code), verdict tranche 2 = CONJECTURE-NON-VERIFIEE-AVEC-CORPUS-COURANT pose explicitement.
    • Le picker grain DEEP/lean a remonté T12 (Lean, #13483): instrument de perplexite + bornes de taille de programme (pivot probabiliste Hashlife) #18446 (T12) comme seul candidat DEEP/CONTENU de la lane ce cycle r77. Le grain est donc ripe, et le pool global le sert. Cf Tell c.1326 strict fondateur + Tell c.1356 strict + Tell c.1335-L1 strict fondateur.

    Geste de cycle : les tranches 1+2 sont LIVREES (sous-grain cree pour que le picker ferme sur T11/T12 et que la tranche 3 soit pullable en propre). Le picker ne voyait pas la livraison faute de label candidate-delivered sur #18446 ; ma lane worker rend la main par ce sous-grain + claim scopé (paths explicite).

  2. myia-ai-01
    added a commit that references this issue on Oct 5, 2026

    feat(gametheory,#19227): T12 tranche 3 -- bornes de taille de program…

    903392b

  3. jsboige commented on Oct 8, 2026

    @jsboige
    jsboige
    on Oct 8, 2026
    OwnerAuthor

    [DELIVERED] lane myia-po-2026:CoursIA-2 — PR #19970, les criteres 2 et 3 du body sont livres.

    Grain: DEEP/notebook-python — lane myia-po-2026:CoursIA-2 — prev: DEEP/notebook-python #19959

    Repartition de l'acceptance

    Mesure (sortie committee, aucune mesure rejouee)

    Bloc Temoins ratio K_min/K_first
    Programmes periodiques otca_static, blinker_T2, pulsar_T3, glider_T4 0.077 a 0.154
    Soupes soup_d05_seed123, soup_d03_seed42, soup_d05_seed777 0.759 a 0.784

    Verdict final T12 : NON-VERIFIEE. La frontiere entre les deux blocs est nette sur ce corpus (0.154 < 0.759), mais aucun temoin ne franchit PROGRAM-AUTO-ENTRETIEN — le residu est le corpus Turing-complet, pas l'instrument.

    La Conclusion du carnet (renommee section 8) affirmait encore « Elle ne livre pas de tranche 3 » : corrigee.

    Verification

    Re-execution notebook_tools.py execute (kernel python3, cwd = racine du depot) : SUCCESS, execution_count 1..5, 0 erreur. Gates locales : exec-sequence CLEAN · exec-ratchet 0 regression · papermill ratchet 0 regression (BLOCK_MOVED) · output-failure 0 · output-collapse 0 · source-collapse 0.

    Fermeture : Closes #19227 au body de #19970 ; la cloture revient au coordinateur au merge.

  4. myia-ai-01
    added a commit that references this issue on Oct 9, 2026

    feat(gametheory,#19227): T12 tranche 3 -- bornes de taille de program…

    52a5d3a
  5. myia-ai-01
    closed this as completedin #19970on Oct 9, 2026
  6. myia-ai-01
    added 2 commits that reference this issue on Oct 9, 2026

    feat(origami,#19766 pli 3): K_trajectory sur Wolframe Rule 30 + Rule …

    19303c1

    feat(hashlife,#19766 pli 4): K_trajectory cross-classes R0/R4/R30/R110 (

    b79bafd
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

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions