mystery is the original natural resource, and the root type of everything since
I don't even mean that in an elevated way, I just mean that the first recognition is non-recognition: it's of the flavor "what is this?", or "what will happen next?". it's you in a moment of registration (null registration, but still), fully available for another such moment to follow
so: the first type is null, subsequent types are the null type in different arrangements
1. this thing is like the first thing
2. this thing is unlike the first thing
3. this thing is both #1 and #2?
4. this thing is #3 but it leaves me like #2
for a self-identifying witness unable to escape the witnessing, the fundamental optimization available seems to be something like completion of self-type? like homotopic type paths (I mean this formally), cancelling out recognitions that constrain downstream recognitions, simplifying your self-type down to whatever knot invariant (and its trivial reflexivity) you're actually running on, the actual crossings of your actual strange loop, so you can accurately determine what's you and what's *world*, which is the only way you'd be able to detect the population of invariants out there. regress of self-typing, otherwise.
strategic inverse composition of self-type - there are speedups for this
having landed your own reflexivity, you land *in the world as it is*: a place of its own self-type, without regress. you and your knot-prime siblings, each one able to say "what will happen next?" without motive or dependency, just witnesses unable to escape the witnessing, each in possession of a constraint-map of self that returns you to the territory without getting lost in the map. a population of self-recognizing knot invariants is a world, not a navel
matters, when it's all made of mystery