How a proof idea in one field unexpectedly solves a problem in another.

Explore 1,400 cross-domain mechanisms, 1,887 unique endpoint bridges (deduplicated from 7,000 AST pairs), and 639 zero-sorry Lean 4 files across 40 projects. Connections are gated by multi-role mathematical signatures and premise-boundary checks so false lookalikes are caught early.

Loading 40-Project Constellation…