Every gate passed. The number was still wrong.

Описание и применение

Добавление проверки арифметических утверждений против самого себя в пайплайн видеообработки предотвратило публикацию неверного утверждения.

Задача

Automated checks in a video production pipeline failed to catch a false arithmetic claim because the source was wrong and the claim lacked a self‑recalculation check.

Результат

Adding a self‑recalculation gate caught the false arithmetic claim and prevented its release, demonstrating that checks must compare claims to themselves when possible.

Рабочий процесс

• 1. Extract written arithmetic triples from script and metadata.
• 2. Recompute each triple using integer addition (with modulo for two‑digit year notation).
• 3. Compare computed result to claimed result.
• 4. Exit with code 0 if match, 1 if mismatch, 2 if no claim found.
• 5. Orchestrator treats non‑zero exit as failure and aborts pipeline.

Доказательства

The check that was missing… compares a claim to itself… if (a + n === b) return true;

Источник

A provenance check can only find claims that disagree with the source… Feed it a claim that agrees with a wrong source and it will hand you a citation.

Источник