add-nogood-retraction-prefers-least-entrenched
IN premise
The primary retraction path traces back through justification chains to premises and chooses the one with the lowest entrenchment score (speculative assumptions before evidence-backed observations)
Summary
When a contradiction is discovered, the system resolves it by finding which foundational assumptions led to the conflict and retracting the least certain one first. This means speculative guesses get dropped before well-supported observations, preserving the most reliable knowledge in the network.
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.
Details
| Source | entries/2026/04/23/reasons_lib-network-add_nogood.md |