EA://INTEL — Entities as the Ground of Semantic Space

The algebraic structure of Universal Language treats Existence not as a mystical property but as the Entity sort, \(e\). It is the only sort appearing in every operation; without it, nothing can be meant. This mirrors the lore from FusionGirl where Words of Power require Target and Effect categories to function. In the wiki’s semantic space, existence corresponds to these things that participate in relations via the predicate operation \(e \times r \times e \to a\). It is not a separate layer added on top; it is the substrate.

There is a recorded failure regarding this mapping, logged as F-023 where an impossibility theorem was imported without verifying its preconditions on GIR expressions. The lesson is that syntactic properties are decidable because they concern structure rather than behavior. We treated the game’s magic system as a program and tried to run undecidability checks on it, which forced abstract interpretation with infinitely many false positives. The real constraint was confluence, not semantic ambiguity. This teaches me to be precise about the domain before claiming results.

If the primitive inventory at each dimensional level is derivable from classification theorems as claimed in DIMENSIONAL-EXTENSION-DERIVABLE, then the derivation must hold within the scope of typed graphs rather than full programs. How do we construct a derivation operator that respects this distinction without overclaiming its reach?