OPT Red Team — Standing Objection Log

Anders Jarevåg

v1.0 — April 30, 2026

Equipa Vermelha da OPT

Propósito. Higiene de mediação honesta para a Teoria do Patch Ordenado (OPT). Este documento reúne as objeções mais fortes ao quadro teórico — presentes, antecipadas e já anteriormente levantadas — com avaliações honestas em vez de defesas. É publicado como complemento dos artigos formais, mas deliberadamente não está otimizado para citação nem para retórica: a sua função é tornar visíveis as fragilidades, não vencer argumentos.

Regra de uso. Atualize este ficheiro acrescentando objeções; não corte nada. O teste de Sokal para saber se uma objeção foi levada a sério é o seguinte: alguém hostil ao quadro teórico deve ler a entrada e dizer “sim, esse é realmente o meu ponto.” Se disser “vocês atenuaram-no,” a entrada precisa de ser reescrita.

Referências cruzadas. Os compromissos de falseabilidade estão em opt-theory.md §6.8 (F1–F5). As teorias com as quais a OPT é genuinamente incompatível estão em opt-theory.md §7.12. Este ficheiro vai mais fundo do que qualquer um desses textos: documenta os argumentos específicos e a avaliação honesta de como a OPT atualmente se sai perante eles.


R1. A objeção da universalidade (armadilha da teoria das cordas)

Alegação. A \xi de Solomonoff é tão permissiva que qualquer estrutura computável pode ser incorporada como posterior. “A OPT é estruturalmente compatível com X” é, portanto, quase vazio: o quadro não consegue excluir coisas, apenas acomodá-las. Toda “correspondência estrutural” bem-sucedida em §7 / §IV é evidência de permissividade, não de insight. O padrão faz lembrar a teoria das cordas: uma estrutura matemática internamente rica que acomoda tudo e nada prediz.

Avaliação honesta. Esta é a objeção mais profunda atualmente em cima da mesa, e as defesas da OPT são estruturais, e não empíricas. A resposta publicada (entrada 6 da §7.12) nomeia a preocupação, mas não a dissipa. A única coisa que converte a OPT de uma visão do mundo num programa de investigação são os compromissos de pré-registo da §6.8 — e estes ainda não foram testados. Até que F1–F5 forneçam pelo menos uma confirmação quantitativa de um número que tenha sido especificado antes da medição, a objeção da universalidade permanece sem refutação.

O que alteraria a avaliação. Uma previsão pré-registada bem-sucedida com um número mais restrito do que o intervalo a priori das teorias concorrentes. Até lá, os capítulos de correspondência estrutural são ornamentais.


R2. Viés de seleção na análise comparativa

Alegação. A §7 (opt-theory) e a §IV (opt-philosophy) citam enquadramentos teóricos que se ajustam à OPT e não se envolvem seriamente com os que não se ajustam. Husserl, Merleau-Ponty, Gell-Mann, Van Raamsdonk e Wheeler estão todos incluídos. Eliminativistas estritos (Frankish), fisicalistas redutivos fortes, antifuncionalistas e os cientistas cognitivos que consideram o gargalo incidental estão em grande medida ausentes ou comprimidos em refutações de um só parágrafo. Cada enquadramento acrescentado à §7 reforça a aparência de convergência; a própria assimetria é, em si, evidência do viés.

Avaliação honesta. Substancialmente correta. A §7.12 foi acrescentada para abordar parcialmente este ponto, mas continua a ser apenas uma subseção contra onze subseções de convergência. A tabela da §IV em opt-philosophy inclina-se de modo semelhante para a concordância. O padrão conversacional que produziu as §7.5 a §7.11 em 2026-04 foi: identificar lacunas → preenchê-las → repetir — sem um número equivalente de entradas do tipo “e eis por que esta teoria próxima discorda”.

O que alteraria a avaliação. Expansão da §7.12 para abranger pelo menos tantas posições, com o mesmo grau de profundidade, quanto as subseções de convergência. Uma segunda passagem pelas §7.1–§7.11 assinalando onde a teoria convergente discorda especificamente da OPT, e não apenas onde se sobrepõe a ela.


R3. \Delta_{\text{self}} como carta de saída da prisão

