ACID

Outcome：Complete the task with ACID (ACID)。 User context：在庫保留は予約と在庫変更の両方、またはどちらも書き込みません。ルールは在庫をゼロ以上に保ちます。直列化可能な分離は、2つのチェックアウトが同時に最後のアイテムを取るのを防ぎます。リカバリはコミット後に結果を保持します。負荷テストは依然としてデータベースの実際の動作を確認します。 Technical concept or control：ACID (ACID)。 Why it fits：4つのアイデアすべてを質問として使用してください。その後、本当の制約、分離レベル、コミット応答、回復の約束を書き出してください。 Do not use it when：「ACID準拠」は、完全なはい/いいえの約束ではありません。データベースの整合性も、それだけであらゆる業務ルールが正しいことを保証するわけではありません。 Engineering requirements: Define inputs, outputs, contracts, and rules that must always hold. Set authorization and input checks. Define failures, timeouts, retries, one-time effects, data moves, and compatibility limits. Operations: Add useful signals and logs that hide sensitive data. Set capacity limits and write an operator guide. Test recovery and rollback. Acceptance criteria: Contract and failure-path tests pass. Data and authorization rules still hold during retries and partial failures. Check performance limits, monitoring, recovery, and rollback. Evidence and limits (evidence boundary)：単一の公式標準が全体の用語を管理するわけではありません。その意味はチーム、プラットフォーム、またはフレームワークによって変わる可能性があります。 Unknowns to confirm: Where the code runs, data stores, traffic shape, consistency needs, and the security boundary. Also confirm the compatibility period, service goals, and rollback limits.