All notable changes to eclexiaiser will be documented in this file.
This format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
-
Bespoke Idris2 ABI types: EnergyBudget, CarbonIntensity, JouleAnnotation, ResourceBound, SustainabilityReport
-
Zig FFI with energy measurement stubs, budget enforcement, carbon API framework
-
CLI scaffold with subcommands (init, validate, generate, build, run, info)
-
Manifest parser for eclexiaiser.toml
-
Codegen engine stubs for energy annotation and carbon reporting
-
Full RSR template (17 CI workflows, governance, bot directives)
-
Bespoke documentation: README.adoc, ROADMAP.adoc, CONTRIBUTING.adoc
-
RSR compliance sweep: STATE.a2ml updated, contractiles made bespoke, Intendfile added
-
CHANGELOG converted from Markdown to AsciiDoc
-
Initial project scaffold from rsr-template-repo
-
CLI with subcommands (init, validate, generate, build, run, info)
-
Manifest parser (
eclexiaiser.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