Function templateLawViolations

One template's law violations, empty when it fully complies. Pure, so a caller can assert-and-report or just assert; used by the test that checks every factory entry.