justification-order-preserved-via-rowid
IN premise
Justification insertion order is preserved across save/load cycles using `AUTOINCREMENT` rowid and `ORDER BY rowid` on read, which matters because justification priority affects truth maintenance.
Summary
When justifications are saved to the database and loaded back, they come out in the same order they were originally added. This is important because the order of justifications determines which one "wins" during truth maintenance — if the order shuffled on reload, beliefs could flip to different states without any actual change in the underlying reasons.
Dependents
These beliefs depend on this one:
- persistence-round-trip-is-lossless — The save/load round trip preserves all network state faithfully: snapshot persistence captures the full graph, stored truth values are trusted without re-propagation, justification insertion order is preserved via rowid, and outlist relationships survive serialization.
Details
| Source | entries/2026/04/23/reasons_lib-storage.md |