| name | 0.5.1-understand-c009 |
| description | [0.5.1] commit completion: the terminal state transition from active to committed; releases all locks held exclusively |
understand-c009
CALL NUMBER: deep_rollback.c009
DEFINITION: commit completion: the terminal state transition from active to committed; releases all locks held exclusively and schedules release of shared locks per protocol
Invoke this skill to understand c009 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.
THE RELATIVE ROOT (the import cone, by lib)
from deep_rollback
- c003 (d1): commit sequence number (CSN): a monotonically incrementing identifier assigned to each committed transaction; provides total ordering of committed state changes
- c008 (d1): commit acknowledgment: the confirmation signal returned to the client indicating successful durable persistence of the transaction
- c010 (d1): commit promise: the contractual guarantee to the user that transaction effects are durable and will survive any subsequent system restart
CONSUMERS (what needs this)
c001, c003, c004, c005, c007, c012, c014
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.)
