api-retract-cascade-is-transitive
IN premise
`api.retract_node()` propagates OUT to all transitively dependent SL-derived nodes, not just direct children — retracting a root premise retracts the entire downstream chain.
Summary
When you retract a premise, the system does not stop at its immediate dependents. It follows the entire chain of derived conclusions downstream and marks them all as OUT, so removing a foundational claim automatically removes everything that was built on top of it, no matter how many layers deep.
Dependents
These beliefs depend on this one:
- retraction-cascade-is-transitive-and-terminating — Retraction cascades are both transitive in reach (propagating OUT to all transitively dependent SL-derived nodes, not just direct children) and guaranteed to terminate safely (BFS prevents oscillation, retracted nodes are skipped, and the cascade stops when no truth values change) — ensuring thorough impact without risk of runaway propagation.
Details
| Source | entries/2026/04/29/tests-test_api.md |