This is not the final website. It is a demo of the real tool working, made for Y Combinator.
AxisRemedy

17-003 Unicode mapping requirements are not met.

A Formula does not meet the Unicode mapping rules.

Checkpoint
17: Mathematical Expressions
ISO 14289-1 (PDF/UA-1) clause
7.7-2
Test type in the protocol
Machine-testable
Applies to
A single object

How AxisRemedy handles it

Tested by the app. AxisRemedy tests this condition itself. For each document it records passed, failed or not applicable, and for every failure the object and the page.

What the check covers

Decided at page level: a Formula element on a page whose text shows a code the font's /ToUnicode map lacks (the 10-001 failure) fails. The Formula's own marked content is not followed.