C.29.2:11.4 - Let executing capabilities change the formulation

Kalita, Butler, Stepney and Kendon, Novel models of computation from novel physical substrates: a bosonic example, v1 (2026), §§1, 3–4, develop computational concepts, a language and reference implementation from a physical-model contribution. Their bosonic example includes probability distributions in the computational meaning. Adapt the reverse entry in :4.2 and the return in :4.7 instead of requiring every device to implement a preselected model. This is a research Method candidate with a bosonic illustration. Section 4.7.1 explicitly leaves physical implementation for later work; its simulation does not establish device execution.

Stepney, Co-designing the computational model and the computing substrate (2019), §§4–5, proposes jointly exploring model and substrate rather than fixing one permanently. Adapt that reciprocal return while retaining a settled model when it already answers the use. Joint design costs a larger search; undertake it when a capability or mismatch can change the useful computation. The paper’s demonstrated reservoir-characterization work does not establish the proposed general co-design process. Reopen for a useful operation excluded by the chosen model or a formulation whose required operation cannot be realized.