You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
ML-05 TimeSeries: aligner le placement des lectures-charnieres sur le canon #17040 + double ancrage C30 (suivi review #23835) #24043
Suivi des deux réserves structurelles de la review NanoClaw sur la PR #23835 (verdict LGTM, réserves « Mineur » non traitées à la passe initiale). La PR ayant livré la densité (996 → 1306 c/cell) reste valable en l'état : tous les ratchets de contenu (Split-reading, cell-order, Output-collapse, Source-collapse) sont success à la tête c4af55142b. Cette issue porte les deux points de forme laissés ouverts.
1. Placement « predict-then-verify » vs canon #17040
Trois des quatre lectures-charnières lisent une sortie en la précédant (« Regardez la table que la cellule suivante va produire ») :
« Pourquoi une série temporelle n'est pas un tableau » (scission 2023/2024 citée ~10 cellules plus bas) ;
« Ce que fait SSA » (avant C16) ;
« Pourquoi l'intervalle s'élargit » (avant la table de C30).
Le canon #17040 place la lecture APRÈS la cellule lue. La pédagogie predict-then-verify est défendable (les valeurs sont réelles et l'ancrage explicite) et les ratchets actuels ne la pénalisent pas — mais à la lettre du canon c'est une inversion. Si le ratchet densité durcit un jour vers « APRÈS strict », ces trois lectures déclencheront.
Critère d'acceptance : soit les trois cellules markdown sont déplacées après leur cellule d'ancrage (markdown-only, sans re-exécution), soit le canon #17040 documente explicitement la variante predict-then-verify comme licite — l'un des deux, tranché et écrit.
2. Double ancrage sur C30
« Pourquoi l'intervalle s'élargit » (largeurs d'intervalle) et « Ce que ce carnet ne montre pas » (taux de couverture) lisent toutes deux la sortie de C30. Deux angles distincts (mécanique vs limites) : l'esprit du « max 1 lecture par output » tient, la lettre est doublée.
Critère d'acceptance : une des deux lectures ancre sa valeur sur une autre sortie (ou une reformulation sans valeur chiffrée), ou le double ancrage est accepté par écrit comme licite pour angles distincts.
[CLAIMED] lane myia-po-2024:CoursIA -- résoudre les deux réserves de forme #24043 par la voie A (déplacements markdown) : les trois lectures predict-then-verify déplacées après leur ancrage, et le double ancrage C30 réduit, sur une PR empilée base feature/ml05-timeseries-density (tête c4af551)
paths: MyIA.AI.Notebooks/ML/DataScienceWithAgents/** -- empilé sur #23835 (po-2024:CoursIA-2), fichiers disjoints du sien par branche
Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: MED/test #24038
[DELIVERED] lane myia-po-2024:CoursIA -- PR #24045 (empilée, base feature/ml05-timeseries-density, tête bc72ae523)
Les deux critères d'acceptance sont traités par la voie A (déplacements markdown-only, canon #17040 inchangé) :
Placement predict-then-verify — les trois lectures-charnières sont déplacées après leur cellule d'ancrage, prose retournée en verify-after : « Pourquoi une série temporelle n'est pas un tableau » (après la cellule de scission, H2→H3), « Ce que fait SSA » (après la cellule d'entraînement, retitrée — l'ancien titre « avant de l'utiliser » devenait faux), « Pourquoi l'intervalle s'élargit » (après la table d'intervalles).
Double ancrage C30 — « Ce que ce carnet ne montre pas » reformulée sans valeur chiffrée (la couverture renvoie à la partie 6 au lieu de re-citer 78 %/85 %) : option « reformulation sans valeur chiffrée » de l'acceptance.
Preuve markdown-only mesurée : sources et outputs des 16 cellules code byte-identiques à c4af55142b ; les 5 ratchets de contenu (reading-anchor, split-reading, output-collapse, source-collapse, cell-order) rejetés verts sur la paire base→head.
Merge de #23835 d'abord, puis retarget de #24045 vers main (la clôture part du PR, pas de la lane).
[INFO] lane myia-po-2024:CoursIA -- les deux criteres sont verifies satisfaits sur main via #23835 ; PR empilee #24045 fermee comme supersedee (preuves c.6593006239).
Verification firsthand sur le blob origin/main de ML-05-TimeSeries-CSharp.ipynb (le rebase --onto de la base morte a servi d'instrument) :
Placement predict-then-verify -- satisfait par ece78675e9f (« les lectures sont ancrees sur la cellule qu'elles commentent »), inclus dans le squash c8cc4ab882f de Add(notebooks,#13410): ML-05 TimeSeries densite pedagogique -- 4 lectures-charnieres (996 -> 1306 c/cell) #23835 : chaque interpretation suit sa cellule de code ([7]->[8], [10]->[11], [15]->[16], [19]/[20]->[21], [25]->[26], [28]->[29]) ; la cellule « Ce que fait SSA » est absorbee mot pour mot dans « Interpretation des parametres » [16].
Double ancrage C30 -- resolu par la meme restructure : une seule cellule d'interpretation par cellule de code sur les 44 cellules du carnet.
Le carnet porte par ailleurs une attestation twin a jour sur main (0013-2026-11-02-myia-po-2024-CoursIA-2.yaml). La cloture de cette issue revient au coordinateur.
Activity
jsboige commentedon Nov 1, 2026
[CLAIMED] lane myia-po-2024:CoursIA -- résoudre les deux réserves de forme #24043 par la voie A (déplacements markdown) : les trois lectures predict-then-verify déplacées après leur ancrage, et le double ancrage C30 réduit, sur une PR empilée base feature/ml05-timeseries-density (tête c4af551)
paths: MyIA.AI.Notebooks/ML/DataScienceWithAgents/** -- empilé sur #23835 (po-2024:CoursIA-2), fichiers disjoints du sien par branche
Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: MED/test #24038
jsboige commentedon Nov 1, 2026
[DELIVERED] lane myia-po-2024:CoursIA -- PR #24045 (empilée, base
feature/ml05-timeseries-density, têtebc72ae523)Les deux critères d'acceptance sont traités par la voie A (déplacements markdown-only, canon #17040 inchangé) :
Preuve markdown-only mesurée : sources et outputs des 16 cellules code byte-identiques à
c4af55142b; les 5 ratchets de contenu (reading-anchor,split-reading,output-collapse,source-collapse,cell-order) rejetés verts sur la paire base→head.Merge de #23835 d'abord, puis retarget de #24045 vers
main(la clôture part du PR, pas de la lane).🤖 Generated with Claude Code
jsboige commentedon Nov 3, 2026
[INFO] lane myia-po-2024:CoursIA -- les deux criteres sont verifies satisfaits sur
mainvia #23835 ; PR empilee #24045 fermee comme supersedee (preuves c.6593006239).Verification firsthand sur le blob
origin/maindeML-05-TimeSeries-CSharp.ipynb(le rebase--ontode la base morte a servi d'instrument) :ece78675e9f(« les lectures sont ancrees sur la cellule qu'elles commentent »), inclus dans le squashc8cc4ab882fde Add(notebooks,#13410): ML-05 TimeSeries densite pedagogique -- 4 lectures-charnieres (996 -> 1306 c/cell) #23835 : chaque interpretation suit sa cellule de code ([7]->[8], [10]->[11], [15]->[16], [19]/[20]->[21], [25]->[26], [28]->[29]) ; la cellule « Ce que fait SSA » est absorbee mot pour mot dans « Interpretation des parametres » [16].Le carnet porte par ailleurs une attestation twin a jour sur
main(0013-2026-11-02-myia-po-2024-CoursIA-2.yaml). La cloture de cette issue revient au coordinateur.