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

TinyRustLMLocal model engineering
Open app

Navigate the portal

Quick find

Roadmap

First-Model Roadmap

The ordered proof path from corrected contracts to one real browser-local model.

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

Ordered gates

Complete the sole receipt contract, register and execute a wholly new conversion, independently inspect the six-member composition, prove scalar and optimized native parity, prove browser-WASM parity, qualify model behavior, prove acquisition, complete a clean-profile conversation round, then release and verify public HTTPS bytes.

  • Contract
  • New conversion
  • Composition inspection
  • Native and browser parity
  • Quality
  • Acquisition
  • Clean browser
  • Release readback

02

Current counters

Campaign counters remain 0/20 qualified models, 0/50 clean browser rounds, 0/25 live MemoryEndpoints rounds, 0/40 externally proven P2P lanes, and 0/20 live catalog announcements until exact evidence exists.

  • No fixture credit
  • No source-only credit
  • No local-lane public credit
  • No configured-service credit
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.