All notable changes to iseriser will be documented in this file.
This format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
-
cartridgesubcommand — scaffolds a complete boj-server cartridge skeleton (<iser>-mcp/) from aniseriser.tomlmanifest. Emits 13 files: top-level (README + cartridge.json + mod.js + panels/manifest.json), Idris2 ABI (README +<iser>-mcp.ipkg+<Iser>Mcp/Safe<Iser>.idrwith the exposure-gate contract), Zig FFI (README +build.zig+<iser>_ffi.zigimplementing the ADR-0006 5-symbol C ABI), and the unified gated adapter (README +build.zig+<iser>_adapter.zigrouting REST/SSE/GraphQL/gRPC-compat behind the transaction gate). Modelled on the k9iser-mcp pilot (boj-server#73). Verified end-to-end:idris2 --build,zig build teston bothffi/andadapter/. Implements hyperpolymath/standards#89 Phase 2b. (PR #24)
-
Scaffolder no longer emits
adapter/<name>_adapter.ziginto new -iser repos. The unified transaction-gated adapter belongs to the boj-server cartridge for the -iser (boj-server/cartridges/<name>-mcp/adapter/), not to the -iser repo itself. Use the newcartridgesubcommand to scaffold the cartridge. (PR #23, reverts the wrong-place emission added in #12.) -
Cartridge scaffolder emits
depends = base, contribon the generated.ipkgto match the pilot convention and ensure cartridge authors haveData.List/Data.Stringhelpers available out of the box. (PR #25, corrects an inadvertent omission in #24.)
-
Initial project scaffold from rsr-template-repo
-
CLI with subcommands (init, validate, generate, build, run, info)
-
Manifest parser (
iseriser.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