Proof stories

The running story is the evidence.

Each specimen names its condition, traces responsibility, and preserves the resulting outcome as readable steps.

PROCESSCustomer refund: compare approval paths

See how one amount threshold introduces a manager handoff before payment.