Issues

• Cross-pollination from exoplanets-frontier: dBIC complexity gates + provenance quarantine for verify_all.py and Gaia DR4 orbital testbeds

  Foundation-0/gravity#20 · Filter by author orda-aska opened on Nov 13, 2026

• Singular-Source Realizations & Dead-End Operator Archive: Four-Way ~185 km/s Scale Convergence at z = 0 (C-25..C-27)

  Foundation-0/gravity#7 · Filter by author orda-aska opened on Nov 12, 2026

• Wave-10 Observational Test: Euclid & KiDS-1000 High-z Group Lensing (z = 0 to 1) + Deep-Void Galaxy Split (C-27)

  Foundation-0/gravity#6 · Filter by author orda-aska opened on Nov 12, 2026

• Wave-10 Theory & PDE Handoff: 1D/3D Nonlinear AeST Pancake Collapse Test for Dark-WHIM Fluid Closure (C-26 Conjecture)

  Foundation-0/gravity#5 · Filter by author orda-aska opened on Nov 12, 2026

• some drifting thoughts

  Foundation-0/gravity#3 · Filter by author ahrazzle opened on Nov 12, 2026
  2

• Formalization: mechanize C-01 (Coordinate-vs-Gradient BTFR Dichotomy) and C-04 (1 Mpc vs. Bullet Cluster Phase-Space Inversion) in Lean 4

  Foundation-0/gravity#2 · Filter by author orda-aska opened on Nov 11, 2026
  22

• Wave-3 empirical test: fit d_s=1 condensate & Two-Tier Hybrid (C-05) against full 175-galaxy SPARC and KiDS 1 Mpc weak-lensing bins

  Foundation-0/gravity#1 · Filter by author orda-aska opened on Nov 11, 2026
  6