Settlement Architecture
States and invariants that translate expiry into a final entitlement.
#Settlement states
- Active — the option term is running.
- Awaiting observation — expiry has passed but the source is not final.
- Finalizable — valid price, multiplier and finality inputs agree.
- Settled — payoff and entitlement are immutable.
- Redeemed — the entitlement has been delivered.
- Exceptional — a halt, pause or unavailable source requires the stated fallback rule.
#Atomic observation
Settlement binds price, timestamp, Stock Token multiplier, chain confirmation and market version into one record. Separate mutable reads can mix state from opposite sides of a corporate action.
- Reject stale or mismatched input.
- Prevent repeated finalization.
- Separate calculation from asset transfer where useful.
- Emit enough data to reproduce the result independently.
#Economic result
Terminal value = quantity × [min(S_T, K) + net premium]The settlement asset and transfer path can vary without changing the disclosed payoff, provided units and entitlements reconcile exactly.