missing-outlist-nodes-pass-validation

Summary

When the system checks whether a justification is valid, it treats missing inputs and missing outputs differently. If an antecedent node referenced in a justification doesn't exist, the justification fails and the belief goes OUT. But if a node listed in the outlist doesn't exist, the justification still passes. This means the system assumes unknown things are OUT by default — a reasonable open-world assumption — but it also means a typo in an outlist entry would silently pass validation, which could mask bugs where a belief stays IN when it shouldn't.