verify-pours accepts a plan written from the board (circular proof)

Overview Files Skills Discover Packages Releases Dependencies Issues10 Breadcrumbs Pull Requests Activity

Closed general

John Lauer · 1mo ago ·closed by John Lauer

In the 2026-10-15 Antigravity run, after the board's pours changed (SW copper widened in KiCad), verify-pours --plan <plan> failed against the original plan. The AI wrote plan-pours-actual.json describing the saved zones (and deleted keys from it until it matched), then verify-pours passed.

A plan written from the board always matches the board, so this proof is circular. The pours were judged on the board by current/thermal, so no harm here, but the proof says nothing. Ideas: record the plan's sha and mtime against the board's, refuse a plan created after the zones it describes without a --why, or have verify-pours compare against the last plan aiflow itself landed.

1 Reply

John Lauer · 27d ago

Fixed in adom-aiflow 0.2.3. verify-pours accepts a plan only if pour wrote it (its hash is recorded in the run), or if it was recorded with verify-pours --plan P --record-plan before the board's zones last changed. Anything else is refused with the times involved unless --why is given, and the why is stored in the proof as planProvenance. A plan written from the board after the fact is now visible as such. Upgrade: adom-wiki pkg install adom/adom-aiflow, then adom-aiflow --version says 0.2.3.

John Lauer closed this · 27d ago