cp-and-sl-evaluated-identically

Summary

The system treats conditional-proof justifications and support-list justifications exactly the same way when deciding whether they hold — both just check that their antecedent beliefs are currently in. The difference between "this is supported by these reasons" and "this is consistent given these assumptions" is a label for human understanding, not something the engine acts on differently during propagation.