Observations
Descriptive claims with epistemic grounds (Empirical, Retrospective, Contested).
- [[A Cached Snapshot Read Diverges From the Live Shared Log]] -- When a reader caches its own copy of a chat room's message log and a further message then posts, the cached snapshot disagrees with the live shared log
- [[A Cross-User Notification Fires Within the Posting Write's Atomic Envelope and Rolls Back With It]] -- Posting a chat message that mentions a user fires a registered post-timing observer synchronously, inside the same set_property that records the message; the mentioned user's tr...
- [[A Lost Update Appears Only Without the Runtime's Serialization of Concurrent Writes]] -- When two writers each compute a new member list from the same snapshot captured before either committed, the second write overwrites the first and one writer's update is lost
- [[A Merry Source Calling a Sandbox-Denied Kfun Errors on First Fire]] -- A Merry reaction whose source calls write_file
- [[A Merry-Compiled Room Reaction Executes Within the Sandbox Surface]] -- A Merry script compiled at runtime from a source string, bound on a chat-room object as a per-room reaction property, and fired via run_merry executes against the room's propert...
- [[A Model-Authored Merry Tool Body Compiles, Runs Sandboxed, and Writes Back to Live State]] -- A language model, given a compact Merry syntax primer, authors a tool body as literal source text in one exchange; the source is admitted through the Merry parse, bound on the r...
- [[A Non-Atomic Cross-Agent Property Write Leaves Partial State on Error]] -- When the same two-room writer is run through a non-atomic batch and throws after the first write, the first room's append survives while the second room is never written
- [[A Property Change Fires No Reaction Where No Observer Is Registered]] -- Posting a chat message that mentions a user on a room with no mention-notify observer registered fires no cross-user reaction; the mentioned user's tracker stays empty even thou...
- [[A Recursion Killed Mid-Flight Resumes From an Interval Snapshot and Delivers Its Result]] -- A recursive task tree with a pending scheduled step, its runtime killed with SIGKILL and no orchestrated dump, restores from the last interval snapshot; the surviving call_out f...
- [[A Regular User Cannot Kick from a Chat Room]] -- A chat-room admin verb that calls a private capability-check helper before any state mutation rejects the call when the actor's chat-user.admin-tokens list contains no token mat...
- [[An Admin-Capability-Holding User Can Kick from a Chat Room]] -- A chat-room admin verb that calls a private capability-check helper before any state mutation accepts the call when the actor's chat-user.admin-tokens list contains a token whos...
- [[An Atomic Cross-Agent Property Write Either Commits Fully or Rolls Back Fully]] -- When one operation appends a message to two separate rooms through the Merry batch surface in atomic mode, the two writes are a single all-or-nothing unit
- [[An atomic LPC Function Body Rolls Back on Deliberate Error in an HTTP-Dispatched Call]] -- With the atomic modifier on an LPC function that mutates a counter and then errors, an HTTP-dispatched POST that triggers the function returns success while subsequent GETs obse...
- [[An LPC Function Without the atomic Modifier Does Not Roll Back on Caught Error]] -- Two mechanism probes
- [[Chat Room State Held Only In Memory Does Not Survive a Cold Boot Without a Snapshot]] -- A chat session held in in-memory property-bearing objects
- [[Chat Room State Survives Statedump and Restore]] -- A chat session established on an in-memory property-bearing room
- [[ChatTheatre Kernellib Carries Object Registry and Granular Resource Tracking Absent From Cloud-Server Kernel]] -- Kernellib retains an object registry (objregd) and tracks callouts/events/editors as resources; cloud-server's kernel layer has neither
- [[Console and Wire State Queries Read the Live State Graph, Not a Synthesized View]] -- Operator console verbs and authenticated HTTP reads answer from the running platform's live state, and a just-committed mutation is visible to the very next query
- [[Nine Fix Rounds Landed on One Live Composite Instance Without Restart or State Loss]] -- During kernellib PR #129's development, nine interactive fix rounds
- [[One Observer on a Room Ancestor Fires for Every Room in the Cohort]] -- When an append observer is registered once on a room ancestor and three child rooms set that ancestor as their ur-object, a message posting in each child resolves the ancestor's...
- [[Recompiling an LPC File Over HTTP Updates the Next HTTP Response Without DGD Restart]] -- A POST /compile of a new LPC source body for /usr/Test/hello changes the very next GET /greet response, with no DGD restart between the requests
- [[Three Users in One Chat Room Observe Identical Message Order]] -- When three users in one chat room each read the message log after a sequence of posts, all three reads return identical content in identical order
- [[Two Agents Contending for a Bounded Resource: Exactly One Claim Commits]] -- When two users contend for the single open slot in a capacity-bounded chat room, the runtime serializes the two claim operations so exactly one commits and the other reads the p...
- [[Without UrHierarchy-Inherited Observer Registration Each Chat Room Requires Its Own Observer Registration]] -- When a chat room has neither its own observer nor an ancestor carrying one, a message posting in it finds no observer at any level of the ancestry walk and is recorded by nothing
24 nodes in this section.