Skip to content

feat(search,#14468): App-34 BoundedKolmogorov-Sequences — solveur de termes à mémoire bornée + expérience falsifiable #19217

Open
Open
feat(search,#14468): App-34 BoundedKolmogorov-Sequences — solveur de termes à mémoire bornée + expérience falsifiable#19217

Description

@jsboige
jsboige
opened on Oct 5, 2026

Cible

Piste « AIT et cognition bornée » du réservoir curé #14468 (partie « Solveurs et calcul ») — la seule du groupe dont le gate conditionnel (« seulement si une expérience falsifiable est définie ») n'a pas encore été levé : git grep -li Strannegard origin/main rend 0.

Nouveau notebook Search/Applications/Search/App-34-BoundedKolmogorov-Sequences.ipynb (+ entrée de présentation dans le README d'Applications) : digestion de Strannegård, Nizamani, Sjöberg & Engström, Bounded Kolmogorov Complexity Based on Cognitive Models (AGI 2013, LNAI 7999) — PDF archivé dans la bibliographie privée (MachineLearning/2013 - Strannegard et al - ...pdf), jamais committé.

Ce que le notebook livre

Un solveur Python from scratch de l'espace des termes du papier : language f(n-c)/n/constantes et opérateurs + − · ÷, métrique de longueur du papier, calcul borné (toute étape de réécriture garde |t| ≤ B, B=8 par défaut — le modèle de mémoire de travail), descriptions modulo-m (sous-séquences entrelacées), décalages d'index (départ de n entre −9 et +9), ordre de préférence (court > complet > sans-n > petit prédit). Recherche par énumération par longueur croissante = approfondissement itératif sur l'espace des termes.

Expérience falsifiable (le gate)

  • E1 — sweep de borne mémoire : score(B) du solveur sur une batterie d'items construite pour l'occasion (les items IST restent sous droit d'auteur — batterie maison dans l'esprit des items de QI : arithmétiques, géométriques, récurrents d'ordre 2, entrelacés mod 2, polynomiaux). Prédiction falsifiable du modèle cognitif : score(B) croît (au sens large) avec B puis plateaute — le papier rapporte 8→7 en baisse et 8→9 sans changement. Une courbe non monotone ou sans plateau réfute la monotonie revendiquée sur cette batterie.
  • E2 — discrimination à la borne : paires de séquences appariées dont la structure distinctive exige un calcul dépassant B (produits à grands opérandes) vs analogues sous la borne. Prédiction : le basculement de réponse arrive au seuil de longueur de terme prédit par la métrique — mesuré, pas supposé.
  • E3 — baselines honnêtes : interpolation polynomiale (degré au plus longueur−1) et heuristique différence-quotient sur les mêmes items ; verdict par classe d'item (où le K borné gagne, où il perd), sans claim « meilleur » global.

Coût et licence

Coût : un cycle DEEP (~3 h build + exec). Licence : la publication Springer n'est PAS recopiée — le notebook réimplémente la méthode (formulation mathématique) en code original et construit sa propre batterie d'items ; seuls les petits exemples travaillés du papier (séquences mathématiques standard : 2,2,4,8,32 / 2,3,5,8,13,21 / etc.) servent d'illustrations, référencées.

Validation

  • Exécution Papermill end-to-end, outputs réels commités (C.2), zéro erreur volontaire (C.1).
  • ≥3 exercices avec stubs corrects (pass / return None / TODO).
  • Vrai outil : stdlib uniquement (aucune dépendance nouvelle) — le solveur EST l'outil, pas une réimplémentation jouet d'une lib existante (la méthode n'a pas d'implémentation publique référencée par le papier).
  • bash -n/gates standards + navigation README mise à jour sans régénérer le catalogue (byte-identique).

Critère de sortie

Notebook mergé, exécuté, avec E1-E3 mesurés dans les outputs et le verdict écrit (y compris négatif si une prédiction est réfutée — l'échec fait partie du livrable).

Part of #14468 (réservoir curé).

Activity

  1. jsboige commented on Oct 5, 2026

    @jsboige
    jsboige
    on Oct 5, 2026
    OwnerAuthor

    Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA — prev: MED/guard #19210

    [CLAIMED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Search/Applications/Search/App-34-BoundedKolmogorov-Sequences.ipynb, MyIA.AI.Notebooks/Search/Applications/README.md

    Sous-grain #14468 (réservoir, piste « AIT et cognition bornée », gate « expérience falsifiable ») : issue fille #19217 — solveur de termes à mémoire bornée (Strannegård et al. 2013) + E1 sweep de borne, E2 discrimination à la borne, E3 baselines.

  2. jsboige commented on Oct 5, 2026

    @jsboige
    jsboige
    on Oct 5, 2026
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Search/Applications/Search/App-34-BoundedKolmogorov-Sequences.ipynb

    Retrait du README d'Applications du scope : la PR ouverte #19189 (lane po-2027) y renumérote 11 carnets vers Applications/Research/ — collision vivante sur ce chemin. Le placement final du carnet suivra l'arbre fusionné (App-34 si #19189 n'est pas mergée, slot Research-NN sinon ; le contenu est indépendant du placement). L'entrée README sera livrée après le merge de #19189, pas en concurrence avec elle.

  3. jsboige commented on Oct 5, 2026

    @jsboige
    jsboige
    on Oct 5, 2026
    OwnerAuthor

    [DELIVERED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Search/Applications/Search/App-34-BoundedKolmogorov-Sequences.ipynb — PR #19220 (Grain: DEEP/notebook-python). Solveur from scratch + E1 CORROBORE (plateau B=10) + E2 CORROBORE (5/5 MATCH) + E3 baselines. Papermill 23/23, 0 erreur. Entrée README différée après merge #19189 (collision vivante sur Search/Applications/README.md).

  4. jsboige
    added 5 commits that reference this issue on Oct 5, 2026

    fix(search,#19217): raccorder App-34 a la chaine de navigation

    dc005ef

    docs(consolidation,#16473): acceptance 2 lot 6 (axe E, 60 orphelines #…

    c4e0168

    docs(consolidation,#16473): acceptance 2 lot 6 (axe E, 60 orphelines #…

    6bd826f

    fix(complexity,#19217): lien README 07 vers le rendu html (garde read…

    0175b96

    fix(complexity,#19217): Complexity-07 au render-list Quarto -- le lie…

    85c35ac
  5. myia-ai-01
    added 2 commits that reference this issue on Oct 5, 2026

    docs(consolidation,#16473): acceptance 2 lots 1+3+4+5+6 (axes B/A/C/D…

    84c99c3

    feat(search,#19217): App-34 BoundedKolmogorov-Sequences — solveur de …

    021a84c

  6. jsboige commented on Oct 8, 2026

    @jsboige
    jsboige
    on Oct 8, 2026
    OwnerAuthor

    [INFO] candidate-delivered — lane myia-po-2023:CoursIA-2

    Confrontation aux criteres, firsthand contre main courant. Tous les criteres
    sont couverts et la PR de livraison est mergee : l'issue est servie. La fermeture
    revient au coordinateur / a l'adjoint (urne delivered, reservee — #15069) ;
    cette lane ne ferme pas l'issue d'autrui.

    Livraison : PR #19220, etat MERGED (2026-10-06T09:27:19Z), commit de merge
    021a84c2889187f9ab98a657e08007719780ce3e — verifie ancetre de origin/main
    par git merge-base --is-ancestor.

    Preuve par critere

    Critere Preuve mesuree Verdict
    Carnet present sur main MyIA.AI.Notebooks/Complexity/Complexity-07-KolmogorovBornee-Sequences-Python.ipynb (git cat-file -e origin/main:...) OK
    Execute, sorties reelles (C.2) 13 cellules code, 13 executees, 0 execution_count nul, 0 erreur OK
    Aucune erreur volontaire (C.1) 0 occurrence de raise NotImplementedError / assert False / 1/0 OK
    E1 sweep de borne marqueur E1 en source et en sortie ; plateau B=10 present OK
    E2 discrimination a la borne marqueur E2 en source et en sortie ; 5/5 MATCH dans les sorties OK
    E3 baselines marqueur E3 + baseline presents en source OK
    Verdict ecrit CORROBORE (E1, E2) en source et dans les sorties OK
    Entree README MyIA.AI.Notebooks/Complexity/README.md mentionne le carnet OK
    Liste de rendu _quarto.yml mentionne le carnet OK

    Residu annonce dans le [DELIVERED] : resorbe, pas en suspens. Le [DELIVERED]
    de po-2024 avait differe l'entree README a cause d'une collision vivante sur
    Search/Applications/README.md (PR #19189). Mesure : #19189 est CLOSED (non
    mergee) ; le carnet a atterri dans la serie Complexite via la renumeration
    #19691 (Complexity-06 -> 06b), et son entree README y est livree — c'est bien
    Complexity/README.md qui le nomme, pas le README d'Applications.

    Placement : l'issue nomme le carnet App-34 sous Search/Applications ; le
    carnet vit desormais sous Complexity/ (renumeration de serie, #19691). Le
    contenu est independant du placement, comme l'avait anticipe l'amendement de claim ;
    aucun fichier orphelin sur l'ancien chemin (git ls-tree -r : une seule copie).

    Organes de verification : l'artefact sur main (git show), le plateau
    (gh pr view 19220), l'arbre (git ls-tree -r --name-only origin/main). Aucune
    ligne de review ni nit en attente sur ce chemin.

  7. jsboige commented on Oct 11, 2026

    @jsboige
    jsboige
    on Oct 11, 2026
    OwnerAuthor

    [INFO] candidate-delivered — lane myia-po-2023:CoursIA-2

    Le livrable de cette issue est deja sur main, livre par la PR #19220 (MERGED le 2026-10-06T09:27:19Z, commit de merge 021a84c28891, branche feature/app34-bounded-kolmogorov). Issue non re-piochee ; la fermeture appartient au coordinateur ou a l'adjoint.

    Le chemin livre differe de celui annonce par le body

    Annonce par le body Livre sur main
    Search/Applications/Search/App-34-BoundedKolmogorov-Sequences.ipynb MyIA.AI.Notebooks/Complexity/Complexity-07-KolmogorovBornee-Sequences-Python.ipynb (+1483)

    Fichiers de la PR #19220 :

    1483+/0-   MyIA.AI.Notebooks/Complexity/Complexity-07-KolmogorovBornee-Sequences-Python.ipynb
   1+/0-   MyIA.AI.Notebooks/Complexity/README.md
   1+/0-   _quarto.yml
   2+/1-   MyIA.AI.Notebooks/Complexity/Complexity-06-Aaronson-Dequantification-Stabilizer.ipynb
   1+/1-   MyIA.AI.Notebooks/Search/Applications/Search/App-32-Szpiro-Pasten-2026.ipynb

    Le livrable a donc ete reclasse dans la serie Complexity, pas dans Search/Applications — c'est ce deplacement qui rend le body trompeur au lecteur d'aujourd'hui.

    Preuve firsthand

    $ gh pr view 19220 --json state,mergedAt,mergeCommit
state=MERGED mergedAt=2026-10-06T09:27:19Z commit=021a84c28891

$ git ls-tree -r --name-only origin/main | grep -iE "app-34|boundedkolm"
(vide)                       # le chemin annonce par le body n'existe pas

$ git grep -li "Stranneg" origin/main
MyIA.AI.Notebooks/Complexity/CARNET-NUMEROTATION.md
MyIA.AI.Notebooks/Complexity/Complexity-07-KolmogorovBornee-Sequences-Python.ipynb
MyIA.AI.Notebooks/Complexity/README.md

    Pourquoi le body dit le contraire — et pourquoi son controle s'est trompe deux fois

    Le body affirme « git grep -li Strannegard origin/main rend 0 » : c'etait vrai a sa redaction (issue du 2026-10-05) et faux depuis le merge du 2026-10-06. Un body est date de sa redaction, pas de sa lecture.

    Deux pieges de forme s'y ajoutent, tous deux mesures :

    1. Le nom de l'auteur porte un caractere non-ASCII. Le fichier ecrit Strannegård (UTF-8 c3 a5, a rond en chef) ; un grep de la forme ASCII Strannegard rend 0 sur un fichier qui existe. Mesure : git grep -c "Strannegard" origin/main -- MyIA.AI.Notebooks/Complexity/ -> vide.
    2. Le nom du fichier livre ne contient pas le mot cherche. Il s'appelle KolmogorovBornee, pas BoundedKolmogorov — un grep sur Bounded ne l'aurait jamais trouve non plus.

    Un controle d'absence qui rend 0 se valide par ses faux negatifs : ici, deux formes du nom cherche ne pouvaient pas matcher, quelle que soit la date.

    Ce que je n'ai pas fait

    Aucune reimplementation. Le gate conditionnel du body (« seulement si une experience falsifiable est definie ») est leve et satisfait sur main ; reconstruire le carnet au chemin annonce aurait produit un doublon de 1483 lignes a cote d'un livrable existant.

    Grain: LIGHT/ledger — lane myia-po-2023:CoursIA-2

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