allaunthefox
|
6d2136c328
|
Extract monolithic lakefile into 14 standalone module targets
Anti-Smuggle Gate / gate (push) Has been cancelled
Doc Sync Check / check (push) Has been cancelled
Lean Check / build (push) Has been cancelled
Python Check / test (push) Has been cancelled
Q16_16 Roundtrip / roundtrip (push) Has been cancelled
Replaced 3 monolithic lean_lib (SilverSightCore, SilverSightFormal, SilverSightRRC)
with 14 focused modules:
Layer 0: SilverSightCore (foundation)
Layer 1: SilverSightNumerics (Q16_16, fixed-point)
Layer 2: SilverSightCanal (dynamic canal, Bind)
Layer 3a: SilverSightBraid (braid theory)
Layer 3b: SilverSightSidon (Sidon sets, CRT, sieve)
Layer 3c: SilverSightHachimoji (DNA encoding, N=8 proof)
Layer 4: SilverSightPIST (spectral classification)
Layer 5: SilverSightAVM (ISA)
Layer 6: SilverSightRRC (receipt pipeline)
Layer 7: SilverSightBindingSite (binding site codec)
Layer 8: SilverSightFeasible (QUBO relaxation)
Standalone: SilverSightGeometry, SilverSightMisc
Each module is independently buildable with clear dependency ordering.
|
2026-07-08 07:42:39 +08:00 |
|