Relock.seed.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/relock.bend as Relock
Lines 65-78 of ezx@1.11.0.0/src/add/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/relock.bend&start_line=65&end_line=78

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# the package a walk made, as the answer to the lock's question about its
# hash: its manifest and the text of each file it names, read as a tree under
# BEND_LIB, which is where the add lays it. The lock checks it as it checks
# any tree there. A walk that made no package answers nothing.
def seed.of(walk: K.Walked) -> List<&2, W.Reply>:
  match walk:
    case K.Walked{h, _root, +fs, ss}:
      +manifest = K.manifest_of(ss)
      [W.Reply{W.Pkg{h, L.Hub{}, ""},
        W.Got{W.Lib{}, manifest, texts(fs, L.manifest.files(String.lines(manifest)))}}]
    case K.Asks{_at}:
      []
    case K.Refused{_why}:
      []

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=texts
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=manifest.files
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=How
  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/pkg/pkg.bend&name=Walked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=manifest_of