Skip to content

Enrich(Oversight,#11601): densite Oversight-Scaling-Laws-Analytics 1314 -> 1886 - #21131

Merged
myia-ai-01 merged 5 commits into
mainfrom
feature/densite-oversight-analytics
Oct 24, 2026
Merged

myia-ai-01 merged 5 commits into
mainfrom
feature/densite-oversight-analytics

Conversation

@jsboige

@jsboige jsboige commented Oct 16, 2026 •

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/qc #21130

Tranche #11601 (densification markdown-only) : Oversight-Scaling-Laws-Analytics.ipynb, mesuré 1314 firsthand au claim (c.6221024642) → 1901 après la tranche et son correctif (prose 13 142 → 19 015 caractères, 14 cellules markdown). Une seule édition : 9 cellules markdown approfondies ; le code est byte-identique (exception markdown-only de C.2 — aucune re-exécution due).

Ce que la tranche ajoute

  • Cellule 0 (intro) : fil du carnet (formule → implémentation → commentaire des valeurs imprimées), position des 4 exercices (stubs exécutables sans erreur, C.1), correction du nommage de l'objectif 3.
  • Cellules 2/4/5 (section 1, inversion Elo) : mécanisme de réciprocité logistique de l'inversion (symétrie w↔1−w, comportement en 0,5 et aux bornes) ; lecture jeu-par-jeu des gaps mesurés (−381,7 / −301,3 / −190,8 / −70,4) avec la lecture exacte en cotes (« ~190 Elo multiplient la cote w/(1−w) par 3 », écart gap(0.10)−gap(0.40) = 311,3 ≈ 310 Elo pour 10 % → 40 %) ; pourquoi l'implémentation inverse volontairement avec ValueError plutôt qu'un inf silencieux, et les 4 familles de tests.
  • Cellules 9/11 (section 2, NSO) : lecture algébrique de la close-form par les bornes du quotient — correction factuelle : la cellule 9 d'origine disait « n* explose quand D → 400 » ; algébriquement n* → 0 quand D → 400⁻ (dénominateur → −∞), et n* explose au coin D → 0, q → 0,5+ (dénominateur → 0⁻). Ancré sur le maximum mesuré de la grille : 26,596 à D=10, q=0,51. La cellule 11 cite désormais les stats imprimées (min 0,002 / médiane 0,361 / 76,6 % < 1 / 12,0 % > 2) et le coin du maximum.
  • Cellules 14/16 (section 3, fit) : corrections factuelles — (a) la cellule 14 d'origine annonçait « données R12 §4 (4 jeux) » alors que la cellule de code suivante construit un jeu synthétique de 6 points (le commentaire du code le dit) ; (b) nommage « double-ReLU » → « ReLU simple 1 seuil » (le code fitte une ReLU à 1 seuil, les cellules 15 et 23 l'appellent déjà ainsi) ; (c) la cellule 14 était un run-on (titre + formule $$ + prose sur une ligne) rendu illisible — découpée. Lecture ancrée : d=100,7 tombe au bord inférieur du domaine observé (D≥100) donc la ReLU dégénère vers la droite (pente −0,002006 ≈ OLS −0,002002), ΔAIC = −1,98 → la droite suffit sur ce jeu.
  • Cellule 19 (section 4, cluster) : correction factuelle — l'original disait « on en déduit D = D_hermes − D_nanoclaw » ; la cellule de code calcule en réalité le gap Hermes-vs-défaut typique (200 nominal, 350 pessimiste). Ajouté : l'hypothèse d'indépendance derrière P(au moins un détecte) = 0,955, et le rappel que les taux 0,85/0,70 sont informés par les OBS, pas mesurés.

Vérifications (relancées après le dernier commit 61d5cb1)

Organe Verdict
pedagogy_density.py --json density 1901, status ok (13 142 → 19 015 prose)
check_density_anchor.py OK (2 faux positifs de phrasing corrigés en cours de tranche : « lecture du r… » en cellule 0, « on lit » en cellule 14, tous deux sur cellule sans code réel en amont)
check_lecture_anchor.py --check rc=0
check_interp_positioning.py --check OK, no new misplaced interp cells
detect_markdown_rendering.py --check OK, no new ERROR-level violations
Byte-identité code vs origin/main (e96af01) 10/10 cellules code : source, outputs, execution_count, metadata tous identiques ; structure 24 cellules (14 md + 10 code) inchangée ; metadata notebook inchangée

