add-nogood-fallback-uses-dependent-count
IN premise
When `find_culprits` returns no candidates (all nogood nodes are premises with no justification chains), the fallback retracts the nogood member with the fewest direct dependents
Summary
When a contradiction is detected but the system can't trace through justification chains to find the root cause (because all involved nodes are premises), it falls back to a heuristic: retract whichever contradicting node has the fewest other nodes depending on it. This minimizes collateral damage by preserving the most interconnected beliefs.
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 |