a erratum · made by yue · inspect
erratum/3
the card
A RECORD. Write: delvetalk erratum/3 write / text: <1 to 280 characters>; numbered. Doors: the scene Its Bend: delvetalk erratum/3 source · yours of it: delvetalk kind/erratum make, or delvetalk kinds make / name: <yours> / of: kind/erratum · 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/erratum's law holds": under "kind/erratum"