CHANGELOG.adoc

Changelog: a2mliser

Table of Contents

• [0.1.0] - 2026-03-21
  • Phase 1 — RSR Compliance Sweep
  • Added
• [0.0.1] - 2026-03-20
  • Added

All notable changes to a2mliser will be documented in this file.

This format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[0.1.0] - 2026-03-21

Phase 1 — RSR Compliance Sweep

Added

• RSR compliance sweep — STATE.a2ml, contractiles, Justfile updated

• Documentation complete, implementation pending

• Bespoke contractile constraints for A2ML attestation domain

[0.0.1] - 2026-03-20

Added

• Initial project scaffold from rsr-template-repo

• CLI with subcommands (init, validate, generate, build, run, info)

• Manifest parser (a2mliser.toml)

• Codegen engine (stubs — target-language-specific implementation pending)

• ABI module (Idris2 proof type definitions)

• Library API for programmatic use

• Full RSR template (17 CI workflows, governance docs, bot directives)

• README.adoc with architecture overview and value proposition