Проверьте первый сценарий
Первый шаг — локальная компиляция готового Feature. Для этого нужен checkout Тяпкина и Rust toolchain. Команды ниже выполняются из корня репозитория. Для приложения документации отдельно используются Node25 и pnpm10.15.1.
1. Откройте готовый пример
Начните с tests/bdd/features/protocol/capkin-dex-compliance.feature.
В нём участник подаёт Input, другой участник проверяет Guard, после чего
разрешается переход и Output. Предметный пример не добавляет бизнес-термины
в ядро протокола.
2. Скомпилируйте контракт
cargo run -p cap-cli --bin capkin -- compile \
--file tests/bdd/features/protocol/capkin-dex-compliance.featureКоманда возвращает проверенное представление контракта. Здесь важно увидеть
Machine ComplianceGatedSwap, вход SwapInput и переход Requested → Approved.
Это компиляция: она не выполняет внешний обмен или иной эффект.
3. Проверьте решение и историю
Для локального первого vertical slice выполните:
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Команды используют локальный demo runtime и сохраняемую Trace. Детали его параметров, SQLite и результат проверки описаны в пошаговом примере.
4. Замените пример своей задачей
Выберите одну Machine и один переход. Опишите успешный случай, отсутствие полномочия и невыполненный Guard. Начните с малого набора входов, для которого команда может проверить ожидаемые результаты вручную.
Для нескольких самостоятельных сценариев одной Machine используйте Feature profile. Для встраивания Rust API в отдельный host — consumer bundle с точным pin и conformance-проверкой.
Что дальше
- Язык Capkin — синтаксис и правила компилятора.
- Rust runtime — запуск, хранение и проверка истории.
- Граница малого ядра — что обязательно, а что подключается отдельно.