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.

来源