Candidate workspace / Learn
All systems operationalSign in
You are browsing as a guest. Sign in with GitHub to save progress.Sign in
PRACTICE / LABS

Proof is built in the lab.

Open a lab, run the runtime on this page, then verify. The server checks the value.

LABS PASSED0 / 10
LAB 01GRADED

Mount a Knowledge Image

Load a signed artifact and inspect its runtime identity before querying it.

FoundationalModule 03 14 min
Runtime · Artifacts
LAB 02GRADED

Build a v4 pack

Build a v4 pack from the source and submit the SHA-256 of the pack bytes.

FoundationalModule 02 20 min
Artifacts · Build
LAB 03GRADED

Query Deterministically

Compare retrieval outputs and pin the context that produced a result.

IntermediateModule 04 22 min
Retrieval · Receipts
LAB 04GRADED

Trace Runtime Boundaries

Follow a request across retrieval, policy, and execution boundaries.

IntermediateModule 06 24 min
Runtime · Policy
LAB 05GRADED

Verify a Knowledge Image

Inspect a digest, state root, and receipt to verify a mounted artifact.

IntermediateModule 07 18 min
Verification · Provenance
LAB 06GRADED

Replay a Query Receipt

Reproduce a deterministic query from the evidence captured at runtime.

AdvancedModule 07 28 min
Receipts · Retrieval
LAB 07GRADED

Inspect Provenance

Follow source evidence through build metadata and into a runtime response.

IntermediateModule 07 19 min
Provenance · Verification
LAB 08GRADED

Ship a Trust Boundary

Define which parts of a knowledge system are verified, attested, or external.

AdvancedModule 09 31 min
Policy · Shipping
LAB 09GRADED

Model Authority

Make authority explicit in an integration without hiding it in pack metadata.

AdvancedModule 08 26 min
Authority · Policy
LAB 10PRACTICE

Ship the System

Assemble a verifiable runtime integration and produce a final proof bundle.

AdvancedModule 09 38 min
Integration · Verification