fix: post-Bareiss follow-up — conway marker removed, polynomial bounds 12 → 128 (unblocks red main) - #85

Merged

hyperpolymath merged 3 commits into

mainfrom

fix/post-bareiss-followup

Jul 28, 2026

Commits on Jul 28, 2026

fix: post-Bareiss follow-up — conway marker removed, polynomial bounds 12 → 128

hyperpolymath
and
claude
committed
docs(test): record the measured cause of the BR-5 quandle_key residual

hyperpolymath
and
claude
committed
fix(ci): symlink siblings one level up — #83 moved [sources] and broke instantiate

hyperpolymath
and
claude
committed