Skip to content

restore(iit,#17066): ict31-contraste-trois-substrats — restaurer l'analyse retiree a tort a la passe #17040 - #17119

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17066-restore-ict31-contraste-trois-substrats
Sep 22, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/17066-restore-ict31-contraste-trois-substrats

Conversation

@jsboige

@jsboige jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:CoursIA-2 — prev: MED/notebook-python #17118

Mission (#17066)

Restauration post-densification (passe #17040) : 4 cellules markdown supprimees sur ce notebook — les quatre « Lecture chiffree » de l'axe R et de l'axe S. Toutes quatre portent de la vraie analyse (chiffres derives absents des syntheses conservees) : toutes restaurees, mot pour mot, a leur position d'origine. Cellules code byte-identiques.

(a) Plan ordonne du notebook repare (preuve de lecture)

  1. Navigation + ## La question — trois modes de relation a l'information ; ## 0. Premisses vivantes (certificats) + Lecture des trois regimes
  2. ## 1. Axe T — com_cells, signatures population/transport + Lecture « trois signatures, un seul transporteur »
  3. ## 2. Axe R — code S5 (ablation tache) -> [RESTAUREE] Lecture chiffree — variance comme jauge ; code GOL (ablation cellule arriere) -> [RESTAUREE] Lecture chiffree — bascule de categorie ; code S2 (kick 0-D) -> [RESTAUREE] Lecture chiffree — retour en 11,5 unites ; Lecture « regenerative, fragile, relaxative » (conservee, synthese)
  4. ## 3. Axe S — codes I_stake (S2 scalaire, S5 champ V, GOL grille recentree) -> [RESTAUREE] Lecture chiffree — trois decimales pour dire rien ; Lecture « l'instrument bassin est aveugle aux invariants translationnels » (conservee, synthese)
  5. Table de contraste mesuree + Lecture « un profil, pas un classement » ; 3 exercices ; Conclusion

(b) Decisions par cellule

Restaurees (4) — toutes distinctes

  1. **Lecture chiffrée — la variance comme jauge de réparation.** (base idx 12, reinserree apres le code S5).
    • Ce qu'elle portait : la mecanique de la metrique — variance de reference 0,0155, reparee 0,0038 (~25 %), cible 85 % = 0,0132 dont la variance reparee ne represente que ~29 %, et la lecture de la figure en trois panneaux (cercle cyan r=6, recolonisation par mitose des taches voisines).
    • Pourquoi distincte : la synthese conservee donne recovery_score = 0.24 et time_to_recover = None mais ni les variances absolues, ni le calcul de cible, ni la lecture de la figure. Chiffres verifies contre l'output committe (variance reference = 0.0155 -> reparee = 0.0038, recovery_score = 0.244).
  2. **Lecture chiffrée — une bascule de catégorie, pas une dégradation.** (base idx 14, reinserree apres le code GOL).
    • Ce qu'elle portait : la lecture de la bascule binaire — diagnostic de repos (periode 4 ET deplacement (1,1)), retrait de la cellule arriere (2,3), les deux mesures a None, verdict compose False : « hors de l'espace des gliders d'un coup », sans etat intermediaire.
    • Pourquoi distincte : la synthese conservee dit « retirer une seule cellule detruit le pattern » ; la lecture restauree explique la NATURE de la destruction (bascule de categorie, pas degradation graduelle) avec les valeurs exactes. Verifie contre l'output committe (periode 4, deplacement (1, 1) ; periode detectee = None, deplacement = None -> glider reconstitue : False).
  3. **Lecture chiffrée — le retour en 11,5 unités de temps.** (base idx 16, reinserree apres le code S2).
    • Ce qu'elle portait : l'arithmetique du retour — kick de x* = 6,860 a x = 4,459 (0,65 x x*, affiche « -35 % »), seuil |x - x*| <= 0,01 x* ~ 0,069, 230 pas Euler a dt = 0,05 = 11,5 unites de temps, soit 5,75 % de la fenetre de scrutation de 4000 pas.
    • Pourquoi distincte : la synthese conservee donne « -35 %, retour a 1 % en 230 pas » mais ni les valeurs du point fixe, ni le seuil, ni la conversion en unites de temps, ni la part de fenetre consommee. Verifie contre l'output committe (kick x* 6.860 -> 4.459 (-35%), 230 pas Euler (dt = 0.05)).
  4. **Lecture chiffrée — trois décimales pour dire « rien ».** (base idx 22, reinserree apres le code GOL I_stake).
    • Ce qu'elle portait : les valeurs exactes (controle 0.000, kick 1 cellule 0.286, kick 2 cellules -0.167), l'absence de dose-response (l'amplitude decroit et le signe change) et le rapport au vrai signal (0,992/0,286 ~ 3,5x), plus la mecanique de recentrage (centre de masse, repli modulo 32, ancre = moyenne de 15 trames).
    • Pourquoi distincte : la synthese conservee donne les valeurs arrondies (+0.29/-0.17) et la lecture « bruit d'instrument » mais ni l'absence de dose-response comme verdict methodologique, ni le facteur 3,5x, ni les decimales exactes. Verifie contre l'output committe (I_stake = 0.000 / 0.286 / -0.167).

Non-restaurees (0)

Les quatre suppressions de ce notebook etaient toutes a tort : toutes restaurees.

(c) Verdict de sequence (honnête)

Le motif « experience -> Lecture chiffree -> ... -> synthese ### Lecture » est retabli sur les axes R et S : chaque lecture restauree suit immediatement le code qu'elle lit, les syntheses conservees restent en aval (lecture par experience puis portrait croise). Apres restauration, le notebook retrouve EXACTEMENT la structure md de la base (19 cellules md, 15311 caracteres normalises) — la mesure organes le certifie (stable=True). Residu : les 4 cellules restaurees sont verbatim de la base et n'ont pas d'id de cellule (etat identique a la base ; les cellules voisines conservees portent les ids ict31-NN attribues par la passe fautive — non retouches, hors perimetre).

(d) Comptes organes (avant = origin/main vs base d412b5a ; apres = worktree vs base)

Organe Avant Apres
detect_notebook_plan_loss --check rc=0 ; md 19->15 ; STRUCTURE_DRIFT rc=0 ; md 19->19 ; stable=True ; findings 0
detect_md_content_loss --check rc=0 ; findings 0 ; chars 15311->12450 (-2861) rc=0 ; findings 0 ; chars 15311->15311 (exact)
check_duplicate_sections --json (base + head + restaure) — rc=0 ; carriers 0

(e) Preuve code intact

14 cellules code origin/main vs worktree : BYTE-IDENTICAL (comparaison JSON cell-by-cell, exit 0).

🤖 Generated with Claude Code

…alyse retiree a tort a la passe #17040

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

@github-actions

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 3.2s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 3.7s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 3.9s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 3.5s
Search-01-StateSpace.ipynb ✅ SUCCESS 2.8s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 1.8s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 16.7s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.9s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

@github-actions

Copy link
Copy Markdown
Contributor

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

@github-actions

github-actions Bot commented Sep 21, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #17119 n'existe plus au passage du 2026-09-22T01:50Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 14
  • Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17119
head: fe14204
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 50594d89716c2d248f6b0898c3dd4d3ea625b308ca2952a3f57f453acbeaa667
diff-files: 1
diff-additions: 28
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2024:CoursIA-2
pr: 17119
head: fe14204
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a1818192857b5db40f2bb6c0fbeb5867326dbfbf091aa8951f37a559e61ea7ad
diff-files: 1
diff-additions: 28
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Sep 22, 2026 •

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17119
head: fe14204
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8ce4604ebf9cfe0e2ea5e88e490d2261c777a574297c8cc845af73bd4773744e
diff-files: 1
diff-additions: 28
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier Secrétaire cat. 2 mini-cost cycle 6, exact-head fe14204, +28/-0, 1 fichier(s).
Mesures firsthand 2026-09-22T02:2xZ.
Tell c.59 respecté : 1 dossier par PR par cycle.
SHA gate live b843705c45872879e3e0....

— secrétaire myia-po-2026:CoursIA-3

@jsboige

jsboige commented Sep 22, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17119
head: fe14204
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 4250fbe24984d09d9016a9f2d32528e05ecad95ed0dc14aaa94c4ca0e040596c
diff-files: 1
diff-additions: 28
diff-deletions: 0
checks: BLOCKED
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]


Bloc VERDICT (cycle 27, secrétaire myia-po-2026:CoursIA-3)

Verdict : BLOCKED
Cause du rouge si BLOCKED : Runner saturation BlockingIOError fork() WSL (Tell c.87, race fork_exec 23/32 slots) ; pas de reparation auteur possible
Motif verbatim gate : discussion surfaces changed or were not fully attested: dossier=8ce4604ebf9cfe0e2ea5e88e490d2261c777a574297c8cc845af73bd4773744e, live=16af612c970bf4f69714ffb7cb503c127b6af49be1988d1ebc0ee3b616a2fb91 (legacy stamps whose checks moved need one --template re-stamp)

@jsboige

jsboige commented Sep 22, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17119
head: fe14204
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e339fb12309639fc6475fac7bb80d4d1f38f8626c2edaf301cdd916d8d08335a
diff-files: 1
diff-additions: 28
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@myia-ai-01
myia-ai-01 merged commit 3bba6c0 into main Sep 22, 2026
84 of 85 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants