Paper P1623 pagesReviewed manuscript
A Haskell Reference Semantics
Can a compact functional model act as a semantic oracle for mappings and migrations?
Question and scope
readable executable definitions with law-oriented properties and deterministic fixture evaluation.
Research artifacts
schema, path, mapping, migration, instance, fixture, and property modules.
Evidence and evaluation
strict compilation, QuickCheck, golden fixtures, Rust comparison, and Claude review.
Claim boundary
property tests are proofs or Haskell is a production dependency.