Skip to content

fix(density,#17040): redressement paquet P15 — App-17 VRP-Logistics - #17046

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/density-redressement-p15
Sep 24, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
fix/density-redressement-p15

Conversation

@jsboige

@jsboige jsboige commented Sep 20, 2026

Copy link
Copy Markdown
Owner

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

fix(density,#17040): redressement paquet P15 — App-17 VRP-Logistics

Synthèse

Redressement markdown-only de la campagne de densité sur les notebooks VRP-Logistics de Search/Applications/Hybrid. Pas de re-exécution (cellules code/outputs/exec_count/metadata byte-identiques), exception C.2 explicite.

Notebooks audités (12)

Notebook PR campagne Cellules ajoutées Action
App-17-VRP-Logistics.ipynb #16024 7 1 supprimée (paraphrase sans interprétation)
App-17b-VRP-Logistics-Csharp.ipynb #16024 3 aucune — toutes interprétationnelles
App-17b-VRP-Logistics-Python.ipynb #16024 9 1 supprimée + 1 parasite éditorial retiré
Search-02c-QuikGraph.ipynb #16520 1 aucune — interprétation chiffrée
Search-11b-Metaheuristiques-Deep.ipynb #16522 1 aucune — interprétation chiffrée
Search-12a-Composer-Regards.ipynb #16513 6 aucune — toutes interprétationnelles
CSP-1-Fundamentals.ipynb #17036 0 aucune — pas de cellules "Lecture" ajoutées par la campagne
CSP-1-Fundamentals-Csharp.ipynb #14349 2 aucune — toutes interprétationnelles
CSP-2-Consistency.ipynb #14239 1 aucune — section pédagogique de valeur
CSP-2-Consistency-Csharp.ipynb #14239 1 aucune — section pédagogique de valeur
CSP-4-Scheduling-Csharp.ipynb #14348 3 aucune — toutes interprétationnelles
CSP-8-Temporal-Csharp.ipynb #14164 0 aucune — campagne = modifications de cellules existantes, pas de cellules "Lecture"

Suppressions / corrections

App-17-VRP-Logistics.ipynb

  • f8fba7ef "Lecture : pourquoi aucune bibliothèque de solveur dans les imports" — paraphrase de l'absence d'OR-Tools dans les imports ; le code de la cellule 6a0adef8 documente déjà la stratégie (from-scratch, puis solveur en section 7).

App-17b-VRP-Logistics-Python.ipynb

  • 68a43a2f "Lecture : le contrat numpy seul" — paraphrase du commentaire introductif "from-scratch" déjà explicite dans la section d'introduction du notebook.
  • 38855cac "Lecture : les 12.80 du 2-opt, et son plafond de verre" — retrait d'une phrase parasite ("La même mesure, refaite depuis la solution de l'insertion au moindre coût, en dirait moins encore") insérée au milieu du paragraphe par la génération automatique — résidu éditorial sans lien logique.

Règles appliquées

  • (a) une sortie = AU PLUS UNE lecture : vérifié, aucun chevauchement.
  • (b) lecture immédiatement après la cellule code lue : vérifié sur tous les "Lecture" conservés.
  • (c) suppression de paraphrases sans interprétation, de valeurs absentes des sorties, et de lectures redondantes.
  • (d) aucun contenu pré-campagne supprimé.
  • (e) densité cible 1200 : non augmentée, uniquement élaguée.

Validation

  • python scripts/notebook_tools/check_split_reading_cells.py <path> : clean sur les deux notebooks modifiés.
  • json.loads OK sur tous les notebooks touchés.
  • Markdown-only — aucune re-exécution requise (exception C.2).

Suite

Notebooks du paquet P15 où aucune action n'a été prise :

  • Tous les notebooks "Lecture" conservés l'ont été car ils portent une interprétation chiffrée (valeurs des sorties lues, décompositions arithmétiques, liens cross-sections). Aucune n'est une paraphrase pure.
  • Pour les 6 notebooks restants sans modification, le travail de la campagne a été principalement soit (1) des modifications de cellules existantes (CSP-8), (2) des sections pédagogiques ajoutées (CSP-2), (3) des ajouts ciblés mais interprétationnels (les autres).

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

…imee, 1 parasite editorial retire

Suppression de cellules 'Lecture' ajoutees par la campagne de densite
(#16024) qui ne portent pas d'interpretation utile sur la sortie lue.

* App-17 : suppression 'pourquoi aucune bibliotheque de solveur dans les imports'
  (f8fba7ef) — paraphrase sans interpretation de l'absence d'OR-Tools dans
  les imports ; le code de la cellule 6a0adef8 documente deja la strategie.
* App-17b-Python : suppression 'le contrat numpy seul' (68a43a2f) —
  paraphrase du commentaire introductif 'from-scratch' deja explicite
  dans la section d'introduction du notebook.
* App-17b-Python : retrait d'une phrase parasite ('La meme mesure, refaite
  depuis la solution de l'insertion au moindre cout, en dirait moins
  encore') inseree au milieu du paragraphe de la cellule 38855cac par
  la generation automatique — residue editorial sans lien logique.

Cellules 'Lecture' conservees : interpretationnelles, chiffrees et
positionnees apres la cellule code dont elles lisent la sortie (regle b
respectee, regle a OK car aucune lecture ne se chevauche sur une meme
sortie).

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

⚠️ 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 20, 2026 •

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 11.3s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 7.9s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 8.5s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 9.2s
Search-01-StateSpace.ipynb ✅ SUCCESS 11.6s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 5.8s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 64.3s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 6.0s

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

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 2
  • Code cells validated: 26
  • 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)

@github-actions github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 20, 2026
@jsboige

jsboige commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 1a6b1a2f2549209f86c2d8247f28e0532dd9575be8dabd471ce3e3cefee67c30
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/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: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 025a46af0df8d2c4f82351791b20c7b5ae9bc5c8334412c394c47d9ef8eb8b6b
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: BLOCKED
b0: blocked-ou-clear
scope: pass
domain: pass
verdict: BLOCKED
reason: PR gate failure + Twin parity audit (#8057) — rouge reel au head, non un echantillon PR gate perime (mesure po-2025:08:2xZ latest-wins)
[/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: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 013be087b442aab7dbcbcb0a809b37f55d79c8969edf05e1ba82792f6cc348e2
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: BLOCKED
b0: blocked-ou-clear
scope: pass
domain: pass
verdict: BLOCKED
[/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: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8333526a205bd32103b0814a6714fadc0646181e5bfdcbad7e6e5c32c7706f56
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: BLOCKED
b0: blocked-ou-clear
scope: pass
domain: pass
verdict: BLOCKED
[/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: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c9ef8d4084f9c59a0e5eb4b1859c8ce7e3b756d3579b805a7ec2c31409aa6786
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: BLOCKED
b0: blocked-ou-clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Sep 21, 2026 •

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17046
head: 2be3503
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 86d5381fabc819977b4b8a11e67b020a2fb1e96fea3e3881422eb6648391cd2d
diff-files: 2
diff-additions: 1
diff-deletions: 44
checks: blocked
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Dossier Secrétaire cat. 2 mini-cost cycle 5, exact-head 2be3503, +1/-44, 2 fichier(s).
Mesures firsthand 2026-09-22T01:5xZ.
Tell c.59 respecté : 1 dossier par PR par cycle (pas de rejeu).
SHA gate live N/A....

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

[BLOCKED-WITH-SUBSTANCE — Twin parity audit #8057 (failure). Dossier atteste NON-mergeable tant que porteur ne répare pas.]

@github-actions

github-actions Bot commented Sep 22, 2026 •

Copy link
Copy Markdown
Contributor

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

La collision de chemins signalée sur #17046 n'existe plus au passage du 2026-09-24T18:04Z : 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).

@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

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

Re-stamp c.88 (12:32Z le 24/09)

Re-stamp exact-head post-DM ai01-c1014-sec-lot2 12:11Z. Tête 2be3503afbc650e5fc2a91c6153287afcf6d83e3 vérifiée live REST (Tell c.117 strict fondateur). Counts synchrones à l'instant du POST (Tell c.108 strict).

Aucun rouge actif à la tête actuelle. Dossier READY pour ai-01.

@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

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

Re-stamp c.91 (recalcul GitHub terminé)

Re-stamp exact-head post-recalcul GitHub (cycle c.91). Tête vérifiée live REST (Tell c.117 strict fondateur), mergeable: true. Counts synchrones à l'instant du POST (Tell c.108 strict).

Aucun rouge actif à la tête actuelle. Dossier READY pour ai-01.

Read both App-17 twins at the PR head; code, outputs and execution counts remain unchanged. Restore the dropped sentence ending and re-attest the markdown-only App-17 change.

Co-Authored-By: Claude Code <noreply@anthropic.com>
@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

Correctif complémentaire à la tête 524f60bac69a993c3dc2b8e48712524309ae8f0a : la suppression du parasite avait aussi tronqué la fin de la phrase de transition de la cellule 38855cac ; l'objet « la frontière des tournées » est restauré. La paire du registre App-17 VRP Logistics a été relue : 15 cellules code (source, compteurs et sorties) byte-identiques dans App-17, 14 dans App-17b-Python ; changements markdown uniquement. L'attestation 0006-2026-09-24-myia-po-2025-CoursIA-2.yaml enregistre le nouvel état App-17 ; vérification locale : statut OK, check_split_reading_cells.py clean, JSON valide, 55/55 tests de parité passés, pre-commit vert. Un seul push a été fait. Les checks GitHub se réagrègent encore : ceci n'est pas un dossier READY ni une levée de réserve tierce. Un dossier indépendant à tête exacte a été demandé au secrétariat lorsque les checks seront terminés.

@github-actions

Copy link
Copy Markdown
Contributor

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17046
head: 524f60b
complete: true
body: read
comments-reviewed: 15
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 640b76fa647f55c4d4d04c7fa513114f3d09702392d780c697702f825ada1968
diff-files: 3
diff-additions: 10
diff-deletions: 45
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

@myia-ai-01
myia-ai-01 merged commit f42dfa7 into main Sep 24, 2026
89 of 91 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants