fix(search,g69): re-ancrage GA + décontamination sac/créneaux + coût WEAK ≠ satisfaction — App-10-Portfolio / CSP-7-Soft-Csharp by jsboige · Pull Request #17125 · jsboige/CoursIA

jsboige · 2026-09-21T02:32:15Z

Grain: MED/notebook-dotnet — lane myia-po-2025:CoursIA — prev: MED/notebook-dotnet #17120

g69-search-19 — relais Vibe (App-10-Portfolio + CSP-7-Soft-Csharp)

Base 0dcc80c1f · grain 57ec63869 · correctif f721d3075 (ce PR).
Note : base déplacée vs g64-g68 (d319c41d3) — le grain est construit sur un main plus récent.

App-10-Portfolio — 57 → 65 cellules

ADDED[25] désancrée : posée après la cellule CONFIG PyGAD mais citant les
résultats GA (Sharpe 1,4839 ; 17,97 % ; 10,76 % ; allocation) imprimés par la
cellule d'exécution suivante — et « converge en 150 générations » inexact
(l'optimum 1,4839 est tenu dès la Generation 50). Déplacée et réécrite ancrée :
203 ms, avg finale 1,4422, allocation complète (Ob 2,4 / Imm 18,7 / EU 24,3 / US 26,4 / Em 28,3 %).
7 autres lectures vérifiées exactes (table actifs 5→25 % / Sharpe 0,30→1,03 ;
équipondéré 15,00/8,98/1,4469 ; échantillonnage 10 000 en 55 ms → 1,4807 ;
frontière max Sharpe 1,4838 à α=1,5 ✓ table).

CSP-7-Soft-Csharp — 38 → 49 cellules

ADDED[15] contamination inter-sections : parlait du créneau 9h (section
précédente) après la cellule du sac multi-objectif — dont la solution réelle est
vide : 0/12, coût 0, 9 ms ; avec α=5, tout objet est non-rentable. Réécrite.
ADDED[29] désancrée : citait « Rome en Juillet max-min 800/1000 » (résultat
d'une cellule ultérieure) après la cellule des semi-anneaux. Réécrite sur les
neutres imprimés (Fuzzy/Weighted/Boolean — cadre Bistarelli-Montanari-Rossi 1997).
ADDED[41] confusion coût/satisfaction : « satisfait 3 des 5 contraintes WEAK » —
l'imprimé montre 4 WEAK dont 1 satisfaite (couleur) ; le « 3 » est le
coût des violations (5×0 strong + 3 weak). Réécrite.
ADDED[12] creuse (« Optimum trouvé. ») → ancrée (créneau 9h idx 0, coût 1,
1 créneau distinct). ADDED[30] dup de fond → kill. ADDED[2] ancrage DLL.

Contrôles (6/6)

Contrôle	App-10	CSP-7
C1 base ⊆ final	0 perdue (57/57)	0 perdue (38/38)
C2 duplication	0	0
C3 ancrage verbatim	chaque chiffre tracé	idem
C4 densité	1206 (entrée 1200 pile — marge nulle, chaque correctif net-ajoute)	1261
C5 grammaire	✓	✓
C6 newlines + git status	✓	✓

🤖 Generated with Claude Code

- App-10-Portfolio.ipynb : ajoute 8 lectures ancrees (1200+ chars/cellule) - CSP-7-Soft-Csharp.ipynb : ajoute 12 lectures ancrees (1200+ chars/cellule) - Convention : chaque lecture explique le resultat d'une cellule DEMONSTRATION deja executee - Respect des garde-fous : UTF-8, source en liste, markdown-only, pas de re-execution Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>

…K != satisfaction — App-10-Portfolio / CSP-7-Soft App-10-Portfolio (57->65) : ADDED[25] desancree — posee apres la cellule CONFIG PyGAD mais citant les resultats GA (Sharpe 1,4839, 17,97 %, 10,76 %, allocations) imprimes par la cellule d'EXECUTION suivante ; « converge en 150 generations » faux (optimum tenu des la Generation 50). Deplacee + reecrite ancre (203 ms, avg finale 1,4422, allocation complete). CSP-7-Soft-Csharp (38->49) : ADDED[15] CONTAMINATION inter-sections — parlait du creneau 9h de la section precedente apres la cellule du SAC multi-objectif, dont la solution reelle est VIDE (0/12, cout 0, 9 ms ; alpha=5 rend tout objet non-rentable). ADDED[29] desancree (Rome en Juillet max-min, resultat d'une cellule ulterieure) -> reecrite sur les neutres des semi-anneaux imprimes. ADDED[30] dup de fond -> kill. ADDED[41] « 3 des 5 contraintes WEAK » : 4 WEAK dont 1 satisfaite (couleur) ; le 3 = COUT des violations (5x0 strong + 3 weak), pas un decompte de satisfaites. ADDED[12] creuse (« Optimum trouve. ») -> ancre (creneau 9h, cout 1, total distincts 1). Ancrage ADDED[2] (DLL Choco / Existe : True). Controles : C1 0/0 perdues (bases 57/57 + 38/38), C2 dup 0, C3 verbatim, C4 densites 1206/1261 (entree 1200 pile — chaque correctif net-ajoute), C5 grammaire, C6 newlines + git status exact. Grain: g69-search-19 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

github-actions · 2026-09-21T02:34:07Z

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

github-actions · 2026-09-21T02:35:20Z

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

github-actions · 2026-09-21T02:42:44Z

⚠️ 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 · 2026-09-21T02:43:06Z

Notebook PR Validation: PASS

Notebooks checked: 2
Code cells validated: 41
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 · 2026-09-21T02:43:47Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	6.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	5.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	8.1s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	6.8s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.6s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.6s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	25.1s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.6s

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

github-actions · 2026-09-22T22:57:10Z

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-22) :

TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=3 cap=11)
NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

myia-ai-01 · 2026-09-23T00:26:41Z

Fermée au titre du veto #17040 (campagne de densité #13410 gelée). Face à main, cette PR ajoute des cellules de lecture en solde net. La lane porteuse a mesuré ce solde le 23/09, et ai-01 l'a recoupé sur trois PRs du lot (#17042, #17085, #17235).

Elle avait échappé au filtre du gel parce que ni son titre ni son body ne citent #13410 : c'est un relais g-XX de la campagne.

La branche est conservée, donc la PR peut être rouverte. Une lecture qui apporte une information qu'aucune cellule existante ne porte peut revenir hors campagne, réécrite et placée juste après sa cellule (point 4 de #17040). Les cellules que la PR modifie sans en ajouter peuvent revenir sous la forme d'une PR de correction pure.

jsboige and others added 2 commits September 20, 2026 13:06

github-actions Bot added the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 21, 2026

jsboige mentioned this pull request Sep 22, 2026

fix(search,g70): re-ancrage sur l'imprime + mesures fabriquees corrigees — App-11-Picross / Search-02-Uninformed #17137

Closed

github-actions Bot removed the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 22, 2026

myia-ai-01 closed this Sep 23, 2026

Navigation Menu

Repository navigation

fix(search,g69): re-ancrage GA + décontamination sac/créneaux + coût WEAK ≠ satisfaction — App-10-Portfolio / CSP-7-Soft-Csharp - #17125

fix(search,g69): re-ancrage GA + décontamination sac/créneaux + coût WEAK ≠ satisfaction — App-10-Portfolio / CSP-7-Soft-Csharp#17125
jsboige wants to merge 2 commits into
mainfrom
wt/vibe-g69-search-19

jsboige commented Sep 21, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Sep 22, 2026

Uh oh!

myia-ai-01 commented Sep 23, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Sep 21, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

g69-search-19 — relais Vibe (App-10-Portfolio + CSP-7-Soft-Csharp)

App-10-Portfolio — 57 → 65 cellules

CSP-7-Soft-Csharp — 38 → 49 cellules

Contrôles (6/6)

Uh oh!

github-actions Bot commented Sep 21, 2026

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

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Notebook PR Validation: PASS

Uh oh!

github-actions Bot commented Sep 21, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden-Set Execution (H.7 P3)

Uh oh!

github-actions Bot commented Sep 22, 2026

Uh oh!

myia-ai-01 commented Sep 23, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

jsboige commented Sep 21, 2026 •

edited

Loading

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

github-actions Bot commented Sep 21, 2026 •

edited

Loading