Да, уже паяю микроконтроллер и пишу парсер, который читает PDF-файлы, вытаскивает мелкий шрифт с условиями и проверяет их по набору правил. Получилось пока что не очень аккуратно, но оно хотя бы будет отмечать все лазейки — ну, кроме, может быть, тех, что спрятаны в мемах.