verification: state no-formal-proof stance + add registry data-integrity invariants#21

hyperpolymath merged 1 commit into

mainhyperpolymath/gv-clade-index:mainfrom

claude/awesome-gauss-7sccs9hyperpolymath/gv-clade-index:claude/awesome-gauss-7sccs9Copy head branch name to clipboard