cancel後副作用

async side-effect after cancellation

別名: await取消し後commit

async callerがcancelを観測した後もthread/remote operationが完了し得る境界。cancel responseだけで未実行とみなさず外部stateをread backする

混同注意: rollback / task cancelled=side effect absent

本文内の参照位置: CORE-02 §10.13/11.9

定義の根拠 · IDX-C02-042

EXT-C02-039; COL-C02-027; AUD-C02-015

Index Delta 原索引 · INDEX_DELTA.md:301

辞典原資料

SHA-256: 8ad5162e580f3a881c81666f08bc4805b60dc0d300ab81dc074910ecac3207cc

42. TERM_ID: IDX-C02-042; CANONICAL TERM: async side-effect after cancellation; JAPANESE / ALIASES: cancel後副作用、await取消し後commit; OPERATIONAL DEFINITION: async callerがcancelを観測した後もthread/remote operationが完了し得る境界。cancel responseだけで未実行とみなさず外部stateをread backする; PRIMARY HOME: CORE-02 §10.13/11.9; DO NOT CONFUSE WITH: rollback; task cancelled=side effect absent; PROVENANCE: EXT-C02-039; COL-C02-027; AUD-C02-015