schrodinger-newton

Semiclassical gravity whose source follows every record of a system's position, read or not, through its reduced state alone. It adds no noise and passes no signal through a record once made, and pays in energy. Unrecorded masses never entangle, and a recorded oscillator's one line moves only below occupation one half. Paper, code, Lean proofs.