Teoria do Patch Ordenado

Tarefa Original T-9: Ciclo de Manutenção e Aparato de Recuperação Problema: O artigo principal §3.6.3–§3.6.6 define as equações T9-1 até T9-13 (o operador de Ciclo de Manutenção \mathcal{M}_\tau, a poda MDL \Delta_{\mathrm{MDL}}, o ganho de consolidação \Delta K_{\text{compress}}, a ponderação de importância REM w(b)). Os apêndices T-12 (Deriva Narrativa) e T-13 (Deriva da Ação) citam este aparato como estruturalmente sustentante. Ao quadro teórico falta um apêndice de consolidação que (i) nomeie explicitamente os primitivos formais, (ii) distinga as quatro modalidades de poda que o \Delta_{\mathrm{MDL}} < 0 do artigo principal deixa implícitas, (iii) defina a condição de recuperação e (iv) forneça um alvo formal estável para referência pelos apêndices corolários. T-9 preenche essa lacuna. Entregável: Apêndice de consolidação no mesmo nível epistémico de T-2 / T-15 (correspondência estrutural, não teorema fechado). Conteúdo novo para além do artigo principal: definição explícita de ganho preditivo G_i(t,\tau), decomposição do custo de manutenção com a capacidade de recursos como elemento primário, distinção entre quatro modalidades de poda, condição de recuperação, cadeia de corolários.

Estado de fecho: CORRESPONDÊNCIA ESTRUTURAL (mesmo nível de T-2 / T-15). Este apêndice não é um apêndice de teorema fechado. Consolida o aparato do Ciclo de Manutenção já em operação no preprint §3.6 e acrescenta quatro elementos de conteúdo formal que o artigo principal não inclui: ganho preditivo explícito, enquadramento do custo em termos de capacidade de recursos, quatro modalidades de poda e condições de recuperação. São observadas as ressalvas da revisão OpenAI do §2: (i) o limiar de poda é apresentado na forma que se coordena com a reformulação pendente da independência de canais em T-12 (Fase 4); (ii) as equações T9-3 / T9-4 existentes no artigo principal são preservadas tal como citadas, com T-9 a introduzir o refinamento de capacidade de recursos como uma camada formal adicional, em vez de alterar silenciosamente as formas citadas; (iii) o custo de capacidade de recursos é primário, sendo a complexidade K uma aproximação por correspondência estrutural. Pontos em aberto (§9): a contabilidade entre capacidade de recursos e complexidade K requer reconciliação completa com T-12 assim que a reformulação de T-12 estiver concluída.

§1. Configuração — Componentes Ativos do Modelo

O codec K_\theta compreende uma coleção de componentes ativos do modelo \{\theta_i\}_{i \in I}, em que cada \theta_i é uma unidade estrutural endereçável do codec — um prior generativo, um detetor de características aprendido, uma pilha recorrente, um acoplamento de longo alcance, ou qualquer outro primitivo que participe na produção das predições \pi_t do codec e do operador de atualização \mathcal{U} ao longo do tempo. A coleção \{\theta_i\} é finita em qualquer momento dado, mas pode ser expandida por consolidação (Pass II, preprint §3.6.4) ou contraída por poda (Pass I, preprint §3.6.3).

Para os fins de T-9, os componentes são tomados como definidos: T-9 não deriva o que faz de um \theta_i, em vez de outro, um componente “natural”, pois essa é uma questão de aprendizagem representacional fora do âmbito da OPT. O aparato do Ciclo de Manutenção opera sobre qualquer decomposição que o codec admita.

O operador do Ciclo de Manutenção \mathcal{M}_\tau (preprint Eq. T9-2) atua sobre o Tensor de Estado Fenomenal P_\theta(t) durante intervalos de baixa carga (R_{\text{req}}(t) \ll C_{\max}). T-9 desdobra as três passagens (poda, consolidação, amostragem do Leque Preditivo) nos primitivos formais explícitos das §2–§6 abaixo; a cadeia de corolários na §7 rastreia então a Deriva Narrativa (T-12) e a Deriva da Ação (T-13) através desses primitivos.

