contract-enforcer

Use when writing or modifying functions with non-trivial logic — especially functions that handle external input, state transitions, or cross-module boundaries. Trigger on "is this correct?", "what are the edge cases?", "what does this function guarantee?", or when reviewing boundary behavior. NOT for trivial getters, simple mappings, or configuration code.