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

TinyRustLMLocal model engineering
Open app

Navigate the portal

Quick find

Numerics

Quantization Contract

How converted numeric representation remains explicit, bounded, and testable.

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

Representation before speed

Quantized tensors bind signed range, scale placement, grouping, packing order, tail behavior, accumulator width, and deterministic dequantization. Unsupported features are rejected rather than approximated silently.

  • Explicit group profile
  • Finite scales only
  • Checked tails and packing
  • Deterministic reconstruction

02

Noninferiority gate

Converted scalar, optimized native, and browser-WASM execution use the same prompts, token IDs, positions, seeds, sampling profile, and stop policy. Quantization and kernel differences are localized before behavioral qualification.

  • Layerwise comparison
  • Preregistered thresholds
  • No tolerance tuning after failure
  • No lucky-seed selection
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.