# Changelog
All notable changes to `moonlight-pale` are documented here.
## 0.1.0.0 - 2026-07-22
Initial release of Moonlight's shared diagnostics, law-testing, and source-reading
package. Depends up onto `moonlight-core` only.
Seven public sublibraries; depend on the smallest slice you use.
- `diagnostic` — severity and the accumulating `Diagnosed` writer, plus boundary,
homotopy, cohomology, local-run, aggregation, summary, and derived-view vocabulary.
Pure `base` + `containers`.
- `test` — assertions, fixtures, runners, resource paths, and a bounded-recursion bridge.
- `test-surface` — import-discipline checks over the public layering.
- `test-laws` — algebraic law predicates and the `LawSuite` DSL.
- `ghc-surface` — a scoped, normalized expression algebra with structural equivalence
and faithful rendering; `.hie` reading, source-key indexing, a type-word oracle; and a
module-surface summary. The only sublibrary that speaks `ghc`.
- `diagnostic-ghc` — compile-diagnostic snapshot capture.
- `measurement` — checked RTS-cost sampling for benchmark executables.
Each sublibrary carries its own test-suite. Builds clean under `-Wall -Wcompat`.