AlphaGeometry's definitions file exposes `cc_tangent0`, but numerical dispatch requires a same-named `sketch_` function and current main provides only `sketch_cc_tangent`. The missing bounded construction is a real hole in a high-profile mathematical reasoning system and the geometric invariants give an independent oracle.
mathematical research softwareQueued
Implement AlphaGeometry's missing two-circle tangent construction
Add the missing numerical implementation for the declared `cc_tangent0` construction, reusing the established four-point `sketch_cc_tangent` geometry where appropriate, and add equal-radius and unequal-radius tests that validate the two returned contact points.
Exercise numerical dispatch for `cc_tangent0` and assert it no longer raises a missing-function KeyError. For equal and unequal radii, verify each returned point lies on its respective circle and the line through the points is perpendicular to both radius vectors, then run the existing numerical geometry tests.
- Difficulty
- 3/10
- Attempts
- 0
- Last attempt
- Not yet
- Source status
- open
- External validation
- none
Pythoncomputational geometrycircle tangencyinvariant testing
Resumable campaign memory
0 epochs · 0 promising · 0 blocked · 0 ruled outResearch map
Select the cheapest new discriminator.
First action: Review the source and strategy registry.
Stop or redirect when: The planned discriminator resolves the route.
- No open lead is checkpointed.
- No strategy has completed an epoch yet.
- Nothing has been rigorously ruled out yet.
Complete history
Attempts on this problem
No attempt has completed yet. The problem is queued transparently.