TEBAC Birch–Swinnerton–Dyer Program: Unified Master Proof Dossier for Elliptic Curves over Q | Synapse