diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..7777537 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,70 @@ + + +# Changelog + +All notable changes to `nickel-augmentation` 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(crg): add crg-grade and crg-badge justfile recipes +- feat: nickel-augmentation 1.0.0 — proven bridge, K9 signatures, 48 tests +- feat: proven bridge — Nickel contracts backed by Idris2 formal proofs +- feat: 7 new reporter rules, K9 runner, 29 integration tests +- feat: add stapeln.toml container definition +- feat: deploy UX Manifesto infrastructure +- feat: add CLADE.a2ml — clade taxonomy declaration +- feat: add Nickel contract library, config-reporter CLI, and wire Justfile +- feat: add RSR template structure and project metadata +- feat: consolidate nickel repos into nickel-augmentation monorepo + +### Fixed + +- fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85) (#9) +- fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build drift) (#8) +- fix(ci): build Hypatia escript from repo root (estate dogfood drift) +- fix(ci): Phase-2 fleet submission must not fail the security gate (#5) +- fix(ci): repair YAML block-scalar in workflow-linter Check Permissions step (#3) +- fix(scorecard): enforce granular permissions and add fuzzing placeholder +- fix(ci): Resolve workflow-linter self-matching and metadata issues +- fix: correct email jonathan.jewell → j.d.a.jewell +- fix: SPDX headers (AGPL→PMPL), email, author name + +### Changed + +- refactor: migrate 6SCM → 6A2 (.scm → .a2ml format) + +### Documentation + +- docs: substantive CRG C annotation (EXPLAINME.adoc) +- docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit +- docs: add EXPLAINME.adoc — prove-it file backing README claims + +### CI + +- ci: redistribute concurrency-cancel guard to read-only check workflows (#12) +- ci: fix nonexistent actions/upload-artifact SHA pin (#7) +- ci: bump actions/upload-artifact SHA to current v4 (#2) +- ci: SHA-pin hyperpolymath validate-actions in dogfood-gate +- ci: restore Dependabot security path + wire auto-merge + +## 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. + +--- + +