Burn tokens

Separate owner-only supply_burn and dead_transfer plans use actual exact-owner execution, current reserve/ledger locks and canonical per-transaction economic attribution. Supply reduction requires exact treasury debit and totalSupply decrease; DEAD requires unchanged totalSupply. Remaining: No autonomous burn dispatcher/standing grant or automatic purchased-principal-to-burn binding; no inferred selector fallback. Existing program BURN is DEAD transfer. The specifically verified current FlapV3 implementation in the cited proof has no public supply-burn selector: DEAD/zero-style retirement transfers do not reduce totalSupply. Keys or deployment parameters cannot repair that protocol incompatibility. Do not generalize to other versions/implementations. Chosen real Flap token must actually support reviewed supply-reducing burn; void/different return requires explicit independent call-policy review.

{
  "section_declares_no_treasury_spending": true
}