Embed the machine
Use startLinuxBoot for a browser Linux controller, or the lower-level
WasmMachine wrapper for a bare-metal ELF.
Understand the machine before you embed it.
These docs describe what this checkout actually ships: a Rust RV64 machine compiled to WebAssembly, the browser loader around it, and the guest-side paths that have evidence. Each subject has its own page. Detailed implementation records remain in the repository source docs linked from those pages.
Scope boundary. The published @agent-wasm/* libraries are
host-side packages from a
separate repository. This repository's wasm module is generated and served as a
relative asset by the demo; it is not documented here as an installable
@wasm-vm/* npm package.
Guest, boot, and storage
See the real manifest flow, boot modes, hash checks, chunked disks, and the IndexedDB copy-on-write path.
Read the guest docs →Containers
Understand the audited kernel capabilities, the current wvrun scope,
and where the booted capstone is still pending.
Verification and status
Find the Level 1 evidence, local gates, release boundary, and the honest status of unfinished acceleration work.
Read the verification docs →Explainers and media
Embed the real VizEngine and Docstream surfaces, with two hosted Orly explainers and direct-link fallbacks.
Read the explainer docs →Source notes
Implementation detail belongs in Markdown beside the code: containers, storage, timing, release assurance, and the embedding guide.
Browse repository docs →What is live, separate, or unfinished
| Surface | Current truth | Evidence or next step |
|---|---|---|
| RV64GC + privileged machine | verified boundary The Level 1 report records native and WASM compliance results. | Level 1 report |
| Default public browser demo | live The checked-in public manifest supplies the kernel, initramfs, and boot snapshot for the default path. | Launch the demo · boot details |
| Agent host libraries | separate project Published @agent-wasm/* versions and exports are listed on the embedding page. |
host integration page |
| OCI containers | bounded The image pipeline and kernel audit have evidence; the booted container capstone is not presented as complete. | container scope |
| Short-block JIT for restored Node | in progress E4-T34 is still in progress because its real workload acceptance is not met. | retrospective |
| ProofMesh product surfaces | proposal Product, market, and distributed-storage pages are roadmap material, not current VM APIs. | Roadmap · Products |