Record what happened, who knows it and how they learned it. Then ask, from anyone’s point of view.
holdsDoes a holder hold a claim at a position? The answer comes with the Holding behind it.queryperspectiveEverything a holder holds, is aware of and feels at a position: their whole point of view in one read.commandcommitWrites one event with its records and transitions, atomically: all of it or nothing.commandtransmitOne holder tells another something they hold, honestly or deceptively.commandwitnessEveryone at a scene sees the same claims: one commit, one Holding per witness and claim.querytraceHow a record came to be: its event, its transitions, and every link of who told whom, back to the source.querycheck.utteranceChecks claims a holder says or thinks against what they hold, and tells canon apart.querycontext.admitDecides which records and events may enter a context for a perspective, within a budget, with a reason for every refusal.cargo install \
--git https://github.com/Kallamo/Umwelt \
umwelt-clinpm install @kallamo/umweltdotnet add package Kallamo.Umweltumwelt serve world.umw@kallamo/umweltTyped methods for every operation. The engine ships inside the package..NETKallamo.UmweltThe engine in your process, through its native library.Command lineumweltOne call at a time, or a server over standard input.Any languageJSON protocol v1Speak the protocol, or load the C ABI.