A structural comparison of Six Birds Theory and AIX’s claimed quantum proof pipeline explores certificates, Lean verification, and unproven assumptions.