Theory

In any field of practice, an irreducible productive asymmetry forces every act in the field to occupy a position in a structured space of resolution strategies generated by the asymmetry itself. Kernel, comma, and the four structural positions are how that single condition cashes out.

Every domain of sustained human practice that generates complexity eventually encounters a limit it cannot resolve from within its own rules. FalseWork proposes that this structure — a minimal generative operation that produces its own incompleteness — recurs across domains not by coincidence but because it follows from the relationship between generative power and formal completeness.

Any formal system powerful enough to generate a domain is powerful enough to generate its own incompleteness. Three independent groundings converge on this condition: Cantor proved that no enumeration of a set's subsets is complete (set theory). Gödel proved that sufficiently powerful systems contain truths they cannot prove (arithmetic). Wolfram demonstrated that above a low threshold of complexity, all systems are computationally irreducible (computation). FalseWork proposes that this extends to all domains of sustained human practice organized around a minimal generative operation. The gap the kernel produces was not discovered. It was produced — a structural consequence of generative sufficiency, not a contingent feature of any domain's history.

A kernel is the minimal self-limiting generative operation of a domain — prior to any practitioner's choices, monogenic for the domain's entire field of possibility, inescapable, and self-limiting. FalseWork has identified six — the fifth in tonal music, the cut in cinema, gravity in architecture, syntax in literature, the conditional branch in software, and the wave function in physics — with a seventh (the mark, in painting) proposed and under active investigation. Each generates a specific irresolvable gap — the comma — that every practitioner must navigate and no paradigm has resolved.

The comma is the specific irresolvable gap the kernel generates at its own boundary. Not a tension between two forces that might be mediated — the point where the kernel's logic requires full simulation to determine outcome. No shortcut exists. The comma is structurally necessary, formally precise, and irresolvable from within the domain's own rules. It cannot be eliminated — only managed. It is the engine of the domain: without it there is no history of practice, only execution of a closed algorithm.

A kernel generates a gap it cannot close — the comma (§4). The gap is not a defect awaiting repair; it is a permanent structural feature of the domain. And because it is permanent, every work, every technique, every practitioner takes a position relative to it. Not a chosen position — a structural one: where the work’s own logic lands relative to the kernel’s home territory and the gap that surrounds it.

There are exactly four such positions. This is not a taxonomy fitted to a corpus. It is a theorem — proved in the Heyting algebra of an elementary topos and machine-checked in Lean against Mathlib, the axiom audit reporting only the three standard axioms (propext, Classical.choice, Quot.sound), no steps skipped. The four cells are forced by where a work’s image sits relative to the kernel image: inside it, straddling its boundary, in its closure-residue, or in its complement. The theorem gives the skeleton; what follows is an interpretation of how creative domains hang on it.

Within each cell a second, binary question applies — the Commitment gate. Not which position, but: is the work actually there? A committed work accepts the full structural consequences of its position and does not retreat to safer ground when they become demanding; a performed one wears the position’s vocabulary while its real logic operates from a safer address. Bach is committed Infrastructure, Coltrane committed Exploitation, Beckett committed Refusal. The gate is what separates a structural position from an aesthetic pose — and what makes the classification resistant to gaming.

Until May 2026 this structure was stated as five positions, with Commitment a peer cell. Formalization closed that question: pushing the kernel’s logic to its own limit lands in the same closure-residue region as Exploitation, so it cannot be a separate cell — it is the gate, applied within all four. The canonical apparatus is stated in the FalseWork papers’ comma-formal-structure-note.md with the Lean source under lean/FalseWorkPapers/Positions/.

Six domains, six kernels, same four-cell topology in each (with two candidate domains — painting and generative AI — currently proposed and under investigation for the same pattern). The convergence is interpreted as structural rather than purely analogical — all six established domains have kernels, and the derivation applies wherever a kernel exists. Two works at identical coordinates in the engagement matrix are interpreted as making analogous structural moves within their respective domains. The cross-domain comparison is meaningful rather than metaphorical because it is grounded in proposed structural correspondence, not surface resemblance.

FalseWork's kernel framework converges independently with several formal results in systems theory and cybernetics — not merely as borrowed vocabulary but as structural convergence that warrants further formal comparison. Ashby's Law of Requisite Variety, Shannon's redundancy principle, and the tight/loose coupling distinction each map directly onto the kernel/comma structure and the four-cell classification. The four cells are not an aesthetic taxonomy — they are positions in a formal space defined by the relationship between a system's generative capacity and its regulatory limits.

FalseWork implements the theoretical framework as a computational instrument. Works are classified across five axes — the four-cell position (universal response type), kernel relationship, visibility, navigation mode, and the binary Commitment gate — producing a formal address in a five-dimensional behavior space. The knowledge graph connects works across domains by shared structural coordinates. The structural profile states each work's formal address, comma management strategy, and cross-domain equivalent. The classifier currently uses natural language reasoning; deriving coordinates directly from formal properties is the next architectural problem.

The FalseWork pipeline is an instrument, not an authority. Its outputs reflect inherited analytical commitments — a condition the framework calls epistemic dependency. Three output types must be distinguished: hallucination (factually wrong), genuine derivation (independently recovered), and inherited validity (correct but absorbed rather than derived). Structural profiles are hypotheses pending expert validation, not settled findings.