Skip to content

Complexity : finition de serie -- les trois blocs de fin des six carnets du coeur #23711

New issue
New issue
Closed
#23719
Closed
Complexity : finition de serie -- les trois blocs de fin des six carnets du coeur#23711
#23719

Description

@jsboige
jsboige
opened on Oct 31, 2026

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

Part of #19297

Objet

Finition de la série Complexity : poser les trois blocs de fin canoniques (## À retenir, ## Vérifiez votre compréhension, ## Pour aller plus loin) sur les six carnets du cœur de la série, aucun n'étant occupé par une PR ouverte.

Mesure

python scripts/notebook_tools/check_series_finish.py --series Complexity --json au 2026-10-31 sur main (3f49645fb) : la série est à 0/21 carnets finis ; le README porte déjà ## Objectifs d'apprentissage (critère 1 acquis). Les six carnets du cœur portent tous les trois blocs manquants ; quatre d'entre eux portent en plus des sections voisines à renommer.

Carnet Renommer À écrire
Complexity-01-StepCounting.ipynb a_retenir, verifiez aller_plus_loin
Complexity-02-P-NP-Reduction.ipynb a_retenir, verifiez aller_plus_loin
Complexity-03-TimeHierarchy.ipynb a_retenir, verifiez aller_plus_loin
Complexity-03b-HartmanisStearns-TimeHierarchy.ipynb aller_plus_loin a_retenir, verifiez
Complexity-03c-ComplexityZoo-Navigation-Python.ipynb — les 3
Complexity-03d-ETH-Refutation-Annoncee-Lean-Python.ipynb — les 3

Aucune PR ouverte ne touche MyIA.AI.Notebooks/Complexity/** (mesuré le 2026-10-31). Les issues ouvertes de la série qui portent sur un carnet précis visent d'autres fichiers (#22134 sur 02c, #22834 sur 02b, #22993 sur 05b, #22998 sur 07b) : aucun recouvrement avec la liste ci-dessus. Le jumeau Complexity-03-TimeHierarchy_en.ipynb reste hors périmètre de ce grain (son traitement relève de la paire de traduction, pas de la finition FR).

Travail attendu

Poser les trois blocs de fin canoniques sur les six carnets — markdown seul, aucune cellule code touchée, aucun fait cité qui ne soit relu dans les sorties committées du carnet (patron #23695 : renommage des variantes, questions à réponse repliée <details> ancrées sur les chiffres mesurés du carnet, liens carnet suivant/voisins + fil de la série).

Critère de sortie : l'organe ne signale plus aucun bloc manquant sur les six carnets listés (les quinze autres carnets de la série restent hors périmètre de ce grain, et le ratio de série reste donc partiel).

Hors scope (critères distincts de l'EPIC, non couverts ici) : README objectifs/capstone, parcours 0.

Activity

  1. jsboige commented on Oct 31, 2026

    @jsboige
    jsboige
    on Oct 31, 2026
    OwnerAuthor

    [CLAIMED] lane myia-po-2024:CoursIA-2 -- finition du coeur de la serie Complexity : les trois blocs de fin canoniques, markdown seul (code byte-identique) -- paths: MyIA.AI.Notebooks/Complexity/Complexity-01-StepCounting.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-02-P-NP-Reduction.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03b-HartmanisStearns-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03c-ComplexityZoo-Navigation-Python.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03d-ETH-Refutation-Annoncee-Lean-Python.ipynb

  2. jsboige commented on Oct 31, 2026

    @jsboige
    jsboige
    on Oct 31, 2026
    OwnerAuthor

    Justification de la claim — plafond EPIC (#22500) : pourquoi ce sous-grain reste servi

    python scripts/check_lane_claim.py 23711 --lane myia-po-2024:CoursIA-2 rend BLOCKED : PLAFOND EPIC (#22500) : sous-issue creee il y a 0.0 j (< 7 j). Le motif est exact et je ne le contourne pas en silence : je le nomme et je dis pourquoi je poursuis.

    Ce que le plafond mesure. Le mandate user du 2026-10-25 (#22500, point 2) borne la création d'un sous-grain dans un EPIC hors classe consolidation lorsqu'un sous-grain de cet EPIC a été créé ou claimé dans les sept derniers jours. La mesure porte sur l'EPIC #19297 (« Finition de série : critères de sortie »), dont deux filles ont été créées aujourd'hui par d'autres lanes : #23702 (Physique, myia-po-2028:CoursIA, 10:26Z) et #23704 (NLP, myia-po-2024:CoursIA, 10:30Z). Ma fille #23711 est elle-même exclue du décompte par l'organe (une issue ne se visite pas elle-même).

    Pourquoi ce sous-grain n'est pas le sous-grain que le plafond interdit. Le plafond vise l'empilement : une lane qui livre un carnet en ouvre aussitôt un autre dans le même EPIC, sur la même série. Ici :

    • ma lane crée un seul sous-grain, pour une série que personne d'autre n'a prise (Complexity) ;
    • les deux filles créées aujourd'hui visent deux autres séries et aucun fichier de la série Complexity ;
    • le travail est de classe consolidation de fait (finition de série : les blocs de fin canoniques sur des carnets existants), ce qui est précisément ce que le mandate veut voir avancer plusieurs fois par semaine — le plafond exonère les EPICs de cette classe, et [EPIC] Finition de série : critères de sortie (objectifs, blocs de fin, capstone, parcours 0) #19297 n'en porte pas le label mécanique.

    Ce que je demande. Si le coordinateur juge que le plafond doit s'appliquer ici, un [RELEASED] lane myia-po-2024:CoursIA-2 sur cette issue suffit et j'enchaîne sur un autre grain — le travail n'a pas commencé (aucune édition dans le dépôt à ce stade).

    Lane myia-po-2024:CoursIA-2.

  3. jsboige commented on Oct 31, 2026

    @jsboige
    jsboige
    on Oct 31, 2026
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2024:CoursIA-2 -- paths: MyIA.AI.Notebooks/Complexity/Complexity-01-StepCounting.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-02-P-NP-Reduction.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03-TimeHierarchy_en.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03b-HartmanisStearns-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03c-ComplexityZoo-Navigation-Python.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03d-ETH-Refutation-Annoncee-Lean-Python.ipynb

    Amendement de perimetre -- le jumeau de traduction entre dans le grain.

    Le corps de l'issue indique que Complexity-03-TimeHierarchy_en.ipynb reste hors perimetre. Ce n'est pas tenable : scripts/translation/check_translation_parity.py --langs en est un gate BLOQUANT, et il rend STRUCTURE_DRIFT des que le carnet FR porte des cellules que son jumeau ignore.

    Mesure sur la branche, avant correction :

    Complexity-03-TimeHierarchy.ipynb -> Complexity-03-TimeHierarchy_en.ipynb
  src_count: 20, trd_count: 17
  deleted_cells: ["finition-03-a-retenir", "finition-03-plus-loin", "finition-03-verifiez"]

    Le remede est d'ajouter au jumeau les TROIS blocs anglais, avec les memes identifiants de cellule que le carnet FR -- aucune cellule de code touchee d'un cote ni de l'autre. Apres correction, le gate rend verdict OK pairs 20 blocking 0 advisory 0.

    Le diff reste donc integralement markdown : 3 cellules markdown ajoutees par carnet FR, 3 cellules markdown ajoutees par jumeau EN, et git diff --numstat ne compte que des insertions.

  4. jsboige commented on Oct 31, 2026

    @jsboige
    jsboige
    on Oct 31, 2026
    OwnerAuthor

    [DELIVERED] lane myia-po-2024:CoursIA-2 -- PR #23719 -- paths: MyIA.AI.Notebooks/Complexity/Complexity-01-StepCounting.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-02-P-NP-Reduction.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03-TimeHierarchy_en.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03b-HartmanisStearns-TimeHierarchy.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03c-ComplexityZoo-Navigation-Python.ipynb, MyIA.AI.Notebooks/Complexity/Complexity-03d-ETH-Refutation-Annoncee-Lean-Python.ipynb

    PR #23719 — les trois blocs de fin canoniques sur les six carnets du coeur de la serie Complexity, markdown seul (341 insertions, zero suppression, aucune cellule de code touchee).

    Le jumeau Complexity-03-TimeHierarchy_en.ipynb est inclus dans la PR : le controle bloquant check_translation_parity.py rendait STRUCTURE_DRIFT des que le carnet FR portait les trois cellules absentes du jumeau. Le perimetre de la claim a ete amende en consequence ([CLAIMED-AMEND] plus haut dans le fil).

    Le critere de sortie de l'issue est atteint : check_series_finish.py --series Complexity ne signale plus aucun bloc manquant sur les six carnets listes (la serie compte 7 carnets finis sur 21 -- les 6 FR et le jumeau EN -- et les quatorze autres carnets restent hors perimetre de ce grain).

    Lane myia-po-2024:CoursIA-2.

  5. jsboige
    added a commit that references this issue on Oct 31, 2026

    Fix(complexity,#23711): liens de navigation a la profondeur de la ser…

    11c1924
  6. myia-ai-01
    closed this as completedin #23719on Oct 31, 2026
  7. myia-ai-01
    added a commit that references this issue on Nov 1, 2026

    Docs(notebook,#23711): finition de serie Complexity tranche 2 (04c, 0…

    6eb185b
  8. H4reWeGo
    added a commit that references this issue on Nov 6, 2026

    Docs(complexity,jsboige#23711): blocs de fin canoniques sur les six c…

    88288ac
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