Proof Surface

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.

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

Plain PHP deployment notes

No WordPress bootstrap, theme system, database requirement, composer package, npm build, CDN script, Bootstrap class dependency, or jQuery dependency.

Routes are handled by index.php and server rewrites. Core content lives in data/pages.php. HTML and Markdown share the same page data.

Upload the package to the subdomain root, point Apache/Nginx to the folder, and keep .htaccess enabled for clean routes on Apache.