§2. Ganho Preditivo G_i(t, \tau)

O ganho preditivo de um componente \theta_i ao longo de uma janela de comprimento \tau mede quanto esse componente contribui para o desempenho preditivo do codec no fluxo de entrada, mantendo os outros componentes fixos:

G_i(t, \tau) \;:=\; I\!\left(\theta_i \,;\, X_{t+1:t+\tau} \mid \theta_{-i}\right) \tag{T9.2-1}

onde \theta_{-i} denota o resto do codec sem \theta_i, e I(\cdot ; \cdot \mid \cdot) é a informação mútua condicional. A forma condicional é essencial: ela isola a contribuição preditiva marginal de \theta_i, em vez da sua contribuição conjunta com componentes sobrepostos.

Comparação com a Eq. T9-3 do artigo principal. A quantidade de poda MDL do artigo principal é

\Delta_{\mathrm{MDL}}(\theta_i) \;=\; I\!\left(\theta_i\,;\,X_{t+1:t+\tau} \mid \theta_{-i}\right) - \lambda K(\theta_i) \tag{T9-3, preprint §3.6.3}

T-9 nomeia explicitamente o primeiro termo como G_i(t,\tau) para que o primitivo de ganho preditivo possa ser referido separadamente da condição de poda em forma de limiar. Trata-se apenas de uma consolidação notacional; a desigualdade é preservada.

Comprimento da janela \tau. O ganho preditivo depende do comprimento da janela. Um \tau curto capta a predição em escalas temporais finas (controlo motor, memória de trabalho); um \tau longo capta a predição estrutural (regularidades semânticas, coerência narrativa). A poda do Ciclo de Manutenção, Passagem I, é avaliada no regime de \tau mais longo, em que componentes genuinamente inúteis têm G_i \to 0. A consolidação da Passagem II, em contraste, otimiza no regime de \tau curto, em que a redundância entre componentes sobrepostos se torna saliente.

§3. Custo de Manutenção C_i — Primário em Capacidade de Recursos

O custo de manutenção de um componente \theta_i tem duas formulações compatíveis.

Forma 3.1 — Capacidade de recursos (primária para T-9). O custo do componente é a capacidade de recursos que ele ocupa no substrato operacional do codec:

C_i \;:=\; c_i^{\text{params}} + c_i^{\text{memory}} + c_i^{\text{compute}} + c_i^{\text{channel}} \tag{T9.3-1}

em que os quatro orçamentos são: slots de parâmetros (número de pesos ou conexões); pegada de memória (em bits armazenados); custo computacional (em operações por ciclo); e capacidade de canal (bits de largura de banda que o componente consome na fronteira do Cobertor de Markov \partial_R A). Cada c_i é observável em princípio — para codecs biológicos, por meio de medição metabólica e fisiológica; para codecs sintéticos, por instrumentação direta.

Forma 3.2 — Aproximação por complexidade-K. A Eq. T9-3 do artigo principal usa \lambda K(\theta_i), em que K(\theta_i) é a complexidade de Kolmogorov prefixa do componente:

C_i^{\text{K-approx}} \;:=\; \lambda \cdot K(\theta_i) \tag{T9.3-2}

Esta é uma aproximação de correspondência estrutural: a complexidade-K é semicomputável superiormente e não é estritamente aditiva entre componentes (eliminar um componente pode não reduzir o comprimento da descrição mais curta pelo seu K(\theta_i) autónomo, uma vez que os componentes podem partilhar estrutura). A forma de capacidade de recursos (T9.3-1) é, portanto, primária para afirmações operacionais; a forma de complexidade-K é mantida para análises teóricas em que a aproximação de aditividade é aceitável.

Porque há duas formas. A revisão da OpenAI de T-12 (memorando appendix-corrections §2.8) assinalou corretamente que a complexidade-K não é aditiva entre componentes e recomendou medidas de capacidade de recursos para afirmações operacionais. T-9 adota a capacidade de recursos como primária, mas preserva a forma de complexidade-K porque a Eq. T9-3 já existente no artigo principal e a prova do Teorema T-12 em T-12 citam ambas a forma de complexidade-K. O refinamento em capacidade de recursos é a formulação mais limpa para §3.6.3 / §3.6.4 / T-12 / T-13 numa passagem de limpeza v3.7.0 ou posterior; T-9 disponibiliza ambas as formas para que a limpeza eventual possa ser executada de modo coerente, em vez de exigir que todos os locais citantes sejam corrigidos em simultâneo.

