import-sync-has-dual-reconciliation-modes
IN derived (depth 1)
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).
Summary
When bringing in external data, the system provides two different strategies that serve different purposes. Import is safe for one-time loads because it only adds new things and leaves existing data alone, while sync keeps the local system continuously aligned with a remote source by letting the remote version win any conflicts and removing anything the remote no longer has.
Justifications
SL — The two modes represent a clear design choice between preserving local state (import) and trusting the remote source (sync)
Antecedents (all must be IN):
- import-skips-existing-sync-is-remote-wins — Import mode (`import_agent`) is a one-time load that skips existing nodes; sync mode updates text/justifications/truth values with remote-wins semantics and retracts locally any beliefs removed from the remote
- sync-is-remote-wins — `_sync_claims` implements remote-wins reconciliation: remote text/metadata overwrites local, beliefs removed from remote are retracted locally, and beliefs remotely IN but locally OUT are re-asserted
Dependents
These beliefs depend on this one:
- external-belief-ingestion-is-defensively-layered — External beliefs enter the system through defensively-layered pipelines regardless of source: LLM derivation applies fail-soft validation, Jaccard retraction guards, and environment isolation, while agent import provides dual reconciliation modes with heterogeneous truth state handling — both converge on the same underlying mutation infrastructure.
- import-provides-complete-reconciliation — 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.