KERN playground

The real kernel in WebAssembly: wasm32-freestanding, no WASI, no syscalls, a 4 MB static arena. Everything runs in your browser, offline.

Verify the binary (do not trust the label — compute it)

1. Belnap logic: a conflict does not collapse

Allow (T) ⊔ Deny (F) = B — “yes and no” (HTTP 409), not “deny wins”.

—

2. Hamming code: admission with error correction

A 64-bit AdmissionCode; flip bits and watch the verdict hold.

—

3. Fourier–Motzkin solver: two linear systems

Are a1·x ≤ b1·y + c1 and a2·x ≤ b2·y + c2 jointly satisfiable? The kernel decides, not JS.

—

4. verifyProof: re-checking a Z3 certificate in memory

Bytes go into a separate input buffer (kern_wasm_input_ptr / kern_wasm_input_cap) so the arena allocator cannot overwrite the input during verification. Reference: abs.c, 16 proof-DAG steps, captured from a live Z3 run.

—

—