# Testing and Verification

> TinyRustLM is tested through Rust unit tests, no-crate browser harness checks, WASM ABI smoke tests, browser smoke modes, route drift tests, and performance soak cycles.

- Site: TinyRustLM
- Canonical: https://TinyRustLM.mirust.com/testing/
- Version: 1.3.0
- Updated UTC: 2026-06-29T22:59:10Z

## 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

## 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

## 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