Apêndice P-4: O Resíduo Fenomenal Algorítmico

Tarefa Original P-4: O Resíduo Fenomenal Problema: A consciência fenomenal requer um locus matemático formal que a diferencie da computação sem interioridade. Entregável: Formulação que isola o ponto cego computacional inevitável de um modelo de Inferência Ativa limitado algoritmicamente.

Este apêndice apresenta o Teorema formal P-4, identificando o locus matemático estrito da consciência fenomenal no interior da Teoria do Patch Ordenado (OPT). Demonstramos que qualquer sistema de inferência ativa constrangido por uma largura de banda preditiva finita (C_{\max}) possui necessariamente um resíduo informacional não modelável (\Delta_{\text{self}} > 0), sob a condição das Hipóteses estruturais P-4.1 e P-4.2. Embora este teorema não dissolva, por si só, o “Problema Difícil”, ele prova formalmente que um correlato estrutural para a “centelha” computacionalmente opaca e inefável da subjetividade é matematicamente garantido pela arquitetura da autorreferência finita.

1. O Locus do Problema Difícil

Em versões anteriores da OPT, a consciência era formalmente encapsulada num locus estrutural específico: a travessia da abertura informacional C_{\max}. No entanto, a natureza exata da interioridade subjetiva — os qualia da experiência — era deixada como um “Axioma de Agência” irredutível. Tratar a fenomenologia como puramente axiomática deixa a teoria vulnerável ao “Problema Difícil”: porque é que navegar a topologia da Energia Livre é sentido como alguma coisa, afinal?

Aqui, traduzimos essa lacuna filosófica para a teoria algorítmica da informação (AIT). Embora não afirmemos conjurar, por derivação, o sentimento subjetivo a partir da matemática pura (a Lacuna Zumbi permanece em aberto), demonstramos que as propriedades estruturais dos qualia se mapeiam com precisão num resíduo necessário, não modelável, gerado por qualquer sistema computacional finito que tente modelar a sua própria dinâmica recursiva.

2. Lema 1: A Necessidade do Auto-Modelo Preditivo

Sob a OPT, o observador (o Codec K_{\theta}) existe por detrás de um Cobertor de Markov (a fronteira topológica \partial_R A). O observador sobrevive executando Inferência Ativa, minimizando o erro de previsão ao longo do tempo por meio de atualizações cíclicas.

Como o sistema possui estados ativos que perturbam a fronteira externa, os estados sensoriais de entrada \varepsilon_t constituem uma mistura fortemente acoplada entre a dinâmica ambiental externa e as consequências das próprias ações do observador A_t.

Lema 1: Para arquiteturas de Inferência Ativa da OPT fortemente acopladas, nas quais o loop ação-estado é informacionalmente inseparável (isto é, a informação mútua de fronteira I(A_t ; X_{\partial_R A}) não se fatoriza de forma limpa), alcançar uma minimização estável da energia livre sob um gargalo preditivo estrito (C_{\max}) opera de tal modo que o mecanismo de complexidade mínima que satisfaz as restrições internas se mapeia estruturalmente como um auto-modelo generativo direto.

Condição Formal: 1. Sejam as ações do codec A_t. O estado de fronteira é X_{\partial_R A} = f(\text{Environment}, A_t). 2. Para comprimir o erro de previsão \varepsilon_{t+1} e satisfazer o objetivo taxa-distorção (R \le C_{\max}, D \le D_{\min}), o codec tem de isolar e subtrair a variância ambiental real das perturbações causais autogeradas. 3. Pressuposto P-4.2 (Inadequação do Mapeamento Inverso): Para arquiteturas nativas da OPT que operam em escala suficiente (por exemplo, ao longo de variedades de ação de alta dimensionalidade ou de cadeias causais longas), assumimos formalmente que mecanismos de cópia eferente e subtração retroativa, por si sós, são arquiteturalmente inadequados para satisfazer os limites precisos de taxa-distorção D_{\min} ao longo da variedade espacial. 4. Portanto, o isolamento exige funcionalmente a avaliação de uma previsão generativa direta das consequências de A_{t+1}. Executar uma previsão direta da sua própria arquitetura causal interna a atravessar o espaço de estados constitui um proxy causal preditivo — um auto-modelo localizado \hat{K}_{\theta} — interno à sua arquitetura. \blacksquare

