propagate-skips-retracted-nodes

Summary

When a node has been explicitly retracted by a user, the automatic propagation system will not bring it back, even if the logical justifications still support it. This ensures that manual retractions are respected as deliberate choices — only an explicit reassertion can restore a retracted node, preventing the system from overriding human decisions during routine truth maintenance updates.