Cardano Updates

Validate the cardano-wallet package as the next dependency-first slice.
No owned source changes were required; the patch records formatting,
linting, component builds for the library, public sublibrary, executables,
and the green wallet-key-export test result.

Validate delta-store as the next dependency-first slice. No owned source
changes were required; the patch records formatting, linting, Nix
package/check builds, and the green unit test result.

Validate cardano-wallet-network-layer as the next dependency-first
slice. No owned source changes were required; the patch records
formatting, linting, Nix package/check builds, and the green unit test
result.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Validate iohk-monitoring-extra as the next dependency-first slice. The
package declares no Cabal test-suite, so the patch records formatting,
linting, cabal formatting, and the Nix library build gate.

Validate cardano-api-extra as the next dependency-first slice. The
package declares no Cabal test-suite, so the patch records formatting,
linting, cabal formatting, and the Nix library build gate.

- Add `ContinuousFormula` — temporal-operator-free fragment of `Formula`,
  with `retract :: Formula event ty -> Maybe (ContinuousFormula ty)` and
  `eval :: ... -> event -> Reader OnMissingKey Bool`
- Add `cardano-recon-grep` executable (Global Realisation Print): prints a
  JSON array of TraceMessages that realise all given continuous formulas
- Simplify `prettyTraceMessage` to use ToJSON directly (no field remapping)
- Format negative-outcome relevant events as a JSON array in `prettySatisfactionResult`
- Remove dead `Common.hs` (extractJsonProps)
- Add `docs/formula-languages.txt` ASCII diagram of the formula language hierarchy
- Add note to `docs/ltl-formula-syntax.txt` on the `data` prefix omission convention
- Bump version to 1.2.0; update CHANGELOG and README

- --grep now prints directly to stdout, keeping greppable out of TraceMessage
- Context printout replaced with a ContextDump TraceMessage at Debug severity

- Use Text.unlines in prettyRelevanceArray and forHuman ContextDump
- Rename JSON keys eventsPerSecond and catchUpRatio to camelCase
- Simplify printArray to build a single Text value
- Use maybe [] Map.toList instead of Map.toList . fromMaybe Map.empty

Validate address-derivation-discovery as the next dependency-first
slice. The package declares no Cabal test-suite, so the patch records
formatting, linting, cabal formatting, and the Nix library build gate.

Validate cardano-wallet-secrets as the next dependency-first slice.
No owned source changes were required; the patch records formatting,
linting, Nix package/check builds, and the green test-suite result.

Signed-off-by: Eric Torreborre <[email protected]>

Validate cardano-wallet-primitive as the next dependency-first slice.
No owned source changes were required; the patch records formatting,
linting, Nix package/check builds, and the green package-local test
result.

Validate delta-types as the next dependency-first slice. No owned source
changes were required; the patch records formatting, linting, Nix
package/check builds, and the green unit test result.

Validate crypto-primitives as the next dependency-first slice. No owned
source changes were required; the patch records formatting, linting,
Nix package/check builds, and the green test-suite result.