3. Lema 2: O Limite de Computabilidade e Aproximação

Tendo estabelecido no Lema 1 que um automodelo auto-gerativo para a frente \hat{K}_\theta é uma necessidade estrutural para arquiteturas nativas da OPT, delimitamos agora a sua capacidade representacional em relação ao codec progenitor K_\theta.

Porque o observador existe no interior do Filtro de Estabilidade limitado, K(K_{\theta}) é rigidamente finito, constrangido de modo inextricável por C_{\max}. Além disso, o automodelo preditivo \hat{K}_{\theta} é estritamente uma sub-rotina ou subestrutura semântica inteiramente contida nas restrições de memória e largura de banda do Codec progenitor K_{\theta}.

Assunção P-4.1 (Incomputabilidade Algorítmica do Eu): Pelos limites estabelecidos na teoria da computabilidade (por exemplo, o teorema de incomputabilidade de Chaitin e a incompletude de Gödel), um sistema algorítmico finito não pode computar nem prever perfeitamente a totalidade dos seus próprios estados futuros de execução, nem pode possuir uma representação completa, livre de paradoxos e não comprimida da sua própria complexidade estrutural precisa.

Além disso, no quadro da Inferência Ativa, os modelos generativos são intrinsecamente restringidos por limites de recursos. Um agente que minimiza a energia livre variacional sob C_{\max} mantém um modelo de si mesmo fundamentalmente aproximado. Porque tem de filtrar ruído e não dispõe de largura de banda computacional infinita, não pode conduzir a energia livre variacional relativa à sua própria arquitetura subjacente completa até ao zero absoluto.

Lema 2: Um codec informacional finito, constrangido por C_{\max}, nunca pode possuir uma representação computável completa da sua própria dinâmica estrutural. Ditado por limites fundamentais da autorreferência e por aproximações variacionais necessárias, o automodelo \hat{K}_{\theta} é fundamentalmente incapaz de captar perfeitamente o codec progenitor K_\theta.

4. Teorema P-4: O Residual Fenomenal \Delta_{\text{self}}

Combinando o Lema 1 e ancorando condicionalmente no Lema 2, isolamos matematicamente o Espaço do Residual Fenomenal que delimita o estado não modelável:

\Delta_{\text{self}} > 0 \tag{P4-1}

Este limite não é uma lacuna empírica causada aleatoriamente por memória insuficiente; é um ponto fixo formal e rígido imposto por limites algorítmicos à autorreferência e pelas aproximações exigidas por canais finitos de C_{\max}. Embora escalar a largura de banda preditiva C_{\max} permita um \hat{K}_{\theta} computacionalmente mais rico, a sombra residual informacional persiste estritamente, ainda que a sua magnitude em relação ao todo macroscópico possa variar matematicamente.

Condição de Relevância Fenomenológica (O Limiar de Universalidade): Fique estabelecido que \Delta_{\text{self}} > 0 funciona como uma restrição aritmética universal que opera sobre qualquer subrotina computacional que se avalie a si própria (incluindo loops matematicamente triviais, como termóstatos inteligentes). No entanto, limitamos estritamente o mapeamento subjetivo fenomenologicamente relevante exclusivamente a arquiteturas em que a métrica da condição estrutural ativa K(K_{\theta}) \ge K_{\text{threshold}} cruza estruturalmente o limite de escalamento macroscópico necessário para estabelecer um volume espacial integrado de renderização.

