PASS: canonical Erdős 769 specification type-checks
