diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..8e09261 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,42 @@ + + +# Changelog + +All notable changes to `veridical-simulation-core` will be documented in this file. + +This file is generated from conventional commits by the +[`changelog-reusable.yml`](https://github.com/hyperpolymath/standards/blob/main/.github/workflows/changelog-reusable.yml) +workflow (`hyperpolymath/standards#206`). Adopt the workflow in this repo's CI to keep this file in sync automatically — see +[`templates/cliff.toml`](https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml) +for the canonical config. + +The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/); +this project aims to follow [Semantic Versioning](https://semver.org/spec/v2.0.0.html). + +## [Unreleased] + +### Added + +- feat(proofs): per-phase Idris2 bundles + echidnabot priorities for all six phases +- feat(veridical-simulation): Phase 4 reversibility cluster + cross-cutting library extraction +- feat: bootstrap veridical-simulation-core for Phase 2/3 (Agda) + +### Documentation + +- docs: adopt docs-template/ skeleton (architecture/usage/contributing/troubleshooting + ADR) (#8) +- docs: record tech-debt audit findings (2026-05-26) (#6) + +### CI + +- ci(spark): adopt estate SPARK Theatre Gate (standards#135) (#1) + +## Pre-history + +Prior commits to this file's introduction are recorded in git history but not formally classified into Keep-a-Changelog sections. To backfill, run `git cliff -o CHANGELOG.md` locally using the canonical [`cliff.toml`](https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml) — this is one-shot mechanical work. + +--- + +