fix(search,g67): dedup + decontamination Wordle + restauration base ScottPlot — App-7b-Wordle-CSharp / CSP-6-Hybridization-Csharp by jsboige · Pull Request #17120 · jsboige/CoursIA

jsboige · 2026-09-21T01:46:25Z

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

g67-search-17 — relais Vibe (App-7b-Wordle-CSharp + CSP-6-Hybridization-Csharp)

Base d319c41d3 · grain 22aa634dd · correctif 289797aaf (ce PR).

App-7b-Wordle-CSharp — 41 → 57 cellules (grain : 92)

Le grain avait empilé 51 cellules en 16 clusters dupliqués (×2 à ×5) avec
contamination croisée : la lecture du test feedback copiée dans 6+ clusters,
celle de l'entropie dans 4+. Une lecture citait des exemples fabriqués
(RAIES, ARDUE) absents du top-10 imprimé (LAINE, PAIRE, CLAIR, CARTE, CRANE…).

Remède : purge des 51 ajouts, ré-insertion de 16 lectures ancrées dont
chaque chiffre est tracé à la cellule qui l'imprime : marathon #4956, 297 mots
(parité Python/C#), feedback 0/1/2 (5 tests), CROIX en 4 essais, filtrage
3.0/5-5, CSP 3 essais (PEINE→CANNE→CRANE), entropies 5.445 bits vs plafond
log2(297)=8.214, top-10 LAINE 5.5115, solveur entropie 3.2/5-5, bench 50 mots
2.60/2.80/2.88 à 100 %, LAINE 76 patterns vs APPEL 37, histogrammes SVG.

CSP-6-Hybridization-Csharp — 37 → 48 cellules (grain : 63)

C1 : base[21] (ScottPlot CODE) restituée verbatim — source identique,
outputs re-rendus par le grain (hash full-JSON différent). BASE[22]
(« ### Interpretation ») restituée aussi.
Contaminations Wordle (3) : « éliminer les mots incompatibles »,
« solveur par entropie 2.60 tentatives », « certains mots comme LAINE » —
dans un notebook C# d'hybridation CP-SAT. Supprimées.
Dups ×2-×3 sur 8 clusters, filler template, « barres ASCII » (les
sorties sont des charts ScottPlot), « toutes les instances » (une seule,
N=14), plage « 0.028-0.030s » (Strategy-C = 0,039s), VSIDS « activité
reste nulle » (l'imprimé montre 0,00 → 4,23). Corrigés.
8 ré-insertions ancrées + grammaire (« permettent » → ancrage cwd) +
sharpening instances (8,0 vars / 12,2 contraintes).

Contrôles (6/6)

Contrôle	App-7b	CSP-6
C1 base ⊆ final	0 perdue (41/41)	0 perdue (37/37)
C2 duplication	0	0
C3 ancrage verbatim	chaque chiffre tracé à sa cellule	idem
C4 densité	1206 (≥ 1200)	1276 (≥ 1200)
C5 grammaire	✓	✓
C6 newlines + git status	✓ (2 notebooks exactement)	✓

🤖 Generated with Claude Code

… CSP-6 (1004->1492) Densite pedagogique : chars de prose par cellule code - App-7b-Wordle-CSharp.ipynb: 698 -> 1562 chars/cell (+51 lectures) - CSP-6-Hybridization-Csharp.ipynb: 1004 -> 1492 chars/cell (+26 lectures) Lectures ancrees ajoutees apres cellules de demonstration (exec_count != null, pas exercice) Convention: 1-3 lectures par cellule de demonstration, expliquant ce que la sortie montre Conformite: pedagogy_density.py -> status ok pour les deux notebooks Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>

…rdle / CSP-6 App-7b-Wordle-CSharp (41->92 grain) : 51 cellules ajoutees purgees — 16 clusters x 2-5 copies + contaminations croisees (lecture feedback-test copiee dans 6+ clusters, entropie dans 4+). 16 lectures re-ancrees sur les sorties imprimees (marathon #4956, 297 mots, feedback 0/1/2, CROIX 4 essais, 3.0/5-5 filtrage, CSP 3 essais, entropies 5.445 vs log2(297) =8.214, top-10 LAINE 5.5115 [RAIES/ARDUE du grain = fabriques, absents du top-10 imprime], 3.2/5-5 entropie, bench 2.60/2.80/2.88 a 100%, LAINE 76 patterns vs APPEL 37). Densite 1562->1206. CSP-6-Hybridization-Csharp (37->63 grain) : C1 base[21] ScottPlot restauree verbatim (source identique, outputs re-rendus par le grain) ; BASE[22] restauree (supprimee par erreur par le marqueur de kill "barres ASCII" qu'elle contenait deja). 23 ajoutes tues : dups x2-x3, 3 contaminations Wordle (mots incompatibles / entropie 2.60 / LAINE patterns) dans un notebook CP-SAT, filler template, "barres ASCII" (sorties = charts ScottPlot), "toutes les instances" (une seule), "0.028-0.030s" (Strategy-C = 0,039s), VSIDS "activite reste nulle" (0,00 -> 4,23 imprime). 8 re-insertions ancrees + grammaire [2] + sharpening instances 8,0/12,2. Densite 1492->1276. Controles : C1 0/0 perdues (bases 41/41 + 37/37), C2 dup 0, C3 verbatim (chiffres traces aux cellules qui les impriment), C4 densite >= 1200, C5 grammaire, C6 newlines + git status exact. Grain: g67-search-17 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

github-actions · 2026-09-21T01:57:10Z

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

github-actions · 2026-09-21T02:17:29Z

⚠️ 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:22:15Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	15.6s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	18.4s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	14.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	10.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	10.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	8.0s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	76.9s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	9.1s

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

github-actions · 2026-09-21T02:25:02Z

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:33:18Z

Notebook PR Validation: PASS

Notebooks checked: 2
Code cells validated: 34
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 · 2026-09-21T09:28:59Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17120
head: 289797a
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0fe8a4df0921f0c7e0edc6024a6203552b0693adacff8b744f6e2c193d398a88
diff-files: 2
diff-additions: 210
diff-deletions: 28
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

github-actions · 2026-09-22T23:07:51Z

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:38Z

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 10:33

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,g69): re-ancrage GA + décontamination sac/créneaux + coût WEAK ≠ satisfaction — App-10-Portfolio / CSP-7-Soft-Csharp #17125

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,g67): dedup + decontamination Wordle + restauration base ScottPlot — App-7b-Wordle-CSharp / CSP-6-Hybridization-Csharp - #17120

fix(search,g67): dedup + decontamination Wordle + restauration base ScottPlot — App-7b-Wordle-CSharp / CSP-6-Hybridization-Csharp#17120
jsboige wants to merge 2 commits into
mainfrom
wt/vibe-g67-search-17

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 •

edited

Loading

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Uh oh!

jsboige commented Sep 21, 2026

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!

g67-search-17 — relais Vibe (App-7b-Wordle-CSharp + CSP-6-Hybridization-Csharp)

App-7b-Wordle-CSharp — 41 → 57 cellules (grain : 92)

CSP-6-Hybridization-Csharp — 37 → 48 cellules (grain : 63)

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 • 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 21, 2026

Uh oh!

github-actions Bot commented Sep 21, 2026

Notebook PR Validation: PASS

Uh oh!

jsboige commented Sep 21, 2026

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