@hackage/moonlight-core

Initial release of the Level-0 foundation: the numeric tower (Scalar, Numeric) and its scalar type classes (AdditiveGroup, MultiplicativeMonoid, Ring, Field, Metric, ordered and continuous fields), with instances for the primitive numeric types.
Approximate equality with absolute, relative, and ULP tolerance kinds (ApproxEq).
Canonical and exact numeric representations (CanonicalNumber, Canon, ExactToken), including one self-delimiting structural sequence grammar.
Order and reachability: partial-order classes (Order), finite universes (Finite), bounded fixpoint combinators (Fixpoint), and persistent union-find (UnionFind) with checked persistent and transactional class-id allocation.
Identity and lookup: stable structural hashing (StableHash, Hash), checked total registries (TotalRegistry), and the relational term database (Term.Database).
Syntax layer: Moonlight-owned authored patterns (PatternVar, PatternNode), Language/ZipMatch, typed substitutions, structural theories whose canonicalization reads node children through Foldable, and Fix.Order.
Pure proof-manifest rendering/parsing for the EGraph emitter and Rewrite-owned external proof boundary; package-local law tests do not impersonate that integration.
Moonlight.Core is the aggregate public surface. Public named sublibraries provide syntax, pattern automata, and the host-neutral e-graph program algebra; Moonlight.Core.Unsound provides the explicit trust boundary.