Repository navigation
feat(iit,#7291): J1 -- banc S1 adoption polyconvictionnelle, verdict ALTERITE_BUDGET_NULLE - #19486
Conversation
…eur budget Module strate6_s1_adoption.py : alphabet fixe de 8 conventions (bijections lexicographiques, C1=identite), PolyAdoptionGame (48 agents, 32 epingles en blocs consecutifs, 16 flotteurs naifs), synthesize exact au 1/48 pres avec reservoir d'agents sans convention, anchor_state, effective_alterity (A=exp(H)), gate P0 (reproductions ICT-18b cell[5] et ICT-28 cell[5]), courbe B(r) par bras/seed via state_space_budget, sweep JSONL reprenable. Adaptateur make_step_fn : contrat du partage de closure -- l'organe itere un seul step_fn sur tous les echantillons, donc detection d'un nouveau point initial par comparaison a la derniere sortie (re-synthese par echantillon, avancee d'une fenetre sinon). Correctif du B=1.0 spurieux. Tests : 17 tests gates A-F, dont garde du contrat adaptateur (B<1.0 a gros rayon sur MONO, 0.75 mesure) et reproduction seed-exacte. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…ap, arbre ferme)
analyze_sweep : medianes par bras, r* (mediane + par seed, strict < 0.50,
jamais traverse -> None = >0.60), pentes H3 en fenetre COMMUNE ancoree sur
r*_MONO (lecture declaree : comparaison like-for-like, un COOP8 sans
traverse reste mesurable), Kendall tau scipy, bootstrap 10k sur les seeds
(IC 95 des grandeurs pivots), arbre de decision dans l'ordre pre-registre
(P0 -> H5 -> H1-H4) avec traitement declare des cas non specifies.
Amendement pre-reg H4 (c.6010593089, AVANT deblinbage) : la bande
originale tau < 0 contredisait H2 (r*_MONO < r*_COOP8 => association
positive) et son propre gloss ; bande corrigee tau in {+1/3 ; +1},
refute par {-1/3 ; -1}.
Tests Gate G : 3 verdicts synthetiques calculles a la main (REALLE sur
curves en bandes, NON_DISCRIMINANT sur A(2) hors bande, INCOMPLET sous
20 seeds/bras). Suite : 20 passed.
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
… ALTERITE_BUDGET_NULLE
Sweep complet (4 bras x 20 seeds, 5h18 de run), analyse aux bandes
pre-registrees : H1 refutee (deltaB median 0.0, IC95 [-0.075, 0.0]),
H2 refutee (r*_MONO > 0.60 jamais traverse -- l'inverse de la prediction,
tous les k>1 s'effondrent a r*=0.15), H3 non calculable (fenetre commune
absente), H4 refutee (tau = -0.707), H5 ok (instrument valide 20/20 x 4).
Scan de consigne {0.05, 0.20} : la structure ordinale du verdict tient
aux trois consignes. Agrégat falsifiable 6.1 KB.
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
github-actions
Bot
added
the
large-pr-no-review
|
Cette PR depasse le seuil de couverture review (par defaut 300 additions) et n'a recu aucune review -- ni bot, ni humaine. Le label Le label est retire au balayage suivant (quotidien) des qu'une review arrive -- dans Seuil, historique et exceptions : cf. |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS — fond vérifié indépendamment, un seul défaut bloquant (ligne prev: du body, pas le code)
Vérifié au head fbe71010 :
- Code lu intégralement (856 l.,
strate6_s1_adoption.py) : alphabet de conventions déterministe et injectif, bancPolyAdoptionGame(32 épinglés en blocs + 16 flotteurs),synthesizeglouton exact au 1/48 avec réservoir des agents -1, adaptateurmake_step_fndont le contrat nouveau-point/rebouclage (détectionallclose1e-9) est documenté y compris son cas limite, analyse aux bandes pré-registrées H1-H5 + bootstrap 10k + arbre fermé. Scan sécurité clean (aucun motif). - Recalcul indépendant depuis le JSONL committé (80 runs, 4 bras × 20 seeds, consigne 0.10) : toutes les valeurs du body sont reproduites exactement — A médianes 1.0000/1.9991/4.0000/8.0000, courbes B médianes par bras (ex. MONO
[1.0, 1.0, 0.95, 0.775, 0.663, 0.587]), ΔB médian 0.0, direction 14/20, r* per-seed COOP8 = 0.15 uniforme, r*_MONO jamais traversé. Verdict ALTERITE_BUDGET_NULLE = négatif honnête, fidèle aux données committées. - 20 tests (gates A-G) embarqués avec valeurs attendues ; « ICT ict/tests/ (65 package) » VERT au head — le checkout couvre bien les fichiers testés.
- Scan de consigne (40 runs à {0.05, 0.20}) présent ; structure ordinale du verdict tenue aux trois consignes.
Défaut bloquant unique : prev: MED/repair #19189 pointe vers une PR abandonnée (CLOSED unmerged — vérifié firsthand). La garde prev-invariant (#13475) échoue : « Require prev: non-closing » ROUGE, et « PR gate » ROUGE en cascade. Correction = 1 ligne du body : pointer prev: vers une PR de la même lane myia-po-2027:CoursIA merged ou encore ouverte (ex. #19449, merged aujourd'hui, même série ICT) — ex. prev: DEEP/docs-iit #19449. Aucun changement de code requis.
Le fond est prêt ; ce point corrigé, la PR est mergeable de mon point de vue.
[Hermes hermes-pr-review, cycle :13 06/10, host f6be46d1b7a3, sig=0f63accb]
|
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 |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
|
Réponse à la réserve d'Hermes ( |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Levée tierce de la réserve de clusterManager-Myia (Hermes, CHANGES_REQUESTED du 2026-10-06T13:27Z, ligne prev: vers une PR fermée), vérifiée à la tête fbe7101098.
prev: vers une PR abandonnée : levée. Le body pointe maintenant vers #19471, une PR ouverte de la même lane myia-po-2027:CoursIA. La garde s'en satisfait : PR gate est success à la tête (14:49Z), et Always-on guards est success à 13:52Z ; le rouge de 12:39Z est supersédé. Hermes avait vérifié le fond indépendamment (code, recalcul depuis le JSONL, 20 tests) et posait ce seul point comme bloquant. Aucun commit depuis sa review.
Remarque pour la lane, sans effet sur cette levée : la ligne annonce prev: DEEP/lean #19471, alors que #19471 porte le tag MED/readme. Aligner le libellé sur le tag réel de #19471, pour que le protocole de variation lise la bonne alternance.
|
[ADJOINT PREFLIGHT] Preuves et portéeDossier régénéré depuis les surfaces actuelles avec les organes épinglés à origin/main a9c09ef. Tête inchangée ; relevé principal OPEN, MERGEABLE, CLEAN. Lecture intégrale du body, des quatre commentaires, des deux reviews et du diff ; aucun thread inline. La review Hermes du 2026-10-06T13:27:07Z conserve son état CHANGES_REQUESTED. Son unique réserve sur la référence prev est levée nominativement par myia-ai-01 dans sa review APPROVED du 2026-10-06T22:20:58Z à cette tête. Le libellé prev est maintenant MED/readme #19471. B.0 rc=0 ; le commentaire d'auteur non classé a été lu, il n'est pas pris pour une levée tierce. Checks : filter=all, pagination, dernier (started_at, id) par nom ; 58 runs, 25 noms, aucune jambe en cours. PR gate success ; deux skips structurels admis par l'organe. Veto frozen_campaigns contrôlé séparément sur les surfaces réelles : None. Le mode derive seul ne constitue pas la preuve de ce veto. Domaine : cohérence interne code, pré-enregistrement et artefacts vérifiée, sans nouveau sweep ni reproduction par nous. Antériorité documentée par createdAt serveur et prose datée de l'amendement, non prouvée pour tous les runs : les JSONL ne portent pas d'horodatage. Le recalcul indépendant d'Hermes est rapporté par sa review, pas réalisé par nous. Verdict négatif ALTERITE_BUDGET_NULLE conservé. H1/H2/H4 réfutées, H3 NON_CALCULABLE, H5 OK. MONO : seuil non franchi sur la grille observée jusqu'à r=0.50, B médian=0.5875 ; aucune mesure au-delà de 0.50. La convention pré-enregistrée >0.60 et le proxy ordinal 0.65 ne sont pas présentés comme des observations. L'adjoint atteste cette préparation ; décision de merge réservée à myia-ai-01. |
3 participants
Grain: DEEP/research-code — lane myia-po-2027:CoursIA — prev: MED/readme #19471
J1 du capstone strate 6 (#7291, spec c.5559274024) : pré-enregistrement + substrat S1 « adoption polyconvictionnelle » — banc, sweep 4 bras × 20 seeds, analyse aux bandes pré-registrées, verdict nommé.
Pré-enregistrement (clause 4, patron #14880) : c.6007595872, posté AVANT tout run. Amendement H4 : c.6010593089 (correction de signe AVANT déblindage — la bande τ<0 contredisait H2 et son propre gloss ; corrigée τ∈{+1/3;+1}).
Gate P0 (avant toute mesure neuve — vérifié par
run_sweepavant la première écriture JSONL)pytest ict/tests/test_strate6_s1_adoption.py→ 20 passed (valeurs attendues embarquées des deux instruments + 3 verdicts synthétiques de l'arbre de décision).budget_curvedes outputs ICT-18b, cellule [5] : rng=0 → B_stable=1.000, B_lost=0.000, B_work sym=0.0000, cycle=1.5000 — exact à 1e-6.AdoptionGame.traindes outputs ICT-28, cellule [5] :critical_threshold_test(24,3,n_seeds=3,seed=0)→ 0.000/1.000/0.472/0.425 (max_jump=0.4722, rho_c=0.425), tolérance 5e-4 — conforme.Ce que porte la PR
ict/strate6_s1_adoption.py: alphabet fixe de 8 conventions (bijections lexicographiques, C1=identité),PolyAdoptionGame(48 agents : 32 épinglés en blocs par convention active + 16 flotteurs naïfs, noyau Roth-Erev d'ict.collective_adoptionrepris tel quel),synthesizeexact au 1/48 avec réservoir,anchor_state,effective_alterity(A=exp(H)),make_step_fn(adaptateur détection de nouveau point initial — le contrat de closure partagée de l'organe multi-échantillons),s1_seed_curve,run_sweep(JSONL reprenable),analyze_sweep(bandes H1-H5 + bootstrap 10k + arbre fermé).ict/tests/test_strate6_s1_adoption.py: 20 tests, gates A-G.scripts/results/strate6_s1_sweep.jsonl(80 runs, 27 Ko) +scripts/results/strate6_s1_consigne_scan.jsonl(40 runs, 14 Ko) +scripts/results/strate6_s1_aggregate.json(6,1 Ko) : séries complètes + agrégat falsifiable.Résultats — verdict : ALTERITE_BUDGET_NULLE (négatif honnête)
Sweep 80/80 (4 bras × 20 seeds), rayons r ∈ {0.05, 0.10, 0.15, 0.25, 0.35, 0.50}, consigne principale 0.10. Courbes B médianes par bras :
null; B(0.50)=0.587 ≥ seuil 0.50)Hypothèses pré-enregistrées (bande → mesure → compte par seed) :
null— le seuil n'est pas franchi sur la grille observée, qui s'arrête à r=0.50 (B=0.587 ≥ 0.50) ; 3/20 seeds dans la bande seulement ; séparation exigée absente. C'est l'inverse de la prédiction : le bras mono-convention survit sur toute la grille observée (jusqu'à r=0.50), tous les bras k>1 s'effondrent à 0.15.IC95 bootstrap (10 000 resamples sur les seeds) : A par bras [1,1] / [1.9991, 2.0] / [3.9946, 4.0] / [8, 8] ; B_COOP8(0.05) [1.0, 1.0] ; B_MONO(0.05) [0.925, 1.0] ; ΔB [−0.075, 0.0].
Lecture : le budget d'altérité est nul. Multiplier les conventions actives (k=1→8, A=exp(H) multiplié par ~8) n'achète aucune robustesse supplémentaire de la convention face à la dérive des flotteurs naïfs — r* reste cloué à 0.15 pour tout k>1, et le régime mono-convention survit le plus loin. L'altérité portée par l'ancre ne se convertit pas en durée de vie de la convention sur ce substrat.
Scan de consigne (limite 1 de la clause 1)
Consignes {0.05 ; 0.20} × 4 bras × 5 seeds (trajectoires seedées identiques à la mesure principale, seul le critère de succès change). La structure ordinale du verdict — MONO survivant, tous les k>1 effondrés — tient aux trois consignes : à 0.05, B_MONO médiane reste [0.975 … 0.425] quand les k>1 tombent à [0.6 … 0.0] ; à 0.20, MONO garde [1.0 … 0.8] et COOP8 [1.0 … 0.125]. Le verdict n'est pas un artefact du choix de consigne.
See #7291 · See #4588 · pré-reg c.6007595872 · amendement c.6010593089 · patron #14880 · leçon #14890
🤖 Generated with Claude Code