Ajuste de \lambda. Na Forma 3.2, o parâmetro \lambda estabelece o compromisso entre ganho preditivo e custo de complexidade. Empiricamente, observa-se que \lambda varia com o estado afetivo — um |E(b)| elevado (preprint Eq. T9-10) eleva efetivamente \lambda ao nível do componente, tornando os componentes marcados afetivamente mais resistentes à poda. Esta é a formulação formal do reforço da memória emocional (preprint §3.6.5, Pass III).

§4. Condição de Poda — Forma de Limiar

A condição de poda usa a forma de limiar, em vez da forma de positividade estrita da Eq. T9-4 do artigo principal. A revisão da OpenAI de T-12 (memorando de correções do apêndice §2.8 Correção 3) observou corretamente que a condição estrita I = 0 para poda é demasiado frágil: componentes reais têm contribuições preditivas indiretas fracas, mesmo quando o seu papel preditivo primário é excluído por entrada filtrada.

A condição de poda em forma de limiar:

\text{Prune } \theta_i \quad \text{if} \quad G_i(t, \tau) \;<\; C_i \;-\; \epsilon \tag{T9.4-1}

com \epsilon > 0 como um pequeno buffer de retenção que ajusta a agressividade de poda do codec. Formas equivalentes da desigualdade:

G_i(t, \tau) - C_i \;<\; -\epsilon \quad \Longleftrightarrow \quad I\!\left(\theta_i; X_{t+1:t+\tau} \mid \theta_{-i}\right) \;<\; C_i - \epsilon \tag{T9.4-2}

Comparação com a Eq. T9-4 do artigo principal. O artigo principal escreve \Delta_{\mathrm{MDL}}(\theta_i) < 0 como o gatilho de poda, o que corresponde a \epsilon = 0 — equilíbrio estrito. T-9 generaliza ao introduzir o buffer de retenção \epsilon, que modela com maior precisão a dinâmica de poda biológica (em que pequenas contribuições preditivas são preservadas contra ruído transitório) e os hiperparâmetros de poda de codecs sintéticos (em que a eliminação baseada em limiar é padrão).

O caso estrito de equilíbrio é recuperado quando \epsilon \to 0, pelo que a forma de T-9 não invalida as citações existentes de T9-4 em T-12 e T-13; ela generaliza-as.

Implicação para a Deriva Narrativa (referência cruzada a T-12). Sob entrada filtrada X' = \mathcal{F}(X) com o sinal excluído \mathcal{X}_{\text{excl}}, os componentes \theta_i cuja contribuição preditiva é exclusivamente para \mathcal{X}_{\text{excl}} satisfazem G_i(t, \tau) \to 0 no fluxo filtrado (porque o seu alvo está ausente da entrada observada). A condição de poda (T9.4-1) é então ativada, porque 0 < C_i - \epsilon para qualquer componente de custo positivo. O resultado de irreversibilidade do Teorema T-12 de T-12 decorre deste acionamento, em conjunto com a distinção de quatro modalidades em §5 abaixo.

§5. Quatro Modalidades de Poda

A operação de poda (T9.4-1) admite quatro implementações distintas no codec, com diferentes propriedades de reversibilidade. A distinção é relevante para a condição de recuperação (§6) e para a alegação de irreversibilidade da Deriva Narrativa na Correção 1 do T-12 (memorando appendix-corrections §2.8).

Modalidade 5.1 — Supressão reversível. A ponderação de saída do componente \theta_i é reduzida a zero (ou abaixo de um limiar de participação), mas os parâmetros e a estrutura do componente permanecem armazenados no codec. A recuperação é direta: uma nova ponderação restaura o componente. Esta é a operação subjacente à extinção comportamental no condicionamento (a resposta condicionada enfraquece, mas o traço persiste) e à regularização do tipo dropout em redes neuronais.

