Lace examples

First interlace runnable companions

This directory contains the JavaScript, Python, and Rust programs for the first interlace tutorial. Every program loads the same Interlang policy, creates the same selected and unrelated records, runs two memory-backed participants to a fixed point, and verifies the same destination views.

The tutorial explains the runtime and policy responsibilities. These companions keep each binding’s complete code easy to run and copy.

JavaScript

Build the source-checkout bundle, then run:

rustup target add wasm32-unknown-unknown
npm --prefix js/crates/lace-js run build
node examples/first-interlace/js/first-interlace.mjs

Python

Build the repository-local extension in its uv environment, then run:

uv --directory python sync --extra test
uv --directory python run maturin develop
uv --directory python run python ../examples/first-interlace/python/first_interlace.py

Rust

cargo run --manifest-path examples/first-interlace/Cargo.toml

Each program prints:

source stored: 3
interlace outcome: complete
destination selected: selected/one, selected/two
destination unrelated: 0