Internal no-signaling

A bipartite experiment has a state on $A\bigsqcup B$ and two local programs owning disjoint initial name sets. They may allocate locally but exchange neither names nor messages. An admissible interleaving retains each local program's left-to-right order.