01
Rust and static contract checks
The source tree includes Rust tests for runtime and packer behavior, plus a mini browser harness that checks expected static IDs, local-only markers, route presence, manifest sidecars, and WASM export contracts before deeper automation.
- cargo test --workspace
- tinyrustlm-browser-harness
- Static app contract checks
- WASM export set checks
02
Browser smoke modes
Headless browser tests prove normal and failure behavior: malformed model rejection, missing model handling, context overflow, step-token flow, adapter-sidecar application, selector registry routing, module-plan drift rejection, runtime-manifest drift, combined selector assembly, and performance soak.
- adapter-sidecar-registry-file
- combined-selector-assembly
- runtime-manifest-drift
- step-token
- performance soak
03
Determinism
Deterministic validation matters because tiny runtime changes can create divergent token sequences. The project avoids relaxed nondeterministic assumptions where proof requires replayability and keeps stochastic behavior bounded by fixed buffers and explicit seed paths.
- No relaxed SIMD for proof paths
- Seeded sampling
- Fixed candidate cap
- Drift tests stop before fetch or apply