Derives tensor product structure and local discriminability from causal invariance plus a disjoint composition axiom. Shows that CI alone does not force composition, establishing an honest two-axiom derivation within the operational framework.
Max Zhuravlev (Sat,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: