retract-computes-restoration-hints
IN premise
`retract_node` computes `restoration_hints` by examining surviving premises of multi-antecedent justifications, enabling callers to identify which premises could rebuild retracted derived beliefs.
Summary
When a node is retracted, the system analyzes any multi-premise justifications that depended on it and figures out which other premises are still standing. This lets the caller know exactly which surviving premises could be used to restore derived conclusions if the retracted node were later re-added, making the retraction process reversible and transparent rather than a blind deletion.
Details
| Source | entries/2026/04/29/reasons_lib-api.md |