# Specification status
* [v0.1 PRODUCT](v0.1/PRODUCT.md) and [TECH](v0.1/TECH.md): implemented local
library contract. See [verification](../verification.md) for completed checks.
* Root PLAN.md: earlier research and multi-project roadmap. Its sketches are
superseded by v0.1; migration, publication and adoption milestones remain pending.
The independent library is usable through a local Cargo path dependency.
Nothing here claims that ccstats, remem or refine has switched dependencies.
* [Ecosystem contract](ecosystem/PRODUCT.md): raw framing, history, title indices and first-block previews in local 0.2.0.