Verifiable program-level self-evolution for AI-for-Science agents: Skills and typed Operators grow from replay-verified executions.