A.3.1:4.6 - Constructor and process-theory settlement
When a method concerns change, its statement says what change a future enactment is meant to achieve; it does not assert that any referent changed. The same identification rule applies to methods for other concerns, such as observation, comparison, classification, evaluation, communication, selection, proof, and preservation.
The constructor-theory and process-theory source line supports this separation but does not supply a universal method ontology. FPF uses it as follows:
- An exact actual performer first has the A.13 core; A.15.1 then independently identifies the dated Work, at least one obtaining
enactsMethodrelation, time, and at least one obtaining locally declared containing-system relation. Another enactment relation is named only when the receiving claim relies on it. F.6 enters only when that claim also consumes precise assignment-bound attribution through the same obtaining A.13 assignment; missing or failed F.6 leaves the Work intact. The System’s classification and the obtaining assignment remain separate claims. - The
U.Methodis the reusable way under stated participant meanings, applicability, conditions, intended result or preserved condition, and bounds. AU.MethodDescriptionis an episteme that describes it. - A formal substrate or mathematical lens can make the method analyzable, and a
U.Mechanismcan declare the relevant operation family and laws. - A cross-context Bridge, changed reference or model-use relation, mechanism realization, evaluation, or evidence-use claim remains a separately stated relation with its own participants.
- A
U.WorkPlanprepares or schedules dated Work; a Work individual is the occurrence that actually happened.
For example, “the etch method changed Wafer-22” contains at least two claims. A.3.1 identifies the reusable etch method. Only if an actual bounded change of Wafer-22 is independently grounded does A.3.4 identify that transformation; any claim connecting the Work and transformation additionally needs its own predicate or a missing-governor result.
Apply the same distinction across physical, informational, organizational, and mathematical work.