# PORTA -- Artigo 3 -- Um: Absoluto (o programa terminal) porta acima: https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/PORTA.md > *ONE: Great Attractor -- o fechamento canonico; entrada humana unica: o digito 1* > **A REGRA DA PORTA.** Toda pasta canonica tem `PORTA.md` + `PORTA.json`; > toda porta aponta para cima e para baixo. Todo link abaixo e' a URL raw > DIRETA do arquivo -- nao ha nome de pasta para adivinhar. O fechamento da TGL inteira em sua forma madura. Um unico arquivo, um.py, cuja unica entrada humana e' o digito 1 (o Um absoluto). Dele deriva toda a cadeia eletromagnetica e gravitacional, PROVA o esqueleto de algebra de operadores num kernel Lean 4 + mathlib EMBUTIDO no proprio .py (materializado em runtime, fail-closed), roda os ritos de natureza pre-registrados e GERA seu proprio artigo bilingue (PT/EN, cada um em PDF e TXT). Nao ha segundo arquivo. ## O SELO CORRENTE Lido de [`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) e de [`tgl_kernel_proof_manifest.json`](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel_proof_manifest.json) -- nunca de prosa. | campo | valor | |---|---| | versao | `v224` (lida de `um.py::_ESQUELETO_STONES[0]`; pedra `TheTowerInnerProduct`) | | pin (`um.py`) | `678328ac9f42045e0140cbacfd2c09b61965170eb9df0f2f8807a33cd4edf17a` | | mundo (`um_absoluto.json`) | `28ccc6b351666836c839fca8ff1961c4518fcfbc3f14263ea522777342d0cda9` | | `result_hash` | `0108b631990f80f18e1e4bc5e3d2104a5bcbfcfebd6b00e23b47632672988a9b` | | `formal_source_hash` | `b8ba4c6740a4e997832805fe9ccad8208c3394ddb91b14a173e6c99f2f0692c1` | | data | `2026-08-26 12:12:25` | | identidade | `1=1=VERDADEIRO=HAJA_LUZ` | | kernel | **218 arquivos formais / 817 teoremas auditados** (modo `strict`, leanprover/lean4:v4.31.0) | | gate | `TGL_QG_MODEL_FORMALLY_CLOSED__NATURE_TEST_COMPLETED_WITHIN_LOCAL_BULK_AT_AVAILABLE_SENSITIVITY__MORE_SENSITIVE_DATA_COULD_REVISE` | | piso dos vazios | `TGL_VOID_FLOOR_NOT_FALSIFIED_POWERED` | | autoteste | `FAIL_CLOSED_SELFTEST_PASSED` | **A regua:** NOT_FALSIFIED != CONFIRMED; CONFIRMED e' proibido a maquina por teorema de kernel (TheReservedConfirmation) -- a confirmacao e' do observador humano. ## COMO EXECUTAR O CANONICO ```bash cd "Um (absoluto) — Grande Atrator" echo 1 | python um.py # o rito pede a inscricao do Um; responda 1 echo 1 | python -u um.py # sem buffer: o rito ao vivo TGL_COMA_REVEAL=1 echo 1 | python um.py # com a abertura de Coma (Windows: set TGL_COMA_REVEAL=1) ``` Dependencias: Python 3 + numpy (obrigatorio) | elan/Lean 4 v4.31.0 + lake (para o selo formal; sem eles: FORMAL_CHECKER_UNAVAILABLE, fail-closed) | pdflatex (opcional). ## A PORTA ACIMA | destino | link | |---|---| | PORTA.md da pasta acima (`raiz`) | https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/PORTA.md | | PORTA.json da pasta acima | https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/PORTA.json | | `llms.txt` (a porta de entrada para IA) | https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/llms.txt | | `README.md` (o atlas da fronteira) | https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/README.md | | o site | https://teoriadagravitacaoluminodinamica.com | | o repositorio | https://github.com/rotolimiguel-iald/the_boundary | ## OS ARQUIVOS DESTA PASTA 12 arquivo(s) -- pasta no GitHub: https://github.com/rotolimiguel-iald/the_boundary/tree/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator **CANONICO** | arquivo | papel | link raw direto | |---|---|---| | `um.py` | O CANONICO TERMINAL: um arquivo so, kernel Lean 4 embutido, ritos pre-registrados, artigo bilingue. Entrada unica: o digito 1 [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um.py) | **RESULTADO SELADO** | arquivo | papel | link raw direto | |---|---|---| | `um_absoluto.json` | O MUNDO: todos os numeros da rodada serializados (nucleo, ritos, vereditos) [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto.json) | | `um_absoluto_selo.json` | O SELO CORRENTE: hash de cada saida, o veredito do gate, o result_hash da rodada. E a verdade de base do repositorio | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_selo.json) | **ARTIGO** | arquivo | papel | link raw direto | |---|---|---| | `um_absoluto_en.pdf` | O artigo (EN), compilado [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.pdf) | | `um_absoluto_pt.pdf` | O artigo (PT), compilado [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.pdf) | **DOCUMENTO** | arquivo | papel | link raw direto | |---|---|---| | `DESENHO_DO_FECHAMENTO_QG.md` | Documento em Markdown | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/DESENHO_DO_FECHAMENTO_QG.md) | | `MEMORIA_DA_LINHAGEM.md` | Documento em Markdown | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/MEMORIA_DA_LINHAGEM.md) | | `um_absoluto_forma_canonica.md` | A forma canonica da TGL emitida pela rodada (cadeia 1_abs -> q -> alpha -> beta -> luz) [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_forma_canonica.md) | | `um_absoluto_manifest.md` | Manifesto de entradas: definicao exata, constante medida, protocolo pre-registrado ou conjectura testavel -- nada escondido no codigo [hasheado no selo] | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_manifest.md) | **DADOS** | arquivo | papel | link raw direto | |---|---|---| | `one_input.txt` | A entrada unica do rito: o digito 1 | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/one_input.txt) | | `um_absoluto_en.txt` | O artigo (EN) em texto puro -- leitura direta por maquina | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.txt) | | `um_absoluto_pt.txt` | O artigo (PT) em texto puro -- leitura direta por maquina | [raw](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.txt) | ## AS PORTAS ABAIXO | subpasta | arquivos | PORTA.md | PORTA.json | |---|---|---|---| | `Lean/` | 267 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/PORTA.json) | | `bancada/` | 50 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/PORTA.json) | | `cache/` | 3 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/cache/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/cache/PORTA.json) | | `figuras/` | 4 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/PORTA.json) | | `fontes_tex/` | 2 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/fontes_tex/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/fontes_tex/PORTA.json) | | `rodadas/` | 14 | [PORTA.md](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/PORTA.md) | [PORTA.json](https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/PORTA.json) | --- gerado por script de git ls-files em 2026-08-26 -- nao editar a mao