テンポ文法と傷の可視性を備えた高度なマンガプロンプト

data Tempo = Held | Stumble | Collapse slowness :: Tempo -> Int; slowness Collapse=3; slowness Held=2; slowness Stumble=1 -- the ordering type Wound = Text; type Line = Text; type Fact = Text -- P₁: the grammar is a TOTAL function of tempo (exhaustive ⇒ count/gutter/bleed can't be free) data Grammar = G { count::Int, gutter::MM, bleed::PanelId, empty::PanelId, stall::PanelId, path::[PanelId] } derive :: Tempo -> Grammar derive t = let c = max 2 (kBase `div` slowness t); g = g0 * slowness t ps = [1..c]; b = peak ps; e = after b ps; s = mid ps in G c g b e s (rtlZ ps s) -- enter TR, exit BL, one stall -- P₃: camera height is a BICONDITIONAL of wound‑visibility (a function, not a vibe) cam :: Panel -> WoundState -> CameraHeight cam p w | surfaces p w = BelowEye | otherwise = AtOrAbove -- channels kept apart (RENDER: two grades; screentone=mood, hatch=volume) type Tone = GLight | GDark | None -- mood; |{Tone}\{None}| ≤ 2 type Hatch = [Line] -- volume; never a screentone -- P₄ as a LANGUAGE LAW over the page's dialogue stream: -- DIALOGUE ::= balloon* balloon ::= word{1..11} (under twelve) -- and wound ∉ tokens(DIALOGUE) (never named) -- and dialogue(bleed_panel) == ε (strongest panel silent) -- and ¬∃ narration describing a face/emotion withhold_law :: Wound -> Page -> Bool withhold_law w pg = w `notElem` tokens (dialogue pg) && dialogue pg (bleed pg) == [] && all ((<12) . length . words) (all_balloons pg) && not (any describes_face (narration pg)) && pearson (emotion_map pg) (wordcount_map pg) < 0 -- emotion & speech anti‑correlated forbidden :: [Regex] -- your negatives, verbatim forbidden = [ /wound ∈ dialogue/ , /dialogue\(bleed\) ≠ ε/ , /balloon words ≥ 12/ , /narration describes face/ , /path = LTR/ , /text = horizontal/ , /tones_used ⊄ {GLight,GDark}/ , /wash|grey|colour|lens_fx/ , /low_angle ∧ ¬wound_surfaces/ , /screentone on volume/ ] render :: Genre -> Beat -> Wound -> Page render g b w = let (d,F,L,t) = infer g b w; gr = derive t -- P₁ derived, K_manga constant pg = ink K_manga $ (layout (path gr) -- reading path FIRST, frozen ∙ place (stage w F L gr) -- emotion second ∙ render_channels) -- rendering third (P₅ priority) in assert (withhold_law w pg) && all (not . (=~ sig pg)) forbidden && monotone d pg $ pg