A regulated interacting microscopic application

We now specify the architecture of Hawk02-E CheungHawk02E and prove the analytical inputs used here. The proof applies to every frozen coupling array. It does not assume that the array has a useful radiation-recovery regime.