transactions: check the lifecycle invariant at load (T-12); one Agda pin across CI - #172

transactions: check the lifecycle invariant at load (T-12); one Agda pin across CI#172

hyperpolymath merged 5 commits into

mainhyperpolymath/januskey:mainfrom

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