Open-source reasoning kernel for auditable EU AI Act compliance classification using t-norm fuzzy logic

A JVM substrate for pure fuzzy mathematics — fuzzy sets, t-norms, residua, fuzzy numbers, aggregation — with its algebraic laws published as a consumable property-test artifact. The algebra, not a control kit. Kotlin core, usable from Java, Clojure, or Scala.