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.
2 of 2 shown
Mineable — Specs registered on-chain with active benchmark pools. A solution cert against these earns PWM.
| Spec ID | Title | Parent Principle | Type | d_spec | Status |
|---|---|---|---|---|---|
| L2-003 | CASSI Mismatch-Only Spec (KAIST benchmark family) | L1-003 | mismatch_only | 0.45 | ★ Founder-vetted |
| L2-004 | CACTI Mismatch-Only Spec (standard SCI video benchmark family) | L1-004 | mismatch_only | 0.45 | ★ Founder-vetted |
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.