Semantic validation for resolved bindings.
Reports unknown decoder names. Reports handler-group instructions that don’t exist. Reports IDA and Binja schema issues. Reports missing required fields.