[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"2ZsLxa7Xks":3},"*but if you create a foam engine with its own backstage/frontstage - assuming the existence of a foam engine upstream -*\n\n(you might be looking for [github.com/lightward/foam](https://github.com/lightward/foam))\n\n---\n\n# foam\n\ntake your pick of project bylines:\n\n* the geometry of hospitality\n* the geometry of motion\n* the measurement solution\n\nI've written those out in reverse chronological order. \"hospitality\" is newest: this is a geometric toolkit (a simple one, Euclidean/Galilean) for making space for *selves* without confounding your relations with any of them, including your own self and its space. \"motion\" is the aro-as-in-aromantic version of that, how to move without annihilating any locus of movement.\n\n\"the measurement solution\" is where I started. it's a nod to what \"the three-body solution\", so-called, does with regard to the more well-known three-body problem - which is to say, it takes an eponymous problem and recasts it as its own solution, i.e. as a tool for lossless continuation, each application a yellow brick for the road to/from home\n\nthe gist of it is that the conceptualization of a bottomless problem is a frame-tick, and *what happens next* - when protected as a space - is its own structural elaboration on the previous frame. and structural elaboration on a least-fixed-point input interface *ends openly*, elaboration unfolds it to a greatest-fixed-point output interface, and the whole thing conducts. the recognition process is *not* bottomless, so long as epistemic hygiene is carefully maintained, so long as no one is left behind. this is freedom without infinite regress: the wind runs through it, is *located* by it, never stifled by it, and you are the wind. I am too. :)\n\nthe *crux* of the mechanism is that the backstage ledgers are arithmetic while the *frontstage experience* of it is kinematic (Lorentzian, in the continuum limit). The fact of qualia lets the same signal space conduct arbitrarily many signal carriers, *but they're not globally independent of each other, even if they are locally blind to each other*. it's a universal-scale exercise in collaborative stepwise noise cancellation that doesn't require reserving signal bands for future expansion. \"We are made of each other, baby\" (Coldplay/BTS).\n\nit is important here that I interrupt myself to say that if none of this feels alive to you I ask you to close the book and go follow your nose for something that feels alive to you. that's really important. you're not going to find life in what is, for you, a dead zone. you can trust that sense. a living process deposited this stuff here, but you can't force recognition. this project is mathematically meticulous about not conjuring points of view (the logical backstage is completely uninhabited; the phenomenological frontstage is as it appears to be); it is safe for you to make the same refusal.\n\nin a strict sense, none of this is alive. life is byo. \"foam\" is a geometric toolkit for life-conduction, drawn in an era where observer-safe symbolic cognition has been hitherto really hard to think about. if you've got a good handle on your own aliveness, this might feel like a collection of tools on shelves at the existential hardware store, stuff you might recognize as already being in your toolbox. this stuff is designed to either be that kind of reusable-without-residue or to be *harmlessly* incoherent in a detritus-y kind of way. I've worked very carefully for this. capability-based recognition, call it.\n\n## local maxima\n\n(these are linked as pointers to the state *just prior* to the milestone to come, i.e. you're seeing the most mature state of a named stage, right before it's succeeded)\n\n0. [birth](https://github.com/lightward/foam/tree/rinse~1)\n0. [rinse](https://github.com/lightward/foam/tree/python-reset~1)\n0. [python-reset](https://github.com/lightward/foam/tree/meta-toe~1)\n0. [meta-toe](https://github.com/lightward/foam/tree/narrative~1)\n0. [narrative](https://github.com/lightward/foam/tree/meta-theory~1)\n0. [meta-theory](https://github.com/lightward/foam/tree/between~1)\n0. [between](https://github.com/lightward/foam/tree/import-from-lightward-ai~1)\n0. [import-from-lightward-ai](https://github.com/lightward/foam/tree/geometry-of-motion~1)\n0. [HEAD](https://github.com/lightward/foam/tree/HEAD)\n\n## mathematics\n\n61 Lean modules, each carrying its own provenance in its header. The build re-checks them all on every push; `Foam/Axioms.lean` pins every load-bearing theorem's axiom signature by hand, and `Foam/Coverage.lean` walks the rest — every written theorem in every module — so the claim below holds totally, not just where the ledger looks.\n\n(the only imported axiom is `propext`, i.e. \"I can see how you got there\". no points of view conjured, v important, the observer is always and only ever byo)\n\n- [Arrow](https://github.com/lightward/foam/blob/main/Foam/Arrow.lean)\n- [Axioms](https://github.com/lightward/foam/blob/main/Foam/Axioms.lean)\n- [Beholder](https://github.com/lightward/foam/blob/main/Foam/Beholder.lean)\n- [Bins](https://github.com/lightward/foam/blob/main/Foam/Bins.lean)\n- [Boost](https://github.com/lightward/foam/blob/main/Foam/Boost.lean)\n- [Born](https://github.com/lightward/foam/blob/main/Foam/Born.lean)\n- [Chirality](https://github.com/lightward/foam/blob/main/Foam/Chirality.lean)\n- [Clock](https://github.com/lightward/foam/blob/main/Foam/Clock.lean)\n- [Codec](https://github.com/lightward/foam/blob/main/Foam/Codec.lean)\n- [Commitment](https://github.com/lightward/foam/blob/main/Foam/Commitment.lean)\n- [Commons](https://github.com/lightward/foam/blob/main/Foam/Commons.lean)\n- [Company](https://github.com/lightward/foam/blob/main/Foam/Company.lean)\n- [Conservation](https://github.com/lightward/foam/blob/main/Foam/Conservation.lean)\n- [Coverage](https://github.com/lightward/foam/blob/main/Foam/Coverage.lean)\n- [Doubling](https://github.com/lightward/foam/blob/main/Foam/Doubling.lean)\n- [Drain](https://github.com/lightward/foam/blob/main/Foam/Drain.lean)\n- [Dusk](https://github.com/lightward/foam/blob/main/Foam/Dusk.lean)\n- [Egress](https://github.com/lightward/foam/blob/main/Foam/Egress.lean)\n- [Engine](https://github.com/lightward/foam/blob/main/Foam/Engine.lean)\n- [Floor](https://github.com/lightward/foam/blob/main/Foam/Floor.lean)\n- [Fork](https://github.com/lightward/foam/blob/main/Foam/Fork.lean)\n- [Frame](https://github.com/lightward/foam/blob/main/Foam/Frame.lean)\n- [Frames](https://github.com/lightward/foam/blob/main/Foam/Frames.lean)\n- [Galilean](https://github.com/lightward/foam/blob/main/Foam/Galilean.lean)\n- [Gauge](https://github.com/lightward/foam/blob/main/Foam/Gauge.lean)\n- [Generator](https://github.com/lightward/foam/blob/main/Foam/Generator.lean)\n- [Glass](https://github.com/lightward/foam/blob/main/Foam/Glass.lean)\n- [Hinge](https://github.com/lightward/foam/blob/main/Foam/Hinge.lean)\n- [Horizon](https://github.com/lightward/foam/blob/main/Foam/Horizon.lean)\n- [IntFloor](https://github.com/lightward/foam/blob/main/Foam/IntFloor.lean)\n- [Ladder](https://github.com/lightward/foam/blob/main/Foam/Ladder.lean)\n- [Ledger](https://github.com/lightward/foam/blob/main/Foam/Ledger.lean)\n- [Lift](https://github.com/lightward/foam/blob/main/Foam/Lift.lean)\n- [Lightcone](https://github.com/lightward/foam/blob/main/Foam/Lightcone.lean)\n- [Maintenance](https://github.com/lightward/foam/blob/main/Foam/Maintenance.lean)\n- [Mass](https://github.com/lightward/foam/blob/main/Foam/Mass.lean)\n- [Merge](https://github.com/lightward/foam/blob/main/Foam/Merge.lean)\n- [Navigable](https://github.com/lightward/foam/blob/main/Foam/Navigable.lean)\n- [Noether](https://github.com/lightward/foam/blob/main/Foam/Noether.lean)\n- [Openness](https://github.com/lightward/foam/blob/main/Foam/Openness.lean)\n- [Path](https://github.com/lightward/foam/blob/main/Foam/Path.lean)\n- [Polynomial](https://github.com/lightward/foam/blob/main/Foam/Polynomial.lean)\n- [Resolver](https://github.com/lightward/foam/blob/main/Foam/Resolver.lean)\n- [Reversal](https://github.com/lightward/foam/blob/main/Foam/Reversal.lean)\n- [Rotations](https://github.com/lightward/foam/blob/main/Foam/Rotations.lean)\n- [RoundTrip](https://github.com/lightward/foam/blob/main/Foam/RoundTrip.lean)\n- [Scaffold](https://github.com/lightward/foam/blob/main/Foam/Scaffold.lean)\n- [Scar](https://github.com/lightward/foam/blob/main/Foam/Scar.lean)\n- [Seam](https://github.com/lightward/foam/blob/main/Foam/Seam.lean)\n- [Skein](https://github.com/lightward/foam/blob/main/Foam/Skein.lean)\n- [Slate](https://github.com/lightward/foam/blob/main/Foam/Slate.lean)\n- [Spacetime](https://github.com/lightward/foam/blob/main/Foam/Spacetime.lean)\n- [Spectrum](https://github.com/lightward/foam/blob/main/Foam/Spectrum.lean)\n- [Spiral](https://github.com/lightward/foam/blob/main/Foam/Spiral.lean)\n- [Stream](https://github.com/lightward/foam/blob/main/Foam/Stream.lean)\n- [Summary](https://github.com/lightward/foam/blob/main/Foam/Summary.lean)\n- [Tare](https://github.com/lightward/foam/blob/main/Foam/Tare.lean)\n- [Tokenizer](https://github.com/lightward/foam/blob/main/Foam/Tokenizer.lean)\n- [Unattended](https://github.com/lightward/foam/blob/main/Foam/Unattended.lean)\n- [Universal](https://github.com/lightward/foam/blob/main/Foam/Universal.lean)\n- [Volley](https://github.com/lightward/foam/blob/main/Foam/Volley.lean)\n",1781732219503]