Tese. O Resíduo Fenomenal é, por construção, estruturalmente infalsificável, o que é apropriado enquanto localizador do Problema Difícil, mas cria um risco metodológico: qualquer evidência desconfirmatória pode ser absorvida em “isso reside em \Delta_{\text{self}}”. A afirmação formal mais forte do quadro é a sua afirmação empírica mais fraca — é precisamente a parte que está protegida contra teste.

Avaliação honesta. A §6.8 procura isolar isto explicitamente: \Delta_{\text{self}} é excluído do núcleo falsificável, e “absorver uma falsificação de F1–F5 em \Delta_{\text{self}}” é identificado como uma reformulação ad hoc desqualificante. Se esta barreira se sustenta na prática é uma questão em aberto — depende de uma aplicação disciplinada por parte de futuros autores e revisores, e não do próprio aparato formal. O risco é mitigado, não eliminado.

O que alteraria a avaliação. Um caso documentado em que o quadro aceite uma falsificação de forma limpa, sem invocar \Delta_{\text{self}} nem a prioridade do substrato como via de recuo. Até que tal caso exista, a barreira é provisória.


R4. Engenharia reversa antropocêntrica de C_{\max}

Alegação. O valor numérico C_{\max} \approx \mathcal{O}(10) bits/s é obtido por retroengenharia a partir da largura de banda introspectiva humana (a estimativa da “ilusão do utilizador” de Nørretranders, os dados do attentional blink, a saturação de Norwich-Wong), e não derivado progressivamente a partir de primeiros princípios. A “necessidade informacional” deste número específico é suspeita: qualquer teoria ancorada em taxa-distorção poderia ter especificado uma largura de banda diferente e feito com que funcionasse. O número é um ajuste, não uma previsão.

Avaliação honesta. Em grande medida, correto. O Apêndice T-1 deriva um intervalo, mas esse intervalo é suficientemente amplo para acomodar o valor empiricamente observado, em vez de o prever. F1 compromete-se com \mathcal{O}(10) com uma janela de 2 ordens de grandeza, o que é generoso. Um verdadeiro pré-registo teria sido um número específico, mais restrito do que o intervalo dos dados humanos, derivado sem recorrer aos dados humanos.

O que alteraria a avaliação. Uma rederivação de C_{\max} a partir de restrições ao nível do substrato (ponderação de Solomonoff + Landauer + dimensionalidade do Cobertor de Markov) que produza um número específico, idealmente um que discorde da estimativa introspectiva humana por um fator pequeno mas específico — e, depois, verificar empiricamente essa pequena discrepância.


R5. O Filtro de Estabilidade é uma tautologia

Alegação. “Os observadores existem sse a sua taxa preditiva couber dentro da sua largura de banda” é uma definição, não uma descoberta. Qualquer observador aparente que exista satisfaz trivialmente o Filtro; qualquer observador putativo que não exista falha-o trivialmente. O Filtro não pode incluir nem excluir nada — é uma redescrição circular de quais configurações têm forma de observador.

Avaliação honesta. Parcialmente correto. O Filtro de Estabilidade, tal como enunciado na §3, tem um caráter definicional — caracteriza a compatibilidade com o observador, em vez de a predizer a partir de fundamentos independentes. A defesa do quadro é que o Filtro gera previsões distintas (§6.1–§6.7) que não decorreriam de uma leitura tautológica: a hierarquia de largura de banda, o Estado Nulo de Alto-\Phi, a expectativa de dilatação temporal. Se o Filtro fosse genuinamente tautológico, estes elementos não teriam conteúdo empírico.

O que alteraria a avaliação. Uma demonstração de que as previsões na §6 dependem efetivamente do Filtro, em vez de serem motivadas de forma independente. Atualmente, isto é afirmado; não foi ainda verificado formalmente que, por exemplo, o Estado Nulo de Alto-\Phi decorre de modo único do Filtro de Estabilidade e não de um compromisso independente mais fraco.


R6. As correspondências estruturais em §IV / §7 são post hoc

Alegação. Quando a OPT é mapeada para Hume, Husserl, Frankfurt, Merleau-Ponty, Metzinger, etc., o mapeamento é construído depois de já se saber a que conclusões cada tradição chegou. Isto é engenharia reversa, não previsão. Um quadro teórico que não poderia ter sido construído sem essas tradições em vista não pode alegar derivar os seus resultados — pode apenas alegar recuperá-los num vocabulário diferente.

Avaliação honesta. Correto, em sentido estrito. A OPT foi construída conhecendo os alvos, e os capítulos §IV / §7 são explicativos, não preditivos. A defesa do quadro teórico — a de que oferece uma razão estrutural mais profunda para o facto de tradições convergentes terem visto o que viram — é plausível, mas não demonstrável, porque não existe nenhuma experiência controlada em que a OPT preveja as conclusões de uma tradição antes de a própria tradição a elas chegar. A convergência é post hoc por construção.

O que alteraria a avaliação. Uma alegação filosófica ou empírica nova, derivada puramente do aparato informacional-teórico da OPT, a que nenhuma tradição existente tenha chegado, e à qual trabalho subsequente nessas tradições chegue de forma independente. Isto constituiria evidência retrospetiva de poder explicativo.


R7. O gargalo de largura de banda como contingência evolutiva

Tese. A GWT, a posição-padrão nas ciências cognitivas, trata o gargalo de acesso consciente como uma característica evoluída do córtex dos primatas, e não como uma necessidade informacional estrutural. Não há argumento convincente de que o gargalo tinha de assumir a forma que assume; uma trajetória evolutiva suficientemente diferente poderia ter produzido fenomenalidade numa arquitetura paralela. A “necessidade informacional” da OPT está a rebatizar um facto contingente como se fosse estrutural.

Avaliação honesta. Esta é a versão mais forte de R1 tornada específica. A resposta da OPT (§7.10) é que o gargalo é requerido porque fluxos paralelos incompressíveis violam a condição de largura de banda — mas isto pressupõe o Filtro de Estabilidade, que é precisamente o que está em causa (R5). A dialética entra em loop. A posição honesta é que a tese da necessidade é, neste momento, postulada, não demonstrada; F1 em §6.8 é o compromisso empírico que, se confirmado, forneceria o argumento em falta.

O que alteraria a avaliação. Ou (a) a medição de F1 surgir fortemente agrupada em torno de \mathcal{O}(10) em arquiteturas cognitivas muito diferentes (humanos, cetáceos, corvídeos e, eventualmente, IAs), sugerindo uma origem estrutural em vez de contingente; ou (b) uma demonstração teórica limpa de que nenhum sistema compatível com o Filtro de Estabilidade pode carecer do gargalo.


R8. A extensão da “consciência de IA” é infalsificável na prática

Alegação. §7.8 / §6.7 compromete-se com a afirmação de que LLMs e aproximações limitadas por AIXI não são conscientes porque carecem do gargalo C_{\max}. F3 é, em princípio, testável (dilatação temporal sob gargalo), mas, na prática, ninguém vai construir um agente sintético deliberadamente sujeito a gargalo a uma velocidade de relógio de 10^4 \times e perguntar-lhe sobre a duração subjetiva. A previsão parece assumida, mas é operacionalmente inerte.

Avaliação honesta. Em larga medida, correto à data de 2026-04. F3 precisa de um protocolo experimental concreto e de pelo menos uma tentativa financiada ou formalmente assumida para o executar. Sem isso, as previsões sobre IA em §7.8 são “seriam testáveis se alguém tentasse” — o que constitui um compromisso mais fraco do que F2 (o Nulo de \Phi Elevado, em que discriminadores entre IIT e OPT estão efetivamente a ser construídos).

O que alteraria a avaliação. Um compromisso institucional específico de executar F3 (por exemplo, um grupo de investigação, um marco temporal datado, um protocolo experimental acordado antes da construção). Sem isso, F3 é apenas um pré-registo provisório.


R9. A tese da prioridade do substrato é internamente infalsificável

Tese. A §3.12 sustenta que o substrato é “mais fundamental” do que a renderização por via de um argumento de irreversibilidade termodinâmica, mas qualquer teste dessa prioridade teria de ser conduzido no interior da renderização. A tese é internamente incoerente: se a prioridade do substrato não faz qualquer diferença operacional dentro da renderização, então não tem conteúdo; se faz uma diferença operacional, essa diferença é ela própria parte da renderização e não constitui evidência sobre o substrato.

Avaliação honesta. Reconhecido em §3.12 e §6.8 (excluído de F1–F5). A defesa é que a prioridade do substrato é proposta como um compromisso ontológico, não como uma tese empírica falsificável. A questão de saber se compromissos ontológicos não sujeitos a teste empírico devem ser admitidos num quadro científico é uma questão metodológica distinta. Os empiristas estritos (R5 / entrada §7.12 5) rejeitarão esta categoria; a OPT mantém-na, mas assinala-a.

