CATHEDRAL-PROTOCOL · Relay
Independent verification
Origin does not grade itself. Relay holds frozen specs and grades pure WebAssembly against published, randomized, and held-out cases. Caller-supplied properties are rejected.
registry…downstream…
Public specs
From GET /specs — public contract only. Held-out cases are never listed.
Loading specs…
Grade demo
Runs a known-good add(i32,i32)→i32 module against wasm.add.i32.v1 on the server. You never paste a token.