APProof LaboratoryRecruiter OS

PUBLIC ENGINEERING LABORATORY / FOUR CHANNELS

Run the
evidence.

Four live laboratories. One evidence contract: mechanism, attack, oracle, boundary. Each experience connects its live state to the source, reproduction command, measured result, and failure boundary.

CONSENSUS / STORAGE / LIVE

FAULTLINE

Operate a real five-node Raft + MVCC simulator, inject partitions, replay deterministic failover, and ask the linearizability checker for a witness.

C++17 compiled to WebAssembly
SENSING / AUTONOMY / LIVE

SIGNALROOM

Replay maneuvering targets, sensor dropouts, VIO observability loss, and SAR autofocus boundaries with the published measurements kept visible.

Measured replay from track-fusion, SAR, and VIO
MARKETS / RISK / LIVE

MARKETWIRE

Submit orders, change toxicity, inspect inventory risk, and compare pricing sensitivities without hiding the regime where a strategy loses.

Deterministic order-flow and AAD evidence replay
COMPILERS / GPU / LIVE

KERNELARENA

Compare graph shapes, compiler passes, liveness-aware memory plans, generated kernels, and browser-local timing in one inspectable arena.

TensorForge TypeScript IR and generated WGSL