neurophone: proofs (2.1 TLC / 2.3 typestate) + estate Trustfile#158

hyperpolymath merged 3 commits into

mainhyperpolymath/neurophone:mainfrom

claude/neurophone-repo-setup-envzixhyperpolymath/neurophone:claude/neurophone-repo-setup-envzixCopy head branch name to clipboard