v1.80.0

What's Changed

• docs(strategy): mirror per-repo development plans v3.1 (adjusted) by @ntts9990 in #118
• docs(strategy): sync mirror — add §0.8 AlphaProof Nexus + §0.9 Epicure PROPOSAL by @ntts9990 in #119
• docs: sync §0.10 AutoScientists + §0.8 P/Q/R + §0.11 Robin + v2 census by @ntts9990 in #120

Full Changelog: v1.79.0...v1.80.0