Repository navigation

engine: harden the MDL writer (re-parse + semantic-loss + lossiness contract) - #864

Merged

bpowers merged 6 commits into

mainfrom

mdl-writer-hardening

Jul 7, 2026

Merged

engine: harden the MDL writer (re-parse + semantic-loss + lossiness contract)#864
bpowers merged 6 commits into
mainfrom
mdl-writer-hardening

Commits on Jul 7, 2026
- engine: add MDL writer roundtrip ratchet gates
  bpowers
  committed
  f214f96
- engine: make MDL writer expression printer context-aware
  bpowers
  committed
  5410cc5
- engine: sanitize MDL writer free text through one choke point
  bpowers
  committed
  c8abfec
- engine: fix MDL writer semantic loss; add export warnings channel
  bpowers
  committed
  d0a419a
- engine: add MDL writer property tests; document writer
  bpowers
  committed
  f1b0269
- engine: warn on unreferenced extrapolating lookup export
  bpowers
  committed
  4a90b9a