Homonyms
neural/inf/specs/extensions
inf extensions β reactive and live the pure register (language, proof) is a function of a committed snapshot. two extensions reach beyond it, mirroring rune's `hint` and `host`. each sits outside the Trident-pure subset and carries its own proof contract. neither leaks non-determinism back into theβ¦