persistent-homology (-1) ⊗ lhott-cohesive-linear (0) ⊗ topos-generate (+1) = 0 ✓
sheaf-cohomology (-1) ⊗ lhott-cohesive-linear (0) ⊗ gay-mcp (+1) = 0 ✓
three-match (-1) ⊗ lhott-cohesive-linear (0) ⊗ rubato-composer (+1) = 0 ✓

-- Cohesive interaction type
CohesiveInteraction : Type
  content : String
  hash : ♯ SHA256           -- discrete
  seed : ♭ UInt64           -- continuous embedding
  color : ♮ LCH             -- linear (used once)
  position : ʃ (ℤ × ℤ)      -- shape-invariant

-- Linear function (no copy/delete)
walk_step : CohesiveInteraction ⊸ Position × Color

-- Bunched triplet (entangled context)
Γ₁ ⊗ Γ₂ ⊗ Γ₃ ⊢ conserved : GF3Zero
  where trit(Γ₁) + trit(Γ₂) + trit(Γ₃) ≡ 0 (mod 3)

flowchart LR
    subgraph "Cohesive ∞-Topos H"
        A[Type] -->|ʃ shape| B[Shape Type]
        A -->|♭ flat| C[Codiscrete]
        C -->|Γ sections| D[Discrete]
        D -->|♯ sharp| A
    end
    style A fill:#26D826
    style B fill:#2626D8
    style C fill:#D82626
    style D fill:#2626D8

stateDiagram-v2
    [*] --> I1: seed₁
    I1 --> I2: ⊸ (linear)
    I2 --> I3: ⊸ (linear)
    I3 --> [*]: triplet complete
    
    note right of I1: trit = +1
    note right of I2: trit = 0
    note right of I3: trit = -1

graph TD
    Root["Γ (context)"] --> A["Γ₁ ⊗ Γ₂"]
    Root --> B["Γ₃"]
    A --> C["I₁ (+1)"]
    A --> D["I₂ (0)"]
    B --> E["I₃ (-1)"]
    
    style C fill:#D82626
    style D fill:#26D826
    style E fill:#2626D8

module LHoTTCohesiveLinear
  # Modalities
  SHARP  = ->(x) { { trit: x[:trit] } }  # ♯ discretize
  FLAT   = ->(x) { x }                    # ♭ full embed
  SHAPE  = ->(x) { x[:position] }         # ʃ trajectory
  LINEAR = ->(x) { x.dup.freeze }         # ♮ freeze for one use
  
  def self.cohesive_interaction(content)
    hash = Digest::SHA256.hexdigest(content)
    seed = hash[0..15].to_i(16)
    gen = SplitMixTernary::Generator.new(seed)
    color = gen.next_color
    
    {
      content: content,
      hash: SHARP.call({ trit: color[:trit] }),  # ♯
      seed: FLAT.call(seed),                      # ♭
      color: LINEAR.call(color),                  # ♮
      position: nil  # computed by walk
    }
  end
  
  def self.linear_walk_step(interaction, walker)
    raise "Linear resource already consumed" if interaction.frozen?
    result = walker.step!(interaction)
    interaction.freeze  # consume linear resource
    result
  end
end

# ACSets schema for LHoTT
@present SchLHoTT(FreeSchema) begin
  CohesiveType::Ob
  LinearType::Ob
  
  sharp::Hom(CohesiveType, CohesiveType)   # ♯
  flat::Hom(CohesiveType, CohesiveType)    # ♭
  shape::Hom(CohesiveType, CohesiveType)   # ʃ
  linear::Hom(CohesiveType, LinearType)    # ♮
  
  Trit::AttrType
  trit_attr::Attr(LinearType, Trit)
end

(import [discopy [Ty Box Diagram monoidal]])

(defn cohesive-box [name input output modality]
  "Create DisCoPy box with modality annotation"
  (setv color (case modality
    "sharp" "#2626D8"
    "flat" "#D82626"
    "shape" "#26D826"
    "linear" "#FFAA00"))
  (Box name (Ty input) (Ty output) :color color))

(defn lhott-diagram [interactions]
  "Build monoidal diagram from interaction sequence"
  (setv boxes (lfor i interactions
    (cohesive-box (get i "skill_name")
                  "State" "State"
                  (get i "modality" "linear"))))
  (reduce monoidal.compose boxes))

# Generate Mermaid diagram from interactions
just lhott-diagram mermaid

# Generate base64 PNG from Mermaid
just lhott-diagram png > diagram.base64

# Export to DisCoPy SVG
just lhott-discopy-svg

# Full pipeline: interactions → ACSet → DisCoPy → Mermaid
just lhott-full-export