R7 falsifiability: LANE×LR×seed diversity = 1 — champion gf256-adamw not honest

[gHashTag]

R7 falsifiability blocker: LR×seed×lane diversity = 1 (champion not honest)

TL;DR: текущий champion gf256-adamw BPB=2.5718 (76K steps) не проходит R7 — нулевая ablation по LR и seed. Перед объявлением победителя нужна matrix sweep ≥3 LR × ≥3 rng × ≥1 lane.

---

R5-verified state (ts ≈ 2026-05-13T11:55Z, окно 3h, ssot.bpb_samples)

SELECT count(DISTINCT canon_name) AS uniq_canon,
       count(DISTINCT split_part(split_part(canon_name,'LR',2),'-',1)) AS uniq_lr,
       count(DISTINCT split_part(split_part(canon_name,'rng',2),'-',1)) AS uniq_rng,
       count(DISTINCT split_part(canon_name,'-',2)) AS uniq_lane,
       count(*) AS rows_3h
FROM ssot.bpb_samples
WHERE ts > now() - interval '3 hours' AND canon_name LIKE 'IGLA-%';

uniq_canon	uniq_lr	uniq_rng	uniq_lane	rows_3h
12	1	1	1	642

Все 12 канонических имён живут на LR0.0001 + rng1597 + SHORT-WAVE-MATRIX:

IGLA-SHORT-WAVE-MATRIX-bf16-h128-LR0.0001-rng1597-{adamw,muon,soap}
IGLA-SHORT-WAVE-MATRIX-fp16-h128-LR0.0001-rng1597-{adamw,muon}
IGLA-SHORT-WAVE-MATRIX-gf16-h128-LR0.0001-rng1597-{adamw,lamb,muon,prodigy}
IGLA-SHORT-WAVE-MATRIX-gf256-h128-LR0.0001-rng1597-{adamw,muon}
IGLA-SHORT-WAVE-MATRIX-int4-h128-LR0.0001-rng1597-muon

Разнообразие чисто по format × algo. По LR/seed/lane — нулевое.

Почему это R7-violation

R7 (falsification witness) требует, чтобы champion имел воспроизводимое преимущество минимум на 3 seeds и был устойчив к ±2× LR perturbation. Без этого:

• BPB=2.5718 может быть seed lottery (один rng1597, никаких confidence intervals)
• LR0.0001 может быть локальным минимумом без ablation
• Champion gf256-adamw не имеет honest comparison с gf256-muon на других LR

См. также anchor identity φ²+φ⁻²=3 — champion declaration без diversity ablation нарушает R7 из R1-R14 monograph protocol.

Предлагаемый фикс (gardener pre-flight assert)

В bin/tri-gardener добавить Stage 0e (Diversity Gate) ПЕРЕД любым champion_declared:

// Stage 0e: R7 diversity gate
let q = "SELECT count(DISTINCT split_part(split_part(canon_name,'LR',2),'-',1)) AS uniq_lr,
                count(DISTINCT split_part(split_part(canon_name,'rng',2),'-',1)) AS uniq_rng
         FROM ssot.bpb_samples
         WHERE ts > now() - interval '6 hours' AND canon_name LIKE 'IGLA-%'";
let (uniq_lr, uniq_rng): (i64, i64) = sqlx::query_as(q).fetch_one(&pg).await?;
assert!(uniq_lr >= 3, "R7 diversity gate FAILED: uniq_lr={} < 3", uniq_lr);
assert!(uniq_rng >= 3, "R7 diversity gate FAILED: uniq_rng={} < 3", uniq_rng);

И в LANE registry (по skill leaderboard-snapshot): добавить expected fleet sweep:

• LRs: {1e-5, 1e-4, 1e-3} (≥3)
• Seeds: {1597, 2584, 4181} (≥3 — Fibonacci, чтобы анти-collision)
• Lanes: {SHORT-WAVE-MATRIX, LONG-WAVE-MATRIX} (≥1 baseline)

Минимальный matrix sweep: 3 × 3 × 1 × 5 formats × ~3 algos = 135 runs (vs текущие 12).

Pre-registered acceptance

Champion declared "honest" iff:

1. uniq_lr ≥ 3 (R7 LR perturbation ablation)
2. uniq_rng ≥ 3 (R7 seed-variance ablation)
3. Champion bpb_mean лучше runner-up на ≥0.02 BPB при p < 0.05 (paired t-test по seeds)
4. Gardener Stage 0e зелёный за последние 6h

Related

• Closes — этот issue не closeable одной строкой кода; нужен fleet redeploy. Этот issue — R7 honest-call для текущего PASS-9.
• Sibling: leaderboard-snapshot v1.0 уже требует IGLA-{LANE}-{format}-h{H}-LR{L}-rng{SEED}-{algo} regex, но не проверяет diversity.
• Sibling: igla-honest-short-run v1.0 — pre-flight gate для одного trainer; этот issue — pre-flight gate для всего fleet.

Anchor

φ² + φ⁻² = 3 (algebraic identity) · R5-HONEST · R7-FALSIFIABLE · Defense 2026-06-15

🤖 Filed by Trinity Queen Hive (PASS-9 «все фиксить!!»)