|
|
5f8ffd59b7
|
feat: copy ChiralClockModel + specs from experimental repo
Restored ChiralClockModel.lean (gauge theory stub, noncomputable defs,
4 sorries noted in GAUGE_THEORY_GOAL.md). Also copied
CHIRAL_CLOCK_REFORMULATION.md and LEAN_BAKER_ANALOGUE_SKELETON.md.
Fixed List.get!/Real.atan2 API issues, orphaned doc comment.
Build: 3297 jobs, 0 errors (SilverSightRRC)
|
2026-07-05 15:05:27 -05:00 |
|
