agent-beliefs-undergo-full-revision
OUT derived (depth 4)
Agent-imported beliefs participate in the full revision system: the self-contained agent subsystem provides isolated lifecycle management and reversible defeat, while the comprehensive revision system ensures agent beliefs are subject to the same outlist defeat and contradiction resolution as locally-created beliefs — no revision exception exists for external provenance.
Summary
When beliefs are imported from external agents, they don't get special treatment — they face the same contradiction checks and defeat mechanisms as any belief created locally. The agent subsystem handles the logistics of importing and isolating external beliefs, but once inside the system, those beliefs can be challenged, retracted, or restored just like everything else.
Justifications
SL — agent isolation composes with universal revision semantics (depth-4 from depth-2 + depth-3 IN)
Antecedents (all must be IN):
- agent-subsystem-is-self-contained — The agent subsystem provides complete lifecycle management: import handles mixed truth states and topological cycles, namespace/relay pairs provide isolation and kill-switches, and all defeat operations are reversible for agent reactivation.
- belief-revision-is-comprehensive-and-minimal — The system handles all forms of belief revision through two complementary minimal mechanisms: the outlist primitive provides a single reversible defeat mechanism for challenges, kill-switches, and supersession, while dependency-directed backtracking resolves detected contradictions by retracting the least-entrenched premise with minimal disruption.
Dependents
These beliefs depend on this one:
- all-belief-origins-share-deterministic-revision — All belief origins — human-initiated dialectical challenges, LLM-derived proposals, and multi-agent imports — participate in the same deterministic revision system: dialectics receive deterministic evaluation through semantic transparency (no special-casing), while agent beliefs undergo full revision through the comprehensive minimal revision primitives — no belief source escapes uniform treatment.