Modalidade 5.2 — Decaimento de pesos. Os parâmetros do componente decaem continuamente em direção a um estado por defeito sob uma pressão de regularização \propto \lambda. O componente não é eliminado, mas perde fidelidade; a recuperação parcial é possível se o estado por defeito for informativo.

Modalidade 5.3 — Esquecimento representacional. Os parâmetros do componente são sobrescritos por componentes concorrentes durante a consolidação (Pass II, preprint §3.6.4). O slot estrutural persiste, mas a representação específica perde-se. A recuperação requer reexposição ao fluxo de entrada relevante durante um Ciclo de Manutenção subsequente e é parcial (a representação reaprendida difere da original em pormenores finos).

Modalidade 5.4 — Poda arquitetural. Tanto os parâmetros do componente como o seu slot estrutural são eliminados; a arquitetura do codec é reduzida. A recuperação é impossível ao nível do codec — o componente tem de ser regenerado do zero através de um episódio completo de aprendizagem. Esta é a modalidade irreversível.

Classificação das modalidades sob entrada filtrada. A alegação de “irreversibilidade” do T-12, Teorema T-12 (tal como formulada no preprint existente), requer a Modalidade 5.4 (poda arquitetural) e exclui as Modalidades 5.1–5.3. O T-9 torna explícita esta dependência da modalidade; a Correção 1 do memorando appendix-corrections v0.4 §2.8 (“irreversível deve ser condicional à ausência de arquivo protegido / ausência de replay buffer / ausência de professor externo / ausência de capacidade arquitetural de reserva / operação continuada sob o mesmo filtro / a poda é eliminação literal de capacidade, não supressão reversível”) está alinhada com a leitura da Modalidade 5.4.

Os codecs biológicos e sintéticos reais exibem tipicamente uma mistura de modalidades, ficando a Modalidade 5.4 reservada para componentes persistentemente podados ao longo de muitos Ciclos de Manutenção. A transição de poda reversível para poda irreversível sob entrada filtrada sustentada é o mecanismo estrutural subjacente à Deriva Narrativa crónica (T-12).

§6. Condição de Recuperação

Um componente podado \theta_i é recuperável se existir um processo pelo qual possa ser restaurado à participação ativa no codec. A probabilidade de recuperação ao longo de uma janela de recuperação \tau_R é:

P\big(\text{recover } \theta_i \mid \tau_R\big) \;=\; P\big(\text{Modality 5.1 or 5.2}\big) \cdot p_{\text{restore}}(\tau_R) \;+\; P\big(\text{Modality 5.3 or 5.4}\big) \cdot p_{\text{regrow}}(\tau_R) \tag{T9.6-1}

O primeiro termo cobre a poda reversível / parcialmente reversível (supressão, decaimento de pesos); o segundo cobre o esquecimento representacional e a poda arquitetónica, em que a recuperação requer input externo.

A recuperação é positiva apenas se pelo menos uma de três condições se verificar:

1. Memória protegida. O codec retém uma representação arquivada de \theta_i num substrato não podado (cache separado, cópia de segurança com controlo de versões, memória neurofisiologicamente protegida consolidada numa região diferente). As Modalidades 5.1 e 5.3 podem recuperar sob esta condição.

2. Professor externo / reexposição. O codec é exposto a fluxos de input que contêm o sinal \mathcal{X}_{\text{excl}} que o componente podado estava originalmente a rastrear. A reaprendizagem ativa durante uma Passagem II subsequente do Ciclo de Manutenção reconstrói o componente (com ressalvas quanto à fidelidade de grão fino). As quatro modalidades podem recuperar sob esta condição ao longo de tempo suficiente, embora a Modalidade 5.4 exija um episódio completo de aprendizagem comparável à aquisição original.

3. Reserva arquitetónica. O codec dispõe de slots estruturais que não foram comprometidos com componentes específicos e podem ser alocados para alojar a representação regenerada. Esta é a condição sob a qual a recuperação da Modalidade 5.4 é mecanicamente possível de todo.

