Spot on. The theory of optical balance is well-documented in traditional typography.
The bottleneck I'm tackling isn't the design theory itself, but the computational translation of it: how to convert that human visual intuition into a deterministic set of math rules for dynamic generation.
If you know of any resources that specifically bridge type design heuristics with programmatic geometry, I'd love to check them out.