out-beliefs-imported-as-bare-premises

Summary

This node exists as a bookkeeping note indicating that the concern about OUT beliefs being imported as bare premises is already addressed by another node in the system. It signals that no separate tracking is needed for this case because the invariant is captured elsewhere, preventing duplicate coverage of the same issue.