Physics applicability

Enumerates optimization contracts and equations for every discovered physics interface.

Certified and development interfaces share the same mandatory contract shape, so adding a physics class without optimization evidence fails generation.