INTERACTIVE PLAYGROUND · SIMULATED
Watch truth change
only when evidence changes.
This is a deterministic product simulation. It explains the Verified Execution lifecycle without calling the VM, the real engine, or an external provider.
CHOOSE A CASE
Four deterministic scenarios.
Each case uses the same public truth states and product rules. The flagship lost-response path mirrors the difficult behavior proven by the real evaluation environment.
CURRENT CASE
Response lost after effect
The provider performs the action, but the acknowledgement never reaches the caller.
- —ReadySelect a case and run the simulation.
WHAT THE HARD CASE TEACHES
A lost response does not authorize a second effect.
When the provider may already have acted, transport failure creates uncertainty. The safe state is UNKNOWN until evidence supports something stronger.
SIMULATION VS. PROOF
This page explains behavior.
The Evaluation API proves it.
The Playground is intentionally independent from the VM. For a real technical evaluation, use scoped access to the live Verified Execution surface and inspect the resulting evidence.
BOUNDARY