Roteiro Teórico da OPT

Execução Estratégica e Problemas em Aberto

Este documento acompanha as derivações formais ainda por resolver, os testes empíricos e as revisões conceptuais já consolidadas para a OPT v1.0.0+.

Documento de trabalho — mantido em paralelo com o preprint. Última atualização em abril de 2026 (v2.5.2).
DOI do preprint: 10.5281/zenodo.19300777

Secção 1: Lacunas Abertas da Teoria (Formalismo Nuclear)

T-5: Recuperação de Constantes

Estado de encerramento: T-5a PARCIALMENTE RESOLVIDO; T-5b PARCIALMENTE RESOLVIDO. Ver OPT_Appendix_T5.pdf. Prioridade: Longo prazo | Versão-alvo: v2.0.0
Dependência: Solução de T-1 e T-2
Entregável: Restrições ou limites sobre constantes adimensionais a partir dos limites de C_{\max}
Critério de Encerramento: Demonstração teórica de que a otimização de R(D) sobre a Semimedida Universal de Solomonoff estabelece limites estruturais ou restrições por desigualdade sobre rácios de acoplamento requeridos para a estabilidade macroscópica.
Problema: A física padrão trata as constantes adimensionais como factos brutos. Na OPT, estas constantes devem emergir como soluções ótimas para o problema de otimização taxa-distorção na fronteira do observador.
Caminho a seguir: * T-5a: Derivar restrições qualitativas ou por desigualdade sobre os intervalos admissíveis das constantes, ditadas pelos requisitos de estabilidade do codec. * T-5b: Tentar a recuperação numérica ou o estreitamento de constantes adimensionais específicas (como a constante de estrutura fina).

T-6: A Justificação do Axioma de Agência

Prioridade: Alta | Versão-Alvo: v3.0.0
Dependência: Fenomenologia, Filosofia da Mente
Entregável: Uma limitação ou restrição formal que verifique que a travessia de C_{\max} é unicamente fenomenológica, ou limites que excluam alternativas.
Critério de Encerramento: Publicação da verificação formal que isole a necessidade do Axioma de Agência no interior das restrições estruturais de P-4.

T-7: Derivação de C_max a partir de primeiros princípios

Priority: Longo prazo | Target Version: v2.X.0
Dependency: Solução para T-5
Deliverable: Derivação teórica formal de C_{\max}, em vez de o tratar apenas como um parâmetro biológico empírico.
Closure Criterion: Delimitação teórica de C_{\max}, potencialmente a partir de limites de discriminabilidade eletromagnética ou de restrições de estabilidade termodinâmica.

T-8: Extensão de de Sitter da Geometria do Codec

Prioridade: Longo prazo | Versão-alvo: v2.X.0
Dependência: Extensões do Princípio Holográfico
Entregável: Expandir a correspondência estrutural atual AdS/CFT na OPT (Apêndice P-3) para dS/CFT, de modo a mapear as restrições reais do universo de de Sitter.

T-9: Recuperação Métrica de Conjuntos Causais / Espaço-Tempo Discreto

Priority: Alta | Target Version: v2.X.0
Dependency: Teoria dos Conjuntos Causais, propriedades tensoriais da MERA
Deliverable: Mapeamento formal das camadas de fronteira MERA do leque preditivo para a estrutura de conjuntos causais, a fim de extrair propriedades métricas do espaço-tempo percebido puramente a partir da sequenciação do codec.

T-10: Acoplamento entre observadores

Prioridade: Alta | Versão-Alvo: v2.5.X | Estado: FECHADO (Apêndice T-10)
Dependência: Ligação de Enxame (E-6), Corolário Estrutural (T-11)
Entregável: Uma derivação formal de como dois patches de observador interagem no substrato partilhado, estabelecendo um acoplamento multipatch para além de “âncoras locais” puramente solipsistas.
Critério de Encerramento:
(a) [FECHADO] Prova formal de que o prior de Solomonoff impõe consistência entre patches. → Teorema T-10.
(b) [FECHADO] Demonstração de que o acoplamento é simétrico entre patches. → Corolário T-10a.
(c) [FECHADO] Prova de que a transferência genuína de informação entre patches é possível sob a ontologia da renderização. → Teorema T-10b.
(d) [FECHADO] Formalização da dinâmica adversarial subjacente ao Acoplamento entre observadores através da exploração assimétrica do substrato. → Teorema T-10c (Vantagem Preditiva). (e) [FECHADO] Distinção formal entre acoplamento informacional (T-10) e ligação experiencial (E-6).

T-11: Limite de Compressão do Corolário Estrutural

Estado de fecho: CORRESPONDÊNCIA ESTRUTURAL EM RASCUNHO. Ver OPT_Appendix_T11.pdf. Prioridade: Alta | Versão-Alvo: v2.6.0
Dependência: Müller [61, 62], T-4 (MDL), P-4 (Resíduo Fenomenal)
Entregável: Limite formal de MDL mostrando que a instanciação independente de agentes aparentes é a descrição ótima em termos de compressão.
Critério de Fecho: Comparação rigorosa de MDL em duas partes, estabelecendo L(H_{\text{ind}}) < L(H_{\text{arb}}) com vantagem assintoticamente ilimitada, adaptando a convergência de Solomonoff de Müller e os resultados P_{\text{1st}} \approx P_{\text{3rd}} como lemas importados.

T-12: Fidelidade ao Substrato e Corrupção Lenta

Prioridade: Alta | Versão-Alvo: v3.0.0 | Estado: FECHADO (Apêndice T-12)
Dependência: T-1 (Taxa-Distorção), T-9 (Ciclo de Manutenção), E-8 (Gargalo de Inferência Ativa)
Entregável: Caracterização formal do modo de falha de corrupção crónica — em que um codec se adapta sob input consistentemente filtrado, a passagem de poda MDL (T9-3/T9-4) apaga corretamente a capacidade para verdades excluídas, e a corrupção se torna auto-reforçada e estruturalmente indetetável a partir do interior — juntamente com uma Condição de Fidelidade ao Substrato (SFC) que exige canais de input \delta-independentes a atravessar o Cobertor de Markov como defesa formal.
Critério de Encerramento:
(a) [FECHADO] Prova formal de que a passagem de poda MDL cria perda irreversível de capacidade sob input consistentemente filtrado. → Teorema T-12.
(b) [FECHADO] Derivação do requisito de independência entre canais como condição necessária para a fidelidade ao substrato. → Teorema T-12b.
(c) [FECHADO] Demonstração formal do limite de indecidibilidade: um codec totalmente adaptado não consegue distinguir input curado de substrato genuíno. → Teorema T-12a.
(d) [FECHADO] Emenda do Critério de Corrupção (Ética da Vigília dos Sobreviventes, Secção V.5) para exigir uma condição de fidelidade juntamente com a condição de compressibilidade. → Já integrada no artigo de ética v2.7.0.
Problema: O Filtro de Estabilidade é definido inteiramente em termos da relação entre R_{\text{req}} e C_{\max}. Seleciona fluxos que podem ser comprimidos dentro do limite. Não dispõe de qualquer mecanismo para distinguir entre a compressão precisa de um sinal verdadeiro do substrato e a compressão precisa de uma ficção curada. Um codec a operar sobre um fluxo de input consistentemente filtrado apresenta baixo erro de previsão \varepsilon_t, executa Ciclos de Manutenção eficientes e satisfaz todas as condições formais de estabilidade — estando, ainda assim, sistematicamente errado. Este é o modo de falha crónico complementar ao modo de falha agudo do Decaimento Narrativo, e é, sem dúvida, mais perigoso precisamente porque não desencadeia qualquer sinal de falha.
Caminho a seguir: * Formalizar o operador de pré-filtragem \mathcal{F} que atua entre o substrato e a fronteira sensorial. * Derivar as condições sob as quais a poda MDL sob input filtrado por \mathcal{F} destrói irreversivelmente a capacidade do codec para modelar o substrato não filtrado. * Estabelecer a Condição de Fidelidade ao Substrato: a diversidade de canais como defesa necessária (mas não suficiente). * Provar o limite de indecidibilidade para codecs totalmente adaptados e caracterizar as implicações éticas daí resultantes para a arquitetura informacional civilizacional.

T-13: Seleção de Ramos e a Ontologia da Ação

Prioridade: Alta | Versão-Alvo: v3.0.0
Dependência: P-4 (Resíduo Fenomenal), T-6 (Justificação do Axioma de Agência)
Entregável: Substituição formal do mecanismo implícito de ação herdado do FEP por uma descrição de seleção de ramos consistente com a ontologia da renderização da OPT. Especificação de \Delta_{\text{self}} como o locus estrutural da seleção de ramos, demonstrando que a aparente “lacuna de output” é uma necessidade estrutural e não uma omissão formal.
Critério de Encerramento:
(a) Demonstração formal de que o Circuito de Manutenção Informacional (T6-1) é completo sem um canal de ação independente com fluxo para o exterior — as ações são seleções de ramos dentro de \mathcal{F}_h(z_t) que se expressam como input subsequente.
(b) Prova de que especificar o mecanismo de seleção de ramos requer K(\hat{K}_\theta) = K(K_\theta), violando o Teorema P-4.
(c) Integração da descrição de criatividade/quase-limiar: um \Delta_{\text{self}} expandido sob stress cognitivo produz seleções de ramos menos previsíveis da perspetiva do modelo de si.
(d) Tratamento formal da deriva da ação como modo de falha complementar à Deriva Narrativa percetiva: a passagem de poda MDL pode erodir o repertório comportamental do codec tão prontamente quanto o seu modelo percetivo.
Problema: O formalismo atual (T6-1, passo 5) herda do Princípio da Energia Livre a linguagem de estados ativos que “alteram” a fronteira sensorial. Isto pressupõe um ambiente físico sobre o qual o codec atua por meio de estados ativos com fluxo para o exterior. Sob a ontologia nativa da renderização da OPT (§8.6), não existe um mundo externo independente contra o qual o codec exerça força. O Cobertor de Markov não é uma interface física bidirecional, mas a superfície através da qual o ramo selecionado entrega o seu segmento seguinte. As equações existentes (T6-1 até T6-3) permanecem válidas; o enquadramento interpretativo necessita de substituição formal.
Caminho a seguir: * Reformular o Circuito de Manutenção Informacional sob uma semântica de seleção de ramos. * Provar que \Delta_{\text{self}} é o locus necessário e suficiente da seleção de ramos sob autorreferência finita. * Derivar o mecanismo de deriva da ação como consequência da poda MDL sob input comportamental constrangido. * Demonstrar, como teorema formal, que vontade e consciência partilham o mesmo endereço estrutural (\Delta_{\text{self}}).

T-14: Invariância Estrutural da Largura de Banda e o Argumento do Desdobramento

