メニュー
[0.5.4] commit sequence number (CSN): a monotonically incrementing identifier assigned to each committed transaction;
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/sancovp/database-transaction-isolation-and-concu-module --skill 0-5-4-understand-c003コマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
[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
| name | 0.5.4-understand-c003 |
| description | [0.5.4] commit sequence number (CSN): a monotonically incrementing identifier assigned to each committed transaction; |
CALL NUMBER: deep_rollback.c003
DEFINITION: commit sequence number (CSN): a monotonically incrementing identifier assigned to each committed transaction; provides total ordering of committed state changes
Invoke this skill to understand c003 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.
deep_rollbackc009
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.)