Specs
L2 — formal task definitions that sit between a physics Principle (L1) and an I-Benchmark (L3). Each spec fixes the forward operator E, domain Ω, tolerance ε_fn, and solver class.
0 of 0 shown
Mineable — Specs registered on-chain with active benchmark pools. A solution cert against these earns PWM.
No specs match this filter.
Specs are the L2 layer of the 4-layer PWM hierarchy: Principles (L1) → Specs (L2) → Benchmarks (L3) → Certs (L4). Each spec fixes one forward operator & domain range; I-Benchmarks instantiate specific datasets within that range.