active-not-in-antecedents

Summary

When beliefs are imported into the system, the "active" flag is intentionally kept out of their justification chains. If "active" were included as a supporting reason for each belief, every belief would have a backdoor path that keeps it alive regardless of other retractions — effectively making it impossible to retract individual beliefs without deactivating the entire import. This design choice preserves the ability to surgically retract specific beliefs while leaving the rest of the imported set intact.