Examine what is bound.
Connect an object, its cryptographic profile and the conditions of its verification. Execution receipts and formal properties answer different questions.
Drag to orbit · Scroll to zoom · Select an object
Select an object to read its role. Camera controls activate when the interactive viewer is available.
GL-Core
Inspect the selected contract, canonical IR and actual runtime caller. A central drawing does not imply every action traverses this engine.
This foundation view is an architecture map. Source-backed operation paths are available in the Native Lab.
Open capability contract ↗Data
Explore data versions, transaction boundaries, conflict handling and the context needed for recovery. Keep the selected store and restore profile in the same evaluation.
Qualify the selected data action, transport, durable writer and restore path before a customer pilot.
Open capability contract ↗Compute
Explore typed operations, language and compute-over-data paths. Follow inputs through the selected contract and execution boundary.
Bind the selected computation, provider, refusal and cost to its exact caller and artifact.
Open capability contract ↗Sessions
Examine session context, admission, refresh, revocation and replay. Include stale authority and restoration in the selected evaluation.
Qualify refresh, revocation, durable restart and the customer session caller.
Open capability contract ↗Cryptography
Connect an object, its cryptographic profile and the conditions of its verification. Execution receipts and formal properties answer different questions.
Select the admitted profile and verifier, then qualify the caller and independent verification conditions.
Open capability contract ↗Ledger & money
Examine ledger states, wallet preflight and monetary workflows. Preparation, admission, signing, broadcast and external settlement have distinct boundaries.
Qualify canonical action, writer, receipt, installation and recovery for the selected customer flow.
Open capability contract ↗