2x2网格16比9四本非版权书籍平面铺拍

2x2 grid, 16:9, do this for 4 non-copyrighted books: type Share = Float

data Constituent = C { name :: Text, share :: Share }      -- Σ shares = 1  (R₃)

-- R₁+R₂: a partition of the shape region that preserves measure and conforms to the boundary

partition :: Region -> [Constituent] -> [SubRegion]

--   |Ω_i| = share_i · |Ω|   (area‑preserving)

--   disjoint Ω_i ; ∪Ω_i = Ω ; ∂(∪Ω_i) = ∂Ω   (shape‑conforming, clean edge)

reads_as :: Image -> (Silhouette, Recipe)                  -- far = the SHAPE, near = the proportions

forbidden :: [Regex]

forbidden = [ /equal_sized_parts/ , /wrong_proportions/ , /missing_component/ , /broken_silhouette/ ,

              /overlap/ , /tilt/ , /hands/ , /glare/ ]

render :: Subject -> Shape -> Image

render s sh = let d = constituents s; Ω = region sh

              in  assert (sum(share <$> d)==1 && measure_preserving (partition Ω d) Ω) $

                  flat_lay (partition Ω d) overhead_softbox matte soft_shadows (tiny_pct d)

2x2 网格，16:9，对 4 本非版权书籍执行此操作：type Share = Float

data Constituent = C { name :: Text, share :: Share }      -- Σ shares = 1  (R₃)

-- R₁+R₂: 形状区域的一个划分，保持测度并符合边界

partition :: Region -> [Constituent] -> [SubRegion]

--   |Ω_i| = share_i · |Ω|   (面积保持)

--   互不相交 Ω_i ; ∪Ω_i = Ω ; ∂(∪Ω_i) = ∂Ω   (符合形状，边缘整洁)

reads_as :: Image -> (Silhouette, Recipe)                  -- 远 = 形状，近 = 比例

forbidden :: [Regex]

forbidden = [ /等大部分/ , /错误比例/ , /缺失组件/ , /破碎轮廓/ ,

              /重叠/ , /倾斜/ , /手/ , /眩光/ ]

render :: Subject -> Shape -> Image

render s sh = let d = constituents s; Ω = region sh

              in  assert (sum(share <$> d)==1 && measure_preserving (partition Ω d) Ω) $

                  flat_lay (partition Ω d) 顶置柔光箱 哑光 柔和阴影 (极小占比 d)