A.8:1 - Problem Frame

FPF needs some universal primitives. It also needs to avoid turning a field’s favorite vocabulary into the kernel. A word that works in software, finance, biology, or physics may still be local. A kernel-level U-kind must survive contact with different foundational domains without changing what kind of work it does in the model.

When source wording proposes a kernel-level U-kind, recover its admission claim: E.24.UK decides durable U-kind admission basis, and A.8 tests the universal-core claim.