From 98ceb6f65d917cfb56238b0bdb68c94887aa8d24 Mon Sep 17 00:00:00 2001
From: allaun <allaun@researchstack.info>
Date: Fri, 3 Jul 2026 20:36:35 -0500
Subject: [PATCH] feat: integrate CMYKColoringCore into build system

---
 lakefile.lean | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index 5ec18688..ac18c845 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -3,7 +3,6 @@ open Lake DSL
 open System
 
 package «SilverSight» where
-  -- Settings applied to both builds and interactive editing
   leanOptions := #[
     ⟨`pp.unicode.fun, true⟩ -- pretty-prints `fun a ↦ b`
   ]
@@ -47,6 +46,8 @@ lean_lib «SilverSightFormal» where
     `CoreFormalism.ChentsovFinite,
     `CoreFormalism.HopfFibration,
     `CoreFormalism.StrandCapacityBound,
+    `CoreFormalism.CRTSidon,
+    `CoreFormalism.AutoProof,
     `SilverSight.AngrySphinx,
     `SilverSight.CollatzBraid,
     `SilverSight.GoldenSpiral,
@@ -90,6 +91,7 @@ lean_lib «SilverSightRRC» where
     `SilverSight.PIST.SidonAdapter,
     `SilverSight.PIST.WeightCandidateGen,
     `SilverSight.PIST.UnitDistCandidateGen,
+    `SilverSight.PIST.CMYKColoringCore,
     `SilverSight.RRCLogogramProjection,
     `SilverSight.ReceiptCore,
     `SilverSight.RRC.Emit,