Repair main's CI and the proof spine; one Idris2 source for the SQLite boundary - #5

Repair main's CI and the proof spine; one Idris2 source for the SQLite boundary#5

hyperpolymath merged 6 commits into

mainhyperpolymath/heron-polyfeed-reader:mainfrom

claude/new-session-l2ejzlhyperpolymath/heron-polyfeed-reader:claude/new-session-l2ejzlCopy head branch name to clipboard