Traverse

Traverse is a contract-driven WebAssembly (WASM) runtime designed to enable portable and auditable business logic across diverse computing environments. It allows developers to define business capabilities as machine-readable contracts, which are then implemented in Rust, compiled to WASM, and executed identically on platforms such as browsers, edge devices, cloud infrastructure, and AI pipelines. This approach eliminates the need to rewrite logic for different environments, ensuring consistent behavior and simplifying maintenance.

The platform’s workflow centers on writing a contract in TOML format, specifying the capability name, the path to the WASM binary, and JSON Schema definitions for both inputs and outputs. Each contract is linked to a governing specification document, establishing a clear connection between business policy and executable logic. Once implemented, capabilities are registered with Traverse and can be invoked via the command-line interface, directly from applications, or by AI agents through the MCP stdio server. The runtime validates every call against the contract’s preconditions and postconditions, ensuring that only valid data is processed and that outputs conform to expected schemas.

Traverse enforces strong isolation by running each capability in its own Wasmtime WASM instance, with explicit control over host resource access. The system produces trace artifacts for every execution, recording inputs, outputs, contract versions, and timestamps, which supports comprehensive auditing and the ability to replay historical decisions. This makes Traverse particularly suitable for use cases where traceability and compliance are critical, such as pricing rules, eligibility checks, and regulatory logic. AI agents can safely interact with contract-governed capabilities, with guardrails that prevent them from exceeding contract boundaries or propagating invalid outputs.

Developers can get started by installing the CLI and following the provided quickstart and documentation resources. 0 license. The tool is maintained by Enrico Piovesan and is positioned as a solution for scenarios requiring reliable, portable, and auditable business logic execution across various deployment targets.