Restrições são contratos

A primeira promessa da humanidade

Há 100 mil anos, alguém apontou o dedo para algo e emitiu um som. Outro alguém que ouviu aquele som pensou na mesma coisa.

Este foi o início da linguagem.

A promessa de chamar “aquilo” de “leão”. Sem essa promessa, duas pessoas vivem no mesmo mundo mas enxergam mundos diferentes. Com essa promessa, a experiência de uma pessoa é transmitida à outra.

A linguagem é o primeiro contrato da humanidade.

A escrita é um contrato que atravessa o tempo

Há 5 mil anos, alguém na Mesopotâmia pressionou formas de cunha numa tábua de argila úmida. O objetivo era registrar o estoque de cereais.

As palavras desaparecem, mas os registros permanecem. Com registros, a burocracia se torna possível, as leis se tornam possíveis, o Estado se torna possível.

A escrita é um dispositivo que transmite as promessas do presente para o futuro. Para que um contrato feito hoje seja válido amanhã, a escrita é necessária.

A fala criou a tribo. A escrita criou o Estado.

Estado de direito: promessas escritas em sangue

A sociedade humana é uma questão de densidade.

Em uma tribo de 150 pessoas, todos se conhecem pelo rosto. Quando alguém quebra uma promessa, todos sabem. A ordem é mantida apenas pela pressão social.

Em uma cidade de 10 mil pessoas, os rostos são desconhecidos. Quebrar uma promessa pode passar despercebido. A pressão social não funciona.

Por isso as leis foram necessárias.

A lei é a promessa documentada. “Se você fizer isso, estas consequências se seguirão.” Todas as pessoas estão sujeitas às mesmas regras. As regras são mecanicamente verificáveis. As infrações estão definidas. As infrações têm consequências.

Levou milhares de anos para este sistema funcionar. Revoluções, guerras, massacres, compromissos. A humanidade escreveu estas promessas em sangue.

O resultado: 8 bilhões de seres humanos coexistem num único planeta. Não é perfeito. Mas funciona. Sem o estado de direito, esta densidade seria impossível.

As três condições do estado de direito

O estado de direito funciona não porque a lei seja inteligente. Funciona porque satisfaz três condições.

1. É verificável. É possível determinar se a lei foi violada ou não. Não pela intuição do juiz, mas pelos artigos e pelas provas. O procedimento de julgamento está definido.

2. A infração está definida. O que é permitido e o que é proibido é explícito. Não “não pratique atos ruins”, mas “não pratique atos enquadráveis no artigo 50, parágrafo 1.º”. É discreto. É infração ou não é.

3. É aplicável. As infrações têm consequências. Uma promessa sem consequências não é uma promessa — é uma esperança.

Estas três condições são surpreendentemente universais.

O mesmo padrão, domínios diferentes

Todo sistema que funciona tem promessas. As promessas são verificáveis, as infrações estão definidas e são aplicáveis.

Sistemas sem isso — são caos.

LLMs não têm promessas

Em 2026, quando se instrui um agente de código com IA a “melhorar o código”, o agente muda alguma coisa.

Mas:

• Quando termina? Ninguém sabe.
• O resultado é suficiente? Não há critério de julgamento.
• Ao executar novamente, o resultado é o mesmo? Não.

Isso é como uma sociedade sem lei. Cada um age segundo seu próprio julgamento, não há padrão de resultado, e varia a cada vez.

“Qualidade do código” é um espectro. Espectros não têm condição de término. Sem condição de término, a convergência não é garantida.

Isso é governo por pessoas. Depende de um rei sábio (um modelo inteligente). Se o rei for sábio, funciona; se não for, não funciona.

Restrições produzem convergência

O filefunc definiu 22 promessas.

Um arquivo, uma função. Profundidade máxima 2. Anotações obrigatórias. O control é um de sequence, selection ou iteration.

Estas promessas:

• São verificáveis. filefunc validate determina mecanicamente. Sem necessidade de LLM.
• Têm infrações definidas. ERROR ou aprovação. Não é um espectro.
• São aplicáveis. O código deve ser corrigido até que os ERRORs cheguem a zero.

Satisfazendo estas três condições, um LLM pode convergir qualquer codebase para um estado onde as promessas são cumpridas com apenas um loop while ERROR > 0: fix.

O papel do LLM não é o de julgador. É o de executor. O que constitui uma infração é dito pela promessa (validate), e se a infração foi resolvida também é dito pela promessa (validate). O LLM apenas corrige as infrações apontadas pela promessa.

Não o rei, mas a lei governa. Isso é estado de direito.

A proporção áurea entre caos e ordem

Sem promessas, há caos. O código não tem estrutura, as funções se misturam, a profundidade aumenta sem limite. Agentes de IA leem tudo a cada vez e produzem resultados diferentes a cada vez.

Promessas em excesso são opressão. Regular tudo elimina a flexibilidade. Forçar 10 linhas de anotações em uma função de 3 linhas inverte as prioridades.

As 22 regras do filefunc encontraram o equilíbrio. O ponto de restrição suficiente sem ser excessivo.

A evidência: 1.275 funções convergem para três estruturas de controle. Sequência, seleção, iteração. As três que Böhm-Jacopini provou em 1966. O fato de que 22 promessas convergem para uma classificação matemática é evidência de que as promessas não são nem excessivas nem insuficientes.

Nem caos nem opressão. Ordem suficiente dentro de liberdade suficiente. Esta é a proporção áurea.

A terceira linguagem

A fala criou a tribo. A promessa entre humanos e humanos. A escrita criou o Estado. A promessa entre o presente e o futuro.

O que criará a terceira linguagem?

GEUL é a promessa entre inteligência artificial e inteligência artificial. E é a promessa verificável entre inteligência artificial e humanos.

SIDX é a promessa do significado. O mesmo padrão de bits tem o mesmo significado. O stream de 16 bits é a promessa do formato. Rede, armazenamento e IA compartilham a mesma unidade. source, confidence, time são a promessa de confiança. Os metadados estão incorporados na estrutura e não podem ser omitidos. mechanical verification é a verificação do cumprimento da promessa. Informações que violam a especificação não podem entrar no context.

Na linguagem natural, não existe o conceito de “frase inválida”. No GEUL, existe. O fato de que “inválido” está definido é evidência de que a promessa existe.

Provar primeiro no código

O mesmo princípio se aplica tanto ao código quanto ao conhecimento.

Mas o código vem primeiro.

O código tem compilador. Tem AST. Tem sistema de tipos. A fronteira entre “código válido” e “código inválido” já existe. Adicionar 22 promessas sobre isso é natural.

O conhecimento em linguagem natural não tem essa base. O próprio conceito de “frase válida” não existe. O GEUL precisa construir essa base do zero.

Provar primeiro onde é fácil, depois expandir para onde é difícil. O filefunc prova no código, o GEUL expande para o conhecimento.

Isso é engenharia.

Um lembrete para a humanidade

O problema é simples.

Já inventamos o estado de direito. São promessas escritas em sangue. Graças a essas promessas, 8 bilhões de seres humanos coexistem apesar desta enorme densidade.

Os LLMs não são diferentes.

Restrições racionais são promessas. Para que haja harmonia entre caos e ordem, são necessárias promessas. Quando as promessas são verificáveis, as infrações estão definidas e são aplicáveis, qualquer sistema converge.

Como foi com a sociedade humana. Como foi com o código. Como será com o conhecimento.

Não é necessária uma nova invenção. É aplicar o que já inventamos a novos domínios.

Projete as promessas. E haverá convergência.