Add demo proof artifacts and self-test tooling#6

mmprotest merged 1 commit into

mainmmprotest/raglite-sqlite:mainfrom

codex/implement-proof-artifacts-and-clarity-featuresmmprotest/raglite-sqlite:codex/implement-proof-artifacts-and-clarity-featuresCopy head branch name to clipboard