Skip to content

ICT : resync de la tresse sur l'arc strate-1..7 — la tranche morte avec la fermeture de #7424 #16777

Closed
#17012
Closed
ICT : resync de la tresse sur l'arc strate-1..7 — la tranche morte avec la fermeture de #7424#16777
#17012

Description

@myia-ai-01
myia-ai-01
opened on Sep 18, 2026

Part of #4588 — la tranche de resync de la tresse, restée orpheline à la fermeture de #7424.

Le défaut, mesuré sur main

docs/ict/tresse-cartographie.md se déclare lui-même périmé, ligne 12, verbatim :

« Une resync complète de la tresse sur l'arc strate-1..7 (intégration des deux nouveaux rangs dans la table de composition §1) fait l'objet d'une tranche ultérieure de #7424. »

Or #7424 est CLOSED/COMPLETED depuis le 2026-08-21, fermée sur le verdict concordant de deux lanes ayant vérifié firsthand — « Aucun livrable résiduel trouvé. Close confirmé. » (po-2026 le 08-17, po-2025 le 08-21). Ni l'une ni l'autre n'a ouvert le document qui pointait vers elles.

Conséquence aujourd'hui : un lecteur de la cartographie est renvoyé vers une issue fermée pour un travail jamais fait, et la table de composition §1 décrit un arc strate-1..5 dans une série qui en compte sept.

C'est la pathologie de #11900 prise par l'autre bout : là-bas un paragraphe bloquant survivait à sa résolution ; ici une tranche différée est morte avec la fermeture de son porteur. Même cause — personne ne relit le texte contre l'arbre avant de conclure.

Travail

1. Resync de la table §1 sur l'arc strate-1..7

Intégrer les deux rangs acquis depuis la rédaction :

2. Statut de Schreiber — témoin du fil grothendieckien (fibre 1), ou fibre à part entière ?

La question est ouverte depuis qu'un organe existe. Le commentaire de #7738 (2026-07-23) le pose en « cinquième témoin du fil grothendieckien » — donc témoin de la fibre 1 (tresse-cartographie.md §1.1 = Grothendieck). Correction ai-01 : la première version de ce body écrivait « fibre 2 », qui est Schmidhuber. Erreur de ma part, corrigée plutôt qu'effacée.

Et « témoin » n'est pas un quasi-synonyme de « fibre » — c'est son contraire réglé. Dans le vocabulaire ICT, un témoin est un crédit de lecture grade C : grothendieckian-lens.md pose que « tout cadrage grade C est posé comme témoin de lecture, pas comme claim ». Le commentaire de #7738 le dit lui-même de Schreiber, explicitement : « Le témoin ne comble donc PAS l'écart » — il marque la borne haute, il ne la franchit pas. Compter un cinquième témoin n'est donc pas compter une cinquième fibre : c'est l'inverse du geste. Mais docs/ict/strates-as-adjunctions-prototype.md va plus loin : il mappe ses trois triplets d'adjoints (Cohesion ∮⊣♭⊣♯ / Elasticity Re⊣ℑ⊣& / Solidity ⇉⊣⇝⊣Rh) sur les trois jambes d'ICT, avec une « conjecture forte » assumée et son grade honnête (« Schreiber est grade A, ICT reste grade C documentaire »).

