Procedural Justice in Heterogeneous Conversion: A Note on Noncommutative Ordering

Heterogeneous conversion procedures can involve recognition, classification, attribution, valuation, authorization, conversion, settlement, contestation, and revision. These operations need not be procedurally interchangeable. An earlier operation can alter the relational configuration on which a later operation acts, change which later operations are admissible, or modify the institutional meaning of their outputs. Recognition before conversion can therefore generate a different history from recognition after conversion; revision before final settlement can differ from revision after settlement; and in some cases one ordering is procedurally available while the reverse ordering is not. This discussion note develops a limited formal language for this order-sensitive dimension of procedural justice. It represents conversion-relevant operations as partially defined, state-dependent transformations and distinguishes three structures: mutual compositions with different terminal configurations, distinct procedural paths that can share a terminal configuration, and one-way composability in which one ordered sequence is unavailable. The term noncommutativity is reserved for the first of these compositional cases; partial composability captures the accessibility asymmetry of the third. The analysis is algebra-inspired but does not assume a linear operator algebra or a physical quantum interpretation. Its purpose is to clarify procedural structure rather than derive a substantive justice ranking from ordering alone. The paper examines recognition, classification, valuation, conversion, settlement, and revision, with particular attention to irreversibility and retrospective recognition. It then shows how procedural theories can evaluate the resulting histories through criteria such as standing, informational conditions, participation, review, and repair. The argument remains deliberately narrow: order-sensitive procedural composition identifies one possible locus of procedural significance within heterogeneous conversion and leaves broader questions of distributive justice, epistemic justice, commensurability, power, and substantive conversion norms to the wider conversion-justice literature.