diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,15 @@
 # Changelog
 
+## 0.1.0.1 - 2026-07-22
+
+- Public named sublibraries drop the redundant package prefix:
+  `moonlight-core-automata` becomes `automata`, `moonlight-core-syntax`
+  becomes `syntax`, and `moonlight-core-egraph-program` becomes
+  `egraph-program`. Depend on them as `moonlight-core:automata`,
+  `moonlight-core:syntax`, and `moonlight-core:egraph-program`. The
+  aggregate `Moonlight.Core` surface and every exposed module are
+  unchanged; only the component names differ.
+
 ## 0.1.0.0 - 2026-07-12
 
 - Initial release of the Level-0 foundation: the numeric tower (`Scalar`,
diff --git a/moonlight-core.cabal b/moonlight-core.cabal
--- a/moonlight-core.cabal
+++ b/moonlight-core.cabal
@@ -1,12 +1,13 @@
 cabal-version:       3.0
 name:                moonlight-core
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Mathematical basis for Pale Meridian.
 description:         A total vocabulary of numeric classes, structural identity, orders, patterns, fixpoints, union-find, finite registries, and host-neutral e-graph programs.
 license:             MIT
 license-file:        LICENSE
 author:              Blue Rose
 maintainer:          rosaliafialkova@gmail.com
+copyright:           (c) 2026 Blue Rose
 category:            Math
 homepage:            https://github.com/PaleRoses/moonlight
 bug-reports:         https://github.com/PaleRoses/moonlight/issues
@@ -80,7 +81,7 @@
     , memory >= 0.18 && < 0.19
     , text >= 2.0 && < 2.2
 
-library moonlight-core-egraph-program
+library egraph-program
   import: shared-properties
   visibility: public
   hs-source-dirs: src-egraph-program
@@ -115,7 +116,7 @@
     , moonlight-core:moonlight-core-basis
     , text >= 2.0 && < 2.2
 
-library moonlight-core-syntax
+library syntax
   import: shared-properties
   visibility: public
   hs-source-dirs: src-syntax
@@ -135,7 +136,7 @@
     , moonlight-core:moonlight-core-basis
     , transformers >= 0.6 && < 1
 
-library moonlight-core-automata
+library automata
   import: shared-properties
   visibility: public
   hs-source-dirs: src-automata
@@ -155,7 +156,7 @@
     , data-fix >= 0.3 && < 0.4
     , free >= 5.2 && < 6
     , moonlight-core:moonlight-core-basis
-    , moonlight-core:moonlight-core-syntax
+    , moonlight-core:syntax
     , recursion-schemes >= 5.2 && < 6
     , these >= 1.2 && < 1.3
     , transformers >= 0.6 && < 1
@@ -228,7 +229,7 @@
     base >= 4.22 && < 5
     , containers >= 0.8 && < 0.9
     , moonlight-core:moonlight-core-basis
-    , moonlight-core:moonlight-core-syntax
+    , moonlight-core:syntax
     , primitive >= 0.7 && < 0.10
     , vector >= 0.13 && < 0.14
 
@@ -242,11 +243,11 @@
   build-depends:
     base >= 4.22 && < 5
     , containers >= 0.8 && < 0.9
-    , moonlight-core:moonlight-core-egraph-program
+    , moonlight-core:egraph-program
     , moonlight-core:moonlight-core-numeric
     , moonlight-core:moonlight-core-solver
     , moonlight-core:moonlight-core-basis
-    , moonlight-core:moonlight-core-syntax
+    , moonlight-core:syntax
     , moonlight-core:moonlight-core-term
 
 common moonlight-core-test-properties
@@ -467,7 +468,7 @@
     containers >= 0.8
     , moonlight-core
     , moonlight-core:moonlight-core-basis
-    , moonlight-core:moonlight-core-syntax
+    , moonlight-core:syntax
 
 benchmark moonlight-core-solver-bench
   import: moonlight-core-benchmark-properties
@@ -533,7 +534,7 @@
     , moonlight-core:moonlight-core-numeric
     , moonlight-core:moonlight-core-solver
     , moonlight-core:moonlight-core-basis
-    , moonlight-core:moonlight-core-syntax
+    , moonlight-core:syntax
     , moonlight-core:moonlight-core-term
     , scientific >= 0.3
     , text >= 2.0