docs: record TLA+ Elixir harness coverage in STATE and Developer-Guide#254

hyperpolymath merged 1 commit into

mainhyperpolymath/boj-server:mainfrom

claude/vigilant-carson-ufu47chyperpolymath/boj-server:claude/vigilant-carson-ufu47cCopy head branch name to clipboard