Metis 1.0.1

Changes:

• Separates macro programming philosophy from LLM-specific agent process.
• Adds invariant tracing before defensive null/None checks so agents avoid duplicate safety guards when upstream validation or type guarantees already establish the contract.
• Updates cleanup and eval guidance to catch duplicated defensive checks.