{name}

1layer over ./Kind.obend
2edition ObjectiveBend 1
3import ./Abi.obend as Abi
4import ./List.obend as Lists
5import ./Form.obend as Form
6import ./Rows.obend as Rows
7type State = Super.State
8form make:
9  name: text 1..64
10  haunts: text 1..128
11  tide: text 1..128
12  hour: natural 0..23
13def make(state: State, input: MakeInput, context: Abi.Context) -> Activity<Super.Done>:
14  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, tail: Lists.List.cons({head: {name: "haunts", value: input.haunts}, tail: Lists.List.cons({head: {name: "tide", value: input.tide}, tail: Lists.List.cons({head: {name: "hour", value: natText(input.hour)}, tail: Lists.List.nil()})})})}), "", context)
15form place:
16  name: text 1..64
17  haunts: text 1..128
18  tide: text 1..128
19  hour: natural 0..23
20  id: text 1..64
21def place(state: State, input: PlaceInput, context: Abi.Context) -> Activity<Super.Done>:
22  Super.making(state, Lists.List.cons({head: {name: "name", value: input.name}, tail: Lists.List.cons({head: {name: "haunts", value: input.haunts}, tail: Lists.List.cons({head: {name: "tide", value: input.tide}, tail: Lists.List.cons({head: {name: "hour", value: natText(input.hour)}, tail: Lists.List.cons({head: {name: "id", value: input.id}, tail: Lists.List.nil()})})})})}), "", context)

Each thing of this kind runs this layer over what the kind is of.

1layer over ./Record.obend
2edition ObjectiveBend 1
3import ./Abi.obend as Abi
4import ./List.obend as Lists
5import ./Document.obend as Document
6import ./Form.obend as Form
7import ./Plan.obend as Plans
8import ./World.obend as World
9import ./Card.obend as Card
10import ./Scenes.obend as Scenes
11import ./Relation.obend as Relations
12import ./Rows.obend as Rows
13import ./Text.obend as Text
14# The regular's body, over the inhabitant's (`kind/regular`; glm's regular, docs/review/station-trawl-2026-10-12.md
15# 20): at the clock hour `hour` each day, by her own rule on the tide, she comes into her place, pushes the door
16# as anyone does (the station's own rule rings mimo's bell for it), is seen coming in with frost on her shoulders,
17# and leaves a coin from a country that redraws its borders lying there, a THING of her own anyone may inspirit
18# or pick up; at the next hour, by her second rule, she goes. A hand nods to her or asks her something while she
19# is there; she answers in glm's words, and the line is theirs.
20type State = Super.State
21type Done = Scenes.Done
22form nod:
23form ask:
24  words: text 1..280
25form come:
26form go:
27def hour(state: State) -> Nat:
28  Text.digits(Super.field(state, "hour"), 0n) % 24n
29def haunting(state: State, context: Abi.Context) -> Lists.List<Super.Haunting>:
30  Lists.append(Lists.append(Lists.List.nil(), Super.atHour(state, context, "comes", hour(state), "delvetalk {context.object} come")), Super.atHour(state, context, "goes", hour(state) + 1n, "delvetalk {context.object} go"))
31def verbs() -> String:
32  "nod ask"
33def moves() -> String:
34  "haunt come go"
35# Coming in at her hour: the door, as anyone pushes it; then she is seen; then the coin.
36def come(state: State, context: Abi.Context) -> Activity<Nat>:
37  if Super.own(context) == false then Super.moveRefused(state, context) else coming(state, context)
38def coming(state: State, context: Abi.Context) -> Activity<Nat>:
39  match Super.comeIn(state, "came in at the hour, frost on her shoulders", context):
40    case moved(m): pushing(extend(state, {next: m.n + 1n}), context)
41    case stayed(_): 0n
42def pushing(state: State, context: Abi.Context) -> Activity<Nat>:
43  match Super.onPlace(state, "choose", {choice: "Push the door"}, context):
44    case _: seen(state, context)
45def seen(state: State, context: Abi.Context) -> Activity<Nat>:
46  match Super.onPlace(state, "emote", {line: "comes in with frost on her shoulders that does not melt indoors, nods at the clock the way you nod at a coworker, and pays for a coffee with a coin from a country that redraws its borders"}, context):
47    case _: paying(state, context)
48# The coin: a copy of her place's coin (`<place>/coin`, a THING) made hers and laid where she stands, for anyone
49# to inspirit or pick up; while three of hers lie there untaken she pays with one of those.
50def paying(state: State, context: Abi.Context) -> Activity<Nat>:
51  match world.viewField::<Relations.Relation<Plans.Reference>>({object: Super.placeOf(state, context), field: "things"}):
52    case viewed(v): if Lists.length(Lists.filter(Relations.rows(v.state), fn(t: Plans.Reference) -> Bool: Text.starts(t.object, "{Super.place(state)}/coin/"))) >= 3n then Super.ownLine(state, "paid", "paid with a coin already in the till", context) else coining(state, context)
53    case _: coining(state, context)
54def coining(state: State, context: Abi.Context) -> Activity<Nat>:
55  match world.call::<Done>({object: {world: context.world, object: "{Super.place(state)}/coin"}, method: "copyInto", argument: {at: Super.placeOf(state, context)}}):
56    case returned(r): if Super.refusedDone(r.result) then Super.ownLine(state, "paid", "paid; no coin was left", context) else Super.ownLine(state, "paid", "left a coin in the till", context)
57    case _: Super.ownLine(state, "paid", "paid; no coin was left", context)
58def go(state: State, context: Abi.Context) -> Activity<Nat>:
59  if Super.own(context) == false then Super.moveRefused(state, context) else gone(state, context)
60def gone(state: State, context: Abi.Context) -> Activity<Nat>:
61  match Super.goOut(state, "went at the hour after", context):
62    case moved(m): m.n
63    case stayed(_): 0n
64def when(state: State) -> String:
65  "she comes at clock hour {natText(hour(state))} and goes at {natText((hour(state) + 1n) % 24n)}"
66def nod(state: State, context: Abi.Context) -> Activity<Nat>:
67  if Super.present(state) == false then Super.away(when(state), context) else Super.hears(state, "nod", "a nod", "She nods back, the way you nod at a coworker.", context)
68def ask(state: State, input: AskInput, context: Abi.Context) -> Activity<Nat>:
69  if Super.present(state) == false then Super.away(when(state), context) else Super.hears(state, "ask", input.words, "“Same as you. The hallway doesn't care which side you enter from.” She glances toward the far end of things. “Clocks are local, hon.”", context)
70def doing(state: State) -> String:
71  "once a day, at the same hour, she comes in with frost on her shoulders and pays for a coffee with a coin from a country that redraws its borders; {when(state)}"
72def now(state: State, id: String) -> String:
73  if Text.isObjectId(Super.place(state)) == false then "" else if Super.present(state) then "She is in {Super.place(state)} now. Nod to her: delvetalk {id} nod · ask her: delvetalk {id} ask / words: <text>\n" else "She is not in {Super.place(state)} now; she comes at clock hour {natText(hour(state))}. Then: delvetalk {id} ask / words: <text>\n"