Yep, I got it. It all looks good, with one caveat.
So somewhere in core, we have a file containing the contract definition
ad_proc -callback module::op {
{-option {} }
arg1:required
} {
docs
} -
Then in a module somewhere, someone defines a callback function but makes an error:
ad_proc -callback module::op {body}
They've forgotton the -implementation flag. Now it looks like a contract definition. How do we handle this?