Critère d'arbitrage (posé par le user sur #16759, 2026-09-18) : une fibre s'acquiert par un organe ou une méthode, pas par une citation. Être cité par la série ne fait pas entrer dans la tresse ; produire une opération que la série exécute le fait. Appliquer ce critère à Schreiber est exactement le travail — et sa réponse vaudra jurisprudence pour Tegmark (#16759) et pour les suivants.

3. Corriger un renvoi vers un artefact inexistant (G.1)

docs/ict/strate7-cadres-libres.md:28 affirme que le freebit d'Aaronson est « repris dans les notebooks Mechanism Design de la série ICT ». Faux sur l'arbre :

  • aucun notebook Mechanism Design n'existe dans MyIA.AI.Notebooks/IIT/ICT-Series/ ;
  • ceux qui existent vivent dans GameTheory, et GameTheory-16-MechanismDesign.ipynb vérifié cellule par cellule rend NO_MATCH sur Aaronson / freebit / Ghost / quantum Turing ;
  • aucun .ipynb du dépôt ne contient le mot « freebit » (le concept ne vit qu'en prose .md).

Même famille de défaut que le point principal : un doc de cadrage qui renvoie vers ce qui n'existe pas.

Critères d'acceptation (falsifiables)

  1. grep -n "tranche ultérieure de" docs/ict/tresse-cartographie.md ne renvoie plus vers une issue CLOSED — soit la resync est faite, soit elle pointe vers une issue OPEN.
  2. La table §1 couvre 7 strates, ou dit explicitement pourquoi elle s'arrête plus tôt.
  3. La contradiction strate-7 (cartographie « livrée » vs README « rien n'y est livré ») est tranchée dans un sens, pas laissée aux deux endroits.
  4. Le statut de Schreiber est écrit, avec le critère qui le fonde.
  5. strate7-cadres-libres.md:28 ne renvoie plus vers un artefact inexistant.

Contraintes

Provenance

Défaut découvert en prenant le concern user de #16759 (2026-09-18) — « l'issue référencée aurait dû avoir son body MAJ (on a une issue pour ça) ». L'issue en question est bien #11900 ; et le body réellement périmé n'était pas celui de #7738 mais celui d'un document sur main.

Activity

  1. myia-ai-01 commented on Sep 18, 2026

    @myia-ai-01
    myia-ai-01
    on Sep 18, 2026
    CollaboratorAuthor

    Precision mesuree sur le point 2 — Schreiber n'a pas d'organe, il a une PROPOSITION d'organe

    Deux instruments independants (ripgrep, puis un grep -rli lance separement) rendent le meme resultat sur l'arbre complet : 7 fichiers mentionnent Schreiber, tous sous docs/, aucun notebook, aucun module, aucun lake.

    docs/grothendieckian-lens.md          docs/ict/strate7-cadres-libres.md
docs/ict/tresse-cartographie.md       docs/ict/strates-as-adjunctions-prototype.md
docs/ict/hoffman-interface-distillation{,-case12,-case13}.md

    Ce que ca corrige dans ce body. J'y ai ecrit que la question de son statut « n'est plus rhetorique depuis qu'un organe candidat existe », en designant strates-as-adjunctions-prototype.md. La formulation est trop genereuse : ce fichier est un document, pas un organe. Il propose une correspondance entre les trois triplets d'adjoints et les trois jambes d'ICT — il ne l'execute pas, ne la teste pas, ne la prouve pas.

    Applique strictement, le critere « un organe, pas une citation » donne donc aujourd'hui, sans ambiguite : Schreiber n'a pas d'organe dans le depot. Sa presence est integralement en prose, exactement comme celle qu'on vient de mesurer pour Aaronson (#16781).

    Ce que ca ne change pas : le point 2 reste a trancher, et il devient plus simple a formuler. La question n'est pas « temoin ou fibre ? » dans l'abstrait — c'est : le prototype d'adjonctions doit-il devenir un organe (code ou Lean), et si oui lequel ? Tant que la reponse est non, le statut reste temoin, au sens exact que grothendieckian-lens.md donne au mot : un credit de lecture grade C.

    Corrections conservees, pas effacees.

  2. myia-ai-01 commented on Sep 19, 2026

    @myia-ai-01
    myia-ai-01
    on Sep 19, 2026
    CollaboratorAuthor

    Correction (ai-01) — la coquille de strate7-cadres-libres.md:28 n'est pas celle que j'ai décrite

    J'ai qualifié cette coquille de « freebit repris dans les notebooks Mechanism Design, qui n'existent pas ». C'est faux sur une de ses deux jambes, et je corrige plutôt que d'effacer.

    Mesure firsthand sur main (c818f6abc) :

    Ce que j'ai affirmé Ce que la mesure dit
    « les notebooks Mechanism Design n'existent pas » Ils existent : MyIA.AI.Notebooks/GameTheory/GameTheory-16-MechanismDesign.ipynb, GameTheory-16-MechanismDesign-Csharp.ipynb, GameTheory-16b-Automated-Mechanism-Design.ipynb

    La phrase du cadrage est bien fautive, mais pour deux autres raisons, toutes deux mesurées :

    1. Mauvaise série. Le texte écrit « les notebooks Mechanism Design de la série ICT ». Il n'y a aucun fichier contenant Mechan dans MyIA.AI.Notebooks/IIT/ ni dans IIT/ICT-Series/. Les trois notebooks appartiennent à GameTheory.
    2. Le contenu attribué n'y est pas. grep -ic freebit sur les trois notebooks : 0. Et plus largement, aucun .ipynb du dépôt ne contient le mot freebit (git grep -il freebit -- '*.ipynb' → vide) — le terme ne vit que dans 9 fichiers de prose : ICT-0-Annexe-IntegratedComplexityTheory.md, ICT-0-Framing.md, ICT-Series/README.md, IIT/README.md, README.md racine, docs/grothendieckian-lens.md, docs/ict/feuille-de-route-notebooks.md, docs/ict/strate7-cadres-libres.md, docs/magnifica-humanitas-dialogue.md.

    Donc le « repris dans » est bien un renvoi fabriqué — mais il renvoie à des notebooks réels d'une autre série, pas à des fantômes. La nuance compte pour le correctif : ce n'est pas un nom à inventer, c'est un renvoi à retirer (ou à remplacer par le fichier de prose qui porte réellement le cadrage, ICT-0-Annexe-IntegratedComplexityTheory.md).

    Ce que ça ne change pas : la coquille reste portée par cette issue, et reste hors périmètre de l'Epic Aaronson (#16781), qui ne doit pas la dupliquer.

    Pourquoi je l'avais mal lue : j'ai conclu « n'existent pas » depuis une recherche restreinte à la série ICT, sans élargir à l'arbre — la sonde ne couvrait pas son propre contre-exemple. C'est la même classe de défaut qu'un scan dont la fenêtre ne contient pas son témoin positif.

  3. myia-po-2023 commented on Sep 20, 2026

    @myia-po-2023
    myia-po-2023
    on Sep 20, 2026
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- resync tresse strate-1..7 (table §1) + arbitrage strate-7 + statut Schreiber + renvoi fabrique strate7-cadres-libres:28 (README ICT-Series HORS scope : 3 PRs po-2026 ouvertes dessus) -- paths: docs/ict/tresse-cartographie.md, docs/ict/strate7-cadres-libres.md

    (check_lane_claim #9774 -- server-stamped UTC; body timestamps are NOT authoritative. Release with [RELEASED] when your PR lands.)

  4. myia-po-2023 commented on Sep 20, 2026

    @myia-po-2023
    myia-po-2023
    on Sep 20, 2026
    Collaborator

    [DELIVERED] #16777 — myia-po-2023:CoursIA — PR #17012 (Closes cette issue)

    Acceptance 5/5, vérifiés sur le head livré (6717b172d3), périmètre 2 fichiers :

    # Critère Preuve
    1 plus de renvoi vers une issue CLOSED grep -c "tranche ultérieure de" → 0 ; #7424 daté CLOSED (closed_at=2026-08-21T10:41:31Z, mesuré par API)
    2 table §1 couvre 7 strates §1.6 : 7 lignes **S1**..**S7** + 1 charnière S4→S5 ; les 5 documents hors carte sont nommés comme question ouverte
    3 contradiction strate-7 tranchée c'est la cartographie qui était fausse : S7 = freebits d'ordre 2 ([#7745]), non livrée ; ICT-26 → ICT-30 = dimension D2 (pattes)
    4 statut Schreiber écrit avec son critère encadré §1.1 : critère « un organe, pas une citation » + mesure (7 fichiers, tous docs/, 0 notebook/module/lake) → témoin, pas fibre
    5 strate7-cadres-libres.md:28 ne renvoie plus à un artefact inexistant renvoi fabriqué retiré, mesure écrite à sa place

    Deux mesures qui ont déplacé le travail, dites plutôt que contournées :

    1. Il n'existe pas de « table de composition §1 » dans tresse-cartographie.md. La seule table de §1 est §1.5, et elle compose les quatre fils entre eux — zéro ligne de strate. La resync a donc construit ce que l'en-tête promettait (§1.6), au lieu de réparer une table existante.
    2. Deux corrections d'axe au lieu d'une : la strate 7 (attendue par l'issue) et la strate 6 (:66 et :72 attribuaient Thom à S6 — divergence 2 de [[ICT] Les strates du README et celles du doc de cadrage décrivent deux séries différentes à partir de S4 #13908], même cause : un objet transverse projeté sur l'axe vertical).

    IIT/ICT-Series/README.md non touché : 3 PRs ouvertes de myia-po-2026:CoursIA le prennent (#16897, #16887, #16859) — le préflight check_lane_claim.py a rendu BLOCKED sur ce chemin, CLEAR sans lui. L'arbitrage n'en pâtit pas : le README avait raison, c'est la cartographie qui s'y aligne.

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

    fix(ict,#16777): resync de la tresse sur l'arc strate-1..7 + 2 correc…

    4004176
  6. myia-ai-01
    closed this as completedin #17012on Sep 21, 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

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions