| Current complete semantics for effect handlers | Satoshi Kura, “On Complete Categorical Semantics for Effect Handlers”, 2026. | Adapt as a software-derived stress case. The work distinguishes operation signatures, equational theories, handlers, and semantic models, and shows that one familiar realization model is not uniquely forced by the declaration. It does not supply a universal ontology for physical or social mechanisms. | U.Mechanism, its laws, a realizing entity, and the realization relation remain separate. One implementation cannot define mechanism identity by itself. |
| Current dependent effect semantics | Kura, Gaboardi, Sekiyama, and Unno, “A Category-Theoretic Framework for Dependent Effect Systems”, 2026. | Adapt the use of indexed predicates and graded structure to stress typed positions and condition-dependent operation claims. Reject the inference that one categorical formalism determines the FPF ontology. | Argument and result declarations, application rules, AdmissibilityConditions, U.ClaimScope, and mathematical-lens boundaries are explicit. |
| Current relation-first multi-domain modeling, with historical acausal lineage | JuliaHub Dyad 3.2 component and analysis documentation, 2026; Modelica Language Specification 3.7 as historical lineage. | Adapt Dyad’s current separation of reusable relation-first components from separately selected analyses and their result objects. Retain Modelica only for the historical distinction between acausal equations and imposed calculation order. Neither source is FPF ontology authority. | The physical case separates declaration laws, component relations, analysis choice, solver or simulation Work, result, and diagram. Equation or display order does not create a continuation structure; apply A.22.CGUS only when its own structure conditions hold. |
| Scoped operations, resources, and handlers | Bosman, van den Berg, Tang, and Schrijvers, “A Calculus for Scoped Effects and Handlers”, LMCS 20(4), 2024; Matache, Lindley, Moss, Staton, Wu, and Yang, “Scoped Effects as Parameterized Algebraic Theories”, 2024. | Adapt the separation among operations, equations, scopes, resources, and handlers. Keep it as one demanding software case rather than the default transdomain model. | OperationAlgebra, LawSet, Applicability, and realization remain distinct content and relation positions. |