Work package G: reduction dynamics and compatibility

Required data. Regularized mass profiles, units, a conditional stochastic law, an unconditional channel, domain and moment statements, environmental composition, and causal conditions.

Completed here. Theorems thm:collapse-channel and thm:collapse-unraveling construct a finite regularized model. Proposition prop:collapse-Fock proves one scalar-surrogate compatibility statement. Proposition prop:composition proves finite composition and error control.

Remaining target. Derive or independently justify physical mass data; control regulator and continuum limits; certify locality or a physical causal embedding; and compare the resulting model with experiments in its own parameter class.

Completion criterion. A well-defined proposed physical reduction dynamics with its compatibility certificate, or an obstruction within a specified class. A timescale formula alone does not meet the criterion.