/-
  LiquidLean: Z3 + Lean 4 + Quantum Monad Formalizing the Jacobian Conjecture

  Phase 0+: Refinement Type DSL + Quantum Monad (Thermal Energy Constructor)

  Status: Phase 0 — Definitions compile, zero sorry
  Claim Level: 0
-/

import LiquidLean.Refinement.DSL
import LiquidLean.Refinement.Unification
import LiquidLean.QuantumMonad.Thermal

namespace LiquidLean

/-- Project information -/
def version : String := "0.1.0-phase0+"
def target : String := "Jacobian Conjecture"
def status : String := "Phase 0+: Refinement DSL + Quantum Monad"

/-- The unified system: refinement types carrying quantum monad proofs -/
def description : String :=
  "Z3-verified refinement types + Lean 4 formal proofs + Thermal monad invariants"

end LiquidLean
