retraction-effects-are-reported-with-recovery-guidance
OUT derived (depth 2)
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.
Summary
When you retract a node, the system tells you exactly what changed and how to fix collateral damage — you get structured diffs showing every affected node's before/after state, plus targeted suggestions for restoring nodes that were only knocked out as side effects and still have other valid support. This is currently inactive because one or both of its supporting claims have been retracted.
Justifications
SL — Effect reporting tells callers what happened; surgical hints tell them how to recover — together they provide complete operational support
Antecedents (all must be IN):
- every-mutation-reports-its-effects — All mutating operations report their effects as structured data: retract returns the full changed set, add_justification returns a change dict with old/new truth values, and API mutating operations use before/after truth-value diffing to capture deltas.
- restoration-hints-are-surgical — 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.
Dependents
These beliefs depend on this one:
- all-removals-provide-reporting-and-recovery — Every belief removal — whether intentional retraction (structured before/after diffs with surgical restoration hints targeting only cascade victims with surviving premises) or automated contradiction resolution (consistent nogood records with traceable dependency-directed backtracking to least-entrenched culprits) — provides both complete effect reporting and actionable recovery guidance.
- retraction-reporting-reflects-complete-cascades — The retraction reporting system provides accurate effect coverage across all cascade paths — structured before/after diffs capture every truth-value change, restoration hints target only cascade victims with surviving premises, and the cascade itself transitively reaches all dependent nodes — but only when the dependents index tracks all relationship types including outlists, ensuring no outlist-mediated cascade victims produce unreported effects.