Module consistency 

Pure original-guarantee and current stopped/drained/fence matching; no effects.

Structs

ConsistencyView

Read-only matched current evidence; no capture, restart, release or spending permit.

Enums

ConsistencyError

Typed current evidence denial; no failure releases fences or replenishes allowances.

Functions

validate

Match original guarantee, current context/inventory/selection/stopped state and exact fence.