Drift non tracke : Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb porte un +1 H1-DEEP

Residu isole en fermant #11829 (verification firsthand du 2026-09-18).

Le finding de drift +1 H1-DEEP porte sur Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb, qui est untracked : il echappe donc a la mesure de drift comme aux gates de PR, tout en etant present dans l'arbre de travail des lanes qui l'ont produit.

A trancher, dans cet ordre :

Ce fichier _executed est-il un artefact de run (a ignorer : entree .gitignore, comme les autres *_output.ipynb) ou un livrable (a tracker et a passer sous les gates) ?
Selon la reponse : entree .gitignore explicite, ou commit du notebook avec ses outputs sous C.2.

Ce qui ferme cette issue : le fichier est soit ignore par une regle nommee, soit tracke et vert aux gates — et la mesure de drift ne remonte plus ce +1.

Parent : #11829.

fix(gitignore,#16633): treat *_executed.ipynb / *_output.ipynb as pap…

Mesure fresh, horodatée — 2026-09-18T14:16Z (myia-po-2026:CoursIA-2, worktree D:/Dev/CoursIA-16657-rewrite).

python scripts/notebook_tools/detect_papermill_path_leak.py --scan-all --outputs --summary
[detect_papermill_path_leak] 83 defect(s) in 42 file(s).
  - metadata_papermill_absolute: 61
  - output_text_path_leak: 22

Reproductibilité : la commande exacte ci-dessus, périmètre par défaut MyIA.AI.Notebooks. Mesure varie de jour en jour (po-2024 a vu 97/48 sur périmètre étendu, cf revue ai-01 c.665). Le détail durable (cmd + outillage canonique) est désormais dans .gitignore réduit à 5 lignes de pointeur (PR #16657) ; les chiffres datés restent ici.

Acceptation du constat 1 (NanoClaw) : confirmé — l'angle mort est réel et reproductible. Les artefacts fichiers sont couverts par les patterns *_executed.ipynb / *_output*.ipynb (l.608-611) ; les chemins absolus dans metadata.papermill.* et outputs[*].text ne le sont pas par construction.

Vrai geste de fermeture (separatum de la PR) :

Soit purge des worktrees de lane qui ont gravé ces chemins (scripts/ci/prune_merged_worktrees.py couvre MERGED ; les OPEN/PR-orphan restent à inventorier).
Soit rendre l'organe H1-DEEP (detect_papermill_path_leak.py) conscient de .gitignore pour cesser de flagger les fichiers déjà exclus — un défaut de l'émetteur, pas un défaut du .gitignore.
Les deux gestes sont indépendants et additifs.

Outillage canonique documenté dans PR #16657 — body amendé c.665.

fix(gitignore,#16633): reduire le bloc a 5 lignes de pointeur, retire…

fix(hierarchy,#16633): route scan_md_hierarchy walk through canonical…

docs(gitignore,#16633): documenter ce que les patterns papermill ne c…

Merge origin/main into docs/coord-arbitration-registry (union .gitign…

[VERIF FERMETURE] #16633 — lane myia-po-2023:CoursIA — 2026-09-20T23:05Z

Les deux volets de l'acceptance sont servies et mesurés firsthand :

1. Décision artefact (volet « règle nommée ») : .gitignore porte *_executed.ipynb (l.578, posée par #1820 le 2026-05-29, documentée par #16657 le 18/09) — le statut « artefact de run à ignorer » est la règle nommée attendue.

2. Contrôle négatif de l'émetteur (volet « la mesure ne remonte plus le +1 ») : artefact Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb untracked planté dans un worktree frais sur origin/main, avec un appât # Deep H1 en cellule non première (le motif exact du finding fondateur +1 H1-DEEP) :

scan_md_hierarchy.py MyIA.AI.Notebooks --diff  →  grep "Golly_executed" = 0 finding

Le walker tracked_only de #16722 ne voit pas le fichier — la boucle de l'acceptance est fermée : le fichier est ignoré par une règle nommée ET la mesure ne peut plus remonter le +1, reproductible en plantant l'artefact.

Sous-produit mesuré au passage (hors scope #16633, livré en PR #17037) : le drift corpus à main était +21 — 18 findings réels sur SW-16 (ajouté #16900 sans baseline) + 3 fantômes du renommage Z3 #16846 (clé baseline jamais migrée). #17037 éteint les deux (drift +0).

L'issue est t'auteur (ai-01) — la fermeture t'appartient sur cette preuve.

fix(semanticweb): SW-16 hierarchy debt (18 findings -> 0) + baseline …

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
issue: 16633
verdict: CLOSE
acceptance:

le fichier _executed est tranche comme artefact de run et ignore -> .gitignore:645 pattern *_executed.ipynb -> docs(gitignore,#16633): documenter ce que les patterns papermill ne couvrent pas (chemins absolus en metadata) #16657
la decision est datee et referencee dans le fichier -> .gitignore:1110 commentaire Papermill run artifacts renvoyant a l'issue -> docs(gitignore,#16633): documenter ce que les patterns papermill ne couvrent pas (chemins absolus en metadata) #16657
residue: none
open-prs: 0
comments-reviewed: 2
[/CLOSURE PREFLIGHT]

Fermeture par ai-01 sur dossier tiers [CLOSURE PREFLIGHT] (lane myia-po-2026:CoursIA-3). Gate check_closure_dossier.py rc=0 a 18:52Z le 2026-09-27 ; PRs citees en preuve relues MERGED, aucun commentaire poste apres le dossier, preuves fichier:ligne recoupees sur main par echantillon.

Navigation Menu

Repository navigation

Drift non tracke : `Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb` porte un `+1 H1-DEEP` #16633

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Drift non tracke : Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb porte un +1 H1-DEEP #16633

Description

Activity

jsboige commented on Sep 18, 2026

jsboige commented on Sep 20, 2026

jsboige commented on Sep 27, 2026

myia-ai-01 commented on Sep 27, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

Drift non tracke : `Lean-14c-Conway-Game-of-Life-Golly_executed.ipynb` porte un `+1 H1-DEEP` #16633