 Proper closed-point fibers do not imply properness

A finite-type morphism can have a proper fiber over every closed point without being proper. Properness controls compatible specialization in families, as expressed by the valuative criterion for properness, rather than only the individual closed fibers.