User action only
Deposit, withdrawal, conversion, and queue entry can be declared user actions. Buyer arrival is excluded from this graph.
controlled = edges(condition == user_action)
STATED TERMS / LOCAL GRAPH AUDIT
Which exit stays in your control?
Declare a focusState, states, external exits, and transitions conditioned by user_action or buyer_arrival.
ASSET EXIT PATH COMPILER
Awaiting stated terms
No graph compiled
Focus verdict
--
Selected asset state
Operator-controlled exits
--
User-action subgraph
Eventual declared exits
--
All declared conditions
Control-loss boundary
--
Before -> after
BEST DECLARED FOCUS PATH
No path compiled
-- steps
-- buyer gates
Load the bundled manifest or import stated transition terms.
REVERSIBLE COMPONENT
Not computed
INTERPRETATION
Reachability is not execution, liquidity, value, custody, or legal proof.
CONTROL IS A GRAPH PROPERTY
Two paths can reach the same place and mean different things.
The full graph asks whether an exit is declared at all. The controlled graph asks whether the holder can traverse it without an external event.
Before has an exit. After does not.
An irreversible transition is a boundary when it leaves a state with a controlled exit for one without it.
reachable(from) && !reachable(to)
A declared path is not a fill.
The graph cannot supply demand, settlement, contract authenticity, fees, timing, custody proof, or a legal conclusion.
reachability != probability
WALLET CONTROL / ASSET MOBILITY / USER ACTION / BUYER ARRIVAL / EXTERNAL EXIT / REVERSIBILITY / WALLET CONTROL / ASSET MOBILITY / USER ACTION / BUYER ARRIVAL / EXTERNAL EXIT / REVERSIBILITY