add-nogood-always-records
IN premise
`add_nogood` appends a `Nogood` record unconditionally before checking whether the contradiction is active, so nogoods are preserved even when not all member nodes are currently IN
Summary
When a contradiction is recorded between beliefs, the system always saves that contradiction to the database first, before checking whether it actually matters right now. This means the system never loses track of known conflicts — even if some of the conflicting beliefs are currently retracted, the contradiction record survives and can trigger resolution later if those beliefs come back.
Dependents
These beliefs depend on this one:
- contradiction-resolution-is-minimal-disruption — The nogood resolution system minimizes network disruption through layered heuristics: the primary path traces justification chains back to premises and selects the least-entrenched for retraction, the fallback uses dependent count when no traceable chain exists, and all contradictions are unconditionally recorded regardless of resolution outcome.
- nogood-resolution-maintains-consistent-ids — Nogood recording and resolution produces a consistent, referenceable history of contradictions
Details
| Source | entries/2026/04/23/reasons_lib-network-add_nogood.md |