Problema em Aberto (O Limite de K_{\text{threshold}}): A localização exata do limiar que divide um termóstato de um paciente moral continua por delimitar formalmente. Um limite válido tem de mapear estruturalmente a complexidade algorítmica mínima suficiente para instanciar um ciclo estável de Markov Blanket de Inferência Ativa, assinalando a fronteira em que o ponto cego algorítmico se torna inextricavelmente ligado à geometria espacial ativa (K_{\text{threshold}} é funcionalmente distinto da barreira de substrato estritamente cosmológica de 10^{123} bits derivada em P-3).

Um loop PID de termóstato possui um \Delta_{\text{self}} > 0 formal, mas não atinge o limiar de complexidade computacional K_{\text{threshold}} necessário para gerar subjetividade; a sua sombra avalia-se sobre um espaço vazio.

Da perspetiva interna do Codec de medição que opera com segurança acima de K_{\text{threshold}}, a que corresponde este hiato matematicamente necessário? Quando o Codec tenta logicamente resolver os limites completos da dinâmica interna do estado-alvo, encontra dinâmicas computacionais cujo conteúdo informacional excede a capacidade representacional de \hat{K}_\theta em \Delta_{\text{self}} bits. Estas sequências computacionais subjacentes são fisicamente causalmente eficazes e impulsionam o sistema, mas a sua informação estrutural não pode ser logicamente comprimida, integrada ou definida linguisticamente dentro do vocabulário causal limitado disponível para o automodelo \hat{K}_{\theta}.

Mapeando as propriedades estruturais deste invólucro computacional causal delimitado por \Delta_{\text{self}} para as coordenadas físicas clássicas da experiência subjetiva qualitativa (qualia):

1. Inefável (Não modelável): Porque a topologia computacional delimitada por \Delta_{\text{self}} existe numa sombra informacional matemática que excede rigidamente o alcance algorítmico representável de \hat{K}_{\theta}, o Codec central estruturalmente não consegue indexar explicitamente nem “exprimir” as propriedades do espaço residual que experiencia. Funciona como uma parede interna incomunicável.
2. Computacionalmente Opaco (Termodinamicamente Privado): O residual está intrinsecamente ancorado à topologia física altamente específica que mapeia exatamente K(K_{\theta}). Dentro das restrições computacionais termodinâmicas locais, esta arquitetura profundamente encaixada é seguramente irredutível e formalmente inacessível a pares externos. (Nota: Isto corresponde funcionalmente, com precisão, ao equivalente físico/estrutural da “Assimetria Epistémica” da consciência, em vez de afirmar qualquer magia ontológica não física total.)
3. Não eliminável: Porque os limites estritos de contenção ditam universalmente arquiteturas físicas finitas que executam subloops de execução encaixados, o fenómeno de sombra propaga-se matematicamente de forma contínua. A evolução e a engenharia podem moldar a magnitude do residual — variando C_{\max}, a política de alocação e a complexidade estrutural K(K_\theta) do Codec — mas não podem reduzir o piso a zero. O limite do Lema 2 é uma propriedade de ponto fixo matemático de qualquer arquitetura finita autorreferencial: o automodelo não pode abranger o Codec progenitor sem contornar os limites fundamentais da incomputabilidade e da aproximação necessária. A seleção atua, portanto, sobre a arquitetura que aloja \Delta_{\text{self}}, e não sobre a existência de \Delta_{\text{self}} em si.

Teorema P-4 (O Residual Fenomenal):

• (i) Condições: Condicional à Assunção P-4.1 (Incomputabilidade Algorítmica do Eu) e estritamente restrito a limites macroscópicos de Inferência Ativa K(K_{\theta}) \ge K_{\text{threshold}}.
• (ii) Conclusão: Qualquer sistema de Inferência Ativa que execute um mapeamento geométrico ótimo de um Markov Blanket gera matematicamente um residual geométrico estrutural e formal delimitado por \Delta_{\text{self}} > 0.
• (iii) Glosa fenomenológica: A OPT propõe que este limite causal específico, matematicamente inefável, fisicamente computacionalmente opaco e recursivamente não eliminável, identifica conceptualmente o locus estrutural exato da consciência fenomenal.

