Source: MIZOKI audit 2026-09-06 (pinned fc8b03f9) → work-order backlog 2026-09-08 (docs/audits/AUDIT_WORK_ORDERS_2026-09-08.md). Findings are hypotheses until reproduced on current main (WO-00).

Finding: An ambiguous exception inside adapter.execute is raised before the freeze handler's try-block [R20]. Files: services/service-action-runner/execution_adapters/base.py, main.py. Fix: wrap dispatch → provider call → read-back in one guarded span; unknown outcome → freeze + reconcile before any retry; state machine proposed→validated→authorized→dispatched→confirmed/uncertain/failed→compensated/closed. Acceptance: fault-injection tests: provider success + client timeout, crash after provider success, duplicate delivery → no duplicate spend effect, freeze recorded. Depends on: WO-19.