Progmune Runtime — Program Immunology: A constraint-guided program synthesis runtime for verifiable AI-generated code