Skip to content

1.5.6

Choose a tag to compare

@EdoardoBambini EdoardoBambini released this 15 Jun 13:00

The typed policy DSL (formerly APL / Agent Policy Language) is renamed to Dictum, end to end. A staged, behavior-preserving rebrand.

Renamed

  • File extension .apl to .dictum
  • Crate iaga-sentinel-apl to iaga-sentinel-dictum, lib iaga_sentinel_apl to iaga_sentinel_dictum
  • Cargo features apl to dictum, apl-wasm to dictum-wasm
  • Internal types and module: AplError to DictumError, AplOverlay to DictumOverlay, apl_overlay to dictum_overlay
  • Runtime reason label apl[...] to dictum[...] on audit events and signed receipts
  • The four apl ADR filenames to the dictum form

Compatibility (nothing breaks)

  • Signed-receipt wire format is byte-identical: the apl_eval_trace field is preserved and the byte-frozen golden vectors pass, so pre-1.5.6 receipts still verify bit-identically.
  • iaga-codex export-rules --apl keeps working as a hidden alias for the new --dictum flag.

Verified

Clean-rebuild cargo build + cargo test, fmt + clippy clean, byte-equality goldens pass, and a live end-to-end run: the server loads the .dictum overlay, dictum[block_secret_egress] fires on POST /v1/inspect, iaga replay + iaga-verify returns CHAIN OK, and iaga-codex export-rules works with both --dictum and --apl.

Full Changelog: v1.5.5...v1.5.6