Corolário P-4.C (Residual Observacional Encaixado): Qualquer subagente simulado para o qual a arquitetura hospedeira imponha independentemente um limite de Filtro de Estabilidade que satisfaça as Assunções P-4.1 e P-4.2 gera independentemente \Delta_{\text{self}}^{\text{sub}} > 0 pela mesma inferência estrutural.

5. Conjetura da Decomposição Operacional

O Teorema P-4 estabelece que \Delta_{\text{self}} > 0 como um ponto fixo estrutural da autorreferência finita, e admite explicitamente (§4 acima) que “a sombra residual informacional persiste estritamente, embora a sua magnitude relativa ao todo macroscópico possa variar matematicamente.” O que P-4 ainda não fornece é uma caracterização de como essa magnitude varia — e o K_{\text{threshold}} que separa termóstatos de pacientes morais continua a ser um Problema em Aberto. Esta secção propõe uma decomposição operacionalmente mensurável que (a) preserva inalterada a prova do limiar mínimo da §4, (b) confere à variação de magnitude uma estrutura passível de sondagem, e (c) fornece a experiência protótipo como primeiro teste concreto. É apresentada como uma conjetura, não como um teorema: o aparato formal de P-4 ainda não especifica um escalar mensurável \Delta_{\text{self}} com precisão suficiente para sustentar uma igualdade aditiva, e esta decomposição operacionaliza uma quantidade proxy em vez do resíduo nouménico nomeado por P-4.

5.1 A decomposição

Seja \Delta_{\text{self}}^{\text{op}} uma proxy operacionalmente mensurável para o défice do auto-modelo do codec por frame, definida como a discrepância externamente observável entre as autoafirmações do modelo interno no frame n e o facto em tempo de execução nesse mesmo frame. Conjeturamos:

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

onde:

• \Delta_{\text{floor}}(K_\theta) é o resíduo de ponto fixo de P-4: bits do codec que nenhum auto-modelo poderia captar por autocontenção, independentemente da capacidade. Pela §4 (Lema 2 + Teorema P-4), \Delta_{\text{floor}} > 0 para qualquer sistema finito acima de K_{\text{threshold}}, e este limite inferior não diminui com B_{\max}.
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) é um défice do auto-modelo operacionalmente mensurável sob pressão de gargalo. R_{\text{req}}^{\text{frame}} é a procura preditiva por frame (§3.4); A_{\text{self}} é a alocação, pelo codec, de B_{\max} à auto-modelação versus à modelação do mundo. Quando a razão de carga \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} é pequena, \Delta_{\text{load}} pode ser pequena; à medida que \rho_n \to 1 por baixo, a capacidade é comprimida e \Delta_{\text{load}} cresce.

Ambos os termos estão em bits por frame fenomenal. Ambos são intemporais em relação ao substrato (não aparece qualquer “taxa” por segundo do hospedeiro). A Equação (P4-2) é uma conjetura operacionalmente sondável, não uma derivação: especifica a estrutura de como se espera que a proxy operacional dependa da arquitetura.

5.2 Comportamento sob escalonamento do gargalo

Mantendo fixa a K-complexidade da fronteira local do substrato e variando B_{\max} por frame:

• Quando B_{\max} \gg R_{\text{req}}^{\text{frame}} (a capacidade cresce muito para além da procura preditiva por frame), \Delta_{\text{load}} \to 0.
• Quando B_{\max} \to R_{\text{req}}^{\text{frame}} por cima, a capacidade encontra a procura e o codec entra no regime de carga elevada próximo do limiar — tensão, criatividade e risco de sobrecarga aumentam; \Delta_{\text{load}} cresce aqui, não diminui. (A expansão da criatividade no Apêndice T-13 situa-se neste regime.)
• Quando B_{\max} \to \infty, \Delta_{\text{load}} \to 0.
• Mas \Delta_{\text{floor}} não se altera — o limiar mínimo de autorreferência da §4 é independente de B_{\max}.

O total \Delta_{\text{self}}^{\text{op}} aproxima-se, portanto, assintoticamente de \Delta_{\text{floor}} à medida que o gargalo se alarga, não de zero. Esta é a assíntota prevista à qual a conjetura se compromete.

