Q4. At what granularity does 'not firing' apply?

The core trigger is literal non-firing of the explicitly corresponding monitored structure. Granularity is not overloaded into one Antilobe. Instead, each eligible monitored unit can have its own anti-chain: lobe, sublobe, or dedicated monitored crossfunctional system.

This keeps the definition precise: A_k(X) always refers to one specified X.