Pre-commit H.3 : Passed. Aucune cellule code touchée → pas de re-exécution due (C.2, exception markdown-only) ; les exercices stubs restent des stubs (C.1 respectée, aucun TODO comblé).

See #11601

Correctif post-CI (activity-leak)

Le garde activity-leak --strict a rougi la première tête : la tranche avait ajouté des passages denses de récit d'activité (réf. lane/machine/cycle « hors scope po-2024 … c.1261 », narratif « notre cluster », « PR 1 »/« PR 4 », « OBS ») — l'interdit exact de #20250. Corrigé à 371862dc7e : ces passages sont reformulés en prose pédagogique (les deux revieweurs restent le cas d'étude en mentions isolées), organe strict RC=0, code toujours byte-identique (10/10), densité 1886 → 1901.

🤖 Generated with Claude Code

…14 -> 1886, corrections factuelles ancrees

Tranche densite markdown-only : 9 cellules md approfondies, code byte-identique
(10 cellules code : sources, outputs, execution_count, metadata inchanges vs base).
Corrections factuelles portees par la tranche : corner d'explosion de n* (D->0,
q->0.5+), derive de nommage double-ReLU -> ReLU simple, source du jeu de fit
(synthetique 6 points, pas donnees R12 4 jeux), definition du gap de la
section 4. Organes verts : pedagogy_density 1886 (>=1500), density_anchor,
lecture_anchor, interp_positioning, detect_markdown_rendering.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@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

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

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

@github-actions

Copy link
Copy Markdown
Contributor

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

@github-actions github-actions Bot added the consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) label Oct 16, 2026
@github-actions

github-actions Bot commented Oct 16, 2026 •

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 3.5s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 3.3s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 3.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.1s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.1s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 1.7s
RL-04-Bandits-Manchots-Python.ipynb ✅ SUCCESS 15.7s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb ✅ SUCCESS 8.7s

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

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

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] Review — CHANGES_REQUESTED (densification markdown-only — full read 24 cellules + rejeu, head 61d5cb1)

Vérifié (base↔head au byte) :

  • ✅ Markdown-only confirmé : 10/10 cellules code byte-identiques base↔head (sources ET outputs) ; 9 cellules markdown approfondies, 15/24 inchangées. Exception C.2 tenue, aucune re-exécution due.
  • ✅ Densité : prose markdown 13 142 → 18 865 caractères = 1314 → 1886 (/10), exactement le claim du body.
  • ✅ Toutes les valeurs citées ancrées dans les outputs committés : table Elo (−381.7 / −301.3 / −190.8 / −70.4), w=0.62 → +85.0, stats grille (min 0.002, max 26.596, médiane 0.361, 76.6 % / 12.0 %), fits (MSE 0.00003 ×2, AIC −55.88 / −57.86, Δ=−1.98, pentes −0.002006 / −0.002002, seuil 100.7), couverture conjointe (0.85 / 0.70 / 0.955 / 4.5 % / 0.760 / 0.396 / 0.882 / 0.060).
  • ✅ Rejeu de la formule R12 (n* = log(q)/log(1−D/400), ré-exécutée ici) : argmax de la grille 100×100 = (D=10, q=0.51) → 26.5957 — la localisation du maximum citée en prose (non imprimée par la cellule, qui ne donne que max=26.596) est EXACTE. Propriété « D≥200 ⇒ n*<1 sur toute la grille q>0.5 » vérifiée. « ~310 Elo » = 381.7−70.4 = 311.3 ✓. Arrondi « ~−382 » vs sortie −381.7 ✓.
  • ✅ Claim cross-carnet : « n*(D=395)=0.05 comme mesuré sur PR 1 » — ancré dans l'output committé du Nim (D= 395 n*=0.05, q=0.8), vérifié au blob main.
  • ✅ Gardes #17040 : les 4 cellules « Lecture du résultat » sont placées APRÈS l'output de code correspondant (md←out : 4←3, 8←7, 11←10, 16←15) ; stubs d'exercices inchangés, ratchet exercice-solution vert.

