- introduce a custom module op so we can run in `verifyRegions` and assume child ops have been verified - allow to proceed with checking if diagnostic are not requested - add an option to emit remarks on first operation that doesn't satisfy the form, or send it to debug log - generalize normal form registration - attribute interface that implements - type verification hook - attribute verification hook - op verification hook + options to run on top-level, region-holding, etc. only - an attribute on the dedicated operation that acts as a set of the above attributes and calls their hooks in the regions verifier - plug into the transform dialect types
