Tyapkin Knowledge Base

Tyapkin строится как docs-first реализация CAP + Capkin и как отдельный Kiskin Expedition contour:

CAP is a cryptographic multi-principal state machine.
Capkin is the readable Gherkin-compatible notation and compiler layer.
@kiskin/tyapkin-* is the product package namespace.

Tyapkin — протокольный слой. Allium by 11F36 — отдельный продукт для сборки приложений из слоёв поверх Tyapkin. Его локальный checkout содержит aggregation packages, builder, coffee UI и host. Граница и ограничения описаны в решении Tyapkin и Allium. Правило малого обязательного ядра и подключаемых возможностей изложено в границе расширений. Текущие реестры, тесты и покрытие ProCoffee собраны в датированном срезе Allium. Исполняемый opt-in срез generic evidence/effect ports и оставшиеся пробелы разобраны в CAP kernel: evidence и эффекты.

Первый продуктовый интерфейс - эта Fumadocs/Markdown база знаний. Client-facing сайт и внешний developer portal будут отдельным следующим этапом.

Current MVP

Главный vertical slice:

Capkin source
  -> compiler
  -> CAP IR / protobuf contracts
  -> Rust runtime
  -> SQLite trace_commitments
  -> trace projection
  -> Solana-local anchor
  -> proof verification

Главный сценарий: DEX + compliance.

Исполняемый Capkin использует закрытый словарь шагов. В базовом machine-v1 заголовки Feature и Scenario — машинный и реестровый ID. Опциональный feature-module-v1 допускает человеческий заголовок Feature и несколько Scenario, собираемых в обычные CAP Machine. Proof-шаг компилируется в типизированное требование.

Исторические coffee/printing сценарии и совместимые readers находятся в Allium. Tyapkin сохраняет нейтральные protocol conformance cases.

DEX commits SwapInput
Compliance evaluates KycAndRiskPolicy
Machine transitions Requested -> Approved
DEX commits SwapExecutionOutput
Trace proof verifies every commitment

Первое знакомство

Клиентское руководство объясняет пользу, варианты применения, механику и первый запуск. Те же Markdown материалы доступны в общей базе.

Start Here

• /docs/capkin/language
• /docs/capkin/compiler
• /docs/capkin/federation — локальные opt-in imports, type extension, federation, Flow и protobuf binding; статус каждого среза указан на странице.
• /docs/architecture/expedition
• /docs/knowledge — Git-owned проектные знания и разделённый граф Boilerplate 0.14.0.
• /docs/knowledge/graph — code и knowledge graph, source bridges и границы доказательств.
• /docs/runbooks/kiskin-registry-registration — проектные декларации, граница Program Registry и подключённый Boilerplate 0.14.0.
• /docs/architecture/kiskin-scope-code
• /docs/architecture/tyapkin-allium-boundary
• /docs/architecture/small-core-extensions
• /docs/architecture/allium-procoffee-status
• /docs/runtime/kernel-vnext
• /docs/contracts/protobuf
• /docs/runtime/rust-core
• /docs/demo/dex-compliance
• /docs/runbooks/docker-local
• /docs/runbooks/tyapkin-consumer-bundle — независимый Tyapkin artifact и локальная граница Feature release v4 в Allium.
• /docs/runbooks/tyapkin-techdocs-export — checked documentation snapshot и опциональный TechDocs source bundle.
• /docs/quality/test-registry

Local Commands

cargo run -p cap-cli --bin capkin -- compile --file tests/bdd/features/protocol/capkin-dex-compliance.feature
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
pnpm docker:local:demo

Core Vocabulary

Machine
Principal
Capability
State
Input
Guard
Transition
Output
Commitment
Trace

The previous technical MVP vocabulary was removed from runtime contracts in the breaking rewrite. Historical business words may appear only in migration notes.