@hackage / moonlight-delta

Changelog

0.1.0.0 - 2026-07-12

• Initial release of the boundary-aware delta calculus layered over moonlight-core.
• Checked patch surface (Moonlight.Delta.Patch). A CellPatch records both endpoints of a change — AssertAbsent, Insert, Delete before, Replace before after — so applying one is a verified transition rather than an overwrite. apply, compose, and replay are all checked; diff and invert are total. Stale writes, missing-row races, duplicate inserts, and invalid deletes come back as typed ApplyError/ComposeError/ReplayError instead of silent last-write-wins.
• Signed deltas (Moonlight.Delta.Signed) with normalize, identity, associativity, and inverse laws.
• Frontier, support, and monotone modules (Moonlight.Delta.Frontier, .Support, .Monotone). Monotone composition holds under an associative join; ResetDelta is a deliberate left-absorbing rebase, documented as such.
• Epoch calculus (Moonlight.Delta.Epoch): unbounded Version values, versioned Endpoint objects, checked EpochDelta construction, transportKeys, transportView, and checked composition.
• The layer also ships repair, scope, normalization, operator, and time modules (Moonlight.Delta.Repair, .Scope, .Normalize, .Operator, .Time).
• Law families are named through Moonlight.Core.LawName ADTs and checked via a proof-manifest helper; a reference model backs the patch and epoch suites.
• Public package surfaces are Moonlight.Delta.Patch, Moonlight.Delta.Epoch, Moonlight.Delta.Repair, and the modules in the moonlight-delta-core sublibrary.