;; ---------------------------------------------------------------------------
;; Theorem Prover: prove.sx — Constraint Solving for SX Primitives
;; ---------------------------------------------------------------------------
;; Helper: render a Phase 1 result row
(defcomp (&key (name :as string) (status :as string))
  (tr (~tw :tokens "border-t border-stone-100")
    (td (~tw :tokens "py-1.5 px-3 font-mono text-xs text-stone-700") name)
    (td (~tw :tokens "py-1.5 px-3 text-xs")
      (if (= status "sat")
        (span (~tw :tokens "text-emerald-600 font-medium") "sat")
        (span (~tw :tokens "text-red-600 font-medium") status)))))
