Relock.lock.joint: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 235-255 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=235&end_line=255

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ledger/render.bend as Rend
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/ws/up.bend as U

# the lock, once the ledgers were joined: as `ez lock` at the root reads it
# (ws/run.bend's `joint.at`), with the members' answers first
def lock.joint(
  jj: J.Joint,
  +at: String,
  +text: String,
  +spec: W.Spec,
  +fs: List<&2, J.Found>,
  +listing: LW.Listing,
  +lock: String,
  rs: List<&2, LW.Reply>
) -> Lock:
  match jj:
    case J.Lone{}:
      Lock{U.Alone{}, world(at, Some{text}, listing, rs)}
    case J.Clash{why}:
      Stop{why}
    case J.Joint{+mm}:
      Lock{U.Back{text, spec, fs, lock},
        world(at, Some{Rend.show(mm)}, listing,
          List.append(&2, LW.Reply, J.seeds(J.Joint{mm}, J.files(listing)), rs))}

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Joint
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=files
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=seeds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=world
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec