def plan.lock
import ezx@1.11.0.0/src/fetch/plan.bend as Planimport Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/plan.bend as P
772# the plan once the ledger and the lock are known to be there
773def plan.lock(got: Maybe<&2, String>, +world: F.World) -> P.Plan:
774 match got:
775 case None{}:
776 P.Plan{[], P.Refused{need.lock()}}
777 case Some{_text}:
778 +ss = F.sects(world)
779 parts.plan(parts.of(ss, world), name.parts.of(ss, world))