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.
All authority state comes from the capability
• The handler derives root, ancestor anchors, budget, nonce, vault and receipt keys. The checker validates encoding, delegation, time, scope, proof of possession, replay and budget. Rejection stages no payment.
Payment and accountability share one transaction
• An allowed draw stages budget + nonce changes, vault debit, recipient credit and an audit receipt after writable/authority checks. Presenter and executor are distinct; no external tool or automatic bridge action is implied.