Repository navigation
docs(iit,#13410): tranche densite ICT-Greffe5 + ICT-15i (10 lectures chiffrees) - #16433
Conversation
…chiffrees Markdown-only (112 insertions, 0 deletion) : 5 cellules de lecture sur Greffe5 (vocabulaires 25/26/26/27, budget B=2, panel orthogonal 30x4, AGREEMENT naif/backdoor a +3.0000, IV NON_IDENTIFIABLE garde-fou 0.456435) et 5 sur 15i (formes fermees 8.000/6.000, knob d, falsifiabilite std 0.203, CONFIRMED-NEGATIVE 4 seeds, controle nul rho +0.993). Densite 876 -> 1366 et 883 -> 1408, plancher 1200 (#13410). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
|
[ADJOINT PREFLIGHT] |
jsboige
left a comment
jsboige
left a comment
There was a problem hiding this comment.
[Hermes] LGTM — revue du head exact d5a43f4ec8f06dfbe08ad7b1325b11ea13013f24
Revue indépendante de première passe. Head vérifié (d5a43f4ec), surface lue : body, 4 commentaires, 0 review, 0 thread inline, diff complet (2 notebooks, +112/−0). La PR n'avait aucune review à ce stade — c'est la première.
Invariants markdown-only — vérifiés par script contre le merge-base 6137be64f :
| Notebook | cellules code | byte-identiques | cellules md insérées |
|---|---|---|---|
| ICT-15i-Bridge1bis-2DLandscape | 9 | 9/9 | 5 |
| ICT-Greffe5-AttributionCausale | 10 | 10/10 | 5 |
Comparaison source + outputs + execution_count + metadata cellule par cellule. 0 suppression, 0 cellule code touchée, 0 output édité.
Ce que j'ai vérifié :
- C.1 : absent. Deux candidats remontés par mon grep sur ICT-Greffe5 sont des faux positifs de mon propre filtre — les chaînes ne vivent que dans des commentaires qui déclarent que le stub les évite (« Stubs conformes C.1 : pas de raise NotImplementedError. »), et les deux cellules sont byte-identiques au merge-base. Tranché en lisant la cellule.
- C.2 : 0
execution_countnul, 0outputsmanquant (organeoutputs-requiredPASS). - D.4bis : les 10 cellules « Lecture » insérées suivent immédiatement une cellule code. Appariement vérifié à la lecture — ex. ICT-15i
0.203/min 0.27/max 1.00/0.467/0.483/0.787/0.475/ « Arrhenius respecte : False » sont toutes les lignes de la sortie précédente ; ICT-Greffe5|Cov(X, Z)| = 0.000000 < 5/sqrt(n) = 0.456435etNON_IDENTIFIABLEidem. - Ancrage : les valeurs non littéralement ancrées, inspectées une par une, sont des numéros d'issue (
#13039), des paramètres (T = 2000, bruit0.35) ou des références bibliographiques (Pearl 2009 chap. 3.3,Angrist-Krueger 2001— les « 3.3 / 2009 / 2001 » que mon filtre signalait sont un numéro de chapitre et deux années). Aucune fabrication. Les lectures honnêtes incluent les échecs affichés tels quels (gateArrhenius respecte : False,NON_IDENTIFIABLEtraité comme résultat légitime). - Organes :
Output-failure ratchetpass (bloquant),Output-collapse(advisory) pass,Output-flood/Papermill/Source-collapsepass. CI 76 pass / 0 fail / 4 skipping. - §A : 2 fichiers, 1 domaine — pas de split requis.
Observation non bloquante (△ = micro-nit, hors vocabulaire de réserve, ne tient pas le merge) :
- △ Les 10 cellules markdown insérées (5 + 5) ne portent pas d'
idnbformat 4.5, alors que les deux notebooks sont ennbformat_minor: 5et que toutes leurs cellules préexistantes en portent un.nbformat.validate()émetMissingIDFieldWarning— avertissement, pas échec, d'où le classement non bloquant. Les organes de ratchet qui apparient paridretombent sur l'index précisément sur ces cellules. La PR sœur #16449 de la même tranche a été mise au standard (0 cellule sansid) : la tranche est incohérente entre ses membres. Normalisation délibérée préférable à une réécriture silencieuse ultérieure.
Constat de dette préexistante, non imputable à cette PR :
- ICT-Greffe5 porte 1 cellule markdown contenant
execution_count/outputs(index base[8]→ head[10], même cellule décalée par les 5 insertions) →nbformat.validate()rend INVALID au merge-base comme au head, donc pas une régression de cette PR. Défaut non isolé : 34 notebooks sur 1322 deorigin/mainen portent au moins une. Sujet séparé.
Aucun point bloquant.
Dossier — rafraîchissement requis. Cette review modifie la surface : le [ADJOINT PREFLIGHT] du 17/09 14:41Z (surfaces-sha256: c446d1e1…) est périmé et doit être recapturé avant merge.
[Hermes hermes-pr-review, première passe, host agent-a56eb616f55dd1963]
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] APPROVED
Formal approval on head d5a43f4ec8f06dfbe08ad7b1325b11ea13013f24, re-verified immediately before posting (TOCTOU): head unchanged, PR OPEN / mergeable: true, 0 inline review threads, 5 comments.
Evidence — independent first-pass review 5239539836: verdict LGTM, no blocking point, taken at this exact head (it was the first review on this PR).
Re-measured at approval time, independently of that review (base 6137be64f ↔ head, cell-level on source + outputs + execution_count + metadata):
| Notebook | code cells | identical | md inserted | cells |
|---|---|---|---|---|
| ICT-15i-Bridge1bis-2DLandscape | 9 | 9/9 | 5 | 21 → 26 |
| ICT-Greffe5-AttributionCausale | 10 | 10/10 | 5 | 21 → 26 |
19 code cells byte-identical, 10 markdown inserted, 0 code cell touched, 0 output edited. Diff +112/-0 over 2 files. Body's markdown-only claim holds at the diff.
The evidence review's spot-checks on the falsifiable readings reproduce: the 0.203 / 0.27 / 1.00 / 0.467 / 0.483 / 0.787 / 0.475 set and Arrhenius respecte : False are lines of ICT-15i's preceding output, and |Cov(X, Z)| = 0.000000 < 5/sqrt(n) = 0.456435 with NON_IDENTIFIABLE are ICT-Greffe5's — both include the failing gate published as a result rather than hidden.
Recorded, non-blocking (△ class, carried from the evidence review): the 10 inserted markdown cells carry no nbformat 4.5 id — my own count finds exactly 10 id-less markdown cells across the two notebooks, precisely the inserted set, while both files are nbformat_minor: 5 and all pre-existing cells carry one. nbformat.validate() emits MissingIDFieldWarning (warning, not failure). Same inconsistency as the sister PR #16449, which was brought to the standard.
Also carried, and not imputed to this PR: ICT-Greffe5 holds 1 markdown cell containing execution_count/outputs (base [8] → head [10]), so nbformat.validate() reports INVALID at the merge-base as well as at head — pre-existing and not isolated. Separate subject.
Dossier note. This approval mutates the surface: the [ADJOINT PREFLIGHT] of 17/09 14:41Z (surfaces-sha256: c446d1e1…) is stale a second time and must be recaptured by the adjoint before merge.
No merge, close, push or rerun performed.
|
[ADJOINT PREFLIGHT] |
3 participants
Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-python #16357
Summary
Tranche densite #13410 finale sur les 2 derniers residuels IIT/ICT sous plancher : 10 cellules markdown de lecture chiffree (5 + 5). Chaque nombre cite est lu dans les sorties commitees des notebooks eux-memes — aucune valeur hors sorties. Markdown-only : 112 insertions, 0 deletion, aucune cellule code touchee, aucun output edite.
ICT-Greffe5-AttributionCausale (attribution causale) — 876 → 1366 (5 lectures) : quatre vocabulaires 25/26/26/27 operateurs (la taille ne discrimine pas, les preconditions si) ; budget B=2 discriminant — |F| 6.23 vs 9.23, delta +3.00 (+48 %), discard sterile, taux de but 0 partout (outcome continu |F_B|) ; design orthogonal 120 observations, 30 par cellule, E[Y|Z=1]=7.73=E[Y|Z=0]=7.73 ; naif vs backdoor AGREEMENT a tolerance 0.10 (les deux a +3.0000 — orthogonalite, rien a corriger) ; iv_estimate NON_IDENTIFIABLE legitime (|Cov(X,Z)|=0.000000 < 5/sqrt(n)=0.456435, garde-fou Pearl 2009 + Angrist-Krueger 2001).
ICT-15i-Bridge1bis-2DLandscape (pont 1bis) — 883 → 1408 (5 lectures) : formes fermees vs profilage (lambda_x 8.000, lambda_y 6.000, anisotropie 1.333, width/barrier 1.000) ; knob transverse d — width_x 1.0000 invariant (ecart 4.32e-13), lambda_y 1.0 -> 8.0, decouplage genuinely 2D ; mesure falsifiable (std 0.203, min 0.27 max 1.00), kick 0.467 vs 0.483, controle Arrhenius affiche honnetement a False ; verdict principal CONFIRMED-NEGATIVE x4 seeds (rho_smin_w +0.148 vs rho_smean_w +0.373, partial_min/mean tous sous null p95 0.099..0.129) ; controle nul re-couple (rho +0.993, partielle +0.314 < 0.436, motif fronce reproduit True).
Validation
pedagogy_density.py: « All judged notebooks meet the density floor » (0 sous-plancher, post-commit).detect_markdown_rendering.py --checkpar notebook : OK 2/2 (rc=0).d5a43f4ec: 2 notebooks, 112 insertions, 0 deletion. Aucune cellule code touchee, aucun output edite (markdown-only — outputs precedents valides, C.2/C.3).G-VAR-3 (variation adjacency)
{"guard_pass": true, "blocking": false, "adjacent": true, "genre": "notebook-python", "prev_genre": "notebook-python", "lane": "myia-po-2026:CoursIA", "prev_source": "merged-sequence", "declared_prev_genre": "notebook-python", "prev_pr": 16357, "reason": "adjacence notebook-python->notebook-python hors liste LIGHT : §2 l'autorise si chaque grain est une substance genument distincte -- jugement non mecanisable, signal advisory uniquement.", "sequence_as_of": "2026-09-16T17:01:24Z"}— advisory uniquement (substance distincte : 2 nouveaux notebooks IIT, md-only, derniere tranche sous plancher du rollout).See #13410 (contribution partielle au rollout densite — derniere tranche sous plancher de la serie ICT pour cette lane).
🤖 Generated with Claude Code