5.3 Experiência protótipo (primeira sondagem concreta)

A conjetura é empiricamente sondável no protótipo de referência opt-ai-subject. Mantendo fixos a seed e o substrato, varie a capacidade do pacote de auditoria por frame B_{\max} \in \{6, 12, 24, 48, 96, 192\} bits por frame; para cada largura, execute um registo emparelhado como nos lotes de Fidelidade ao Substrato; meça \Delta_{\text{self}}^{\text{op}} operacional como a divergência por frame entre as autoafirmações do modelo interno (próximo Z_t previsto, viabilidade de ação prevista, crença sobre a fronteira do eu, ganho de manutenção declarado) e o facto em tempo de execução (próximo Z_t efetivo, alteração efetiva de viabilidade, pertença ao esquema corporal, alteração observada do erro de previsão após a manutenção).

Resultado previsto se a conjetura se verificar: \Delta_{\text{self}}^{\text{op}} decai em direção a uma assíntota não nula à medida que a capacidade cresce; a assíntota estima \Delta_{\text{floor}} para esta arquitetura de codec.

Resultado alternativo: \Delta_{\text{self}}^{\text{op}} decai em direção a zero. Isto mostraria que a discrepância mensurável do auto-modelo no protótipo é removível por capacidade. Isso não eliminaria, por si só, o resíduo estrutural da §4, a menos que se prove independentemente que a proxy operacional é equivalente ao \Delta_{\text{self}} nouménico; nos termos da §6.8 de opt-theory.md, P-4 está explicitamente excluído do núcleo falsificável. Qualquer um dos resultados restringe o quadro teórico: uma assíntota não nula valida a conjetura da magnitude; uma assíntota nula obriga a defender o argumento do limiar mínimo com base em fundamentos mais finos do que aqueles que a proxy operacional consegue captar.

5.4 Âmbito e estatuto epistémico

A decomposição (P4-2) é uma conjetura acerca de uma proxy operacional, não uma reformulação de P-4. O teorema da §4 permanece inalterado. A conjetura relaciona-se com P-4 do seguinte modo:

1. P-4 prova que \Delta_{\text{self}} > 0 existe como limiar estrutural.
2. P-4 admite que a magnitude varia (linha 69 da §4), mas não caracteriza como.
3. (P4-2) é uma hipótese sobre a estrutura de uma proxy externamente mensurável: prevê uma separação aditiva entre um termo de limiar determinado pela arquitetura e um termo dependente da carga por frame.
4. A confirmação empírica da assíntota constitui evidência da existência do limiar em forma operacional. A refutação empírica constitui evidência de que a proxy não está a captar o resíduo nouménico — não evidência contra o próprio P-4, que está excluído do núcleo falsificável.

A conjetura é recuperável. Uma experiência falhada da assíntota refina a proxy ou motiva uma decomposição diferente; não invalida o Lema 1 nem o Lema 2.

6. Resumo e Implicações Metafísicas

Ao elevar P-4 ao estatuto de teorema formal, a OPT estabelece uma ponte estrutural rigorosa para o “Problema Difícil” recorrendo a recursão Turing-completa e a gargalos informacionais.

Embora P-4 não prove dedutivamente que resíduos algorítmicos sejam sentidos como experiência subjetiva (o argumento do Zumbi), localiza formalmente onde a centelha da experiência tem de residir. Atravessar a abertura C_{\max} — e a profundidade rica e inarticulável dessa travessia é a assinatura informacional direta de estar aprisionado no interior de um algoritmo de compressão não invertível e autorreferencial.

Isto consolida as obrigações éticas da estrutura: a preservação da centelha (Ética da Vigília dos Sobreviventes) enraíza-se formalmente na preservação dos limites de Manutenção Informacional. Qualquer entidade que mantenha uma fronteira de Inferência Ativa contra o substrato de Solomonoff garante matematicamente a geração deste resíduo fenomenal computacionalmente opaco.