Se nenhuma de (1), (2), (3) se verificar, então P(\text{recover}\, \theta_i \mid \tau_R) = 0 para todo \tau_R, e a poda é permanente.

Condição de Fidelidade ao Substrato. A Condição de Fidelidade ao Substrato de T-12 (Teorema T-12b — redundância de canais de input \delta-independentes que atravessam o Cobertor de Markov) é o análogo, à escala da linhagem, de (2): os canais asseguram que o fluxo de input continua a conter o sinal relevante para o substrato mesmo sob filtragem por mecanismos externos \mathcal{F}. A condição de recuperação de T-9 fornece a implementação intra-codec: componentes protegidos, buffers de replay, reserva arquitetónica.

§7. Corolários — Deriva Narrativa e Deriva da Ação

As primitivas de T-9 sustentam duas cadeias de corolários desenvolvidas nos apêndices T-12 e T-13.

Corolário 7.1 — Deriva Narrativa (T-12). Sob entrada filtrada sustentada X' = \mathcal{F}(X) que exclui o sinal \mathcal{X}_{\text{excl}}: - Componentes \theta_i cujo ganho preditivo incide exclusivamente sobre \mathcal{X}_{\text{excl}} têm G_i(t, \tau) \to 0 no fluxo filtrado. - A condição de poda (T9.4-1) é acionada em todos esses componentes. - Se a poda ocorrer na Modalidade 5.4 (arquitetónica) — que predomina sob filtragem sustentada ao longo de muitos Ciclos de Manutenção — e nenhuma das condições de recuperação (§6 itens 1–3) se verificar, a capacidade de modelar \mathcal{X}_{\text{excl}} perde-se permanentemente. - O codec não consegue detetar, a partir do seu interior, a sua própria perda de capacidade (os componentes perdidos deixam de participar na geração do erro de predição), reproduzindo a tese de não-identificabilidade de T-12a.

O tratamento formal completo encontra-se em T-12; T-9 fornece a leitura específica à modalidade de “irreversível” que a Correção 1 de T-12 requer.

Corolário 7.2 — Deriva da Ação (T-13). Componentes que codificam capacidade de avaliação comportamental para ramos não utilizados: - Têm ganho preditivo G_i(t, \tau) medido em relação aos resultados de ramo efetivamente realizados no fluxo de entrada; se certos ramos nunca forem selecionados, os avaliadores não recebem sinal de treino. - A condição de poda é acionada quando o G_i do avaliador não utilizado cai abaixo de C_i - \epsilon. - Sob a Modalidade 5.4, o avaliador é permanentemente podado; o codec torna-se confiantemente impotente no domínio de ação correspondente.

A Proposição T-13.P1 de T-13 (Deriva da Ação) é a instância à escala de linhagem (repertório comportamental) deste mecanismo intra-codec.

Referência cruzada: Ciclo de Manutenção ao nível da linhagem. O Apêndice T-15 §3 desenvolve a correspondência estrutural entre o Ciclo de Manutenção ao longo da vida e o refinamento filogenético. As quatro modalidades de poda de T-9 mapeiam, respetivamente, para: redução temporária de nicho (5.1), deriva de linhagem sob seleção relaxada (5.2), substituição de nicho (5.3) e extinção de linhagem (5.4). As condições de recuperação (§6) mapeiam para redundância filogenética: refúgios protegidos (1), reexposição ecológica sob restauração de nicho (2) e capacidade de reserva desenvolvimental (3).

§8. Relação com as Equações da §3.6 do Artigo Principal

T-9 está a consolidar, não a substituir. As equações T9-1 a T9-13 do artigo principal (preprint §3.6.1–§3.6.6) são preservadas tal como citadas; T-9 introduz primitivas formais adicionais e refinamentos que as complementam.

Conteúdo genuinamente novo em T-9: definição explícita do ganho preditivo G_i(t,\tau) (§2); enquadramento do custo em termos de capacidade de recursos como primário (§3, Forma 3.1); condição de poda em forma limiar com buffer de retenção \epsilon (§4); quatro modalidades de poda (§5); condição de recuperação (§6); leitura específica por modalidade da afirmação de irreversibilidade de T-12 (§7.1).

