restoration-hints-are-surgical
IN derived (depth 1)
Restoration hints provide surgical recovery guidance after retraction cascades: hints exclude the directly retracted node (targeting only cascade victims) and require at least one surviving premise in a multi-premise justification — narrowing recovery scope to nodes that can actually be independently re-justified.
Summary
When a belief is retracted and that retraction ripples through the system, the recovery suggestions are carefully scoped. They only flag downstream casualties that still have some independent support left standing, skipping both the originally retracted node itself and any nodes that lost all their grounding. This means the system guides you toward fixing what is actually fixable rather than suggesting you re-justify things that have no remaining foundation.
Justifications
SL — Two independent filtering rules combine to make restoration hints both precise (no noise from the trigger node) and actionable (only nodes with viable recovery paths)
Antecedents (all must be IN):
- hints-exclude-directly-retracted-node — The node passed to `retract_node` never appears in the `restoration_hints` list — only cascade victims with surviving premises do.
- restoration-hints-require-surviving-premises — A retraction cascade only produces a `restoration_hint` for a node if it has a multi-premise SL justification and at least one of its premises is still IN after the cascade.
Dependents
These beliefs depend on this one:
- contradiction-resolution-minimizes-disruption-and-guides-recovery — Contradiction resolution achieves both minimal impact and guided recovery: dependency-directed backtracking selects the least-entrenched culprit premise to minimize the retraction cascade, while restoration hints identify specific cascade victims that have surviving alternative premises — providing a complete resolve-and-recover pipeline
- retraction-effects-are-reported-with-recovery-guidance — Every retraction provides both complete effect reporting (structured before/after diffs for all mutating operations, full changed set) and surgical recovery guidance (restoration hints targeting only cascade victims with surviving premises, excluding the directly retracted node), giving callers full situational awareness and actionable recovery paths from a single operation.