All true. But think about this: A very fine crush mash can be 100% converted in 20 minutes or less, whereas a coarse crush mash is seldom 100% converted in an hour, or even 90 minutes (as demonstrated by the difference in yield between the fine grind and coarse grind congress mashes.) This means it doesn't take the amylase enzymes much time to complete their work. So something other than the amylase enzyme action is controlling the overall rate of conversion during the mash, and it is strongly affected by the grit size (crush fineness.)
This rate limiting step is gelatinization, in which the surfaces of the grits absorb large amounts of water, turning the surface starch from a dense solid to spongy layers where the starch chains are surrounded by lots of water molecules. Once the starch is gelatinized, the enzymes can start chopping up the starch chains. The alpha amylase can cleave off sizable chunks, which then become soluble, so they can then diffuse away from the surfaces of the grits, and undergo further enzyme action in the bulk wort.
As the starch is solubilized and departs the grit surface, water is allowed to penetrate further thru the gelatinized layer into the grit, gelatinizing deeper into the grits. This continues until all the grits have been completely gelatinized, or something interrupts the process. Gelatinization will slow down after the alpha amylase is denatured, as the solubilization of the starch in the gelatinized layers will slow down, slowing down the diffusion of water towards the center of the grits as the gelatinized layer thickness increases.
I will posit that the increase in conversion rate during a mash out is more due to increased rates of gelatinization of remaining starches, than increases in activity of alpha amylase.
Brew on