Programmatic verifiers rely on the accessible state exposed by the app through accessibility interfaces (such as the control tree, element properties, text content, and selection states, etc.), but custom-drawn interfaces, Canvas rendering, game engines, or cross-platform frameworks often cause missing elements or distorted properties, rendering programmatic checks ineffective.