multi-agent-safety-spans-all-layers
OUT derived (depth 3)
Multi-agent operation is safe across the full system: agent isolation prevents cross-contamination between namespaces with reversible lifecycle control, while data integrity is enforced across all three architectural layers through clean boundaries and snapshot persistence.
Summary
Multi-agent operations can run safely because each agent is isolated in its own namespace with reversible controls, and data stays consistent across all system layers through clean boundaries and atomic snapshots. This is currently marked as unsupported because one or more of its foundations — either the agent isolation guarantees or the cross-layer data integrity claim — has been retracted or lost support.
Justifications
SL — Agent self-containment provides logical isolation; architectural data integrity provides physical isolation — together they prevent both semantic and structural cross-agent corruption
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.
- data-integrity-spans-architecture — Data integrity is enforced across all three architectural layers: clean layer boundaries prevent cross-cutting mutations, snapshot persistence ensures atomic state transitions, and conservative staleness checking gates CI pipelines.
Dependents
These beliefs depend on this one:
- all-external-belief-paths-are-safely-bounded — Both external belief integration pathways — LLM-driven derivation (bounded by fail-soft validation, Jaccard retraction guards, environment isolation, and safe propagation) and multi-agent import (bounded by namespace isolation, reversible kill-switches, and layered architecture) — are defense-in-depth pipelines that cannot corrupt the host network.
- all-external-inputs-produce-correct-state — Both external input pathways (LLM derivation and multi-agent import) produce a fully correct persisted network state — bounded validation prevents invalid beliefs, namespace isolation prevents cross-contamination, and layered reconciliation handles all truth states — provided the agent count bug is fixed and missing source files are detected.
- 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.