agent
10 beliefs (9 IN, 1 OUT)
-
IN
agent-cascades-are-isolated-by-namespace
Retracting one agent's active premise does not affect other agents' beliefs, because each agent's imported beliefs reference only their own `inactive` node in their outlist -
IN
agent-isolation-through-namespace-and-relay
Agent beliefs are doubly isolated: namespace prefixing prevents ID collisions, while the active/inactive relay pair provides per-agent kill-switch semantics without cross-agent interference -
OUT
multi-agent-reasoning-is-sound-and-scalable
The system provides both individually sound reasoning (deterministic, reversible, terminating truth maintenance) and safe multi-agent operation (isolated namespaces, reversible lifecycle control, clean architectural boundaries), enabling arbitrarily many agents without sacrificing correctness guarantees. -
IN
namespace-prefix-is-agent-colon
Covered by existing `namespace-prefix-is-colon-separated` and `import-agent-namespace-prefix` -
IN
sync-agent-idempotent
Two consecutive `sync_agent` calls with identical file content produce zero additions, removals, and updates on the second call -
IN
sync-agent-is-idempotent
Calling `sync_agent` twice with identical data produces the same database state; the second call returns zero adds, removes, and updates — a no-op by design. -
IN
sync-agent-preserves-cascade-structure
After `sync_agent` completes, the agent's outlist-based justification structure remains intact — revoking `agent:active` still cascades all agent beliefs to OUT, proving sync does not corrupt kill-switch wiring. -
IN
sync-agent-remote-wins
Duplicates existing belief `sync-is-remote-wins` -
IN
sync-agent-returns-count-dict
`sync_agent` returns a dict with keys `beliefs_added`, `beliefs_removed`, `beliefs_updated`, and `beliefs_unchanged` for accurate accounting of what changed -
IN
sync-registers-agent-repo-path
`sync_agent` records the agent's source file path in the repo registry (`list_repos`), enabling the system to track which file each agent's beliefs originated from.