APProof ToursRecruiter route ↗

FOUR ROUTES / THREE MINUTES EACH

Choose a claim.
Attack it.

Each route is a deliberately short sequence: mechanism, adversarial condition, oracle, boundary. A reviewer can stop after three minutes or follow any claim into code and tests.

3 MIN / GUIDED ROUTE

Systems proof tour

Break consensus, inspect the oracle, and verify the browser engine is the same C++ source.

Enter FAULTLINE

Campaign node 1 and commit a baseline transaction.

OPEN STOP →

Create a minority

Isolate the leader and observe what cannot commit.

OPEN STOP →

Ask the oracle

Compare a witnessed linearizable history with a stale read.

OPEN STOP →

Read the boundary

Separate logical ticks from production latency.

OPEN STOP →

3 MIN / GUIDED ROUTE

Autonomy proof tour

Move from successful tracking to association ghosts and a true observability failure.

Maneuver inside bank

Compare single-CV and IMM localization.

OPEN STOP →

Cross two tracks

See why lower localization can still mean worse total OSPA.

OPEN STOP →

Follow the limits

Read why each method loses differently.

OPEN STOP →

3 MIN / GUIDED ROUTE

Quant proof tour

Change market toxicity, compare inventory control, and hit AAD with a nonsmooth payoff.

Control inventory

Compare naive and inventory-skew regimes.

OPEN STOP →

Test the headline

Inspect P&L tradeoffs and the digital-payoff failure.

OPEN STOP →

3 MIN / GUIDED ROUTE

ML infrastructure tour

Run a typed graph through rewrites, memory planning, generated WGSL, and a local oracle.

Compare shapes

Open KERNELARENA’s live compiler matrix.

OPEN STOP →

Replay passes

Inspect canonicalization, fusion, DCE, and memory reuse.

OPEN STOP →

Read WGSL

Connect scheduled kernels to emitted source.

OPEN STOP →

Probe locally

Measure CPU and WebGPU with numerical comparison.

OPEN STOP →