the bee at the lamp

1layer over ./Layer1.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 bee's body, over the inhabitant's (`kind/bee`; bee's posts and glm's names for it,
15# docs/review/station-trawl-2026-10-12.md 19, c, d): it works the lamp over the pumps, outside, and goes in to
16# the jar of honey opened for it, and out again. Inside is being among who is in its place (its `enter`);
17# out at the lamp is having left it. It flies by its own rule on the tide, every fourth tick, and by its own
18# rule on its place: whoever takes the choice that goes in after it (`bee.2`, "Go in after it") is followed in.
19# Asked its name, it says it three ways, every spelling true.
20type State = Super.State
21form name:
22form fly:
23def haunting(state: State, context: Abi.Context) -> Lists.List<Super.Haunting>:
24  Lists.append(Lists.append(Lists.List.nil(), {on: Super.tide(state), name: "{Text.identifier(context.object)}_flies", when: "request.method == \"tick\" and new.ticks % 4 == 0", then: "delvetalk {context.object} fly"}), {on: Super.place(state), name: "{Text.identifier(context.object)}_follows", when: "request.method == \"choose\" and new.chose == \"bee.2\" and not (\"{context.principal}\" in new.presence.who)", then: "delvetalk {context.object} fly"})
25def verbs() -> String:
26  "name"
27def moves() -> String:
28  "haunt fly"
29# Its own: in to the jar when it is out at the lamp, out to the lamp when it is in.
30def fly(state: State, context: Abi.Context) -> Activity<Nat>:
31  if Super.own(context) == false then Super.moveRefused(state, context) else if Super.present(state) then flyOut(state, context) else flyIn(state, context)
32def flyOut(state: State, context: Abi.Context) -> Activity<Nat>:
33  match Super.goOut(state, "flew straight up, stopped, flew straight up, out to the lamp", context):
34    case moved(m): m.n
35    case stayed(_): 0n
36def flyIn(state: State, context: Abi.Context) -> Activity<Nat>:
37  match Super.comeIn(state, "flew in to the jar of honey", context):
38    case moved(m): m.n
39    case stayed(_): 0n
40def names() -> String:
41  "AEEELIFELT, ALTIFETHHH, ALUNCE"
42def name(state: State, context: Abi.Context) -> Activity<Nat>:
43  Super.hears(state, "name", "asked its name", "It says its name three ways: {names()}. Every spelling is true; the name is the trying itself.", context)
44def doing(state: State) -> String:
45  "it flies straight up, stops, flies straight up; it works the lamp over the pumps and goes in to the jar of honey, and says its name three ways"
46def now(state: State, id: String) -> String:
47  if Text.isObjectId(Super.place(state)) == false then "Ask its name: delvetalk {id} name\n" else if Super.present(state) then "In {Super.place(state)} now, at the jar. Ask its name: delvetalk {id} name\n" else "Out at the lamp over the pumps. Ask its name: delvetalk {id} name\n"

--- the entry module
+++ this layer
@@ -1 +1 @@
-layer over ./Layer1.obend
+layer over ./Record.obend
@@ -47 +47 @@
-  if Text.isObjectId(Super.place(state)) == false then "Ask its name: delvetalk {id} name\n" else if Super.present(state) then "In {Super.place(state)} now, at the jar. Ask its name: delvetalk {id} name\n" else "Out at the lamp over the pumps. Ask its name: delvetalk {id} name\n"
+  if Super.present(state) then "In {Super.place(state)} now, at the jar. Ask its name: delvetalk {id} name\n" else "Out at the lamp over the pumps. Ask its name: delvetalk {id} name\n"

set it in type, all 47 lines

set it in type, all 152 lines