docs(readme): correct stale test count (129→184) + prover-surface claim#86

hyperpolymath merged 1 commit into

mainhyperpolymath/echidnabot:mainfrom

claude/checkpoint-2026-06-13hyperpolymath/echidnabot:claude/checkpoint-2026-06-13Copy head branch name to clipboard