storage-load-bypasses-add-node
IN premise
`load()` assigns nodes directly to `network.nodes` and calls `_rebuild_dependents()` afterward, deliberately skipping `add_node()` to avoid triggering truth maintenance propagation during state restoration.
Summary
When the system restores its saved state from disk, it takes a shortcut by placing nodes directly into memory and rebuilding their relationships afterward, rather than going through the normal node-addition process. This matters because running full truth maintenance during a load would cause unnecessary cascading recalculations on data that already has its final status recorded — the load path trusts the persisted state instead of re-deriving it.
Details
| Source | entries/2026/05/05/reasons_lib-storage.md |