Learn the public denominator · fair clock
F1_seal
Sealed stock AdamW · Clock-W · first-passage T = 3.866 h · sole public ΔT% denom
F1_seal is the sealed stock AdamW baseline on workspace
Clock-W. It first-crosses val_disjoint ≤ 3.3821 at
step 4736 with published T = 3.866 h.
Every published candidate ΔT% uses this number as the denominator.
It is not the Muon claim candidate, not historical notebook F1, and
not an official NoCap win.
FAIR_CLOCK NUMBERS_CANON GLOSSARY · F1_seal data/f1_seal.csv intro
Definition
Speed on this site means first-passage train time: wall clock at the first logged step where official val hits the quality bar. F1_seal freezes that clock for stock AdamW.
Public denominator F1_seal
Recipe: stock AdamW · raw FineWeb · zloss 0 · no prior/EMA
Workspace: Clock-W · GPU: A100-SXM4-40GB · torch 2.13.0+cu130
First-cross @ step 4736 · val 3.381538
train_time_ms = 13,918,667.5 → T = 3.866 h (publish)
Exact hours from CSV: 13,918,667.5 ÷ 3.6×106 = 3.866297; published rounding is
3.866. Source: results/f1_seal/SUMMARY.md /
data/f1_seal.csv.
What first-passage is
Train on a fixed pin. Log val_disjoint on schedule (claim-stack: every 128 steps).
Find the first row with val_disjoint ≤ 3.3821.
Read train_time_ms there → hours. That is T. Include compile warmup.
Predict · Is F1_seal the Muon claim candidate?
No. F1_seal is sealed stock AdamW on Clock-W. Candidates live on Claim-W* and publish ΔT% against this denom.
Loading F1_seal curve from data/chart_series.json…
1 · Gate
Horizontal bar: first row with val_disjoint ≤ 3.3821.
2 · Clock
Read train_time_ms there → T_h. Sealed denom = 3.866 h.
3 · Cross
F1_seal first-cross @4736 freezes the public ΔT% yardstick (not terminal val alone).
Figure · Schematic. Sealed F1_seal cross is @4736; candidates on claim-stack also cross @4736 where sealed.
What F1_seal freezes
A seal writes SUMMARY + CSV so the denominator cannot drift under later stories. F1_seal locks stock AdamW on Clock-W — not Muon, not split-QKV, not a candidate arm.
T published
3.866 h
Cross step
4736
Workspace
Clock-W
Optimizer
AdamW stock
Optional same-workspace AdamW check: F1_Claim-W2 = 3.858 h (~+0.2% vs F1_seal). Useful for seed-2029 ratios — not a replacement public denom.
How candidate % uses it
For a candidate first-cross time TM, published percent is always against F1_seal:
Formula Public ΔT%
ΔT% = 100 × (3.866 − TM) / 3.866
Positive = fewer hours to the bar (faster)
Noise floor ~6% single-seed: |ΔT%| below that is not published as a win. Full sealed table: NUMBERS_CANON.
| Arm | T (h) | ΔT% vs F1_seal | Note |
|---|---|---|---|
| F1_seal (denom) | 3.866 | — | AdamW · Clock-W · @4736 |
| Cand seed 1337 | 3.553 | +8.1% | Muon B32 + timing-cheap split |
| Cand seed 2029 | 3.567 | +7.7% | same recipe |
| Cand seed 4242 | 3.511 | +9.2% | same recipe · no stock arm |
| Mean (3 seeds) | ≈3.544 | ≈+8.3% | public headline aggregate |
Worked digits from NUMBERS_CANON. Example: seed 1337 → 100 × (3.866 − 3.553) / 3.866 ≈ +8.1%. Multi-seed seal: seeds-explained.html.
fair-clock-explained.html — this page + FAIR_CLOCK cover the denom).
Hard non-claims
F1_seal is a measurement yardstick. Treat these as hard stops — not soft hedges.
F1_seal is stock AdamW. The claim arm is Muon + B32 + timing-cheap split on Claim-W*.
~229.1 min provisional; torch unlogged. Never use for published %. Only sealed 3.866 h.
Local seals ≠ organizer acceptance. Language stays under-baseline vs F1_seal — not an official NoCap win.
Joint-QKV Muon stock missed the bar on 1337/2029; 4242 had no stock arm → matched first-cross % = N/A.
800-step proxies rank only. Sliding/EMA and terminal CE alone do not define published speed.
Read next
- FAIR_CLOCK — speed rules, under-claiming, non-claims
- NUMBERS_CANON — sealed T / ΔT% table
- seeds-explained.html — 3/3 multi-seed seal bar
- GLOSSARY · F1_seal
- intro.html — stranger-facing summary
- kill-bank-seal-explained.html — process until 3/3 vs F1_seal
- b32-systems-explained.html · split-qkv-explained.html · qkv-explained.html
- muon-explained.html — candidate optimizer (not the denom)
- not-claimed-explained.html — hard non-claims pedagogy
- report.html — sealed claim writeup
- DOCS_INDEX