CHANGELOG.adoc

Changelog: phronesiser

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 phronesiser 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

• Phase 1 complete — scaffold, CLI, manifest parser, codegen stubs, ABI types

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

• Bespoke contractile constraints for Ethical AI constraint verification domain

• Project-specific Justfile recipes

[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 (phronesiser.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