Semantic Function – A (theoretical) framework of where, simplistically, call dispatch is routed through a kind of semantic “middleware” for various purposes; arguments are tagged, checked, verified, and routed to optionally-looped Resolvers (which define the loops).
Depends on Bottom-Driven Semantic Monotonicity (an MVP already exists)
Copied from Translation As A Transfer Of Semantic Authority