Incomplete async failure path
BP-0001浮現中支持 2 例提出 ai
The success path is modelled in full; the asynchronous failure path omits the compensating action the success path made necessary.
共同情境
['AI-assisted generation', 'optimistic or local-first state', 'remote mutation']
共同結構
['state written before confirmation', 'failure branch present but inert', 'no test exercising the failure branch']
修法族
['capture-then-restore', 'confirm-before-commit', 'explicit compensating action']
已知例外
Fire-and-forget writes where divergence is acceptable and stated.