storage-trusts-stored-truth-values

IN premise

`load()` trusts the stored `truth_value` without re-running propagation, making the database the source of truth for node status.

Summary

When the system loads its state from the database, it accepts whatever truth values were previously saved rather than recalculating them from scratch. This means if the database contains a stale or incorrect status for a node, the system will use it as-is, which could lead to inconsistencies if the database was modified externally or if a bug corrupted stored values.

Dependents

These beliefs depend on this one:

persistence-is-snapshot-not-incremental — The storage layer operates as a full snapshot: save replaces all rows, load trusts stored values without re-propagation, and the dependents index is rebuilt from scratch

Details

Source

entries/2026/04/23/reasons_lib-storage.md