proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7) - #161

proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)#161

hyperpolymath merged 2 commits into

mainhyperpolymath/januskey:mainfrom

claude/new-session-lwzjw0hyperpolymath/januskey:claude/new-session-lwzjw0Copy head branch name to clipboard