storage-justification-order-preserved
IN premise
Justifications are inserted in list order and loaded via `ORDER BY rowid`, preserving the ordering that determines which justification is evaluated first during truth computation.
Summary
When multiple justifications support the same node, the order they were added matters because the system evaluates them in that exact sequence. This guarantee means the first-added justification takes priority during truth maintenance, so the system behaves deterministically and predictably rather than picking an arbitrary justification to evaluate first.
Details
| Source | entries/2026/05/05/reasons_lib-storage.md |