Rust Core Runbook

Compile Capkin:

cargo run -p cap-cli --bin capkin -- compile --file tests/bdd/features/protocol/capkin-dex-compliance.feature

Run the local trace:

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

Run the HTTP server:

cargo run -p cap-cli --bin cap -- serve

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

Quality:

cargo test --workspace
cargo clippy --workspace --all-targets -- -D warnings

Rust Core Runbook

Rust Core Runbook

On this page