Experimental · .NET-free pipeline

Source goes in. Verified WVB runs.

A disposable worker loads the pinned Windvale interpreter and compiler, compiles this source, verifies the returned WVB, and executes it in the same bounded WebAssembly instance. No Blazor or .NET runtime is loaded.

Windvale compiler in WebAssembly

1 · Windvale source .wv

The first native compiler profile is intentionally bounded. This exact program is the pinned source-to-WVB proof.

2 · Compile · verify · execute Ready

The current optimized run takes about one minute in Chromium.

Contained by contract

Exact packageEvery compiler and interpreter artifact is SHA-256 checked before use.

Disposable workerThe worker is terminated after success, failure, or the ten-minute ceiling.

Verified resultCompiler output is treated as untrusted WVB and admitted again before execution.

The normal editable playground now uses this same browser-native pipeline. This focused route remains the pinned proof surface while the compiler profile and performance continue to grow.