any-mode-is-structural-expansion

Summary

This node flags that another belief already says the same thing — that any_mode takes a set of premises and fans them out into individual single-premise justifications, one per premise. It exists as a housekeeping note to signal redundancy in the network so the duplicate can be cleaned up.