The earliest badged 4032's had the dynamic board with no CRTC.
I likewise have one of those machines badged 4032 but is technically just a PET 2001N (Dynamic RAM-no-CRTC) board with BASIC 4.0. All 12" machines (to my knowledge) used CRTCs but there were indeed 9" 4032s (and possibly 4016 and 4008s) and so far as I *know* no 9" machines shipped with the Universal board. There are however references to a special EDIT ROM to allow you to use a Universal board in a 9" chassis, presumably as a replacement service part.
(There's an official 4000-series PET service manual floating around that covers both 9" and 12" variants so they're definitely "canon".)