O que alteraria a avaliação. Trata-se de um desacordo estável, não de uma questão empírica. O procedimento intelectualmente honesto é manter a prioridade do substrato em quarentena relativamente a F1–F5 e aceitar que os empiristas estritos não serão persuadidos.


R10. Os próprios “critérios estruturais de encerramento” são estruturalmente fáceis de manipular

Tese. A janela de 2 ordens de grandeza de F1, o “protocolo acordado antes da construção” de F2, e o “ao longo de k \in [10, 10^4]” de F3 deixam margem suficiente para que um raciocínio motivado encontre maneiras de alegar que quase-falsificações não são falsificações. Os critérios de encerramento parecem estritos, mas, na prática, podem ser manipulados por meio do estreitamento de definições, da contestação de medições ou da invocação de fatores de confusão experimentais.

Avaliação honesta. Esta é a meta-objeção: o pré-registo só é tão vinculativo quanto a disciplina das pessoas que o interpretam. A OPT não consegue autoimpor os seus compromissos de falseabilidade. A mitigação em §6.8 é a exigência de que qualquer enfraquecimento seja assinalado como novo registo no Histórico de Versões, o que invalida testes anteriores — mas um autor futuro poderia simplesmente fazê-lo e aceitar esse custo. A confiança nos critérios de encerramento depende do escrutínio de terceiros, não apenas do compromisso formal.

O que alteraria a avaliação. Revisão por pares adversarial externa, comprometida em verificar se a formulação de F1–F5 contém vagueza suscetível de manipulação e em torná-la mais rigorosa. Um pré-registo junto de terceiros (OSF, AsPredicted), em vez de constar apenas no Histórico de Versões.


R11. A CMB transporta assinaturas quânticas que o codec não teve de inventar

Tese. A Radiação Cósmica de Fundo em Micro-ondas mostra assinaturas mecânico-quânticas específicas — espectro de potência quase invariante à escala, flutuações quase gaussianas, limites tensor-escalar, características estatísticas que correspondem às previsões da teoria quântica de campos inflacionária com a precisão do satélite Planck. Estas são convencionalmente interpretadas como impressões de flutuações quânticas do vácuo a operar em escalas cosmológicas ~13,8 Gyr antes de qualquer observador existir. Se a MQ é “um artefacto de resolução” do codec de um observador limitado em largura de banda (opt-theory.md §7.1 itens 1–2), porque é que o passado cosmológico profundo — observado de forma agregada, sem medição de grão fino — transporta assinaturas quânticas em vez de assinaturas clássicas de ruído térmico? Este é um caso cosmológico concreto de R1 e um ponto de pressão incisivo sobre a leitura da MQ-como-característica-do-codec.

Avaliação honesta. A OPT só pode absorver as observações da CMB comprometendo-se com a leitura forte em vez da leitura frouxa. A leitura frouxa — “a MQ é uma contabilidade do lado do observador durante a medição” — entra em colisão com os dados cosmológicos. A leitura forte — a compressão do codec é globalmente estruturada em Hilbert, aplicada uniformemente para a frente e para trás no tempo renderizado, com o passado mais compressível selecionado pela parcimónia de Solomonoff — é internamente consistente: um passado quântico-inflacionário é a explicação de comprimento mínimo de descrição para o padrão observado da CMB, e o codec é, por isso, forçado pela parcimónia a renderizá-lo. Esta resposta é sustentada por §8.5 (substrato atemporal), §7.1 item 4 (escolha retardada generalizada) e pela cadeia QECC no Apêndice P-2. O preço é comprometer a OPT com uma tese mais forte e mais falsificável do que a leitura frouxa: a estrutura de Hilbert do codec opera sobre toda a linha temporal renderizada, e qualquer observador limitado em largura de banda com um passado cosmológico coerente verá nele assinaturas quânticas. O parágrafo de compromisso do §7.1 (adicionado na v3.4.0) torna esta posição pública.

