Proof matrix

Every row is a signed proof of a real run.

A standard that says it runs everywhere has to show it. Each row below is a SignedProofCell: an Ed25519 signature over the canonical form of a run, naming the attestation and energy receipt that run produced — and the attestation itself verifies. The signature binds the cell's contents and the run it references; it does not, by itself, prove the host's OS or cloud, which are recorded as the operator ran them. What a host cannot demonstrate is marked unavailable, never faked.

This published matrix is signed with the project's development key, so it is operator-asserted: re-verify it yourself with the command below rather than trusting this page. An operator running the harness in production signs with their own key.

● verifying signatures in your browser…