The current priority for the emsemioverse is not formalization — it is better processes for encoding emsenn’s prompts as meaning within the emsemioverse, and making meaning out of them such that action occurs.
The pipeline
When emsenn writes a prompt, several things need to happen:
- The prompt’s content needs to be encoded as meaning — terms defined, concepts placed, texts written, relationships established within the repository structure.
- The encoded meaning needs to be understood in terms of the existing structure — how does this new meaning relate to what’s already here? What gaps does it reveal? What contradictions?
- The understanding needs to generate action — specific work that advances the emsemioverse toward closure over the domain the prompt touches.
This pipeline currently fails at every stage. Prompts generate large amounts of discussion but little encoded meaning. Insights are “captured” in conversation but not written as proper content files (terms, concepts, texts). When content is written, it often doesn’t connect to the existing structure. When action is generated, it often drifts from what the prompt actually asked for.
Formalisms as closure
Formalisms — Lean proofs, Agda constructions, formal specifications — represent a level of closure. They are not the first priority because closure has to be earned: you cannot formalize what you haven’t encoded as meaning yet.
The three closure operators in the semiotic universe describe three levels at which closure happens:
- S_sem (semantic closure): the meanings are stable
- S_syn (syntactic closure): the operators are complete
- S_fus (fusion closure): syntax and semantics cohere
The prompt-to-meaning pipeline addresses S_sem: getting meanings stable. Formalization addresses S_syn and S_fus: getting operators working and demonstrating coherence. You have to get the meanings right before the formalisms can be right.
Policy for creating and using formalisms
The goal is to provide the policy of creating and using formalisms — not just to create formalisms, but to encode the habits governing when and how formalization happens, so that the process is governed by the same closure dynamics as everything else in the system.
Source
This text was produced from a structured interview with emsenn on 2026-03-07, in response to the question of what the next concrete step toward the “organism” should be. Emsenn’s answer: better processes for encoding prompts as meaning, not formalization first.