メニュー
[0.1.6] The invariant that upon rollback all modifications performed by the transaction are reversed to match the befo
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/sancovp/database-transaction-isolation-and-concu-module --skill 0-1-6-understand-partial-effects-undoneコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
[0.1.1] The specific cause that precipitated a transaction's transition to the aborted_state, such as a constraint vio
[0.1.2] The intermediate state of rows modified by a transaction that later aborted; the partial_effects_undone that e
[0.1.3] A durable record written to the transaction log capturing a single row modification, containing the transactio
SOC 職業分類に基づく
SKILL.md を表示中
| name | 0.1.6-understand-partial_effects_undone |
| description | [0.1.6] The invariant that upon rollback all modifications performed by the transaction are reversed to match the befo |
CALL NUMBER: ?.partial_effects_undone
DEFINITION: The invariant that upon rollback all modifications performed by the transaction are reversed to match the before_image recorded in each recovery_log_entry, leaving no residual trace of the transaction's intermediate state in the database.
Invoke this skill to understand partial_effects_undone down to its primitives. The RELATIVE ROOT below is the least-fixed-point closure of everything it bundles from — the full import cone, grouped by the lib each prim comes from. Projected from a prover-typed KB (MAP/SWI-Prolog consistency gate): every reference below resolves.
aborted_state, aborted_state_contains_partial_effects_undone
Projected from the database transaction isolation and concurrency control KB (280 concepts / 214 relations) — consistency-typed by MAP; the facet list after the colon IS the cross-lib dependency web.
(leaf — this is an actual skill.)
