Foundation

CAP is a cryptographic multi-principal state machine.
Capkin is the readable Gherkin-compatible notation and compiler layer.

Core vocabulary:

Machine
Principal
Capability
State
Input
Guard
Transition
Output
Commitment
Trace

The first MVP proves one vertical slice:

Capkin source
  -> compiler
  -> MachineContract
  -> Rust runtime
  -> TraceCommitment
  -> TraceProjection
  -> TraceProof

The flagship scenario is DEX + compliance. Product semantics stay outside the core and live in Capkin contracts, fixtures and extensions.