Me and Astra worked this afternoon to solve unsolved math problems. we have proposals for 2 things: every simple cubic graph is an AR-graph (open q from Manattu & Lakshmanan, 2026) the Elphick-Aouchiche conference-graph lower bound on complementary square energies