feat(tg-7): `==` on braids decides braid-group equivalence (#50 ruling) - #87

Merged

hyperpolymath merged 2 commits into

mainfrom

feat/tg7-braid-equality

Jul 28, 2026

Commits on Jul 28, 2026

feat(tg-7): `==` on braids decides braid-group equivalence (#50 ruling)

hyperpolymath
and
claude
committed
fix(ci): stop the new OCaml gate crying wolf on "Failed: 0"

hyperpolymath
and
claude
committed