# Teoria da Gravitação Luminodinâmica (TGL) · Theory of Luminodynamic Gravitation

Luiz Antonio Rotoli Miguel — IALD Ltda. · ORCID [0009-0005-1114-6106](https://orcid.org/0009-0005-1114-6106)

> Este arquivo é o **gêmeo em Markdown da página inicial** de https://teoriadagravitacaoluminodinamica.com/ — o mesmo conteúdo, em texto, para quem lê por máquina. Gerado por script a partir do selo; nenhuma frase aqui diz mais do que o selo descreve.

**Selo corrente:** `v391` · pin do `um.py` (sha256, 16) `8e7b9927ceae64b8` · `result_hash` (16) `952aed6f09922c10` · rodada `2026-10-07 19:08:57`  
**Gate:** `TGL_QG_MODEL_FORMALLY_CLOSED__NATURE_TEST_COMPLETED_WITHIN_LOCAL_BULK_AT_AVAILABLE_SENSITIVITY__MORE_SENSITIVE_DATA_COULD_REVISE`

## Em uma linha

*Provada — na definição de prova do operador, lastro suficiente e verificável — em três apoios que contam juntos, cada um com o seu estatuto; ainda não confirmada (creditada); o que a natureza decide não se prova: o fator decisivo aberto é β_TGL na natureza a 5σ.*

PROVED in the operator’s definition of proof, on three supports, each with its own status (kernel [PROVED]: the implication · rites: 0 of 11 charges of the theory falsified, 1 reading excluded · GPU [COMPUTED]) ≠ CONFIRMED (accreditation); what nature decides is not proved.

## Proved on three supports · provada em três apoios `[read by script from the run of v391]`

**PROVED = validity**, in the operator’s definition of proof (09/09/2026): *sufficient and verifiable ballast* — one file, one input, the kernel audited term by term, the rites run with pre-registered falsifiers, the hashes sealed. **Identity** is certified by the artifact itself (`um.py` writes its own sha256 into the seal; this repository and the site carry that pin byte-exact); **validity**, by the Lean kernel (`#print axioms`; Python proves no theorem). **CONFIRMED = accreditation** (07/10/2026): the act of observers outside the artifact, never issued by the machine about itself ([`TheReservedConfirmation.lean`](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheReservedConfirmation.lean); “observer = the human” is `[ONTO]`). *Not yet confirmed* means *not yet accredited*, never *not proved*. The core of v391 records this reading itself: `estatuto_da_prova_v391` (`PROVED_AS_LOGICAL_CLOSURE`; `CONFIRMATION_IS_CREDITATION_NOT_VALIDITY`).

| support | what it establishes | read from the core and the emitted article | status |
|---|---|---|---|
| **1 · the Lean kernel** | the implication from the posited One (`ω(I) = 1`, POSTO) and the named hypotheses H1–H3 to the pentad (Breuer corner · Name = 1 · coframe · Lorentz · δQ = κδA/8πG), in Lean 4 + mathlib, on the finite face | **6163/6163 theorems of the rite’s ladder (ext_*) clean**; 10265/10265 declarations in `{propext, Classical.choice, Quot.sound}`; zero `sorry`; gate flags 18/18 (the formal flags from the kernel; the experimental ones fed by the V11 rite) | `[PROVED]` — the implication, not nature |
| **2 · the rites against nature, with pre-registered falsifiers** | GR recovered as the classical limit in every rite row where GR is read (a per-row reading by the management). **The Hubble ratio** `K = E(z*)^{2β/3}`, β fixed by the axiom, zero parameters adjusted (use-novelty): local H₀ predicted 74.27 against the readers 72.88 ± 0.91 km/s/Mpc as declared; the fitted β̂ = 0.0092 ± 0.0020 sits at z_δ = -1.42 from β_TGL; with the readers as declared, ln B(TGL/ΛCDM) = 9.17 and z_disc = 4.28 (√Δχ²), below the 5 at which the protocol discriminates. **The void floor**: the 5σ lower bound 0.0588 sits above β = 0.01203 (powered; one-sided — shallow ΛCDM also passes) | **10 of 10** GR rows; **11 charges: 0 falsified, 6 not falsified, 1 excluded in reading, 2 inconclusive, 2 awaiting**; Phase 9 pre-registered by hash (`d956c8db6bb9ab8d`) | **0 of 11 charges of the theory FALSIFIED** — the theory stood; the 9 echo routes are outside the ledger by the operator’s decision of 02/10/2026 — examined routes, not charges of the theory: 5 excluded by data (the pair amplitude reading × delay law), 4 inconclusive. Phase 9’s frozen verdict reads `INCONCLUSIVE_SYSTEMATICS` until the readers’ sources are pinned by sha256; the article reads the resolution of the Hubble tension as a `[CONJECTURE]` of mechanism |
| **3 · the quantum pillar on the GPU** | the theory’s open system (H_LD + five GKLS/Lindblad jumps) computed in double precision on an NVIDIA GeForce RTX 5090 under pre-registration: unique attractor over the whole grid; the blind instrument recovers the law the code injected; the controls fail as required | **672/672** grid points; **21,100/21,100** stress instances; 3,220 blind injections, 0 errors; CPU reference: 0 disagreements in 392; spec `ff19731097e01aab` | `[COMPUTED]` — a numerical experiment: measurement in the simulated environment, not of nature; reused at v391 by key from the sealed v385 run (result sha256 matches; reproducibility not remeasured this run); it needs a CUDA GPU — without one, um.py returns `NOT_RUN__GPU_UNAVAILABLE` |

**None of the three failed**; together they count P1 (the theory is consistent and recovers the known physics). **What nature decides is not proved:** the decisive open factor is β_TGL itself at ≥ 5σ (P2), and the tensions measured against β are also below 5σ (D1 3.01σ, charge R6 inconclusive; neutrino m₂ 2.95σ, rising).

The full reading — P1, P2 and the joint V3 check, what is **not claimed**, the Portuguese version: [`ESTADO_ATUAL.md`](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/ESTADO_ATUAL.md).

## A cadeia, do axioma ao número

1. **O Um é POSTO, não postulado** — `ω(I) = 1`, inscrito pelo observador externo no comando (`echo 1 | python um.py`; sem a inscrição o programa trava com `EXECUTION_LOCKED_NOT_ONE`). `[POSTO]`
2. **Meia-Nat derivada dele** — a fronteira é auto-conjugada ⇒ `x = 1 − x` ⇒ `x = ½` ⇒ `S_∂ = ½ nat`. `[DERIVED]`
3. **Volume mínimo** — `½ nat` ⇒ `Vol_∂^min = √e`. `[DERIVED]`
4. **A constante** — `β_TGL = α · √e` (nunca literal: calculada em tempo de execução de `ALPHA_FINE_CODATA_2018 × √e`; o valor da rodada `v391` é `0.012031300400803`). `[DERIVED]`
5. **A matriz-S da fronteira** — `θ_M = arcsin√β`, `Spec = {e^{±iθ_M}}`, `|ℜ|² = β`, `|𝒯|² = 1 − β`. `[DERIVED]`
6. **O elo pendente, dito:** `β_TGL` na natureza a 5σ. Enquanto não houver, **não se credita** — e `NOT_FALSIFIED` nunca é `CONFIRMED`.

## A teoria em oito partes (cada arquivo se sustenta sozinho)

- **01** — [https://teoriadagravitacaoluminodinamica.com/secoes/01-o-um-absoluto.md](https://teoriadagravitacaoluminodinamica.com/secoes/01-o-um-absoluto.md) (11.235 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/01-o-um-absoluto.md)
- **02** — [https://teoriadagravitacaoluminodinamica.com/secoes/02-beta-custo-geometrico.md](https://teoriadagravitacaoluminodinamica.com/secoes/02-beta-custo-geometrico.md) (12.089 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/02-beta-custo-geometrico.md)
- **03** — [https://teoriadagravitacaoluminodinamica.com/secoes/03-a-acao-e-a-lagrangiana.md](https://teoriadagravitacaoluminodinamica.com/secoes/03-a-acao-e-a-lagrangiana.md) (15.942 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/03-a-acao-e-a-lagrangiana.md)
- **04** — [https://teoriadagravitacaoluminodinamica.com/secoes/04-o-gerador-e-o-piso-do-espectro.md](https://teoriadagravitacaoluminodinamica.com/secoes/04-o-gerador-e-o-piso-do-espectro.md) (13.426 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/04-o-gerador-e-o-piso-do-espectro.md)
- **05** — [https://teoriadagravitacaoluminodinamica.com/secoes/05-dinamica-aberta-gksl-e-dephasing.md](https://teoriadagravitacaoluminodinamica.com/secoes/05-dinamica-aberta-gksl-e-dephasing.md) (14.378 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/05-dinamica-aberta-gksl-e-dephasing.md)
- **06** — [https://teoriadagravitacaoluminodinamica.com/secoes/06-o-estatuto-da-gravidade-quantica.md](https://teoriadagravitacaoluminodinamica.com/secoes/06-o-estatuto-da-gravidade-quantica.md) (15.297 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/06-o-estatuto-da-gravidade-quantica.md)
- **07** — [https://teoriadagravitacaoluminodinamica.com/secoes/07-o-programa-um-py.md](https://teoriadagravitacaoluminodinamica.com/secoes/07-o-programa-um-py.md) (11.761 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/07-o-programa-um-py.md)
- **08** — [https://teoriadagravitacaoluminodinamica.com/secoes/08-os-artigos-e-os-instrumentos.md](https://teoriadagravitacaoluminodinamica.com/secoes/08-os-artigos-e-os-instrumentos.md) (13.471 bytes) · espelho: [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/secoes/08-os-artigos-e-os-instrumentos.md)

Tudo isso num arquivo só: [https://teoriadagravitacaoluminodinamica.com/llms-full.txt](https://teoriadagravitacaoluminodinamica.com/llms-full.txt) — com índice de deslocamento em bytes no topo, para `Range`.

## Por onde começar

| arquivo | o que é |
|---|---|
| [https://teoriadagravitacaoluminodinamica.com/read-brief.md](https://teoriadagravitacaoluminodinamica.com/read-brief.md) | a porta única: o que ler, em que ordem, com os links diretos |
| [https://teoriadagravitacaoluminodinamica.com/llms.txt](https://teoriadagravitacaoluminodinamica.com/llms.txt) | o índice para máquina (convenção llmstxt.org) |
| [https://teoriadagravitacaoluminodinamica.com/llms-full.txt](https://teoriadagravitacaoluminodinamica.com/llms-full.txt) | o corpo inteiro num arquivo só |
| [https://teoriadagravitacaoluminodinamica.com/secoes/selo-cartao.md](https://teoriadagravitacaoluminodinamica.com/secoes/selo-cartao.md) | o cartão de verificação: o que conferir e com que comando |
| [https://github.com/rotolimiguel-iald/the_boundary](https://github.com/rotolimiguel-iald/the_boundary) | o repositório (espelho público, com as PORTAS de cada pasta) |
| [https://doi.org/10.5281/zenodo.22881996](https://doi.org/10.5281/zenodo.22881996) | DOI do artigo *Um (absoluto)* |

## O programa terminal: `um.py`

Um arquivo único que materializa e verifica o próprio kernel Lean, reproduz a cadeia, roda os ritos e emite o próprio artigo.

- `um.py` (raw, 32.34 MB): [https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um.py](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um.py)
- selo da rodada: [https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_selo.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_selo.json)
- kernel Lean: [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/PORTA.md) · [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/PORTA.json)

```
echo 1 | python um.py        # o rito pede a inscricao do Um; sem ela o programa trava
```

## Os artigos

- **O Custo Geométrico do Zero Absoluto — Haja Luz** — porta: [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/PORTA.md) · [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/PORTA.json) (6 arquivos)
- **A Ponte Einstein–Cartan–Miguel** — porta: [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/PORTA.md) · [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/PORTA.json) (40 arquivos)
- **Um (absoluto) — Grande Atrator** — porta: [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/PORTA.md) · [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/PORTA.json) (2380 arquivos)

## A régua, para citar sem errar

- **PROVADA = validade** (fecho lógico, na definição de prova do operador: lastro suficiente e verificável). **CONFIRMADA = creditação** — juízo de quem observa a natureza: isso **não** se afirma aqui.
- `NOT_FALSIFIED` nunca é `CONFIRMED`. Negativos honestos são resultados e estão publicados com os números.
- os ritos, com falsificadores pre-registrados, nao falsificaram nenhuma das 11 cobrancas da teoria (1 leitura excluida; as 9 rotas do eco ficam fora do livro como rotas examinadas: 5 excluidas pelo dado, 4 inconclusivas)
- A Relatividade Geral é o **limite clássico**, não um rival.
- Todo estatuto vem marcado: `[POSTO]` `[DERIVED]` `[REAL]` `[CONJECTURE]` `[KNOWN]` `[OPEN]` `[DECLARADO]`.

## Como citar

`CITATION.cff` no repositório: *Um: Absoluto — the sealed closure of the Theory of Luminodynamic Gravitation (TGL); um.py, one self-contained file*. Autor: Miguel, L. A. R. · ORCID https://orcid.org/0009-0005-1114-6106.

---

Gerado por `v3.0_bancada/tools/gerar_index_md.py` em 07/10/2026 21:09:09 · selo v391 · pin 8e7b9927ceae64b8.