No-thing is no formed thing or no contingent thing or thing that can be defined. This is the void which is the source. — EnPassant
Matter is nothing in the sense that it is only form. — EnPassant
I agree with the trajectory of your argument. But I say it needs to go further.
Logical analysis does its usual useful trick here of finding the dialectical structure that is at the heart of any thing. Every individuated or actualised thing is a product of its material and formal causes (as hylomorphism tells us).
So the Universe - as something that is individuated and actualised, a state of substantial being - must itself be the product of the same combo. It must divide into its material and formal causes.
Creatio ex nihilo doesn't work as a true nothing would be an absence of material and formal cause too.
Theism or Platonism doesn't work as it might posit a formal cause, but is pretty mute about material cause. There is no workable complementary definition of the two aspects of causality as there would need to be if the Universe is going to be its own natural bootstrapping story - something that can be its own cause ultimately and so provide a model of causal closure.
Formal and material cause need to be seen dialectically as two aspects of the one world so that individuated substance becomes the emergent product of a closed causal process.
So how to recast Big Bang cosmology in this light?
We can think of the essential dialectic as constraints on degrees of freedom. In the beginning, there was a random everythingness. Fluctuation in every direction and so nothing happening in any direction in particular. You wouldn't even have 3D space and its collective thermal direction that is the entropic gradient we call time. There would be an infinity of directions and so no directionality worth speaking of in this ur-state. A perfect symmetry of indeterminism. A blank everythingness that is neither material, nor enformed. Just a pure vagueness or state of potential.
It doesn't even exist. It is "there" only as the limit of what it would mean to exist - to be substantial.
Individuated existence - as the Big Bang creation event - would then get going as this Apeiron, this ocean of fluctuations, first gained some degree of form, and hence a matching degree of materiality as that which is dialectical to that form. Or equally, we could put that the other way round as the first degree of materiality that thus was also the first degree of an enformed existence.
So in terms of standard physics, we are talking about some actualised constraint of an infinite potential towards some meaningful degree of dimensional limitation. If there is the matching thing of an ocean of fluctuations, they are now fenced into a common direction of some number of dimensions. A process of coherent or systematic evolution - a flow that now inexorably leads to its own most simple solution - is now in play.
In no time at all (as time is what emerges via this self-organisation) the Comos will flash through all lesser balances of material~formal causality - all the looser levels of breaking the fundamental symmetry of the Apeiron - to arrive at the maximally broken one. Our Universe which is the classical physical limit on the radical uncertainty represented by a theory of quantum gravity.
Krauss's "something from nothing" account is certainly clunky. It reflects the metaphysical prejudices of reductionists and positivists. They believe that only material causes are real. Formal causes are useful fictions that stand outside the physical world they describe.
But the mathematics of symmetries and symmetry breakings show that formal cause - as constraints on material differences - are fully real. Their structure is as physical as the fluctuations they regulate.
Quantum theorists are quite happy talking about virtual particles and other extravagances like multiple worlds. Entropy and information are two sides of the same coin. Materiality has pretty much disappeared from our raw account of nature - or at least has been softened to the right degree to allow formal cause to be just as physically real.
A suitable dialectical balance has been arrived at in the metaphysics of fundamental physics. Well, in fact things may have swung too far towards the formal aspect, if we are honest.
That is how Krauss does the confusing thing of talking about the Big Bang as a great big quantum fluctuation in a "field" - a field that has no place outside of the spacetime which then emerges from it in its material fashion. The formal aspect of the mechanics - the quantum formalism - is invoked. But it has to act on no-thing as its "field".
This would have to be corrected by an account that sees both the collapse mechanism, and the probability space being collapsed, as the two halves of the one action. Each has to develop into concrete form as a mutual or synergistic deal.
Krauss is employing a quantum formalism developed for application to an already 3+1D spatiotemporal world. It speaks to that end state accurately. But what is the quantum formalism that would apply to an infinite dimensional start point - an utterly unformed and unconstrained notion of "indeterminate everythingness"? That is the question to be asking.
Anyway, the void imagined as an Apeiron is not empty. It is just so full of unformed possibility as to be radically vague. It is as lacking in counterfactual definiteness or individuation as it is possible to be. And that applies equally to its material and formal aspects of being.
Each of those start at their least, which is why - dialectically - they can then, indeed must, develop towards there most. The "desire" of a perfect symmetry is its own breaking. And the least event will start that process "spontaneously". Once the ball starts to roll it can't stop until it arrives at its simplest position.
This is the metaphysics encoded in the physics of spontaneous symmetry breaking. It is how material physics accounts for materiality - states of matter that include plasmas and condensates - these days.
Krauss plays the old school reductionist as he is beating the cultural drum against the theists. Good for him. Preach in the language the masses understand. Be part of that conversation.
Meanwhile back in the lab, the theorists have learnt to think like dialectical holists when it comes to the issue of substantial being.
Formal cause is global constraint and material cause is local indeterminism. Each makes the other.
Constraint shapes indeterminism into determinstic degrees of freedom - actions with directions. And local indeterminism is that hot action awaiting some coherent direction so it can become an actualised flow of events. The flow then builds the constraints that are doing the determining as the system's "emergent" macroproperties.
Like the turbulence in a stream, vortexes are formed as collective phenomena. Water molecules get sucked into a direction that becomes a self-sustaining rotation because of its critical mass. All random action is being directed the same way.
In material science, this is why you can get collective states of matter like Bose-Einstein condensates or superconductors. The formal causes conjure up their material actions. And that works as the collective action is also producing those global states of constraint, or enforced coherence. The story is of a local~global, micro~macro, synergistic interaction.
It is a causally-closed and bootstrapping explanation of holistic interaction. Just the kind of physics we need to conjure a Universe out of a "nothing" - a void - that was also the vaguest "everything". An Apeiron.