diff --git a/CLAUDE.md b/CLAUDE.md
index 4b03da6..72d48af 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -84,10 +84,10 @@ no ambient static service locators. Logging goes through the injected
   never commit a `packages.lock.json`. Central package management
   (`Directory.Packages.props`) pins versions. If lock files appear,
   remove the property and delete the files.
-- **CI publishes the libraries.** `.github/workflows/ci.yml` builds and
-  packs `Vice.slnx` and pushes the library packages (`Vice`,
-  `Vice.Parser`) to NuGet on push to `main` via the `nuget` environment's
-  `NUGET_API_KEY` secret. The CLI projects are not packed.
+- **CI publishes the library.** `.github/workflows/ci.yml` builds and
+  packs `src/Vice/Vice.csproj` and pushes the `Vice` package to NuGet on
+  push to `main` via the `nuget` environment's `NUGET_API_KEY` secret. The
+  CLI and parser projects are not packed.
 - **Don't hand-edit generator output.** Generated composition wiring
   comes from `Vice.Generators`; change the generator, rebuild.
 - **Local packing is scripted.** `scripts/release.sh` and
diff --git a/README.md b/README.md
index 6b5cf88..9cc189e 100644
--- a/README.md
+++ b/README.md
@@ -252,7 +252,7 @@ To compare throughput run-over-run automatically, pass `--gate`: the harness dif
 
 ## Status
 
-Active development; the framework API is still evolving. Library packages (`Vice`, `Vice.Parser`) publish to NuGet from CI on push to `main`.
+Active development; the framework API is still evolving. The `Vice` library package publishes to NuGet from CI on push to `main`.
 
 ## License