HILSA writes: a verified message and an asset unlock
Guided views
Explore this system
Step through curated paths without changing the source diagram.
Beat
Next
ReadyChapter 01 / 01
Guided chapter
Diagram guideExplore this system
Inspecting compiled semantics
E ExportT ThemeS Style0 Reset+ Zoom in- Zoom outEsc Close
Find a node
⌕/
No matching nodes
Semantic passport
Verified source
Authored reach
Route probeChoose a start node
Pick two semantic nodes on the diagram
Choose the source, then the destination. Direction matters.
Semantic lensCompare system roles
Choose up to two semantic kinds. One reveals its real traffic; two compare only direct authored relationships.
Choose a kind to inspect its nodes and touching relationships.
Semantic radar
Building overview
Click nodeDrag to pan
Semantic radar needs more MAP space.
General proof stops at an event
• The executor constructs the outbox disabled. An enabled path needs a submitter and a stake-weighted root certificate. Gateway consumes the replay key and emits MessageExecuted; it does not call the payload target.
Asset success requires a destination receipt
• The asset relay needs the separate admission override and a funded relayer key. Vault checks its count-based unlock quorum. Broadcast is not Confirmed; failures and retries remain asynchronous across chains.