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.
Context
• Before: billing_plans was a tenant-owned table written under billing:manage, the permission that also subscribes and cancels, which every tenant's own administrator holds
• The E5 review, from past_due, created a free plan and subscribed to it; the next renewal charged nothing and the debt vanished
Consequences
• One catalogue every tenant reads and only the operator writes; an edit is not retroactive because the price is stamped on the subscription
• One written-down exception to tenant scoping; RefuseWhileSubscribed counts under system access; rest.Spec and httpx.Resource grow OperatorWrite
Evidence
• go test ./modules/billing -run TestThePriceListIsTheOperators, and TestTheGeneratedScreenIsGuardedTheSameWay beside it
• kit/httpx proves the refusal comes before the Authorizer; kit/app refuses a route and manifest that disagree; a one-tenant operator deployment sees no difference