Проверяемые правила для вашего продукта
Кто может принять заявку? При каких условиях её можно передать дальше? Что произошло и почему? Когда эти ответы спрятаны в разных сервисах, систему сложно объяснить и проверить.
Тяпкин связывает сценарий, решение и его историю. Вы описываете допустимое поведение на Capkin. Компилятор проверяет описание, а CAP принимает решение по заданным правилам и формирует проверяемую Trace.
Что вы получаете
- Общий язык для команды. Сценарии помогают обсуждать правила с разработчиками, тестировщиками и владельцем процесса.
- Явные условия действия. Principal, Capability и Guard определяют, кто и при каких условиях может изменить State.
- Проверяемую историю. Commitment и Trace позволяют проверить последовательность решений относительно выбранного контракта и доверенного checkpoint.
Маленькое ядро. Ваш продукт вокруг него.
Тяпкин отвечает за контракт поведения, детерминированное решение и проверку Trace. Ваше приложение хранит предметные данные, выбирает доверенные источники фактов и выполняет внешние действия.
Output — намерение выполнить действие. Отправку сообщения, платёж или движение робота подтверждает приложение либо адаптер своим результатом.
Для одной Machine не нужны Flow, protobuf, Backstage или Allium. Дополнительные возможности подключаются по мере необходимости.
Выберите, с чего начать
- Найдите свой сценарий — сборка приложений, разработка от сценариев или управляемые действия агента.
- Разберитесь в механике — один Input, понятные условия, новый State и Trace.
- Проверьте первый контракт — локальная компиляция готового примера.
На каком этапе проект
Доступны локальные compiler/runtime, проверка Trace и набор воспроизводимых сценариев. Начать стоит с небольшого прототипа и собственных положительных и отрицательных примеров. Публичный managed service и универсальный production SDK этим руководством не заявляются.
Технические детали — в справочнике CAP + Capkin.