feat: reconcile Haskell aggregate schemas

[0xgleb]

Adds typed Haskell schema reconciliation over the shared engine ABI, including compaction-aware recovery and real in-memory engine coverage.

Closes #86.

---

This is part 32 of 32 in a stack made with GitButler:

•  32  feat: reconcile Haskell aggregate schemas #52 👈
•  31  docs: reserve TypeScript bindings for 0.5.0 #51
•  30  test: property-check protocol invariants #49
•  29  test: discover Haskell specs with Hspec #48
•  28  refactor: use the Event.Sorcery module namespace #47
•  27  feat: expose schema recovery over the C ABI #46
•  26  refactor: expose schema recovery through engine facade #45
•  25  bench: add Haskell engine benchmarks #43
•  24  test: share cross-binding encoding vectors #42
•  23  feat: renew Haskell job leases #41
•  22  feat: deliver Haskell dispatch verdicts #40
•  21  feat: settle Haskell job executions #39
•  20  feat: route Haskell job executions #38
•  19  feat: seal Haskell dispatch outcomes #37
•  18  feat: load Haskell entities from snapshots #36
•  17  feat: execute typed Haskell commands #35
•  16  feat: restore the typed Haskell domain model #34
•  15  feat: run jobs from the Haskell binding #33
•  14  refactor: package the Haskell binding by feature #32
•  13  feat: expose job operations over the C ABI #31
•  12  feat: expose the existing job runtime #30
•  11  feat: call the shared engine from Haskell #29
•  10  feat: add deterministic Haskell engine codecs #28
•  9  feat: expose stream operations over the C ABI #27
•  8  feat: add the C ABI lifecycle #26
•  7  api: expose the shared engine facade #25
•  6  refactor: route job storage through the engine facade #24
•  5  refactor: extract the serialized engine facade #23
•  4  test: pin atomic event and job persistence #22
•  3  chore: update 0.4.0 ownership metadata #18
•  2  build: unify the Rust and Haskell toolchain #17
•  1  docs: specify the 0.4.0 monorepo engine #14

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: cd3b6cb3-4f74-46bc-ab98-e11d281c3857

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch feat/0.4-haskell-schema

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}