Verifiable compute · sibling to World Models shoe

Riemannian Parametric Marketplace

Spec a workload, run verification (MiraBench, Lean 4, or curvature routing), and read a WAL-shaped receipt. Routing uses Riemannian spectral graph framing; settlement on this surface is promotional XP only.

Honest status: Sandbox only — receipts are simulated economics (membrane_class: sandbox). No wallet, no USD charge, no tradable token on this page. Promotional XP caps mirror how tenant workloads will meter after epoch verification.

Routing
Spectral curvature
Forman–Ricci paths on the workload graph
Robotics ground truth
MiraBench L1–L3
Physics, action alignment, failure preservation
Math kernel
Lean 4
Deterministic proof check (demo payloads)
Foundation share
20% (policy)
Chokepoint parameter in full network settlement — not charged here

Workbench

Choose a lane → configure → Run verification. Receipt streams on the right.

Workload SpecificationREADY
L1: Physics (R² ≥ 0.85)
→
L2: Action Cosine (≥ 0.70)
→
L3: Failure Preservation

Scores come from a recorded sample trajectory, not a live robot run.

Promotional XP cap (this run):10.0 XP (promotional cap)
Foundation allocation (20% policy):2.0 XP (foundation policy stub)

Cap is shown before you run verification. Metered XP on the receipt is simulated — not a wallet debit.

Receipt
🌐

Configure parameters and click Run verification.

WAL-shaped sandbox receipt appears here after the run.
Riemannian Parametric Marketplace (RPM) | SKENAI