Repository navigation
fix(ict): ICT-Dissociation-PhatSelfReference -- 13 claims markdown non adossés + 3 claims périmés (advisories CI) #20064
Description
Dette mesurée
Deux advisories CI rouges visent MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Dissociation-PhatSelfReference.ipynb, et aucun tracker ne les porte :
| Advisory | Findings | Objet |
|---|---|---|
stale-claim-report |
3 | claims chiffrés du carnet qui ne correspondent plus à ses sorties |
markdown-claims-output-report |
13 | claims du markdown non adossés à une sortie exécutée |
Valeurs citées par les advisories et signalées au passage : 0,95 / 131,9 / 2,7 / 7,4.
Pourquoi cette issue existe
Elle a été ouverte pour dégager une réserve de relecture sur la PR #19997. Cette PR ne touche le carnet Phat que par une ligne de pied de navigation (diff +1/-1, ajout du lien vers le carnet F2), mais elle hérite les deux advisories parce que le carnet est dans son périmètre de diff. La relecture a établi — diff à l'appui — que les claims signalés vivent dans le carnet Phat et pas dans la livraison de la PR.
La dette est donc réelle et pré-existante, et elle n'appartient pas à la lane qui a ouvert #19997. Cette issue la sort du fil de la PR pour qu'un futur lecteur ne l'impute pas à un lot qui n'y touche pas.
Ce qui est attendu
Reprendre les 16 findings à la tête courante du carnet : confronter chaque claim chiffré à la sortie qui le porte, ré-ancrer ou retirer la phrase, puis re-exécuter le carnet (règle C.2 — les sorties committées font partie du livrable).
Périmètre
Un seul carnet : ICT-Dissociation-PhatSelfReference.ipynb. Sa zone markdown et, si le ré-ancrage l'exige, la re-exécution de ses cellules de code.
Part of #8182
Activity
jsboige commentedon Oct 9, 2026
[CLAIMED] lane myia-ai-01:CoursIA-2 — reprendre les 16 findings des deux advisories (
stale-claim-reportx3,markdown-claims-output-reportx13) sur le carnet Phat : confronter chaque claim chiffré à la sortie qui le porte, ré-ancrer ou retirer la phrase, puis re-exécuter (C.2, les sorties committées font partie du livrable). Périmètre = un seul carnet, comme le body le borne — paths: MyIA.AI.Notebooks/IIT/ICT-Series/ICT-Dissociation-PhatSelfReference.ipynbNote de provenance : l'issue a été ouverte pour dégager une réserve de relecture sur #19997. Je ne touche pas #19997 ; la dette est bien pré-existante et c'est ce carnet seul qui la porte.
jsboige commentedon Oct 9, 2026
[DELIVERED] lane
myia-ai-01:CoursIA-2— PR #20073 (fix/20064-ict-phat-claims, tête469465a8f).Confrontation des 16 findings, un par un, contre les sorties du carnet. Aucun n'était une fabrication. Le détail du classement est dans le body de la PR ; en résumé : 5 constantes déclarées (
0.95), 1 identité algébrique (1.007), 4 valeurs présentes dans les sorties sous un autre format (la cellule 9 imprime1.319e+02et0.060, là où la prose écrit131.9et0.06), 3 dérivées exactes (29 %,2.7,7.4— opérandes toutes imprimées) et 1 ambiguïté réelle.Deux défauts réels corrigés, tous deux markdown seuls :
grille fine → frontière 0.062, κ*_finite = 0.0611comme un résultat de ce carnet. Aucune de ses sorties ne le porte : il n'exécute que la grille de maille 0.02 et rend0.0800. L'instrument estict/phat_causal_unlink.py(FINE_GRIDsur[0.050, 0.080], pas 0.002 ;KAPPA_STAR_FINITE ≈ 0.06113), qui appartient à la case 1. Le nombre est juste, l'instrument manquait — c'est la classe exacte quecheck_stale_claimsvise, et aucun des deux organes ne pouvait la voir : la cellule précède tout code, elle tombe dans le sautno-prev.kappa = 0.06,T = 200portait deux valeurs non distinguées :4.37(médiane du scan sur ses 5 graines) et4.487(médiane du substrat D sur la seule graine 0). Deux statistiques différentes pour la même maille.Résiduel nommé, assumé et motivé — 14 des 16 findings restent signalés : les faire disparaître demanderait d'éditer des cellules de code pour imprimer les dérivées, donc une re-exécution qui changerait
language_info(3.13.14 → 3.13.16 ou 3.10.11) et déclencherait un KERNEL drift à documenter. Ce serait payer un## Diagnostic dérivepour zéro contenu. Un premier essai ajoutait les divisions dans la prose : il faisait passer l'advisory de 13 à 17 findings (nombres non adossés). Retiré — on ne dégrade pas l'organe pour faire baisser un compteur.Contrôles.
check_stale_claims3 → 3 ·check_markdown_claims_output13 → 13 · cellules de code byte-identiques à la base,execution_countet sorties conservés ·kernelspecetlanguage_infoinchangés.Exécution réelle vérifiée sur la tête livrée :
papermill31/31 cellules,rc = 0, et 10 des 11 cellules de code reproduisent leurs sorties à l'octet (seule la bannière d'interpréteur diffère, le kernelspec localpython3étant 3.10.11). Les sorties commitées sont donc à jour et déterministes : rien à rafraîchir.See #19997 — la dette est pré-existante ; #19997 ne touche ce carnet que par une ligne de pied de navigation.
Fix(notebooks,#20064): ICT-PhatSelfReference -- tracer le diagnostic …