Skip to content

Commit 7c377cd

Browse files
hyperpolymathclaude
andcommitted
docs: seed CHANGELOG.md (Keep-a-Changelog format)
Closes Row-2 Phase 3 of the 2026-05-26 estate tech-debt audit chain for this repo. The 2026-05-26 documentation-debt audit (hyperpolymath/standards#197) flagged that 180 of 279 estate repos lacked a CHANGELOG.md (65% gap) — this seed closes that finding here. The seed: - Uses Keep-a-Changelog format with an [Unreleased] section. - Buckets the most recent 100 commits by conventional-commit prefix (feat/fix/refactor/docs/ci/build) into Added/Fixed/Changed/ Documentation/CI sections. - References standards#206's changelog-reusable.yml + the canonical templates/cliff.toml for full-regeneration via git-cliff. The file is initial — the maintainer can adopt changelog-reusable.yml in this repo's CI to keep it auto-regenerated, or regenerate manually. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent a85ab15 commit 7c377cd

1 file changed

Lines changed: 57 additions & 0 deletions

File tree

CHANGELOG.md

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
4+
-->
5+
6+
# Changelog
7+
8+
All notable changes to `absolute-zero` will be documented in this file.
9+
10+
This file is generated from conventional commits by the
11+
[`changelog-reusable.yml`](https://github.com/hyperpolymath/standards/blob/main/.github/workflows/changelog-reusable.yml)
12+
workflow (`hyperpolymath/standards#206`). Adopt the workflow in this repo's CI to keep this file in sync automatically — see
13+
[`templates/cliff.toml`](https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml)
14+
for the canonical config.
15+
16+
The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/);
17+
this project aims to follow [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
18+
19+
## [Unreleased]
20+
21+
### Added
22+
23+
- feat(absolute-zero): complete loadStore_preserves_memory proof — no sorry
24+
25+
### Fixed
26+
27+
- fix(baseline): repair main + estate-policy sweep (unblocks #41) (#42)
28+
- fix(governance): enumerate banned-language demos in .hypatia-ignore (#44)
29+
- fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) (#36)
30+
- fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133) (#34)
31+
- fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#28)
32+
- fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23)
33+
- fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133) (#22)
34+
- fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) (#20)
35+
- fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SARIF) (#18)
36+
- fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + Comment-step gate) (#16)
37+
38+
### Documentation
39+
40+
- docs: seed docs/proof-debt.md per trusted-base policy (#52)
41+
- docs: record tech-debt audit findings (2026-05-26) (#47)
42+
43+
### CI
44+
45+
- ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile) (#53)
46+
- ci: bump actions/upload-artifact SHA to current v4 (#12)
47+
- ci(secret-scanner): drop duplicate --fail from trufflehog extra_args (#11)
48+
- ci: fix workflow-linter YAML parse error + self-flag bug
49+
- ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench filename allowlists (#9)
50+
51+
## Pre-history
52+
53+
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.
54+
55+
---
56+
57+
<!-- This file was seeded by the 2026-05-26 estate tech-debt audit follow-up (Row-2 Phase 3); see [`hyperpolymath/standards/docs/audits/2026-05-26-estate-documentation-debt.md`](https://github.com/hyperpolymath/standards/blob/main/docs/audits/2026-05-26-estate-documentation-debt.md). -->

0 commit comments

Comments
 (0)