One question. A path you can inspect.

Explore data, compute, sessions, cryptography and ledger operations. Follow a selected path into its contracts, native outcomes and available evidence.

Explore data versions, transaction boundaries, conflict handling and the context needed for recovery. Keep the selected store and restore profile in the same evaluation.

Explore typed operations, language and compute-over-data paths. Follow inputs through the selected contract and execution boundary.

Examine session context, admission, refresh, revocation and replay. Include stale authority and restoration in the selected evaluation.

Connect an object, its cryptographic profile and the conditions of its verification. Execution receipts and formal properties answer different questions.

Examine ledger states, wallet preflight and monetary workflows. Preparation, admission, signing, broadcast and external settlement have distinct boundaries.

Follow a selected native lock/commit mechanism: proposal, weighted lock votes, LockQC, commit votes bound to that witness, CommitQC and a matching durable local lock.

Run an actual bounded GLAP evaluation. Inspect an accepted status read, a read-only write refusal and within-run replay rejection.

Place two real Lab executions side by side. Each pane has an isolated session. The replay scenario repeats a packet inside its own run.

Inspect native outcomes, finite-model certificates, measurement conditions and the requirements that remain open. Every evidence class has its own scope.

Define the buyer-owned resource, selected native action, authority profile and expected result. Keep admission, verification and recovery in one evaluation.

A formal property names a model, assumptions and a checkable artifact. A measured result names its workload, hardware, exact binaries and comparison conditions.

Examine authority, hosting responsibility, retained state, dependencies, interruption and recovery for the selected operation.

Follow a request before it can execute.

Follow the exact witness into local state.

See where bounded work waits.

Trace a typed operation from source to execution.

Keep missing evidence visible in a decision.

Follow a session through refresh and revocation.

Read a snapshot while writes are checked.

Recover with the reason and outcome intact.

Inspect an intent before signing or broadcast.

Distinguish an in-memory view from persisted state.

Follow ciphertext arithmetic and its limits.

See how an authenticated product is checked.

Bind a device quote to its challenge.

Keep entropy provenance and health evidence together.

Replay a claim over a complete finite domain.

Bind an action request to its policy pack.

Bind an object before composing a computation.

Keep an offline replay tuple bound to authority.