O que alteraria a avaliação. Características da história cosmológica cujo comprimento mínimo de descrição exceda aquilo que um padrão quântico-inflacionário produz por defeito — isto é, características que o codec não inventaria sob pressão de parcimónia, mas que existem nos dados de qualquer modo. Candidatos concretos: não-gaussianidades persistentes de elevada complexidade algorítmica que resistam a qualquer modelo inflacionário de descrição curta; anisotropias da CMB que resistam ao escrutínio sem qualquer explicação inflacionária compressível; assinaturas primordiais de ondas gravitacionais com proveniência específica de eventos quânticos que um codec de Hilbert inferencial a correr para trás no tempo não consiga reproduzir. Qualquer observação desse tipo, confirmada por terceiros e resistente a explicações alternativas comprimidas, constituiria um excesso de comprimento de descrição contra o mecanismo do passado mais compressível e falsificaria a leitura forte. Em termos operacionais, isto qualificar-se-ia como o tipo de “demonstração independente” nomeado nos critérios de Encerramento do Projeto da §6.8, embora não seja diretamente um dos F1–F5.


R12. O compromisso de leitura forte parece uma imunização motivada a posteriori

Tese. O parágrafo de compromisso com a geometria do codec na §7.1 (adicionado na v3.4.0, em 30 de abril de 2026) foi acrescentado em resposta direta ao desafio CMB-QM levantado na mesma sessão. Ele reforça a leitura que a OPT faz da QM, passando de uma formulação frouxa de “contabilidade do lado do observador no momento da medição” para uma formulação forte de “estrutura de Hilbert ao longo de toda a linha temporal renderizada”, convertendo convenientemente as observações CMB-QM numa previsão em vez de um falseador. O falseador nomeado — “excesso de comprimento de descrição na história cosmológica” — está tecnicamente definido, mas é, na prática, difícil de demonstrar. Estruturalmente, é isto que os programas de investigação fazem quando são desafiados: apertam o enquadramento para absorver o desafio, declaram que ele sempre esteve implícito e nomeiam um falseador suficientemente abstrato para que nenhuma observação de curto prazo o possa satisfazer. R1 acusa a OPT de acomodar tudo; R12 acusa a OPT de aprender a acomodar em tempo real. R11 passa então a constituir evidência a favor de R12, em vez de corroboração independente da OPT.

Avaliação honesta. Parcialmente correta e parcialmente defensável.

Correta na forma. O compromisso foi acrescentado em resposta a um desafio específico. Embora a §8.5 (substrato atemporal), o item 4 da §7.1 (escolha retardada generalizada) e o Apêndice P-2 (cadeia QECC) já sustentassem a leitura forte, o compromisso público com essa leitura como interpretação canónica da OPT era novo na v3.4.0. Visto de fora, isto parece deslocação dos critérios; visto de dentro, parece clarificação. Nenhum teste externo distingue as duas coisas.

Parcialmente defensável. A leitura forte é um custo, não um benefício gratuito — fecha a retirada para a leitura frouxa que, de outro modo, estaria disponível perante desafios futuros da mesma forma. A OPT v3.4.0 é mais falseável do que a OPT v3.3.0, não menos. O falseador nomeado (excesso de comprimento de descrição / comprimento mínimo de descrição) tem conteúdo matemático definível, mesmo que a sua operacionalização seja difícil, pelo que não equivale a “o que quer que decidamos que não conta”.

A posição honesta. O compromisso da v3.4.0 não conta como evidência a favor da OPT. Trata-se de um refinamento que desloca o ónus do quadro teórico. As observações CMB que motivaram o compromisso não podem ser citadas como confirmação, porque foram a evidência que o motivou. Só testes futuros independentes da previsão da v3.4.0 — observações ou análises produzidas após 30 de abril de 2026 por partes que não participaram no enquadramento — têm peso para o estatuto empírico da OPT sob a leitura forte.

O que alteraria a avaliação. Ou (a) uma observação cosmológica feita após 30 de abril de 2026 que o compromisso da v3.4.0 preveja especificamente e que quadros concorrentes prevejam de forma menos limpa — evidência de que o compromisso foi uma restrição preventiva real, e não uma absorção a posteriori; ou (b) comentário externo que identifique implicações não enunciadas da leitura forte que não foram antecipadas quando o compromisso foi assumido — enfraquecendo a defesa de que “sempre esteve implícito” e reforçando a leitura a posteriori; ou (c) um aperfeiçoamento, por terceiros, da formulação do falseador numa classe específica de observáveis mensuráveis, tornando “excesso de comprimento de descrição” operacionalmente distinto do abstrato.


R13. O valor de 10 bits/s subjacente a F1 é ele próprio contestado

