Quick start

Your first pattern#

P4:D(I<T,T)

Supply four distinct standard kinds. I must precede T and T must be present. < means earlier; > means later. Removing ,T also permits scopes containing I but no T.

Build the native tools#

Use Rust 1.85.0 and the committed Cargo.lock. Native libraries/CLI need no Python or Node at runtime. Node is used for npm consumers, documentation and some developer transport tests.

git clone https://github.com/daejunnom/Tessembly.git
cd Tessembly
cargo +1.85.0 build --locked --workspace
cargo +1.85.0 test --locked --workspace --all-targets

Core, text, relations and codec are separate libraries. Adopt document only when advanced declarations are needed. Conformance executables are not product runtime dependencies.

Check a compact file#

cargo run --locked -p tessembly-cli -- check --profile rfc3 examples/groups.tsm
cargo run --locked -p tessembly-cli -- format --profile rfc3 examples/groups.tsm

Compact fragments do not carry their semantic version, so specify the input profile. check validates syntax and provable local contradictions. NOT_CHECKED does not prove a satisfying queue or a PC solution.

Move to an advanced document#

tessembly "tessembly.rfc3.order.v1";
config {
    rule = seven_bag();
    start = boundary();
    see = view(next=5);
    hold = slot(initial=empty);
}
supply("P7");
draw(IN(1,3,T)&I<T,T);
use(I<T|!T);

cargo run --locked -p tessembly-cli -- doc-check examples/advanced/basic.tsmd
cargo run --locked -p tessembly-cli -- doc-encode examples/advanced/basic.tsmd basic.tsmb
cargo run --locked -p tessembly-cli -- doc-decode basic.tsmb restored.tsmd

IN inspects supply positions 1..3 and final T requires presence in the whole scope. Advanced documents store the profile, environment, supply and relationships. Validation is not a placement-success proof.