network-mutations-append-to-audit-log
IN premise
Every network mutation records a timestamped event in `self.log`, an append-only list that serves as the propagation audit trail.
Summary
Every change to the network — adding nodes, retracting beliefs, updating justifications — gets recorded as a timestamped entry in an append-only log. This means you can always reconstruct exactly what happened and in what order, which is essential for debugging propagation behavior and understanding why a belief ended up IN or OUT.
Dependents
These beliefs depend on this one:
- network-mutations-are-audited-and-index-consistent — Every network mutation simultaneously maintains dual invariants: the audit log receives a timestamped event providing historical traceability, and the dependents reverse index is kept consistent ensuring correct future propagation.
Details
| Source | entries/2026/04/29/reasons_lib-network.md |