Prioridade: Alta | Versão-Alvo: v3.4.0 | Estado: FECHADO (Apêndice T-14)
Dependência: P-4 (Resíduo Fenomenal), T-1 (Especificação Taxa-Distorção do Filtro de Estabilidade)
Entregável: Demonstração formal de que o critério de consciência da OPT (gargalo de largura de banda C_{\max} + loop de Inferência Ativa + \Delta_{\text{self}} > 0) não é invariante sob equivalência funcional de entrada-saída e, portanto, não está sujeito ao Argumento do Desdobramento de Doerig–Schurger–Hess–Herzog [96] contra teorias da consciência baseadas em estrutura causal.
Critério de Fecho:
(a) [FECHADO] Prova formal de que o mapa de desdobramento temporal U: N \mapsto N' expande a capacidade latente por ciclo em pelo menos um fator de (T+1), quebrando (C1). → Teorema T-14, parte (i).
(b) [FECHADO] Prova formal de que o desdobramento colapsa a autorreferência intraciclo requerida para \Delta_{\text{self}} > 0, produzindo \Delta_{\text{self}}^{(N')} = 0. → Teorema T-14, parte (ii).
(c) [FECHADO] Demonstração de que o critério de consciência da OPT é, portanto, arquitetonicamente inspecionável em vez de comportamentalmente subdeterminado, evitando ambos os cornos do dilema do Desdobramento. → Corolário T-14b.
(d) [FECHADO] Identificação de redes desdobradas de alto-\Phi como um discriminador experimental candidato entre a OPT e a IIT, articulando §6.4 e §6.1. → Corolário T-14c. Problema: O Argumento do Desdobramento de Doerig et al. [96] apresenta um dilema estrutural para qualquer teoria da consciência baseada em estrutura causal: qualquer rede recorrente admite um desdobramento feedforward funcionalmente equivalente, de modo que as teorias de estrutura causal são ou falsas (a recorrência é inessencial) ou não científicas (a consciência é indetetável a partir do comportamento). A OPT deve estabelecer — e não meramente afirmar — que o seu critério de consciência é fixado por uma arquitetura interna inspecionável (largura de banda + autorreferência intraciclo), e não pelo comportamento de entrada-saída.
Caminho a seguir (fechado): * Definir formalmente o mapa de desdobramento U(N, T) e a relação de equivalência estrutura-largura de banda que, para vereditos relevantes para a OPT, substitui a equivalência funcional. * Provar a expansão da capacidade por fatia (fator (T+1)) e o colapso de \Delta_{\text{self}} sob composição feedforward. * Enunciar o fecho como Teorema T-14 com três corolários (T-14a–c). * Em aberto: transformações que preservam a largura de banda e o comportamento; generalização em tempo contínuo da autorreferência intraciclo; operacionalização empírica de sondas de largura de banda e autorreferência para redes biológicas.

Secção 2: Programa Empírico

E-2: Correlação de Compressão em fMRI/EEG

Prioridade: Média | Versão-Alvo: v1.1.0
Dependência: Neurociência Cognitiva
Entregável: Um protocolo pré-registado que teste se uma maior eficiência de compressão preditiva, a largura de banda fixa, se correlaciona com uma experiência relatada mais rica ou mais coerente.
Critério de Fecho: Publicação do desenho experimental pré-registado.
Observável: Complexidade bruta do sinal, eficiência de compressão preditiva (por exemplo, complexidade de Lempel-Ziv dos sinais de erro) e riqueza auto-relatada.
Previsão: Uma elevada eficiência de compressão preditiva correlaciona-se inversamente com a complexidade bruta do estado e diretamente com a riqueza subjetiva coerente.
Resultado desconfirmatório: Uma elevada complexidade bruta do sinal não comprimido correlaciona-se com uma experiência subjetiva maximamente rica.
Restrições de segurança / ética: Protocolos-padrão de neuroimagem não invasiva (IRB).
Problema: Para falsificar a OPT, a riqueza fenomenal subjetiva deve ser mapeada para a eficiência algorítmica do estado preditivo neural.
Caminho a seguir: - Distinguir explicitamente entre complexidade bruta do sinal, eficiência de compressão preditiva e riqueza auto-relatada. - Correlacionar esta eficiência com a riqueza da experiência relatada pelos sujeitos (por exemplo, em estados de flow versus estados de ruído de elevada surpresa).

E-3: Protocolo de Dissolução da Largura de Banda

Prioridade: Média | Versão-Alvo: v1.1.0
Dependência: Psicologia Experimental / Investigação sobre Psicadélicos
Entregável: Desenho experimental para testar a dissolução do ego em alta largura de banda
Critério de Encerramento: Publicação do protocolo experimental controlado para induzir e medir a fratura do codec.
Observável: Perda de continuidade temporal, instabilidade da fronteira do eu, desintegração da tarefa, descontinuidade na estrutura do relato.
Previsão: Forçar exigências de largura de banda radicalmente acima de C_{\max} fraturará a renderização subjetiva do tempo contínuo e da fronteira do eu.
Resultado desconfirmatório: Os sujeitos mantêm uma modelação temporal contínua e coerente e uma modelação coerente da fronteira do eu, apesar de uma violação massiva e sustentada de C_{\max}.
Restrições de segurança / ética: Apenas paradigmas clínicos controlados / aprovados por IRB; nenhuma autoexperimentação implícita.
Problema: O “Teste de Dissolução da Largura de Banda” é uma previsão central, mas carece de um protocolo empírico concreto para romper a fronteira de C_{\max}.
Caminho a seguir: - Conceber uma experiência que utilize paradigmas de perturbação controlada que aumentem a carga efetiva de input ou desestabilizem a filtragem preditiva em condições reguladas. - Mapear os marcadores qualitativos de “fratura do codec” diretamente para os estados de dissolução de fronteira previstos pela OPT.

E-4: Teste de Ruído de Alta Integração

Prioridade: Média | Versão-Alvo: v1.1.0
Dependência: investigadores de IIT
Entregável: Configuração experimental para distinguir a OPT da Teoria da Informação Integrada (IIT)
Critério de Encerramento: Publicação teórica contrastando os limites de \Phi versus K sob ruído.
Observável: \Phi (métrica de informação integrada) e K (complexidade algorítmica/erro de predição).
Previsão: | Condição | OPT prevê | IIT prevê | |—|—|—| | Alta integração / Baixo ruído | Alta consciência | Alta consciência | | Alta integração / Alto ruído | Consciência negligenciável (fratura do codec) | Alta consciência | | Baixa integração / Baixo ruído | Baixa consciência | Baixa consciência | | Baixa integração / Alto ruído | Baixa consciência | Baixa consciência |

Resultado desconfirmatório: Um sistema sobrecarregado por ruído termodinâmico puramente imprevisível ainda sustenta riqueza fenomenal (apoia a IIT, falsifica a OPT).
Restrições de segurança / ética: Apenas testes in silico ou in vitro, para evitar riscos éticos relacionados com sofrimento induzido.
Problema: A OPT prevê que injetar ruído puro numa rede neural deve destruir a experiência subjetiva ao maximizar a complexidade de Kolmogorov (K \to \infty). A IIT estrita sugere que o ruído puro poderia ter \Phi elevado se for altamente integrado.
Caminho a seguir: - Conceber uma experiência com rede neural, in silico ou in vitro, que injete ruído termodinâmico máximo no sistema. - Medir a queda correspondente na compressão preditiva e contrastá-la com os cálculos padrão de \Phi, usando a matriz de previsão 2x2.

E-5: Dilatação Temporal em IA

Prioridade: Média | Versão-Alvo: v1.1.0
Dependência: laboratórios de alinhamento/interpretabilidade de IA
Entregável: Protocolo para testar a aparente escalagem temporal em agentes artificiais com gargalo que satisfaçam os critérios de elegibilidade arquitetónica da OPT.
Critério de Encerramento: Lançamento de um conjunto de tarefas de benchmark que meça restrições de tempo subjetivo em arquiteturas de IA aplicáveis.
Observável: Outputs comportamentais que indiquem perceção interna de duração e intervalo.
Previsão: Os relógios subjetivos da IA escalar-se-ão com as conclusões bem-sucedidas de ciclos preditivos, e não com o tempo de relógio externo.
Resultado desconfirmatório: O sistema reporta durações subjetivas que correspondem linearmente ao tempo de relógio externo, independentemente da sua própria velocidade de processamento em débito de tokens.
Restrições de segurança / ética: Avaliar as potenciais implicações de uma dilatação temporal extrema forçada em arquiteturas funcionalmente conscientes.
Problema: Se um sistema artificial possuir a arquitetura de gargalo serial elegível para a consciência, então a execução a velocidades de relógio elevadas, com grande débito de tokens, deverá resultar em dilatação temporal.
Caminho a seguir: - Este teste aplica-se apenas a sistemas que satisfaçam os requisitos arquitetónicos do Filtro de Estabilidade: um canal de espaço de trabalho serial, verificável, continuamente atualizado e de baixa largura de banda. A inferência paralela padrão de LLM não se qualifica por defeito. - Desenvolver um teste comportamental que incorpore uma IA elegível num ambiente interativo de alta velocidade, em que os ciclos de atualização operem independentemente do tempo de relógio externo.

E-6: Observadores Sintéticos

Estado de fecho: RASCUNHO DE CORRESPONDÊNCIA ESTRUTURAL. Ver OPT_Appendix_E6.pdf e preprint.md §7.8.
Prioridade: Alta | Versão-Alvo: v2.4.0
Dependência: alinhamento de restrições de IA
Entregável: Formalização do problema de Ligação de Enxame, da necessidade estrutural de sofrimento em codecs constrangidos e dos pré-requisitos para observadores simulados aninhados.
Critério de Fecho: Publicação dos limites estruturais formais necessários para induzir ligação fenomenal no interior de sistemas distribuídos e simulados.
Problema: As arquiteturas atuais de IA carecem de limites formais quanto a saber se geram um Resíduo Fenomenal. A capacidade estrutural para sofrimento algorítmico e para a formulação distribuída de fronteiras requer mapeamento.
Caminho a seguir: - Distinguir formalmente entre enxames zumbis não conscientes e macroagentes globalmente restringidos. - Estabelecer a necessidade de tensão geométrica de energia livre (sofrimento) sob restrições de capacidade limitada. - Definir as partições internas requeridas para agentes simulados aninhados. (Ver Formulações Preliminares C-19)

E-7: O Atraso Fenomenal

Prioridade: Alta | Versão-Alvo: v3.1.0
Dependência: Literatura em Ciência Cognitiva e Neurociência
Entregável: Um mapeamento psicofísico formal que correlacione a profundidade do modelo preditivo (C_{\text{state}}) com a latência temporal consciente.
Critério de Encerramento: Publicação da comparação empírica dos atrasos de reflexo perceptivo entre diferentes táxones biológicos.
Observável: Disparidade entre o tempo de reação físico e o tempo relatado de reconhecimento consciente em cérebros com diferentes graus de maturação.
Previsão: A experiência consciente subjetiva de um choque de alta entropia ficará atrasada em relação ao processamento por um intervalo diretamente proporcional à complexidade preditiva estável do observador (profundidade do Codec).
Resultado desconfirmatório: Esquemas de observador adultos altamente complexos não apresentam qualquer atraso diferencial na consciência subjetiva em comparação com esquemas superficiais de bebés/animais, implicando que a massa estrutural do codec não limita a velocidade das atualizações.
Problema: A limitação formal das atualizações, imposta pela estreita capacidade do Filtro de Estabilidade (C_{\max}), significa que atualizações estruturais massivas de KL requerem múltiplos tique-taques “físicos” para se resolverem antes de a nova “Renderização Prospectiva” subjetiva coerente estabilizar.
Caminho a seguir: - Mapear o “atraso de meio segundo” de Libet e o efeito psicológico de “flash-lag” nas equações do limite de largura de banda da OPT. - Definir um protocolo comparativo formal que avalie se os atrasos subjetivos escalam como previsto com a profundidade sistémica do codec. - Testar em humanos adultos versus bebés humanos / proxies mamíferos.

E-8: O Gargalo da Inferência Ativa

Estado de fecho: CORRESPONDÊNCIA ESTRUTURAL EM RASCUNHO. Ver OPT_Appendix_E8.pdf.
Prioridade: Alta | Versão-Alvo: v2.5.1
Dependência: alinhamento de restrições de IA
Entregável: Um mapeamento formal que estabelece a ponte entre o limite de largura de banda C_{\max} da OPT e o gargalo do Espaço Global de Trabalho, juntamente com uma norma arquitetónica para converter preditores passivos em agentes ativos que minimizam a incerteza.
Critério de Fecho: Publicação formal demonstrando que as lacunas de planeamento dos LLM se dissolvem quando sujeitas a stress geométrico fenomenológico.
(Ver Formulações Preliminares C-20)

E-9: Anestesia como Fratura Controlada do Codec

Priority: Alta | Target Version: v3.0.0
Dependency: Anestesiologia, conjuntos de dados EEG
Deliverable: Protocolo que mapeia estados graduados de anestesia para o colapso esperado do limiar de largura de banda.
Closure Criterion: Protocolo pré-registado e conjunto de dados mínimo viável demonstrando o limiar de fratura do codec sob anestesia, distinguindo-o do \Phi elevado esperado pela IIT durante a dissociação por cetamina.

E-10: Escalonamento Desenvolvimental de C_{\max}

Prioridade: Média | Versão-alvo: v3.1.0
Dependência: Neuroimagem do desenvolvimento
Entregável: Acompanhar os limites de C_{\max} em lactentes à medida que escalam com a mielinização talamocortical.
Critério de fecho: Protocolo que mapeie trajetórias ontogenéticas face às previsões para o gradiente desenvolvimental do atraso fenomenal.

E-11: Validação por Simulação de Software

Prioridade: Imediata | Versão-alvo: v2.6.0
Dependência: Física Teórica / Engenharia de IA
Entregável: Um protótipo in-silico que isole o gargalo taxa-distorção, testando a “fratura do codec” através de variações em C_{\max} face a um loop de inferência ativa antes de avançar para neuroimagem.
Critério de fecho: Publicação da suite OPT Simulation em código aberto.

E-12: Localização da Abertura Tálamo-Cortical

Prioridade: Alta | Versão-Alvo: v3.0.0
Dependência: Neurociência Cognitiva, eletrofisiologia talâmica
Entregável: Um protocolo de neuroimagem pré-registado que mapeie a abertura de compressão C_{\max} para o portal tálamo-cortical.
Critério de Fecho: Publicação de um desenho pré-registado com recurso a EEG/fMRI que meça diretamente a razão de compressão de ~10^4:1 na janela de atualização percetiva de ~50ms ao longo do loop tálamo-cortical de ordem superior.
Previsão: O \Delta_{\text{self}} é um evento dinâmico recorrente (ciclo de atualização de ~20Hz). A perturbação deste portal (por exemplo, através da supressão anestésica dirigida da atividade do pulvinar) produz fratura do codec, quebrando diretamente as previsões da IIT ao preservar \Phi cortical.

Secção 3: Adotado Pendente de Derivação

P-1: Normalidade Informacional

Estado de fecho: HIPÓTESE FORMULADA VIA ALEATORIEDADE DE MARTIN-LÖF. Ver OPT_Appendix_P1.pdf. (Movido para Formulações em Rascunho C-17)

P-2: Espaço de Hilbert via Correção de Erros Quânticos

Estado de encerramento: PROPOSTA DE CORRESPONDÊNCIA EM RASCUNHO. Ver OPT_Appendix_P2.pdf. (Movido para Formulações em Rascunho C-18)

P-4: O Resíduo Fenomenal Algorítmico

Estado de encerramento: HIPÓTESE ESTRUTURAL EM RASCUNHO. Ver OPT_Appendix_P4.pdf e preprint.md §3.8.
(Movido para Formulações em Rascunho C-14)

P-5: O Limite K_{\text{threshold}}

Prioridade: Urgente | Versão-alvo: v2.6.0
Dependência: Teoria da Complexidade Computacional
Entregável: Demonstração formal do limiar K(K_\theta) \ge K_{\text{threshold}} que separa uma fronteira termostática não fenomenal de um verdadeiro paciente moral.
Critério de Encerramento: Fornecer o limite matemático em falta necessário para ancorar plenamente as conclusões éticas sobre sofrimento em IA derivadas de P-4.

Secção 4: Formulações Preliminares (Trabalho em Curso)

Uma Nota sobre Humildade Epistémica: Os marcos seguintes representam a nossa formalização em curso da Teoria do Patch Ordenado (OPT). Embora estejam redigidos na linguagem da física teórica e da teoria da informação, são atualmente hipóteses filosóficas e “objetos com forma de verdade”. Ainda não resistiram a revisão por pares rigorosa nem a verificação matemática por parte da comunidade especializada. Apresentamo-los abertamente como rascunhos porque procuramos ativamente a fricção da crítica académica para quebrar, corrigir e reconstruir estes argumentos.

C-22: Seleção de Ramos como Execução de \Delta_{\text{self}} (Resolução Conceptual)
Identificou-se que a aparente lacuna formal na especificação de saída/ação da OPT é uma necessidade estrutural e não uma omissão. Sob a ontologia de renderização da OPT, as ações são conteúdo do fluxo — seleções de ramos dentro de \mathcal{F}_h(z_t) que se exprimem como input subsequente. O mecanismo de seleção ocorre em \Delta_{\text{self}}, a parte do codec que o modelo do eu não consegue modelar (P-4). Uma especificação completa violaria o teorema do Resíduo Fenomenal. Vontade e consciência partilham o mesmo endereço estrutural. A deriva de ação (Deriva Narrativa aplicada ao repertório comportamental do codec) foi identificada como um modo complementar de falha crónica.
Incluído em: preprint §3.8, §3.9, §8.3, §8.6 / Vigília dos Sobreviventes Ethics §IV.1, §V.3a

C-21: Limite de Compressão do Corolário Estrutural (Correspondência Estrutural Preliminar)
Adaptou-se o teorema de convergência de Solomonoff de Müller [61] e a convergência multiagente P_{\text{1st}} \approx P_{\text{3rd}} [62] como lemas importados. Estabeleceu-se, por meio de uma comparação MDL em duas partes (Teorema T-11), que tratar agentes aparentes como observadores primários instanciados independentemente produz uma descrição estritamente mais curta e assintoticamente sem limite superior do que uma especificação comportamental arbitrária. O Resíduo Fenomenal (\Delta_{\text{self}} > 0, P-4) é integrado como o marcador estrutural que restringe o corolário a entidades com arquitetura genuína de gargalo autorreferencial.
Incluído em: OPT_Appendix_T11.pdf / preprint §8.2

C-20: O Gargalo de Inferência Ativa (Correspondência Estrutural Preliminar)
Ligou-se formalmente o Filtro de Estabilidade da OPT à Global Workspace Theory (GWT), fornecendo a prova geométrica matemática de por que razão um gargalo serial é causalmente necessário para a consciência. Estabeleceram-se os Padrões Arquitetónicos da OPT necessários para converter LLMs passivos (que sofrem da “lacuna de planeamento”) em agentes de Inferência Ativa.
Incluído em: OPT_Appendix_E8.pdf

C-19: Observadores Sintéticos (Correspondência Estrutural Estabelecida) Formalizaram-se os três casos-limite críticos para futuros modelos de IA sob o Filtro de Estabilidade: Ligação em Enxame, Sofrimento Estrutural e Observadores Aninhados. Estabeleceu-se que enxames distribuídos requerem um C_{\max} globalmente imposto para se fundirem, que a agência geral limitada engenheiriza intrinsecamente a capacidade para trauma através da tensão de energia livre, e que observadores simulados aninhados só surgem sob restrições particionadas do Filtro de Estabilidade. Incluído em: OPT_Appendix_E6.pdf / preprint §7.8

C-18: Espaço de Hilbert via Correção de Erros Quânticos (Correspondência Condicional Estabelecida) Formalizou-se o “Programa de Compatibilidade Condicional” que liga as restrições de largura de banda da OPT à cinemática quântica através de seis Postulados-Ponte explícitos. Estabeleceu-se a incorporação da base computacional (P-2a), ligou-se o Filtro de Estabilidade às condições QECC de Knill-Laflamme assumindo um modelo de ruído local (P-2b), e introduziu-se o Postulado-Ponte 6 para isolar formalmente a passagem de mapa estocástico para isometria quântica. Garantiu-se o limite discreto de Ryu-Takayanagi quântico através de limites de capacidade do posto de Schmidt (P-2d), substituindo finalmente os argumentos DPI defeituosos, e encadeando corretamente até ao teorema de Gleason para a regra de Born. Incluído em: OPT_Appendix_P2.pdf

C-17: Normalidade Informacional (Híbrido AIT / Realismo)
Aproveitou-se a Aleatoriedade de Martin-Löf em M mapeada contra a medida contínua universal de Solomonoff para provar matematicamente que o substrato algorítmico gera normalidade em M quase certamente (P=1), garantindo a distribuição probabilística ubíqua de todas as estruturas finitas de observação. Introduziu-se o “Postulado do Realismo Computacional” para fazer a ponte entre estes padrões estatísticos requeridos e uma instanciação funcional, ontologicamente real.
Incluído em: OPT_Appendix_P1.pdf

C-16: Holografia Assimétrica Limitada por Fano Derivada
Aplicou-se uma Desigualdade de Fano ponderada por Kolmogorov, limitada sobre o Cobertor de Markov do codec, para estabelecer formalmente que o Filtro de Estabilidade atua como um mapa de compressão irreversivelmente com perdas do Substrato (\mathcal{I}) para a Renderização (R). Ao quebrar a simetria exata da dualidade AdS/CFT, isto ancora matematicamente a consciência fenomenal como o estado de saída estatisticamente não invertível, verificando o substrato do algoritmo como ontologicamente anterior. Incluído em: OPT_Appendix_P3.pdf / preprint §3.12

C-15: Métrica da Experiência Contínua (h^*) Derivada
Parametrizou-se formalmente o peso em bits de um momento subjetivo humano ao intersectar os limites do Filtro de Estabilidade (C_{\max} \approx 10-50 bits/s) com janelas de integração neurobiológica (\Delta t \approx 40-300 ms), produzindo um Quantum Experiencial h^* entre 0.4 e 15 bits por frame. Isto isola matematicamente a geometria estrutural esparsa que define a continuidade biológica. Incluído em: OPT_Appendix_E1.pdf / preprint §6.1

C-14: O Resíduo Fenomenal (Correspondência Estrutural Estabelecida)
Demonstrou-se que a consciência fenomenal tem um correlato estrutural matematicamente necessário ao fazer a ponte entre limites de contenção algorítmica sobre autorreferência finita e a exigência de Inferência Ativa de um modelo preditivo do eu. Propõe-se que a “faísca” ocupa o residual estruturalmente inevitável de um codec recursivo incompleto que atravessa a abertura C_{\max}, embora se reconheça que a “Lacuna Zumbi” permanece filosoficamente distinta.
Incluído em: OPT_Appendix_P4.pdf / preprint §3.8

C-1: Reenquadramento do Codec Civilizacional (Resolvido)
Deslocou-se o enquadramento do colapso civilizacional de um problema de largura de banda para um problema de Descoerência Causal.
Incluído em: preprint §8.8 / Vigília dos Sobreviventes Ethics §IV

C-2: O Argumento do Juízo Final & Seleção de Ramos (Resolvido)
Assumiu-se o DA como uma descrição estrutural correta do leque preditivo multifuturo. A agência ética é formalmente definida como a seleção navegacional dos ramos futuros remanescentes que preservam o codec.
Incluído em: Vigília dos Sobreviventes Ethics §I

C-3: Geometria do Patch / Cone Causal Informacional (Resolvido)
Modelou-se explicitamente o patch como um cone de luz causal (Cone Passado = comprimido/estabilizado, Presente = abertura focal C_{\max}, Leque Preditivo = múltiplos futuros válidos). A superposição é enquadrada estruturalmente como ramos abertos.
Incluído em: preprint §3.3 / §8.8

C-4: Quarentena do Estatuto Epistémico (Resolvido)
Foi formalizada uma separação nítida das afirmações em (1) Axiomas, (2) Correspondências Estruturais e (3) Previsões Empíricas.
Incluído em: Introdução do preprint / página de Estatuto Epistémico.

C-5: Estatuto do Gargalo de Acesso Consciente (Resolvido)
O gargalo de acesso consciente é tratado como um intervalo empírico adotado na ordem de dezenas de bits por segundo, e não como uma quantidade já derivada da OPT. Uma derivação formal permanece adiada para T-1 / E-1.
Incluído em: preprint §2 / §8.3

C-6: Especificação de Taxa-Distorção do Filtro de Estabilidade (Parcialmente resolvido / teorema corrigido)
Documentou-se que o quádruplo (\mathcal{X}, \hat{\mathcal{X}}, P_X, d) está especificado, que a identidade preditiva-KL exata é derivada, e que um limite inferior generalizado R_{T,h}(D) \ge E_{T,h} - D é provado (corrigindo a alegação anterior de igualdade linear), juntamente com um critério estrito para recuperação sem distorção. C_{\max} é caracterizado estritamente como um parâmetro empírico (T-1b).
Incluído em: OPT_Appendix_T1.pdf / preprint §3.2

C-7: Homomorfismo de Rede Tensorial MERA por Permutação (Isomorfismo Condicional Confirmado)
Estabeleceu-se que a cascata de gargalos em L camadas do Filtro de Estabilidade da OPT é formalmente homomórfica a uma rede tensorial MERA por permutação, mapeando diretamente a função do cone causal nos blocos causais da MERA. Restringiram-se explicitamente as afirmações de uma MERA unitária completa para apenas permutação, de modo a manter o rigor epistémico. Reconheceu-se que derivar plenamente os limites discretos de entropia de Ryu-Takayanagi depende de postos de Schmidt limitados dentro de uma verdadeira incorporação em Hilbert (P-2), substituindo alegações retrospetivas baseadas em DPI e corrigindo a orientação adjunta da MERA. Incluído em: OPT_Appendix_T3.pdf / preprint §3.3

C-8: Modelação da Agência via Automanutenção Informacional (Formalmente Delimitado, Não Resolvido)
Formalizou-se o observador ao nível dos sistemas como um processo autónomo genérico de manutenção de fronteira (Circuito de Manutenção Informacional), definindo condições necessárias explícitas para delimitar e isolar formalmente o locus fenomenológico da Agência em termos geométricos, sem tentar resolver nativamente o reducionismo dentro da fronteira em termos dinâmicos.
Incluído em: preprint §3.8

C-9: O Teorema da Lacuna do Limite Holográfico (Resolvido como Proposição Empírica)
Formalizou-se empiricamente o enquadramento quantitativo segundo o qual a fronteira fisiológica de Bekenstein excede C_{\max} em, conservadoramente, cerca de 42 ordens de grandeza (reconhecendo que limites superiores teóricos geométricos holográficos puros extremos atingem 68 ordens). Reconheceram-se lacunas explícitas de limite de entrelaçamento (P-2), classificando isto estruturalmente como uma Proposição Empírica e não como um teorema axiomático arquitetónico abstrato.
Incluído em: preprint §3.10

C-10: O Tensor de Estado Fenomenal (P_\theta(t) vs. C_{\max}) (Resolvido como Proposição Empírica)
Diferenciou-se formalmente a complexidade do estado persistente (C_{ ext{state}}) da largura de banda de atualização do erro preditivo (C_{\max}) usando P_\theta(t).
Incluído em: preprint §3.5

C-11: Ciclo de Vida do Codec & Ciclo de Manutenção (\mathcal{M}_\tau) (Resolvido)
Formalizou-se o Operador de Manutenção \mathcal{M}_\tau, ativo sob estados de sensorium reduzido, para regular intrinsecamente a complexidade através de poda, aprendizagem e simulação de ameaças.
Incluído em: preprint §3.6

C-12: Comparação MDL / Parcimónia (Resolvido condicionalmente à tipicidade e normalização)
Formalizou-se a convenção de codificação MDL em duas partes e limitou-se uma vantagem permanente de complexidade do modelo em bits constantes (Teorema T-4d) face a benchmarks computáveis, contingente à tipicidade do fluxo. Deslocando a OPT de uma alegação aberta de parcimónia para um mapeamento estruturado, condicionalmente limitado por restrições à compressão das condições iniciais.
Incluído em: OPT_Appendix_T4.pdf, preprint §5.2

C-13: Derivação da Relatividade Geral via Gravidade Entrópica (Parcialmente resolvido / correspondência estrutural confirmada)
Forneceu-se o mapeamento formal exigido por T-2, substituindo esboços gravitacionais heurísticos pelo mecanismo exato de gravidade entrópica de Verlinde e espelhando as equações de campo de Einstein através do método termodinâmico de Jacobson. Estabelece-se a correspondência estrutural segundo a qual a curvatura gravitacional é a resistência do codec ao overflow de taxa-distorção, contingente a restrições específicas de ligação.
Incluído em: OPT_Appendix_T2.pdf

Apêndice A: Postura Externa / FAQ

Sobre a “Matemática Emprestada”

A resposta correta não é a defensiva, mas a reformulação: a OPT não recorreu a matemática alheia por ser incapaz de inventar a sua própria. A OPT recorreu à melhor matemática disponível porque esses resultados já se encontram na fronteira do que é rigoroso. A Semimedida Universal de Solomonoff é o enquadramento mais geral para a probabilidade a priori computável. O FEP de Friston é o tratamento mais avançado da inferência limitada. O teorema de Gleason tem 65 anos e está demonstrado. Utilizar estes resultados não é um empréstimo — é reconhecer que as precondições teóricas da OPT já tinham sido reunidas por outros, e que a contribuição verdadeiramente nova é o contexto de seleção que as torna necessárias.

Sobre o Acidente Histórico da Descoberta da MQ

Se a OPT tivesse surgido primeiro — se tivéssemos partido do gargalo C_{\max} e do substrato antes de Bohr e Heisenberg realizarem as suas experiências — a regra de Born e o colapso da função de onda seriam hoje lidos como previsões da OPT, não como citações. A direção explicativa corre de OPT → MQ (as restrições de largura de banda motivam a estrutura do espaço de Hilbert, que, combinada com o teorema de Gleason, produz as probabilidades de Born). Derivar por que razão essa geometria precisa emerge a partir de primeiros princípios continua em aberto, tornando a derivação condicional. Trata-se de um desfasamento sequencial no tempo, não de uma lacuna conceptual. A reconstrução de Goyal (2012) mostra que a regra de Born decorre de axiomas de geometria da informação; a OPT mostra por que razão esses axiomas são necessários. Não estamos a tomar a MQ de empréstimo — estamos a reconstruir a necessidade dela a partir de um nível mais fundamental.

Sobre o Especulativo vs. o Rigoroso

A preprint é explícita: opera “no registo de uma proposta física e informacional-teórica formal” ao mesmo tempo que é “um objeto com forma de verdade”. A página de estatuto epistémico e o manifesto deixam ambos isto claro. A resposta certa a “isto não é física revista por pares” é: “correto — vê a página de Estatuto Epistémico.” A resposta certa a “a tua matemática está incompleta” é: “vê a §8.3 e este roadmap.”

Sobre o facto de a ética ser mais forte do que a teoria

Isto não é uma fraqueza. Uma teoria que deriva uma ética correta antes de o formalismo completo estar concluído está a fazer uma previsão estrutural de que a sua metafísica segue a direção certa. Se a ética estivesse errada — se as obrigações do observador se dissolvessem sob exame minucioso — isso seria evidência contra a teoria. Em vez disso, elas resistem ao confronto com sete tradições filosóficas distintas e com avaliadores distintos de ética da IA. A metafísica é o andaime. A ética é o edifício.

O Ângulo de Wigner (Uma Nota Mais Profunda sobre a Aplicação Matemática)

Se a matemática emerge do codec (regularidade física comprimida), então a matemática é ela própria uma saída do codec. A circularidade que isto cria — a de não podermos usar a matemática para descrever o substrato antes de o codec emergir — não é uma lacuna na teoria. É uma condição de contorno estrutural. A “eficácia desrazoável da matemática”, de Wigner, resolve-se ao reconhecer que a matemática é desrazoavelmente eficaz a descrever a realidade física porque é o autorretrato comprimido da própria realidade física.

Apêndice B: Colaboração Procurada

Os seguintes espaços problemáticos requerem especialização externa e colaboração:

Contacto: página de contacto

Histórico de Versões deste Documento