import-provides-complete-reconciliation
IN derived (depth 2)
The import subsystem provides complete reconciliation coverage: heterogeneous truth states are handled correctly on initial load, dual modes support additive import and remote-wins sync for different operational needs, and the colon-based namespace convention with auto-wiring prevents ID collisions across agents.
Summary
When data is brought in from external sources, the import system covers all the tricky edge cases. It correctly handles beliefs that arrive in different truth states, offers both a gentle merge mode and a full overwrite mode depending on what the situation calls for, and uses a naming scheme that keeps different agents' data from stepping on each other. Together, these pieces mean the system can reliably absorb outside knowledge without corruption or conflicts.
Justifications
SL — Import handles all truth states, sync handles ongoing updates, and namespacing prevents cross-agent collisions
Antecedents (all must be IN):
- import-handles-heterogeneous-truth-states — The import pipeline handles mixed truth states: OUT/STALE beliefs arrive without justifications, topological sort tolerates cycles, and two-phase truth maintenance reconciles everything post-import
- import-sync-has-dual-reconciliation-modes — The import/sync subsystem offers two distinct reconciliation strategies: import is additive (skips existing nodes), while sync is remote-wins (overwrites text, justifications, and truth values from the remote source).
- namespace-is-colon-convention-with-auto-wiring — The namespace system is a colon-based convention with automatic infrastructure wiring: colon presence prevents double-prefixing, the `agent:id` format provides scoping, and node creation auto-wires a `{ns}:active` premise as an antecedent.
Dependents
These beliefs depend on this one:
- all-external-inputs-safely-integrated — Both LLM-derived beliefs and agent-imported beliefs are safely integrated into the network: defensive validation with retraction guards bounds LLM output, while complete reconciliation with dual modes and heterogeneous truth handling manages agent imports.
- bulk-operations-preserve-topology-and-reconcile — Both bulk modification operations — deduplication and import/sync — preserve network topology by rewiring justification references (both antecedent and outlist) to survivors or updated targets, while providing distinct reconciliation strategies (dedup via user-editable keep/retract plans, import via dual additive/remote-wins modes)
- external-belief-lifecycle-is-complete — The system manages external beliefs across their full lifecycle: import/sync provides dual reconciliation modes with heterogeneous truth state handling and namespace auto-wiring, while staleness checking detects source drift for CI gating — beliefs are tracked from initial ingestion through ongoing validity monitoring.
- import-reconciliation-converges-deterministically — Import reconciliation achieves both completeness and convergence: dual import/sync modes handle heterogeneous truth states with namespace isolation and topological cycle tolerance (completeness), while all reconciliation operations — individual propagation, agent sync, and global recompute — converge to deterministic fixed points on repeated application (convergence), ensuring that import never introduces oscillation or nondeterminism.
- initialization-and-reconciliation-converge-equivalently — Both initialization paths (stored-state bootstrap trusting persisted values, and deterministic reasoning computing from scratch) and reconciliation operations (dual import/sync modes with heterogeneous truth state handling) converge to equivalent correct belief states — the system reaches the same outcome regardless of how or when beliefs enter the network.