T-L1-F — Hard-Bar / Active-Count Bridge under L1-J Regime
First multi-formation canonical Cat A conditional theorem. Under hypothesis package (P0)-(P11) on shared-pool Σ̃_M^K_field, the hard-bar count from H_0 superlevel persistence equals the active-slot count, with labelled bijection.