TinyRustLM developer portalRust/WASM runtime, SLM2 contracts, and proof evidence

TinyRustLMLocal model engineering
Open app

Navigate the portal

Quick find

Format

SLM2 Composition Format

The sole current six-member composition identity and hostile-safe verification boundary.

Open TinyRustLM Markdown
Execution
Browser-local Rust/WASM
Model contract
Verified six-member SLM2 compositions
Network boundary
No remote inference
Evidence
Checksums, receipts, and tests

01

Exact member set

A complete composition contains model.slm2, tokenizer.tokenizer2, template.template2, sampling.sampling2, prompt.prompt2, and composition.acg2. Paths are not identities; the composition binds exact logical names, sizes, content digests, schema identities, source locks, and profile identities.

  • Exact six-member closure
  • No extra or missing members
  • Content-addressed identity
  • Source and profile binding

02

Independent acceptance

The verifier recomputes file type, length, digest, inventory, path containment, tensor closure, tokenizer binding, and cross-member consistency. Producer receipts are claims, not substitutes for recomputation.

  • Bounded readers
  • Checked offsets and counts
  • No path traversal or aliasing
  • No producer-trust shortcut
Portal delivery details

Server rendering: Routes are handled by index.php; content lives in data/pages.php; HTML and Markdown share the same page data.

Dependency boundary: No WordPress bootstrap, database, Composer package, npm build, CDN script, Bootstrap, or jQuery dependency.

Deployment: The package targets the subdomain root with Apache or equivalent clean-route rewriting.