No, I don't mean the coincidence counting. The data matching process includes the criterion wrt which the data are matched (eg. time of detection via the assumption that detection attributes associated with the same time interval were, say, emitted by the same atom and thereby entangled at emission due to conservation of angular momentum).
Yes. In this case there's no design to relate the data sets (ie. the experiment is designed to produce two independent data sets) -- and, presumably, they could be matched according to any criterion and P(A,B) would never deviate from P(A) P(B).
Bell's generic LHV form (for the expectation value of joint detection) is
P(a,b) = ∫dλρ(λ)A(a,λ)B(b,λ) .
Bell locality can be written
P(A,B) = P(A)P(B) .
Statistical independence is defined as
P(A,B) = P(A)P(B) .
Statistical dependence is designed into, and independence is structured out of, Bell tests -- presumably ... if they're executed correctly.
So, any Bell local hidden variable formulation is, prima facie, in direct contradiction to an essential design element of any Bell test.
That's based on the assumption that the relationship (the entanglement) between the separately analyzed(filtered) disturbances is produced at emission (or via some other local common cause), prior to filtration.
Yes, and, eg. wrt Aspect '82, the experiment was designed to pair detection attributes associated with optical disturbances emitted in opposite directions by the same atom during the same transition interval.
I don't know about instruction sets. I sense, intuitively

, that that way of looking at Bell's theorem might tend to obfuscate rather than clarify its meaning.
The experiments themselves are about presumably related optical emissions, and crossed polarizers, and spacelike separated joint detection events, etc. -- the underlying physics of which is still a mystery -- not instruction sets.
An apparent disparity between Bell's LHV form and experimental design has been exposited, and imho Bell's theorem doesn't mean what it's commonly taken to mean for the rather simple reason that I've presented.