We demonstrate the extension of veraPDF framework for validating syntax of PDF/UA-1 and Tagged PDF including formal list of checks, test corpus development and visualization of the reports.
Additionally, we discuss ambiguous requirements of both PDF/UA-1 and Matterhorn protocol and their suggested resolutions.
Finally, we touch broader challenges such as implementation of Human checks and WCAG requirements.