deferred-retraction-ordering
IN premise
During agent import, nodes are added and truth values propagated before explicit retractions are applied, ensuring the dependency graph is fully wired before OUT transitions are forced.
Summary
When importing beliefs from an external agent, the system first builds the complete dependency graph with all nodes connected and their truth values flowing naturally. Only after everything is wired up does it apply any retractions. This ordering matters because it prevents a situation where retracting a node early could cascade incorrectly through a partially-built graph, potentially leaving some dependent nodes in the wrong state.
Dependents
These beliefs depend on this one:
- import-ordering-ensures-correct-final-state — Import follows a deliberate ordering discipline — add nodes first, propagate truth values second, apply explicit retractions last — ensuring deferred retractions correctly override any truth values that propagation would compute, producing a final state that respects both structural dependencies and explicit intent.
Details
| Source | entries/2026/04/24/reasons_lib-import_agent.md |