THE lane rule behind a fact — the declaration a server ControlDomain spreads instead of
hand-setting onMasterLane / fansOutToMembers beside the table (phase 3's deletion). A
conditional peer rule contributes its otherwise branch: the lane is what the fact rides
when no peer claims it.
THROWS on a fact whose owner never resolves to a lane: a domain built over an entity-owned
or device-owned fact would gate a door on booleans the declaration does not carry, and a
throwing declaration beats a silently-guessed one (merge checklist §5 — structural over
remembered).
THE lane rule behind a fact — the declaration a server
ControlDomainspreads instead of hand-settingonMasterLane/fansOutToMembersbeside the table (phase 3's deletion). A conditionalpeerrule contributes itsotherwisebranch: the lane is what the fact rides when no peer claims it.THROWS on a fact whose owner never resolves to a lane: a domain built over an entity-owned or device-owned fact would gate a door on booleans the declaration does not carry, and a throwing declaration beats a silently-guessed one (merge checklist §5 — structural over remembered).