|
|
d2ece9d5ad
|
feat: agent-produced extensions to SidonAdapter, UnitDistCandidateGen, and formal infrastructure
- SidonAdapter.lean: updated Singer construction integration
- UnitDistCandidateGen.lean: enhanced golden-angle perturbation
- WeightCandidateGen.lean: cmix weight matrix -> ManifoldShortcut
- ComplexProjectiveSpace.lean: Kaehler geometry scaffolding
- EisensteinSeries.lean: modular forms stub infrastructure
- test scripts: concurrency and Lean LLM integration tests
|
2026-07-04 01:05:14 -05:00 |
|
