Skip to content

CHANGELOG.md

Latest commit

 

History

History
57 lines (40 loc) · 2.8 KB

CHANGELOG.md

File metadata and controls

57 lines (40 loc) · 2.8 KB
Raw

Changelog

All notable changes to absolute-zero will be documented in this file.

This file is generated from conventional commits by the 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 for the canonical config.

The format follows Keep a Changelog; this project aims to follow Semantic Versioning.

[Unreleased]

Added

  • feat(absolute-zero): complete loadStore_preserves_memory proof — no sorry

Fixed

  • fix(baseline): repair main + estate-policy sweep (unblocks #41) (#42)
  • fix(governance): enumerate banned-language demos in .hypatia-ignore (#44)
  • fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) (#36)
  • fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133) (#34)
  • fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#28)
  • fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23)
  • fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133) (#22)
  • fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) (#20)
  • fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SARIF) (#18)
  • fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + Comment-step gate) (#16)

Documentation

  • docs: seed docs/proof-debt.md per trusted-base policy (#52)
  • docs: record tech-debt audit findings (2026-05-26) (#47)

CI

  • ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile) (#53)
  • ci: bump actions/upload-artifact SHA to current v4 (#12)
  • ci(secret-scanner): drop duplicate --fail from trufflehog extra_args (#11)
  • ci: fix workflow-linter YAML parse error + self-flag bug
  • ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench filename allowlists (#9)

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 — this is one-shot mechanical work.