Add global model invariant verification

[neysofu]

Summary

• document and implement multi-parameter invariant semantics across docs, parser, resolver, and IR
• add purity enforcement plus the new model invariant pipeline with diagnostics, outcomes, and model-specific artifacts
• extend stdlib/bench fixtures and execution tests to cover model invariant pass/failure cases plus purity checks

Testing

• Not run (not requested)