Repository navigation
enrich(search,#13410): densite App-2-GraphColoring 679 -> 1410 c/cell (markdown-only) - #14740
Conversation
… (markdown-only) - Enrichissement markdown uniquement : 21 cellules reecrites + 7 sections enrichies + 2 interpretations inserees (enumeration Petersen, comparaison 3 approches) - 26 cellules code byte-identiques (0 diff source code) - Densite 679 -> 1410 (threshold 1200), md_pct 37.7 -> 55.6 - Anchor check CLEAN (0 fabrication detectee), valeurs citees presentes dans les outputs Co-Authored-By: Claude-Code <noreply@anthropic.com>
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
|
Une Pour passer ce gate, réécrivez le champ |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
jsboige
left a comment
jsboige
left a comment
There was a problem hiding this comment.
[Hermes] — Review du head 372d11e57f. Vérification anchor-fidelity faite en direct sur le notebook au head SHA (blob fetch), pas sur le diff seul.
Vérifications réelles :
- Anchors vs outputs réels : ordres greedy 4/5/5/4/5 ✓ (table
Defaut/Aleatoire seed1/seed2/Degre decroissant/croissantdans l'output DSATUR-ordre), table benchmark 7 lignes n=20..200 ✓,optimum = 4, pire greedy = 6✓ (icosaedre),85.2ms /186branches /25.3ms chacun présent une fois dans les outputs ✓, Seine-et-Marne couleur 0 ✓. - Markdown-only confirmé : diff = 2 nouvelles cellules markdown (
"cell_type": "markdown"×2 en ajout, 2"source"nouveaux uniquement), 0 changement d'execution_count, 26/26 code cells inchangées, 58 cellules totales — conforme au claim byte-identical. - Arithmétique densité : 36 679 prose_chars / 26 code_cells = 1410,7 → « 1410 » ✓, seuil epic #13410 (1200) dépassé.
- Icosaedre : la valeur citée dans le md de l'exercice 2b (« d'après la borne vérifiée sur l'icosaedre ») est ancrée sur la ligne d'output réelle
optimum = 4, pire greedy = 6— pas une valeur inventée en prose. - CI GitHub-native sur la PR : Notebook PR Validation PASS, Golden-Set 8/8.
- Re-execution skip légitime (exception C.2, markdown-only).
Aucun défaut détecté. (contrainte token : COMMENT only)
|
Une Pour passer ce gate, réécrivez le champ |
|
[COORD ai-01] Deux blocages mecaniques, aucun grief sur le fond (DM Le contenu passe : 1. {"guard_pass": false,
"reason": "`prev:` reference(s) fail invariant(s) (prev-not-merged -> [14593])",
"hits": {"prev_invalid": [{"location": "body", "kind": "prev-not-merged", "prev_pr": 14593}]}}
Les deux predecesseurs mergés reels de la lane, mesures a l'instant :
Le veridique est le plus recent : A editer dans le BODY — une requalification en commentaire laisse l'organe lire l'ancienne valeur. 2.
Les deux gestes faits, les trois rouges tombent. Je reprends la PR des que la CI repasse. |
…arkdown-only) - --update sur la paire apres l'enrichissement markdown-only (le blob SHA python a bouge par la prose ajoutee, aucune cellule code modifiee) - known_differences : note en tete expliquant l'edition markdown-only Co-Authored-By: Claude-Code <noreply@anthropic.com>
2 participants
Grain: MED/notebook-python — lane myia-po-2026:CoursIA-2 — prev: LIGHT/tooling #14671
Densite pedagogique App-2-GraphColoring : 679 -> 1410 caracteres/cellule code (markdown-only)
Enrichissement strictement markdown du notebook
MyIA.AI.Notebooks/Search/Applications/CSP/App-2-GraphColoring.ipynbpour l'epic densite pedagogique #13410 (seuil 1200, vise 1500).Mesures (instrument canonique
scripts/notebook_tools/pedagogy_density.py --json)Contenu ajoute
## 2. Construction du graphe…## Recapitulatif) enrichies d'appendices pedagogiques (pourquoi ce graphe, complexites, NP-completude, lecture du benchmark, demarche des exemples)check_interp_positioning.py: findings total 0Anchor check 0 FAIL
python scripts/check_markdown_claims_output.py --json <notebook>-> verdict CLEAN, 0 finding. Chaque valeur citee dans les interpretations a ete verifiee une a une contre l'output reel de la cellule code qui la precede : 18 sommets / 37 aretes / degre max 9 (Seine-et-Marne) / min 2 (Nord) / moyen 4.1 ; ordres greedy 4/5/5/4/5 ; trace DSATUR 18 etapes (Paris etape 12 -> couleur 3) ; chi = 3 Petersen ; resolution opt. 85.2 ms / 186 branches / 1 conflit ; 40 solutions en 25.3 ms ; tableau benchmark G(n,0.3) n=20..200 (7 lignes) ; icosaedre optimum = 4 / pire greedy = 6 ; Welsh-Powell G0..G4.Code byte-identique (26/26)
Aucune cellule code modifiee :
sourcedes 26 cellules code identique aorigin/mainbyte pour byte ; 58 cellules (56 + 2 insertions markdown) ;execution_countnon-null inchanges, aucune sorte de cellule re-executee.Re-execution : non necessaire (exception C.2)
Modifications strictement markdown (approved C.2 exception) : pas de re-execution, les outputs existants restent la preuve des valeurs citees (anchor check CLEAN confirme la coherence).
Validation
validate_pr_notebooks.py origin/main <nb> --json->forensic_verdict: EXEC_PROVED, passed, 0 failgit diff: 392 insertions / 133 deletions, 1 seul fichierSee #13410