Model admission and verifiable computation

Local files. Inspectable decisions.

Published records

Select a record, then inspect its components.

Verify your own receipt

Model release

Published example

Loading the published record.

The explorer reads published records. Signature verification and behavioral replay run in their respective tools.

Methods and evidence

Workspaces

Gate
Evaluate and admit a model
Open CKODMK
Lights Out
Execute and independently replay
Inspect execution evidence
Power House
Inspect identity and lineage
Open the research instruments