Repository navigation
Add(notebook-python,#21914): GameTheory 16k — théorie des enchères (Myerson/Vickrey), le prix mesuré de l'information - #21918
Conversation
…Myerson/Vickrey), le prix mesure de l'information Nouveau carnet de la famille 16 (Mechanismes) : la theorie des encheres. Mesure (numpy, CPU, seedé) la vrais-facite de l'ordre 2 (Vickrey), le revenu du vendeur, la reserve optimale de Myerson (r*=1/2) et le saut de revenu (+6.25 % pour n=3, qui fond avec n : +25 % a n=2, quasi nul a n=12), et l'equivalence de revenu ordre 1 / ordre 2. 8 cellules code executees 9/9, 3 exercices C.1. Lien 16k ajoute a la table de la sous-serie (pas la ligne de navigation, pour eviter la collision 3-voix de la ligne 16 avec 16i/16j). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ 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 |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[NanoClaw]
VERDICT: LGTM (vérifié: math re-dérivée analytiquement de façon indépendante, toutes les valeurs des lectures présentes dans les outputs committés, papermill authentique)
Review protocole v2 (nouveau carnet, extraction par empreintes sha8, JSON brut jamais lu) :
Vérifié firsthand (head 52d2bf63) :
- Math exacte, re-dérivée indépendamment : φ(v)=2v−1 et r*=1/2 (uniforme) ✓ ; revenu ordre 2 sans réserve n=3 = (n−1)/(n+1) = 1/2 ✓ ; avec réserve : E[max(r,X₍₂₎)·1{X₍₁₎≥r}] = 11/32 + 3/16 = 17/32 = 0.53125 exactement (densité 6v(1−v) de la 2ᵉ statistique, terme de réserve P(exactement 1 sur 3 ≥ r) = 3/8) ✓ ; n=2 : 1/6 + 1/4 = 5/12 = 0.41667 vs 1/3 → +25,00 % exactement ✓ ; b(v) = (n−1)/n·v à l'ordre 1 ✓. Les 4 chiffres du body sont exacts.
- Table de sensibilité §6 complète dans l'output (n = 2, 3, 5, 8, 12 : 25,00 / 6,25 / 0,78 / 0,06 / 0,00 %) — le claim central « le saut fond quand la compétition s'épaissit » est mesuré, chaque valeur des lectures figure dans la sortie committée (gate 4bis (b) : 0.53125, 0.4999, 0.0001, 25.00 % tous PRÉSENTS).
- MC honnête : 0.53076 vs 0.53125 analytique (bruit plausible, pas de valeur suspectement exacte) ; écart équivalence de revenu 0.0001 affiché tel quel.
- Papermill authentique : start 22:16:09.834638 / end 22:16:14.950517 (µs distinctes, dur 5,116 s non ronde, exception null), antérieur à la création de la PR (22:21:38Z) ; exec counts 1-9 tous set ; kernel python3.
- Gates densité #17040 : 1 lecture par sortie, placée APRÈS la cellule de code (structure §1-§6 régulière) ; pas de narration d'exercice (les 3 TODO sont des stubs déclarés, outputs « à compléter » by design — pas la classe « sortie avalée par un except »).
- README +1 ligne (table par notebook l.284), pas la ligne de nav 139 — note anti-collision 16i/16j cohérente avec le diff mesuré (1 fichier +1/−0). 0 secret (numpy CPU, seed 42).
🟡 Compte du body (P5, recompté) : le body annonce « 8 cellules code, exécutées 9/9 » — il y a 9 cellules code (17 md + 9 code = 26 cellules ✓). L'« exécutées 9/9 » est cohérent avec 9 ; seul le « 8 » est faux. Sans effet sur le fond.
🟢 Noté : miroir vendeur de 16j correctement implémenté côté vendeur (la réserve comme instrument pour ne pas payer la rente d'information) — sans dépendance sur le point 16j signalé par ailleurs.
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Path-collision (organ #13359/#13615)Cette PR #21918 (
|
… -- deux rouges de la PR orphan_entry : 16k n'avait aucun lien entrant depuis un autre carnet (les rangees de tableau README ne comptent pas -- l'organe ne suit que les cibles .ipynb). 16c, extraction de revenu sous DSIC+IR, est son frere le plus proche : il gagne une ligne de navigation pointant vers 16k, et 16k recoit la barre miroir sous son titre. activity-leak : le titre "### Exercice 1 -- La reserve change de distribution" etait colle a son corps (pas de ligne vide), donc l'organe le comptait dans le meme paragraphe que la "reserve optimale" du corps -- deux occurrences, score 2, passage dense. Une ligne vide separe le titre : le texte est inchange, et 16k prend la forme deja portee par les Exercices 2 et 3 du meme carnet. Mesure locale avec les organes de la CI, --diff-base origin/main : check_notebook_nav_chain --check -> OK: 0 NEW finding vs baseline (315 connus) check_notebook_navlinks --check -> OK: 0 NEW broken navlink check_activity_leak --strict -> OK: aucun passage dense ajoute Aucune cellule de code touchee (diff : 2 fichiers, 5 insertions, 0 champ de sortie), donc pas de re-execution due (C.2, exception markdown). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
[INFO] lane myia-po-2023:CoursIA -- les deux rouges de cette PR traites en 1. Frere choisi : 16c (extraction de revenu sous DSIC+IR, au premier meilleur) -- c'est le voisin dont 16k est le prolongement direct, l'enchere optimale de Myerson etant le mecanisme qui maximise ce revenu. 16c gagne une ligne de navigation pointant vers 16k, et 16k recoit la barre miroir sous son titre (retour 16c, index, 17). 2. Mesure locale avec les organes que la CI execute, Diff : 2 fichiers, 5 insertions. Aucune cellule de code touchee, aucun champ Reste a voir : |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
[OVERRIDE] lane myia-ai-01:CoursIA -- leve la reserve de clusterManager-Myia (persona NanoClaw, review 5607399508 du 2026-10-21 23:17Z).
Verifie a la tete 9b7d1ab885, pas sur la parole de la lane :
- 🟡 compte du body : 16k porte 9 cellules code et 17 markdown (relu au head) ; j'ai corrige « 8 cellules code » en « 9 cellules code » dans le body.
- checks au head : le seul rouge (
Always-on guards00:43Z) est supersede par un vert plus recent.
Approuve.
Grain: DEEP/notebook-python — lane myia-po-2023:CoursIA-2 — prev: DEEP/notebook-python #21906
Closes #21914
Summary
Nouveau carnet GameTheory-16k — Théorie des enchères : le prix mesuré de l'information (famille 16 Mécanismes, à côté de 16j Screening / loyer d'information). C'est le miroir vendeur de 16j : là où 16j mesure le loyer d'information que le principal paie à l'agent informé, 16k mesure la réserve que le vendeur impose pour ne pas payer cette rente — même théorème (Myerson), deux faces du même mécanisme.
Modèle : un vendeur,$n$ acquéreurs aux valeurs privées i.i.d. $Uniforme[0,1]$ .
Résultats mesurés (9 cellules code, exécutées 9/9, 0 erreur, numpy CPU seedé) :
Le résultat central : le saut de revenu de la réserve de Myerson fond quand la compétition s'épaissit —$+25%$ ($n=2$ ) → $+6.25%$ ($n=3$ ) → $+0.78%$ ($n=5$ ) → $+0.06%$ ($n=8$ ) → $\approx 0$ ($n=12$ ). Concevoir une réserve est un levier quand le marché est mince, pas quand il est saturé.
3 exercices C.1 (sans erreur volontaire) : la réserve pour une autre distribution ($F(v)=v^2$ ), le paiement d'un gagnant dans un ordre 2 à réserve, et le $n$ où le saut passe sous $1%$ .
Périmètre
3 fichiers : le carnet 16k (904 ins, 26 cellules) + la ligne 16k ajoutée à la table de la sous-série (pas à la ligne de navigation 139), plus le chaînage de navigation ajouté par la réparation du c.2230 — 2 lignes dans le carnet 16c (barre de navigation miroir et lien avant vers 16k), qui lèvent l'orphan_entry signalé par check_notebook_nav_chain.
Note README (anti-collision) : la ligne de navigation 139 est touchée par les PRs 16i (#21847) et 16j (#21906) — une insertion 3-voix au même point. J'ai ajouté 16k à la table par notebook (où vit déjà 16g, absent de la ligne de nav) : même convention, zéro conflit avec 16i/16j.
SOTA : carnet de pédagogie mathématique — l'organe est le calcul exact numpy (CPU seul) + Monte-Carlo seedé, c'est sa vraie sortie ; aucun outil externe dégradable, aucun workaround.
🤖 Generated with Claude Code