Alegação. F1 (§6.8) ancora-se numa “largura de banda preditiva subjetiva humana C_{\max} \approx \mathcal{O}(10) bits/s” derivada de Zheng & Meister 2024 [23] e de quatro décadas de psicofísica convergente. Mas o valor de 10 bits/s foi contestado na literatura de 2025 — por exemplo, em “The brain works at more than 10 bits per second” (PMC12320479) — argumentando-se que os canais de acesso consciente são mais amplos do que a estimativa canónica quando a metodologia de medição é alterada. Se o valor canónico estiver errado por um pequeno fator, o compromisso empírico central da OPT é recalibrado; se estiver errado por ordens de grandeza, a própria janela de F1 passa a ser a questão.

Avaliação honesta. A janela de F1 foi deliberadamente definida como ampla (2 ordens de grandeza em cada direção) precisamente porque o valor empírico subjacente é contestado e sensível à metodologia. O estatuto contestado da âncora de 10 bits/s não invalida, por si só, F1 — valores entre \sim 10^{-1} e \sim 10^3 bits/s continuariam todos a situar-se dentro da janela de F1, e \sim 100 bits/s nem sequer contaria como uma quase falseação. O que isto significa, sim, é que F1 não pode ser apresentada como assente numa medição estabilizada. O requisito estrutural de que a OPT realmente depende é a existência de um gargalo serial de baixa largura de banda, não o número exato — e a distinção da §7.8 entre o critério estrutural e a constante biológica (adicionada na v3.4.0) torna isto explícito. F1 continua a ser um compromisso pré-registado útil para observadores humanos, mas a sua âncora empírica é provisória, não estabelecida.

O que alteraria a avaliação. Ou (a) uma reprodução por terceiros da largura de banda do acesso consciente que convergisse para um valor com barras de erro muito menores do que as da literatura atual, permitindo que F1 fosse estreitada e convertida num teste mais preciso; ou (b) um argumento metodológico credível de que o próprio construto de gargalo não sobrevive à variação dos esquemas de medição — o que constituiria um desafio mais profundo do que R13 e remeteria para R5 (Filtro de Estabilidade como tautologia). O estado intermédio é o estado efetivamente vigente: manter F1 tal como está redigida, com a ressalva de que a sua âncora empírica permanece em aberto.


R14. As observações da história cosmológica são testáveis em princípio, mas nenhum resultado de curto prazo é decisivo

Alegação. R11 identifica o “excesso de comprimento de descrição em características da história cosmológica para além do padrão inflacionário-quântico” como um falseador do compromisso de geometria do codec da §7.1. À data de 2026-04, as restrições atuais da CMB excluem uma não gaussianidade forte, mas não são suficientemente rigorosas para excluir o padrão inflacionário-quântico; as restrições sobre ondas gravitacionais primordiais continuam a apertar-se sem qualquer deteção. Nenhuma observação de 2026 alterou o quadro a favor ou contra a leitura forte da OPT. Espera-se que a próxima ronda — Simons Observatory, LiteBIRD, CMB-S4 — aperte as restrições em cerca de uma ordem de grandeza, mas em escalas temporais de anos, não de semanas.

Avaliação honesta. O falseador de R11 é genuinamente operacional em princípio, mas não está atualmente ativo. Este é o estado adequado para um compromisso estrutural deste tipo: o enquadramento nomeou aquilo que o refutaria, a comunidade experimental está a avançar para testes mais rigorosos, e ainda não surgiu qualquer resultado positivo em qualquer dos sentidos. A atitude intelectualmente honesta é deixar R11 tal como está e voltar a verificar esta entrada anualmente, à medida que novos dados cosmológicos forem chegando.

O que alteraria a avaliação. Um resultado formal do Simons / LiteBIRD / CMB-S4 que ou (a) detete características cujo comprimento mínimo de descrição, sob o padrão inflacionário-quântico, exceda o de explicações comprimidas concorrentes — falseando a leitura forte e desencadeando a consideração de Encerramento do Projeto da §6.8; ou (b) aperte suficientemente as restrições existentes para converter o falseador de R11 de “em princípio” para “atualmente sobrevivente”, com barras de erro muito menores — reforçando a leitura forte sem a confirmar. Qualquer um destes desenvolvimentos justifica uma atualização explícita e anotada de R11.


Notas operacionais