Skip to content

fix(prose,#17636): ML g9-ml-2 — ML-10-TSAD, 3 mesures d'artefact « 3 lignes de NumPy » resorbées en prose markdown - #18385

Merged
myia-ai-01 merged 1 commit into
mainfrom
wt/vibe-g9-ml-2
Sep 29, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
wt/vibe-g9-ml-2

Conversation

@jsboige

@jsboige jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: série tellc #18079-83 mergée 27/09 (dernier merged lane ; les PRs md #18252+ restent en attente du fix de gate #18318)

fix(prose,#17636): ML g9-ml-2 — ML-10-TSAD 3 mesures d'artefact « 3 lignes de NumPy » resorbées en prose markdown

Contexte

Grain vibe g9-ml-2 dispatché par le feeder à 09:55Z (baseSha recalée 0bdbcb3d), run 09:57Z $0.40, relais shepherd 13:1x locale. Recette arbitée ai-01 (c.5860054240), tri avant geste : une mesure d'artefact (compte rédigé à la main qui dérive à chaque évolution du dépôt) se supprime, le prédicat qualitatif se conserve.

Tri KEEP refait à la main par la lane : le commit initial ne portait aucun tri (%b vide) — même pattern que g8-ml-1 (#18381).

Les 3 gestes

  • Section ## 1 (titre) : « 3 lignes de NumPy » retiré du titre ; « algorithme de 1924 » gardé (date, pas compte).
  • Interprétation : « avec 3 lignes de NumPy » → « avec quelques lignes de NumPy » (compte exact → qualitatif).
  • Tableau résumé (ligne SPC) : « 3 lignes de NumPy ; » retiré ; AUC ~1.0 gardé.

KEEP justifiés : AUC ~0.998 / ~1.0 (précisions mesurées de résultats), « 2 points anormaux » (quantité de données du domaine), « sans aucun entraînement » (prédicat), 1924 (année).

Gates vérifiés firsthand (relais)

  • check_prose_quantitative_claims.py --diff origin/main...HEAD --strict : rc=0.
  • 0 cellule code touchée : sources byte-identiques, compte identique (1/1).
  • Aucune paire jumelle (ML.Net — registre twin_pairs.d scanné).
  • Anti-collision : 0 PR ouverte sur ML-10-TSAD (scan REST ciblé).
  • Rebase origin/main propre, commit amendé avec le tri complet.

Claim paths: posé sur #17636.

🤖 Generated with Claude Code

…es de NumPy' resorbees en prose markdown (titre s1, interpretation, tableau resume)

Recette arbitree ai-01 (c.5860054240), tri avant geste (refait par la lane, commit initial sans tri) :
- Section ## 1 (titre) : '3 lignes de NumPy' retire du titre ; 'algorithme de 1924' garde (date, pas compte).
- Interpretation : 'avec 3 lignes de NumPy' -> 'avec quelques lignes de NumPy' (compte exact -> qualitatif).
- Tableau resume ligne SPC : '3 lignes de NumPy ; ' retire ; AUC ~1.0 garde.
KEEP justifies : AUC ~0.998 / ~1.0 (precisions mesurees de resultats), '2 points anormaux' (quantite de donnees du domaine), 'sans aucun entrainement' (predicat), 1924 (annee).
Cellules code, outputs, execution_count, metadata, IDs byte-identiques (verifie firsthand 1/1). Aucune paire jumelle (ML.Net, registre scanne).
@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).

@github-actions

Copy link
Copy Markdown
Contributor

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

@github-actions github-actions Bot added the variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable) label Sep 29, 2026
@github-actions

Copy link
Copy Markdown
Contributor

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-29) :

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.

@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

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 11
  • 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

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 4.7s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 5.4s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 8.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 6.2s
Search-01-StateSpace.ipynb ✅ SUCCESS 4.6s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.8s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 23.6s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 3.3s

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

@jsboige

jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 18385
head: f4cc82c
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 51331ed08e78dcfdc6c5fbe3667eb33ea8eb5f0a7d5972d7575a3ecac035b0f4
diff-files: 1
diff-additions: 3
diff-deletions: 3
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier neuf a la tete f4cc82c (lot B ai-01). Mesures firsthand : fold latest-wins vert -- PR gate SUCCESS a 13:43:44Z, echec anterieur supersede ; zero rouge residuel ; B.0 rc=0 ; mergeable, CLEAN ; Golden-Set H.7 8/8 vert. Dernier commentaire = Golden-Set PASS, aucun dossier tiers vivant. Merge et lecture finale a ai-01.

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

Labels

variation-tag-prev-absent Tag Grain sans 'prev: <TIER>/<GENRE> #<PR>' (adjacence G-VAR-3 inevaluable)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants