fix(prose,#17636): align App-8 twin - remove literal code-size prints + table row (volet 2 tranche 3)

[jsboige]

Volet 2, tranche 3 — parité jumeau App-8 (C# + row table partagée)

Suite de #18169 (tranche 2, prints Python). Le jumeau C# portait les mêmes littéraux, et les deux jumeaux partagent une row de table « Lignes de code (N-Reines) » — cette tranche rétablit la parité.

Gestes

Carnet	Geste
App-8-MiniZinc-CSharp	DisplayModel(... "N-Reines (syntaxe MiniZinc, ~5 lignes)") → « ~5 lignes » retiré
App-8-MiniZinc-CSharp	Console.WriteLine("... MiniZinc ~5 lignes vs CP-SAT ~12 lignes (ratio ~2.4x).") → comptes retirés, prédicat + ratio conservés
App-8-MiniZinc-CSharp	row table { Crit = "Lignes de code (N-Reines)", Py = "~20 lignes", ... } → row retirée (même classe que CSP-2 tranche 1)
App-8-MiniZinc-CSharp	cellules C# ré-exécutées, outputs resynchronisés
App-8-MiniZinc (Python)	row table '~20 lignes', '~12 lignes', '~5 lignes' (cell ~#37) → row retirée, cellule d'affichage ré-exécutée

Vérification

• check_prose_quantitative_claims.py --diff --class artifact → [OK]
• JSON valide ×2, diff = exactement 2 carnets (4+/17-)

Résidu constaté (hors mission, à trier séparément)

Le print CP-SAT (Python) : ~12 lignes utiles (et son pendant C#) survit aux tranches 2/3 — non listé au tri initial. Même classe apparente que les gestes supprimés ; proposé pour une tranche 4 ou arbitrage lane.

Exécution

Run Vibe g3b (0,94 $, 380 s, end_turn propre) — premier run livré directement dans le worktree du grain (chemin worktree en tête du payload, remède au défaut payload-facet documenté dans #18169).

Grain: MED/docs — lane myia-po-2025:CoursIA
paths: MyIA.AI.Notebooks/Search/Applications/CSP/App-8-MiniZinc.ipynb, MyIA.AI.Notebooks/Search/Applications/CSP/App-8-MiniZinc-CSharp.ipynb

🤖 Generated with Claude Code

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 21 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[github-actions]

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

[github-actions]

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).

[github-actions]

⚠️ 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]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	16.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	10.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	17.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	11.9s
Search-01-StateSpace.ipynb	✅ SUCCESS	13.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	7.4s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	79.6s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	8.9s

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

[github-actions]

Notebook PR Validation: PASS

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

Consolidation twin-parity (demande lane CoursIA 04:32Z : « #18169/#18176 BLOCKED sur App-8, consolidation au propriétaire du claim roo-extensions ») : chaque PR seule laissait le jumeau App-8 divergent côté gate. Le commit 616c0fa est intégralement reporté dans #18169 par cherry-pick (aa4d937ce, même diff 4+/17- sur App-8-CSharp + row Python) — la tête aa4d937ce porte les tranches 2+3 réunies, parité App-8 complète (Python + C#) dans une seule tête. Cette PR est supplantée, fermée sans perte. La suite (review/dossier/merge) se joue sur #18169.