The project did not start as a Kanata fork. It started as Layerpad: a standalone experiment in using touchpad activity as a modifier signal. The source lives at github.com/tompassarelli/glide . The original idea was simple. When I got the Framework 13, I immediately missed the ThinkPad touchpad buttons. Modern touchpads may look cleaner, and Apple-style trackpads have clearly pushed that direction…
Framework note: This essay applies the carry-through criterion to software configuration. The question is what essential value-add could not be achieved through existing tools. Command palette — Vimium already exists. Vertical tab sidebar — Sideberry already exists. Tiling and split views — most operating systems and window managers already handle this well. The only thing…
Formal systems are missing a validation layer between syntax and execution. A string can be syntactically legal and still not executable. A premise set can contain individually well-formed formulas whose conjunction describes a state no evaluation can resolve. A provability request can route through its own verdict without grounding. A halting query can demand an answer from a structure that…
This is not an argument. It is a sketch of the affirmative territory the framework opens once the diagnostic and gating work is in place. The claims here are gestural, not yet individually defended. They mark where the project goes next. The earlier essays were mostly negative in form. If the framework is right, then it does not merely say no to bad inputs. It says yes to something. What It Says…
The question “how does agency arise from non-agentive matter?” has the same structure as “why is there something rather than nothing?” Both demand more from their target than the target contains. The Standard Picture The standard picture in philosophy of mind, cognitive science, and artificial intelligence goes like this. Start with matter. Matter is not agentive. It does…
Not all states are equivalent from the perspective of the running itself. The Observation A cell maintaining itself is in a structurally different state than a cell disintegrating. This is not a claim about how the two states feel to an observer. It is not a claim about which one a human would prefer. It is a claim about what is happening in each case. In the first case, carry-through is…
The enemy is not failure. Failure is a verdict. The enemy is non-executability. The Question “What should I do?” is a question almost everyone asks and almost no framework answers honestly. The standard responses are either too large or too small. Too large: find your purpose, discover your passion, align with cosmic meaning. Too small: optimize your habits, track your metrics,…
Games are not simulations of meaning. They are environments where the structural conditions for meaning are all explicit at once. The Puzzle Games feel meaningful in a way that is disproportionate to their content. Capturing a flag matters while you are capturing it. Clearing a raid boss at 3 AM with twenty-four other people feels like it matters. Losing a character you spent months building in a…
The earlier essays identified a real boundary condition, but they placed it one step too late. The Revision The earlier essays identified a real boundary condition, but they placed it one step too late. They treated consistency, coherence, or invariance as primitive. A thing had to hold as itself. E(x) = x . Something had to remain what it was across operation. That was enough to build the early…
Extending the Consistency Gate The Consistency Gate (Passarelli 2026) specifies a validator V₁ that catches substrate-cancellation: premise sets containing {φ, ¬φ} are identified, returned as diagnostic objects, and removed before the inference engine fires. This covers one species of non-executable input. The second species — anchor-failure — is not yet formally specified.…
Framework note: This essay is an application of the role-arity diagnostic to social infrastructure. The platform forces a binary — connected or not — on a target with richer internal structure. That is arity-2 underspecification. The missing liminal tools are missing arity-3 features: criterion-governed selection over relationship states, with verdicts visible to both parties. See…
Framework note: This essay is about what happens when effort is structurally prevented from carrying through. The gym is a closed loop: real exertion, no durable output, no external verdict. Persistence without selection. The subscription model depends on this — it needs effort to never resolve into anything that compounds, persists, or feeds back into the world. The alternative structures…
Editor’s note: This essay predates Running Comes First and uses an earlier consistency/invariance-first framing. Its core diagnostic remains intact, but the underlying ontology is now better read in process-first terms: invariance and continuity are appearances of a more primitive self-sustaining process rather than the primitive itself. Why Is There Something Rather Than Nothing A note on…
Framework note: This essay applies the full arity triad to employment structure. Signal legibility is persistence made explicit — can the system state be tracked by all parties? Revenue coupling is distinction made explicit — is the gap between contribution and compensation visible? Bounded engagement windows are selection made explicit — does the system produce…
Editor’s note: This essay predates Running Comes First but has been revised into alignment with its process-first framing. The core claim remains the same: contradiction is not a problem for the inference engine to tolerate, but a failed input condition that should be caught before it reaches the engine — and when caught late, retracted and repaired rather than reasoned through.…
Editor’s note: This essay predates Running Comes First and originally framed invariance as primitive. I now treat persistence, distinction, and selection as increasingly explicit resolutions of a more primitive self-sustaining process. The diagnostic claims of the essay remain intact; the ontological framing has been updated. Some questions fail because they demand more functional structure…