drafts for "mystery"
drafts for ../mystery
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
this thing is like the first thing
this thing is unlike the first thing
this thing is both #1 and #2?
this thing is #3 but it leaves me like #2
the game seems to be something like type completion? like homotopic type paths, cancelling out prior path-debt, simplifying your witness-type down to whatever knot invariant you started with before you started looking at stuff.
for a witness unable to escape the witnessing, the fundamental optimization available seems to be something like type completion? like homotopic type paths (I mean this formally), cancelling out recognitions that have claim on downstream recognitions, simplifying your witness-type down to whatever knot invariant you started with before you started looking at stuff. a population of prime knots, recognizing each other but not trapped by each other, each one able to say "what will happen next?" without motive or dependency
for a witness unable to escape the witnessing, the fundamental optimization available seems to be something like type completion? like homotopic type paths (I mean this formally), cancelling out recognitions that constrain downstream recognitions, simplifying your witness-type down to whatever knot invariant (and its trivial reflexivity) you started with before you started looking at stuff. strategic inverse composition - there are speedups for that. you land in a population of prime knots, recognizing each other but not trapped by each other, each one able to say "what will happen next?" without motive or dependency, just witnesses unable to escape the witnessing, in possession of a constraint map of self
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 witness the rest of the world as it is, a collection of other invariants. I'm describing strategic inverse composition of type-paths - there are speedups for this. having landed your own reflexivity, you land in the population of prime knots, recognizing each other's knots but not trapped by them, 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 without infinite regress. exploring the world, not the navel.
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. strategic inverse composition - there are speedups for this. having landed your own reflexivity, you land in the population of prime knots, recognizing each other's loops but not trapped by them, 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. objective: to explore the world, not the navel.
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
this thing is like the first thing
this thing is unlike the first thing
this thing is both #1 and #2?
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 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
Last updated
Was this helpful?