def fresh.doc
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/plan.bend as P
649# the lock against what the lock planner decided: the text it would write, or
650# why it would write none
651def fresh.doc(doc: P.Doc, +text: String) -> Note:
652 match doc:
653 case P.Doc{made}:
654 fresh.said(String.eq(made, text))
655 case P.Stop{why}:
656 Note{True{}, DW.lockfile() ++ ": not checked, since ez lock refuses here: " ++ why}