Rust Core

crates/protocol-core owns the deterministic CAP state machine.

Новая чистая граница CapIrV1 / decide / verify_trace, версии кодирования и границы доверия описаны в переносимой границе CAP. Существующий CLI/HTTP runtime пока использует старый интерфейс TraceMachine.

It validates:

• declared principals;
• capabilities;
• states;
• guards;
• transitions;
• outputs;
• ordered trace commitments.

crates/cap-cli is the local runtime:

cargo run -p cap-cli --bin cap -- run-contract
cargo run -p cap-cli --bin cap -- project-trace
cargo run -p cap-cli --bin cap -- verify-trace
cargo run -p cap-cli --bin cap -- demo-solana-local

Runtime HTTP endpoints:

POST /commit-capability
POST /commit-input
POST /evaluate-guard
POST /commit-transition
POST /commit-output
POST /run-contract
POST /project-trace
GET  /projection/trace
GET  /validate
POST /anchor/solana-local
GET  /proof/solana-local

SQLite stores trace_commitments, trace_projection, projection_cursors and chain_anchors.