Faq
What does page do?¶
page is, at its core, a PDF validation engine. In more practical terms, it verifies that a given PDF file complies with certain standards. For example, for a PDF to be considered accessible, it is often required to be PDF/UA-1 compliant.
Since the creation of the PDF format more than 30 years ago, many different variants have appeared, each with a different purpose. For example, all PDF/A formats (around 10) focus on archival preservation, ensuring that a PDF created in the 2000s will still open decades from now, while PDF/UA formats (UA-1 and UA-2) focus on accessibility, ensuring that everyone, including people with visual disabilities, can use a PDF.
page aims to make that verification easy, fast, and free.
What are the alternatives?¶
There are multiple projects that attempt to provide a PDF validator, but only one is:
- open source
- based on ISO standards
- cross-platform
- non-commercial
This project is veraPDF. It is, by far, the best option available out there. Other options such as PAC or Adobe Acrobat meet only a subset of those criteria.
veraPDF supports validation of all PDF/A (long-term archiving) and PDF/UA (universal accessibility) formats. It might not seem so, but this is a very complicated task. You can understand why that is and how veraPDF does it in this great blog post.
page uses heavily veraPDF as the source of truth to validate or not if what page does is correct.
Warning
Some open-source software claims to provide PDF validation, but this claim is often, if not always, misleading. Those tools often check only a very small subset of all the rules for a given profile.
How does page compare to veraPDF?¶
Currently, page is far from a usable state: it does not provide complete profile validations for most PDF profiles and has no stable API.
Even if page is meant as an "alternative" to veraPDF, page only exists because of veraPDF. The latter is the most important development tool used for page, as it provides the source of truth for which rules pass or fail for each PDF profile. page is also using the same test corpus as veraPDF.
In the long run, I hope that page will provide a veraPDF-compliant alternative that is faster and more lightweight.
Info
The main difference between those tools is that page is written in Rust and veraPDF in Java.
The reasons for choosing Rust for page are speed, memory and type safety, and downstream integration. Indeed, it's easier to integrate Rust-based programs with Python and JavaScript, as well as with other languages through a C interface (even if that's also possible with Java).
Why are there multiple PDF formats?¶
The PDF specification is intentionally broad: it supports features ranging from interactive forms and multimedia to encryption, JavaScript, and digital signatures. This flexibility makes PDF suitable for many use cases, but it also makes it impossible to guarantee that every PDF will behave consistently across all software and over long periods of time.
To address this, the ISO standard defines a number of specialized PDF profiles. Each profile restricts or requires certain features to guarantee a particular property.
Some of the most common profiles are:
PDF/A: Long-term document preservation and archiving.PDF/UA: Universal accessibility for users of assistive technologies.PDF/X: Reliable printing and graphic arts workflows.PDF/E: Engineering and technical documentation.PDF/VT: Variable-data and transactional printing.
These profiles are not competing formats. Instead, they are subsets (and sometimes supersets) of the PDF specification, each designed for a specific purpose.
For example, PDF/A forbids features such as JavaScript or external dependencies because they could make a document impossible to reproduce decades later. Conversely, PDF/UA requires additional semantic information (such as a tag tree and alternative text) to ensure documents are accessible to screen readers.
Because each profile defines hundreds of requirements, validating a PDF is much more involved than simply checking whether it "opens correctly." A validator must verify that every applicable rule is satisfied for the requested profile.