Быстрый старт

Проверьте первый сценарий

Первый шаг — локальная компиляция готового 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 — запуск, хранение и проверка истории.
• Граница малого ядра — что обязательно, а что подключается отдельно.