update-node-preserves-justifications

Summary

Updating a node's content is a safe, non-destructive operation. You can change what a node says or where it came from without disturbing its logical connections or whether the system considers it true — the dependency graph stays intact.