network-is-sole-truth-propagation-engine

OUT premise

All truth value computation and propagation in the system flows through `Network._propagate()` and `Network._compute_truth()`; no other module modifies truth values directly.

Summary

The system's truth values are maintained exclusively by two centralized functions, meaning there are no side channels or shortcuts that can change whether something is considered true or false. This matters because it guarantees a single point of control for truth propagation, making the system's reasoning auditable and predictable — but this claim is currently marked as not holding, suggesting some other path for modifying truth values may exist.

Details

Source

entries/2026/05/05/reasons_lib-network.md