Dinâmica Einstein--Hilbert no Formalismo de Defeito TEBAC 9D/9D+: Arquitetura de Campo Efetivo, Fontes Espectrais e Auditoria de Fechamento

Esta é uma versão revisada, expandida e reforçada por teoremas do Zenodo do preprint sobre a dinâmica Einstein--Hilbert no formalismo de defeito TEBAC 9D/9D+. O manuscrito desenvolve uma arquitetura de campo efetivo segura para reivindicações, na qual o espaço-tempo quadridimensional observado é interpretado como um setor suportado por defeitos dentro de um fundo TEBAC de dimensão superior. Os dados geométricos canônicos incluem₉=M₄ K₅, ₅=S^1 T^4, a realização levantada₁₃=M₄ K₅ F₄, a métrica de defeito observável escrita como\_=^*G₀₁. \ A equação central efetiva de defeito de Einstein é formulada na forma esquemática_[+₄₅₅\, _=8 G₄₅₅c^{4}\, T^loc_+E^bulk_+Q^embed_. \] Comparado com a versão original de março de 2026, esta versão revisada fortalece substancialmente a estrutura matemática, o mapa de teoremas, a disciplina de não-circularidade e o envelope de reivindicações de liberação pública. Ela adiciona um teorema condicional de redução de defeitos, um teorema de unicidade variacional separado por setores, uma identidade de Bianchi com acoplamento variável, um teorema de silêncio variacional topológico, critérios de determinante de Fredholm/Birman--Schwinger para flutuações de defeitos, estabilidade do determinante sob perturbações de classe traço e uma camada final de auditoria de fechamento / teste de aceitação. O artigo distingue fontes de defeitos locais, fontes espectrais internas, contribuições de módulos, correções de volume projetadas, correções de imersão e dados admissíveis topológicos/invertíveis. O setor topológico é tratado como um filtro de consistência global e admissibilidade, não como uma fonte automática de tensão-energia local, a menos que uma contribuição variacional local explícita seja provada. A versão revisada também inclui uma ponte metodológica de determinante espectral para o programa mais amplo TEBAC 9D/9D+, incluindo os módulos RH e BSD. Essa conexão é estrutural e não dedutiva: métodos de determinante RH/BSD são utilizados apenas como parte da metodologia espectral de operador TEBAC comum, e não como entradas físicas para derivar dinâmicas de Einstein. Este preprint não afirma que todas as constantes gravitacionais efetivas, módulos, termos de limite, tensores de correção ou observáveis de baixa energia já foram extraídos numericamente em forma final independente de esquemas. É destinado a ser um módulo de arquitetura gravitacional legível por revisores dentro do programa de pesquisa mais amplo TEBAC 9D/9D+.