Changelog for keiki-codec-json-test-0.9.0.0

Changelog

All notable changes to this package are documented in this file. The format follows Keep a Changelog, and this project adheres to the Haskell PVP.

Co-released with keiki-0.9.0.0 and keiki-codec-json-0.9.0.0; internal dependency bounds now target the coordinated ^>=0.9 PVP major range.

Co-released with keiki-0.8.0.0 and keiki-codec-json-0.8.0.0; internal dependency bounds now target the coordinated ^>=0.8 PVP major range.

Co-released with keiki-0.7.0.0 and keiki-codec-json-0.7.0.0; internal dependency bounds now target the coordinated ^>=0.7 PVP major range.

Co-released with keiki-0.6.0.0 and keiki-codec-json-0.6.0.0; internal dependency bounds now target the coordinated ^>=0.6 PVP range.

Co-released with keiki-0.5.0.0 and keiki-codec-json-0.5.0.0; internal package bounds now target the coordinated ^>=0.5 PVP major range.

Co-released with keiki-0.4.0.0 and keiki-codec-json-0.4.0.0; internal package bounds now target the coordinated ^>=0.4 PVP major range.

Co-released with keiki-0.3.1.0 and keiki-codec-json-0.3.1.0; existing ^>=0.3 bounds admit the additive shape API while retaining the current PVP major range.

Updated the internal keiki, keiki-codec-json, and keiki-codec-json-test dependency bounds to co-release with keiki-0.3.0.0.

EqRegFile and regFileCodecPropsEq provide value-level heterogeneous round-trip checks. The original byte-comparing regFileCodecProps remains for compatibility, with its nested-Maybe blind spot now documented.
Keiki.Codec.JSON.Test.GoldenFile.regFileGoldenFileSpec pins a whole register file against checked-in JSON in both directions, with a deliberately failing KEIKI_UPDATE_GOLDENS regeneration workflow.

Initial Hackage release. Co-released with keiki-0.1.0.0 and keiki-codec-json-0.1.0.0.

Keiki.Codec.JSON.Test.Golden — the case-#10 detector: data SlotGolden a = SlotGolden { sgInput :: a, sgBytes :: LBS.ByteString } and slotGoldenSpec :: (Aeson.ToJSON a, Aeson.FromJSON a, Eq a, Show a) => String -> SlotGolden a -> Hspec.Spec. Pins a per-slot-type golden bytes value; fails loudly when the slot's ToJSON instance silently changes (the schema-evolution failure mode the shape hash cannot detect by design).
Keiki.Codec.JSON.Test — library-ised exposure of the EP-36 M3 round-trip and sensitivity disciplines:
- class ArbitraryRegFile (rs :: [Slot]) with inductive arbRegFile :: Gen (RegFile rs).
- regFileCodecProps @rs :: Spec — four QuickCheck properties (Value-path round-trip, Encoding-path round-trip, within-path determinism on both paths).
- data SomeKnownRegFileShape, someKnownShape @rs, regFileShapeSensitivitySpec — parameterised baseline + mutation list; asserts each mutation flips the shape hash.

GHC 9.12.2 locally on macOS aarch64 and in CI on Ubuntu Linux x86_64 (see .github/workflows/ci.yml).
7 self-test assertions exercising every public helper against a toy Email slot type and DemoSlots / DemoSlotsRenamed baseline + mutation pair.