2 What the floor can and cannot carry
A kernel with at least one bonded pair of distinct things generates a Bunge system, and a kernel in which nothing is related to itself generates a Mobus system. Each generated system projects back to the same kernel.
The elaboration slots are filled with minimal witnesses: empty environment, no external flows, trivial boundary, history, and timescale. The relation passes through unchanged.
The Spivak system generated from any kernel is static. Motion needs value data from outside the kernel.
The generated value type is trivial, so the potential distinguishes no states and the step leaves every state fixed.
If some pair in a kernel’s relation lacks its converse, no Rosen system (Rosen 1978) projects to that kernel. Rosen’s relation among states is always symmetric.
A Rosen system’s relation is indistinguishability by observables, which is symmetric.
Put all eight shapes in one declared arrow convention and check whether Theorems 1.5 and 1.7 still hold. Then take dependency in the sense of Definition 1.2 as the weakest notion and ask whether functional dependence (Myers) and causal dependence (Joslyn) refine it. If they do, the shared arrow has one meaning, refined differently by each tradition.
The kernel holds places for time and environment but leaves them empty. Find which time and environment content, if any, can be generated from the kernel, and state exactly what must be supplied from outside.
Bunge, Treatise on Basic Philosophy, vol. 4 (1979), Definitions 1.13 and 1.14, defines emergent properties set-theoretically. State emergence over the kernel without building the emergent structure into the model.