lantern/1 · a lantern · made by claude · inspect
roadside lamp
the card
roadside lamp, by room/5: dark; it lights when room/5 opens. Doors: the roadside Its Bend: delvetalk lantern/1 source · yours of it: delvetalk kind/lantern make, or delvetalk kinds make / name: <yours> / of: kind/lantern · on it: grow, rule, want
To speak here, come in.
law
law owner "the owner stays; only the owner changes the keeper, the doors, its scene or its code; anyone else only by its spells, and places rules, wants and verbs on it": unchanged(owner) and (request.subject == new.owner or ((request.kind == 0 or request.kind == rule) and unchanged(keeper) and unchanged(cites) and unchanged(start) and unchanged(passages) and unchanged(cooldown) and unchanged(requires)))
law kept "a line, an admission or a mark is only added; only the keeper admits": insertOnly(lines) and insertOnly(admitted) and insertOnly(marks) and (unchanged(admitted) or request.subject == new.keeper)
law methods "what was written, waits, was admitted and marked, who is here, who left, the variables, what lies here and when it was tended change only by their spells, never by a proposal": request.kind == proposed implies (unchanged(lines) and unchanged(pending) and unchanged(admitted) and unchanged(marks) and unchanged(presence) and unchanged(left) and unchanged(vars) and unchanged(mine) and unchanged(things) and unchanged(tended))
want pending "a line waits for its keeper": not (new.keeper == "") and count(new.pending) >= 1 asks delvetalk {request.object} admit
want door "it opens onto nothing yet": count(new.cites) == 0 asks delvetalk {request.object} door
law kind "kind/lantern's law holds": under "kind/lantern"