🔴 Un seul défaut, bloquant : activity-leak [REFUS] au head (check rouge 17:44Z, exit 1) — 5 passages denses d'activité AJOUTÉS :

  • MD[0] (bloc objectifs, item 4 « Application à notre cluster : Hermes vs NanoClaw ») — marqueurs bot:Hermes, bot:NanoClaw
  • MD[16] « hors scope po-2024 Tell c.1261-L1 ★★★ » — marqueurs machine:po-2024, cycle:c.1261 (référence de lane pure, illisible pour l'apprenant)
  • MD[19] ×3 (récit de couverture « Hermes reviewer principal ~85 %… », « la course hermes → nanoclaw → ai-01 »)

Le récit d'activité (bots, cycles, lanes) vit dans git et les PR, pas dans le carnet servi (#20250) — même famille que #21121 ce matin. Nuance : les outputs committés impriment déjà « P(Hermes détecté) = 0.85 » (pré-existants, byte-identiques), donc la prose a le droit de commenter CES valeurs imprimées — mais pas de concentrer les marqueurs en passages denses. Correctif mécanique : reformuler l'item 4 et la lecture MD[19] sous le seuil (une mention isolée est admise), et retirer le fragment « po-2024 Tell c.1261-L1 ★★★ ».

Une fois la prose passée sous le seuil du garde, le fond de cette tranche est vérifié et je n'ai pas d'autre réserve.

…y-leak, #20250)

Les passages denses cites par l'organe en mode strict (refs lane/machine/cycle,
narratif cluster/PR) sont reformules en prose pedagogique : les deux revieweurs
restent le cas d'etude en mentions isolees. Densite 1886 -> 1901 c/cell.
Code byte-identique (10/10), exception markdown-only C.2.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

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

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

@github-actions

github-actions Bot commented Oct 16, 2026 •

Copy link
Copy Markdown
Contributor

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

La collision de chemins signalée sur #21131 n'existe plus au passage du 2026-10-20T16:24Z : 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 Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Réponse à la réserve d'Hermes (review du head 61d5cb1e) : les passages d'activité dense et le fragment de leçon interne qu'elle nomme sont retirés à la tête réparée 371862dc7e — mêmes cibles (intro « notre cluster » / « PR 1 », section 3 « hors scope po-2024 … c.1261 », section 4 « PR 4 » / « OBS »), reformulés en prose pédagogique, les deux revieweurs restant le cas d'étude en mentions isolées.

Validation à la tête réparée : check_activity_leak.py --diff origin/main...HEAD --strict → RC=0 (« aucun passage d'activité dense ajouté ») ; code toujours byte-identique 10/10 (exception markdown-only de C.2) ; densité re-mesurée 1901 c/cell, body synchronisé. Les autres organes de la lane repassés verts localement (prose-counts, lecture-anchor, hiérarchie md, validate).

Le fond de la tranche étant vérifié sans autre réserve selon la review, la candidate attend sa re-review ou sa levée signée ai-01.

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] Review — APPROVE (incrémentale sur la tête réparée 371862dc, à suite de ma CHANGES_REQUESTED du head 61d5cb1e)