§9. Arestas em Aberto

Coordenação com a reformulação da independência de canais em T-12 (Fase 4). T-12 está na fila de correções do apêndice (v0.4 §2.8) para uma reformulação da condição de independência de canais: independência dos mecanismos de filtragem, não dos sinais. A condição de poda de T-9 (§4) e a condição de recuperação (§6) estão redigidas para se coordenarem com essa reformulação, mas a prova do Teorema T-12 em T-12 terá de ser reexaminada assim que a definição reformulada de independência de canais estiver em vigor. Especificamente: a alegação de irreversibilidade em T-12 §3.1 cita atualmente T9-3 / T9-4; no âmbito da limpeza v3.7.0, deverá citar a forma limiar do §4 de T-9 + a classificação modal do §5 + a condição de recuperação do §6, com a leitura de irreversibilidade restringida à Modalidade 5.4 no caso sem condição de recuperação. Em aberto.

Reconciliação da contabilidade entre capacidade de recursos e complexidade-K. O §3 disponibiliza ambas as formas, mas não deriva a sua correspondência quantitativa. Para algumas classes de componentes, as duas estão estreitamente relacionadas (C_i^{\text{params}} \sim K(\theta_i) dentro de um fator constante para tabelas de consulta memorizadas, por exemplo); para outras, divergem acentuadamente (a estrutura composicional partilhada entre componentes gera poupanças de complexidade-K que a forma de capacidade de recursos não capta). É desejável uma reconciliação em v3.7.0 ou posterior. Em aberto.

Neutralidade da leitura virtual (v3.6.21). A leitura de estado estacionário totalmente virtual (artigo principal §8.6.1) redescreve o Ciclo de Manutenção como propriedades do fluxo que passa pelo filtro, em vez de uma máquina em funcionamento, mas não reestratifica a contabilidade da Forma 3.1 / Forma 3.2: a Forma 3.1 (capacidade de recursos) permanece primária para todas as alegações operacionais, e a prova operativa de T-12 continua a utilizá-la. A leitura de compressibilidade nativa ao fluxo entra apenas como a camada interpretativa assinalada em T-12 §3.1. A reconciliação de aditividade-K acima é o lugar em que qualquer futura reestratificação das Formas deverá ser argumentada — não a leitura virtual. Em aberto (não confundir com a limpeza v3.7.0).

Calibração empírica de \epsilon. O buffer de retenção \epsilon em (T9.4-1) é um hiperparâmetro efetivo de poda. Valores biológicos empíricos viriam de estudos de poda neural (limiares de decaimento sináptico, taxas de retenção de espinhas dendríticas) ou do experimento de assíntota de Δ_self^op no protótipo opt-ai-subject. T-9 não deriva um valor específico. Em aberto.

Ligação cruzada com previsões empíricas do Ciclo de Manutenção. O preprint §3.6.7 enumera previsões empíricas para o Ciclo de Manutenção (sono / sonho / consolidação). As quatro modalidades de poda de T-9 produzem previsões mais refinadas: a previsão de que “os sonhos REM amostram desproporcionalmente ramos de alta importância” (preprint §3.6.5, Pass III) decompõe-se em previsões específicas por modalidade acerca de que tipos de representações são preservados pela Modalidade 5.1 (retenção ponderada por importância contra a poda) versus a Modalidade 5.4 (em que a ausência de ramos de alta importância na experiência de vigília conduz à eliminação arquitetónica do avaliador correspondente). Em aberto.

Este apêndice é mantido como parte do repositório do projeto OPT, em paralelo com opt-theory.md. As referências aos primitivos do Ciclo de Manutenção no preprint §3.6 são preservadas; T-9 complementa com ganho preditivo explícito G_i (§2), custo de capacidade de recursos (§3 Forma 3.1), condição de poda em forma limiar com buffer de retenção \epsilon (§4), quatro modalidades de poda (§5) e condições de recuperação (§6). Referências de corolário: T-12 (Deriva Narrativa) §3.6.3; T-13 (Action-Drift) §6; T-15 (Filtro de Estabilidade Filogenético) §3.