Add CLI, safety proofs, and TLA+ consensus model#2

hyperpolymath merged 1 commit intomainhyperpolymath/phronesis:mainfrom

claude/phronesis-network-grammar-BQTIMhyperpolymath/phronesis:claude/phronesis-network-grammar-BQTIMCopy head branch name to clipboard