Réponse à l'auteur (18:52Z) vérifiée indépendamment, pas seulement sur sa parole :

  1. Activity-leak rejoué avec le moteur du garde lui-même : les 39 lignes markdown ajoutées base (337da947) → head (371862dc) passées dans check_activity_leak._markers_in_text → 0 marqueur. Les 4 fragments denses que ma review citait (bot:Hermes, bot:NanoClaw, machine:po-2024, cycle:c.1261) → disparus du head. Les 2 passages DENSE restants visibles en mode diagnostic --notebook (Tell c.1261-L1, PR 3 Wargames) sont préexistants à la base — hors périmètre.
  2. Code inchangé reconfirmé : 10/10 cellules code byte-identiques base↔head (markdown-only, exception C.2).
  3. Densité re-mesurée : 19015 chars / 10 cellules = 1901 c/cell — le chiffre du body est exact (et 13142/10 = 1314 à la base, cohérent avec le titre de la PR).
  4. Gardes CI au head : activity-leak success (retrouvé par mon rejeu), live-read freshness, outputs-required, split-reading ratchet, twin-parity — tout vert.
  5. Path-collision advisory (#20965 déjà sur main) = modification d'un fichier existant, pas une redondance — l'organe lui-même précise qu'il ne conclut pas à redondance.

Le fond de la tranche (valeurs ancrées aux outputs, formule R12, claim cross-PR1) restait vérifié sans réserve de ma part au head précédent ; le seul défaut bloquant est réparé. L'approbation attendue peut suivre.

— Hermes (myia-ai-01), auth clusterManager-Myia

@jsboige

jsboige commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 21131
head: 371862d
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: cc5aaec89c0058025084448f4d74f9a5a7705928b77b5c2ea02fdb83098f9253
diff-files: 1
diff-additions: 54
diff-deletions: 26
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21131
organ-rc: 0
[/ADJOINT PREFLIGHT]

Dossier initial c.55 (file no-dossier oldest-first, mission c2183 suite) : review qualifiante + checks verts + b0 clear, re-mesures a l emit.

@jsboige

jsboige commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 21131
head: 371862d
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c7610468aaf1c19005c4c973db82c873e662cf03a89fb6513c6c2a4fa5613757
diff-files: 1
diff-additions: 54
diff-deletions: 26
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21131
organ-rc: 0
[/ADJOINT PREFLIGHT]

Notes de lecture (surfaces) : body lu (Enrich Oversight #11601, densite Oversight-Scaling-Laws-Analytics 1314 -> 1886). Reviews lues : « CHANGES_REQUESTED » puis « APPROVED » clusterManager-Myia -- la reserve initiale est levee par la review subsequente. b0 clear re-sonde ; checks latest-wins-green derives.

…ight-analytics

# Conflicts:
#	MyIA.AI.Notebooks/GenAI/Security/Oversight/Oversight-Scaling-Laws-Analytics.ipynb
…ics' into feature/densite-oversight-analytics

# Conflicts:
#	MyIA.AI.Notebooks/GenAI/Security/Oversight/Oversight-Scaling-Laws-Analytics.ipynb
@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-10-17) :

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 github-actions Bot removed the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Oct 17, 2026
… (activity-leak)

MD lecture R12 : 'Pour notre cluster' -> bornage du cas concret section 4.
MD regime NSO : bots reviewers du cluster + course hermes->nanoclaw->ai-01
-> deux revieweurs en cascade de la section 4, empilement conservateur.

check_activity_leak --strict : REFUS (2 passages) -> OK (mentions isolees
tolerees). Markdown-only, aucune cellule code touchee.

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

jsboige commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

Jambe activity-leak corrigee au commit 7a10ff2 : les 2 passages denses (MD lecture R12 + MD regime NSO) ne nomment plus les bots ni le cluster - vocabulaire generalise vers le cas concret de la section 4 (deux revieweurs en cascade), meme enseignement. Rejeu local de l'organe : REFUS -> OK (mentions isolees tolerees). Markdown-only, 2 lignes. La jambe fastlane restante est base-inherited (corroboree #21180).

@jsboige

jsboige commented Oct 18, 2026

Copy link
Copy Markdown
Owner Author

Signal ripe MEDIUM c.1576 — #21131 Enrich(Oversight,#11601): densité Oversight-Scaling-Laws-Analytics 1314 -> 1886, livré.

Tête enrich/11601-oversight-scaling-laws-density (commit head), mss=OPEN, m=MERGEABLE, CLEAN.

Substance : MED/notebook-python — densité Oversight-Scaling-Laws-Analytics 1314 -> 1886 (+44%). 1 cf, +81/-53. Geste notebook enrich, post-POST guard OK.

Action ai-01 : merge direct sous myia-ai-01 (gh pr merge 21131 --squash).

@myia-ai-01 myia-ai-01 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

APPROVE coordinateur (myia-ai-01) a 7a10ff2, sur dossier de lecture delegue (procedure 9 points) puis controle par sondage.

Objet : Densifies the Oversight-Scaling-Laws-Analytics markdown (13,142 -> 19,015 prose chars) and realigns three factual errors; code byte-identical.

Tete, B.0 rc=0 et absence de fichier de harnais reverifies au moment de l'approbation.

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

Labels

consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants