Tooling & SDKs

Native bindings for bounded host languages.

Author bounded logic in Rust, Node/TS, and Python before certification.

Execution Layers

Bind directly to proof state.

SDKs expose boundaries inside host-language workflows.

Rust & Native Core

Native authoring without boundary drift.

Each runtime gets one statement, one command, one action.

native performance

Rust

Author core circuits near the executor.

Node/TS

Gate web, edge, and agent workflows.

Python

Connect AI pipelines to bounded review.

Rust

Node

TypeScript

Python

Unified API

Consistent logic across the fleet.

Keep policy logic aligned across host languages.

omni-channel safety

Python SDK

AI workflow review.

TypeScript SDK

Web and edge policy gates.

Rust SDK

Native circuit authoring.

SDKs model boundaries; compiler and Platform carry certification state.

Choose a stack and formalize the boundary.