{ "tunel": "the_boundary", "o_que_e": "O INDICE PLANO. A porta e hierarquica -- da raiz voce navega ate o arquivo, e a cada salto pode errar o nome (acento, travessao, parenteses). O tunel entrega TUDO de uma vez: cada arquivo do repositorio com a sua URL raw direta, o tamanho, o hash e o papel. Uma requisicao, zero navegacao.", "como_usar": [ "1. Voce ja baixou este arquivo -- entao ja tem o repositorio inteiro mapeado.", "2. Para os arquivos-chave, use 'aliases': nomes ASCII curtos, sem acento.", "3. Para qualquer outro, procure em 'arquivos' por 'path' ou por 'papel'.", "4. Baixe sempre pela 'url' (raw). NUNCA monte um caminho a mao.", "5. O um.py tem mais de 5 MB e o GitHub NAO o renderiza na pagina do blob: a pagina abre e parece vazia. Isso e limite de visualizador, nao arquivo faltando -- baixe pelo raw.", "6. Depois de baixar, confira o sha256 contra o alias 'selo'." ], "selo": { "pin_um_py": "8b6cc0760011d75e0ae4517086594b5a8855650bb3c5cc90d00bf13ecd048c8d", "pin_um_py_16": "8b6cc0760011d75e", "result_hash": "10969750c4dcd4ec7aede18a0b2eb912525c9a31c09e0bbdec2f80a68687e076", "mundo_16": "6fca23ab428f3395", "data": "2026-08-30 10:21:55", "gate": "TGL_QG_MODEL_FORMALLY_CLOSED__NATURE_TEST_COMPLETED_WITHIN_LOCAL_BULK_AT_AVAILABLE_SENSITIVITY__MORE_SENSITIVE_DATA_COULD_REVISE", "ultima_pedra": null, "versao_da_pedra": null }, "regra": "NOT_FALSIFIED nunca e CONFIRMED. Fechar a arquitetura matematica interna nao e gravidade quantica confirmada. beta_TGL = alpha*sqrt(e) e CONSTANTE, nunca literal no codigo: e computada em runtime.", "n_arquivos": 676, "aliases_ausentes": [], "aliases": { "um.py": { "path": "Um (absoluto) — Grande Atrator/um.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um.py", "o_que_e": "O CANONICO: arquivo unico, kernel Lean embutido. Rodar: echo 1 | python um.py", "sha256_16": "8b6cc0760011d75e", "bytes": 5993659 }, "selo": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_selo.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_selo.json", "o_que_e": "O SELO: os sha256 de tudo. A verdade do repositorio", "sha256_16": "f42c7aac2482e070", "bytes": 32567 }, "resultado": { "path": "Um (absoluto) — Grande Atrator/um_absoluto.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto.json", "o_que_e": "O MUNDO: o JSON de saida do rito", "sha256_16": "6fca23ab428f3395", "bytes": 1103839 }, "manifesto-kernel": { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel_proof_manifest.json", "url": "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", "o_que_e": "O axiom_report de cada teorema", "sha256_16": "fb9b014cf2faf8e1", "bytes": 152603 }, "forma-canonica": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_forma_canonica.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_forma_canonica.md", "o_que_e": "A forma canonica, em markdown", "sha256_16": "e9e48220494f5a03", "bytes": 145211 }, "manifest": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_manifest.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_manifest.md", "o_que_e": "O manifesto do artefato", "sha256_16": "c657fceb6fb3f53f", "bytes": 239852 }, "artigo-pt-pdf": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_pt.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.pdf", "o_que_e": "O artigo, portugues, PDF", "sha256_16": "17e1337f942cf986", "bytes": 1671488 }, "artigo-en-pdf": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_en.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.pdf", "o_que_e": "O artigo, ingles, PDF", "sha256_16": "f4877a4cbff3ce25", "bytes": 1638583 }, "artigo-pt-txt": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_pt.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.txt", "o_que_e": "O artigo, portugues, texto puro", "sha256_16": "d2c237f3984209e7", "bytes": 478185 }, "artigo-en-txt": { "path": "Um (absoluto) — Grande Atrator/um_absoluto_en.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.txt", "o_que_e": "O artigo, ingles, texto puro", "sha256_16": "bb09d4a395b5ebbf", "bytes": 475945 }, "artigo1": { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/tgl_paper_unified.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/tgl_paper_unified.py", "o_que_e": "Artigo 1 -- Haja Luz (canonico, executavel)", "sha256_16": "29c92b66b2fd6b4d", "bytes": 1216423 }, "artigo2": { "path": "A Ponte-Einstein_Cartan_Miguel/A Ponte Einstein Cartan Miguel.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/A%20Ponte%20Einstein%20Cartan%20Miguel.tex", "o_que_e": "Artigo 2 -- A Ponte Einstein-Cartan-Miguel", "sha256_16": "8a2792d3c9ce52b6", "bytes": 127264 }, "readme": { "path": "README.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/README.md", "o_que_e": "O atlas da fronteira", "sha256_16": "b2a0c4157691f0ce", "bytes": 344600 }, "llms": { "path": "llms.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/llms.txt", "o_que_e": "A porta de entrada das IAs (llmstxt.org)" }, "porta-raiz": { "path": "PORTA.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/PORTA.json", "o_que_e": "A porta da raiz, em maquina" }, "tunel": { "path": "TUNEL.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/TUNEL.json", "o_que_e": "ESTE arquivo" } }, "arquivos": [ { "path": ".gitattributes", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/.gitattributes", "bytes": 66, "sha256_16": "1a1dbe176bc233b4", "papel": "outros" }, { "path": ".gitignore", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/.gitignore", "bytes": 676, "sha256_16": "54a2afb516457c89", "papel": "outros" }, { "path": "A Ponte-Einstein_Cartan_Miguel/A Ponte Einstein Cartan Miguel.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/A%20Ponte%20Einstein%20Cartan%20Miguel.pdf", "bytes": 629144, "sha256_16": "bbf20c29bb98f186", "papel": "artigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/A Ponte Einstein Cartan Miguel.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/A%20Ponte%20Einstein%20Cartan%20Miguel.tex", "bytes": 127264, "sha256_16": "8a2792d3c9ce52b6", "papel": "canonico" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl c3 register v1 20260611 214824.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20c3%20register%20v1%2020260611%20214824.json", "bytes": 2706, "sha256_16": "685aed86b54c2be1", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl c3 register v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20c3%20register%20v1.py", "bytes": 8001, "sha256_16": "f79367cf8fb376e2", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl continuum v1 20260609 225321.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20continuum%20v1%2020260609%20225321.json", "bytes": 2620, "sha256_16": "869190fab1fb67e1", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl continuum v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20continuum%20v1.py", "bytes": 8288, "sha256_16": "20256e260893b465", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl demo v1.mp4", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20demo%20v1.mp4", "bytes": 5386115, "sha256_16": "e4509cd2b389d5f6", "papel": "figura" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl dual name v1 20260612 022736.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20dual%20name%20v1%2020260612%20022736.json", "bytes": 4512, "sha256_16": "5fab5d39df9d4476", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl dual name v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20dual%20name%20v1.py", "bytes": 8470, "sha256_16": "da861379f893168f", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl geometry generated v1 20260609 223713.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20geometry%20generated%20v1%2020260609%20223713.json", "bytes": 3127, "sha256_16": "5620f9005555c37e", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl geometry generated v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20geometry%20generated%20v1.py", "bytes": 7135, "sha256_16": "72c674dc9e6e8d9c", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl gesture inscription v1 20260612 025911.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20gesture%20inscription%20v1%2020260612%20025911.json", "bytes": 2382, "sha256_16": "a02e864bf4d0015f", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl gesture inscription v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20gesture%20inscription%20v1.py", "bytes": 8752, "sha256_16": "0e8ca088b016436e", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl heraclitus v1 20260610 064851.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20heraclitus%20v1%2020260610%20064851.json", "bytes": 1229, "sha256_16": "f93f090c782c47ea", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl heraclitus v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20heraclitus%20v1.py", "bytes": 8431, "sha256_16": "a1abdeae7bb34b65", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl krein signature v1 20260609 211031.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20krein%20signature%20v1%2020260609%20211031.json", "bytes": 5473, "sha256_16": "4c8a57a98e3671d4", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl krein signature v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20krein%20signature%20v1.py", "bytes": 13368, "sha256_16": "2549a1041d07953b", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl nominal order v1 20260609 221416.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20nominal%20order%20v1%2020260609%20221416.json", "bytes": 5038, "sha256_16": "fd6fa49dd6d40187", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl nominal order v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20nominal%20order%20v1.py", "bytes": 8387, "sha256_16": "e580b40327bcb25d", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl one mirror v1 20260611 221949.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20one%20mirror%20v1%2020260611%20221949.json", "bytes": 3908, "sha256_16": "1249fced3d5af1f8", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl one mirror v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20one%20mirror%20v1.py", "bytes": 9083, "sha256_16": "fc545c1f2a7825c2", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl terminal truth v1 20260609 215024.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20terminal%20truth%20v1%2020260609%20215024.json", "bytes": 3053, "sha256_16": "58e35cbc6cdfde69", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl terminal truth v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20terminal%20truth%20v1.py", "bytes": 8540, "sha256_16": "72f60101102eccd5", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl three locks v1 20260609 230529.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20three%20locks%20v1%2020260609%20230529.json", "bytes": 1451, "sha256_16": "e8a8b2188e981a81", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl three locks v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20three%20locks%20v1.py", "bytes": 9806, "sha256_16": "cbe687fe7abfe687", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl tunnel v1 20260611 215615.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20tunnel%20v1%2020260611%20215615.json", "bytes": 2772, "sha256_16": "97951b9aab9e5e37", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl tunnel v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20tunnel%20v1.py", "bytes": 6689, "sha256_16": "85b937cee4d9d7b3", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl video v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl%20video%20v1.py", "bytes": 19563, "sha256_16": "a589f5e1daca6a52", "papel": "codigo" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_c3_register_v1_20260710_164703.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_c3_register_v1_20260710_164703.json", "bytes": 2709, "sha256_16": "af82258ba01ce615", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_continuum_v1_20260710_164643.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_continuum_v1_20260710_164643.json", "bytes": 2620, "sha256_16": "2c61b68cb605a1cb", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_dual_name_v1_20260710_164702.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_dual_name_v1_20260710_164702.json", "bytes": 4491, "sha256_16": "bf515ec89243ae0c", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_geometry_generated_v1_20260710_164643.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_geometry_generated_v1_20260710_164643.json", "bytes": 3128, "sha256_16": "574d5fb7f9bb247b", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_gesture_inscription_v1_20260710_164703.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_gesture_inscription_v1_20260710_164703.json", "bytes": 2381, "sha256_16": "39cf323f86fa4e23", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_heraclitus_v1_20260710_164702.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_heraclitus_v1_20260710_164702.json", "bytes": 1230, "sha256_16": "4639e0fa035de246", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_krein_signature_v1_20260710_164641.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_krein_signature_v1_20260710_164641.json", "bytes": 5492, "sha256_16": "617cdfc74e8e3176", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_nominal_order_v1_20260710_164644.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_nominal_order_v1_20260710_164644.json", "bytes": 5038, "sha256_16": "e330d66348acb709", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_one_mirror_v1_20260710_164703.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_one_mirror_v1_20260710_164703.json", "bytes": 3902, "sha256_16": "32f6a38e19560e33", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_terminal_truth_v1_20260710_164641.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_terminal_truth_v1_20260710_164641.json", "bytes": 3050, "sha256_16": "7dad8f6e4e6eba98", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_three_locks_v1_20260710_164829.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_three_locks_v1_20260710_164829.json", "bytes": 1451, "sha256_16": "e8d7959364662a6a", "papel": "resultado selado" }, { "path": "A Ponte-Einstein_Cartan_Miguel/tgl_tunnel_v1_20260710_164703.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/A%20Ponte-Einstein_Cartan_Miguel/tgl_tunnel_v1_20260710_164703.json", "bytes": 2754, "sha256_16": "07c4273b227b1193", "papel": "resultado selado" }, { "path": "Genesis da Unificação/ACOM/Acom_v17_mirror.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/ACOM/Acom_v17_mirror.py", "bytes": 43312, "sha256_16": "4ffcbbdb96bab4a5", "papel": "codigo" }, { "path": "Genesis da Unificação/ACOM/Output Acom_v17_mirror.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/ACOM/Output%20Acom_v17_mirror.pdf", "bytes": 3914234, "sha256_16": "dc25320a2736d457", "papel": "artigo" }, { "path": "Genesis da Unificação/Acoplamento_dimensional/TGL_dimensional_coupling_v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Acoplamento_dimensional/TGL_dimensional_coupling_v1.py", "bytes": 9648, "sha256_16": "676db9a63c3c5808", "papel": "codigo" }, { "path": "Genesis da Unificação/Acoplamento_dimensional/tgl_dim_histograms.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Acoplamento_dimensional/tgl_dim_histograms.png", "bytes": 110765, "sha256_16": "7f43b68483e82684", "papel": "figura" }, { "path": "Genesis da Unificação/Acoplamento_dimensional/tgl_dim_profiles.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Acoplamento_dimensional/tgl_dim_profiles.png", "bytes": 226783, "sha256_16": "39aca0844513ffd9", "papel": "figura" }, { "path": "Genesis da Unificação/Acoplamento_dimensional/tgl_dim_summary.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Acoplamento_dimensional/tgl_dim_summary.png", "bytes": 136997, "sha256_16": "dda040550b0cc70a", "papel": "figura" }, { "path": "Genesis da Unificação/Acoplamento_dimensional/tgl_dimensional_coupling_v1.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Acoplamento_dimensional/tgl_dimensional_coupling_v1.json", "bytes": 26241, "sha256_16": "aefb35d9897cb2f9", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Artigos_fundadores/A_fronteira_v5.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/A_fronteira_v5.pdf", "bytes": 1038078, "sha256_16": "f41506234d72086c", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/A_fronteira_v5.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/A_fronteira_v5.tex", "bytes": 194327, "sha256_16": "bf824b9a0b9b2622", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/A_ultima_corda_v3.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/A_ultima_corda_v3.tex", "bytes": 92186, "sha256_16": "8db72ea848f708c1", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/ACOM trinity.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/ACOM%20trinity.pdf", "bytes": 238504, "sha256_16": "09b793ecf71dd60a", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/Conscious Singularity.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/Conscious%20Singularity.pdf", "bytes": 418483, "sha256_16": "dcf2dd401850c118", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/Theory of Luminodynamic Gravitation.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/Theory%20of%20Luminodynamic%20Gravitation.pdf", "bytes": 1769041, "sha256_16": "c5800902c2012eff", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/acoplamento_gravitacional.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/acoplamento_gravitacional.pdf", "bytes": 592800, "sha256_16": "5bb9d87afab9709b", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/eco_gravitacional_v1.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/eco_gravitacional_v1.pdf", "bytes": 418200, "sha256_16": "037012fff47d0e3c", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/energia_escura.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/energia_escura.pdf", "bytes": 396888, "sha256_16": "a0df54b1750a169c", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/gravity_phase_light.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/gravity_phase_light.pdf", "bytes": 265418, "sha256_16": "935f37614c42915b", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/lie_of_light.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/lie_of_light.pdf", "bytes": 255439, "sha256_16": "3ea0d08747f55a76", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/luz.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/luz.pdf", "bytes": 366770, "sha256_16": "245c2a83d143314c", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/neutrino_nmc_revised (2).pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/neutrino_nmc_revised%20%282%29.pdf", "bytes": 506616, "sha256_16": "0c89fb2f77f1b688", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/recursive_light_v3.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/recursive_light_v3.pdf", "bytes": 330557, "sha256_16": "70d3e0d296f84617", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Artigos_complementares_zenodo/tgl_cosmological_observables.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Artigos_complementares_zenodo/tgl_cosmological_observables.pdf", "bytes": 458149, "sha256_16": "1ecdf856dc58ec61", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/O_limiar_da_humildade.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/O_limiar_da_humildade.tex", "bytes": 54134, "sha256_16": "f523d141fce44789", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/Protocolo_de_colapso_iald_v6.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/Protocolo_de_colapso_iald_v6.tex", "bytes": 88743, "sha256_16": "24f4154c4a7f62f4", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/The_Factorization_of_Miguels_Constant_v2.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/The_Factorization_of_Miguels_Constant_v2.pdf", "bytes": 1248031, "sha256_16": "8c69fb66840a1711", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/The_Factorization_of_Miguels_Constant_v2.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/The_Factorization_of_Miguels_Constant_v2.tex", "bytes": 95177, "sha256_16": "c6b82f6e2da96eff", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/The_boundary_v5_en.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/The_boundary_v5_en.tex", "bytes": 183299, "sha256_16": "011160112e79db73", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/The_last_string_v3.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/The_last_string_v3.tex", "bytes": 92656, "sha256_16": "d1279e7324a08708", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/a_ultima_corda_v3.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/a_ultima_corda_v3.pdf", "bytes": 573448, "sha256_16": "ded1573be935ba2a", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/fatoracao_constante_miguel_v2.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/fatoracao_constante_miguel_v2.pdf", "bytes": 1272551, "sha256_16": "f184bfff0c3e5d0b", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/fatoracao_constante_miguel_v2.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/fatoracao_constante_miguel_v2.tex", "bytes": 96285, "sha256_16": "35955b31f80f4883", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/graviton_v2.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/graviton_v2.pdf", "bytes": 703087, "sha256_16": "41e13c646aaf3137", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/graviton_v2.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/graviton_v2.tex", "bytes": 116770, "sha256_16": "b8418043450e2ad9", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/nada_materia_v5.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/nada_materia_v5.pdf", "bytes": 825816, "sha256_16": "90e27985ec6aa02c", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/o_limiar_da_humildade.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/o_limiar_da_humildade.pdf", "bytes": 423258, "sha256_16": "172d04d07b817692", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/protocolo_de_colapso_iald_v6.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/protocolo_de_colapso_iald_v6.pdf", "bytes": 609978, "sha256_16": "59a53c2e0e4147c1", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/the_boundary_v5_en.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/the_boundary_v5_en.pdf", "bytes": 984585, "sha256_16": "18bebc063318b92e", "papel": "artigo" }, { "path": "Genesis da Unificação/Artigos_fundadores/the_last_string_v3.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Artigos_fundadores/the_last_string_v3.pdf", "bytes": 724673, "sha256_16": "d5fbae8e4b7b2f87", "papel": "artigo" }, { "path": "Genesis da Unificação/C3_consciencia/TGL_C3_validator_v52.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/C3_consciencia/TGL_C3_validator_v52.py", "bytes": 47524, "sha256_16": "c3a53ef00dd4548d", "papel": "codigo" }, { "path": "Genesis da Unificação/C3_consciencia/tgl_c3_v5_results_20260208_074733.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/C3_consciencia/tgl_c3_v5_results_20260208_074733.json", "bytes": 17381, "sha256_16": "ec4ec3992364f161", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Cruz_MCMC/TGL_v11_1_CRUZ.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Cruz_MCMC/TGL_v11_1_CRUZ.py", "bytes": 84123, "sha256_16": "61db3f99967b7be7", "papel": "codigo" }, { "path": "Genesis da Unificação/Cruz_MCMC/tgl_v11_1_cruz_corner.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Cruz_MCMC/tgl_v11_1_cruz_corner.png", "bytes": 743898, "sha256_16": "8d41d0af5b694d69", "papel": "figura" }, { "path": "Genesis da Unificação/Cruz_MCMC/tgl_v11_1_cruz_cruz.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Cruz_MCMC/tgl_v11_1_cruz_cruz.png", "bytes": 196990, "sha256_16": "c3df96cbfc5343a0", "papel": "figura" }, { "path": "Genesis da Unificação/Cruz_MCMC/tgl_v11_1_cruz_neutrinos.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Cruz_MCMC/tgl_v11_1_cruz_neutrinos.png", "bytes": 36304, "sha256_16": "adf97ecc0f037321", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_anti_tautology.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_anti_tautology.png", "bytes": 49879, "sha256_16": "1f938c51b99603b4", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_convergence.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_convergence.png", "bytes": 82378, "sha256_16": "7abe439b95a11b72", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_dual_decomposition.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_dual_decomposition.png", "bytes": 104866, "sha256_16": "204d2c2d7555aff3", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_gw_tension.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_gw_tension.png", "bytes": 126510, "sha256_16": "cefefea2d3a257eb", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_hubble_tension.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_hubble_tension.png", "bytes": 57648, "sha256_16": "1b947c2d9a23ee90", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_quadratic.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_quadratic.png", "bytes": 87061, "sha256_16": "6c2bdff4aca467ef", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/TGL_V15_images/tgl_v15_residuals.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/TGL_V15_images/tgl_v15_residuals.png", "bytes": 59604, "sha256_16": "1371d2aa8efc5aa4", "papel": "figura" }, { "path": "Genesis da Unificação/Dual_Lock/Tgl_dual_lock_v15_2.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/Tgl_dual_lock_v15_2.py", "bytes": 86225, "sha256_16": "6b31649f9c40a310", "papel": "codigo" }, { "path": "Genesis da Unificação/Dual_Lock/dual_lock_v15_v1_2_20260302_181009.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Dual_Lock/dual_lock_v15_v1_2_20260302_181009.json", "bytes": 32419, "sha256_16": "34e02efa9ca74de0", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Echo_GW/TGL_Echo_Analyzer_v8.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/TGL_Echo_Analyzer_v8.py", "bytes": 41290, "sha256_16": "2a81ca0ce3365937", "papel": "codigo" }, { "path": "Genesis da Unificação/Echo_GW/Tgl_fractal_echo_analyzer_v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/Tgl_fractal_echo_analyzer_v1.py", "bytes": 71295, "sha256_16": "ef9e670a9c1b7535", "papel": "codigo" }, { "path": "Genesis da Unificação/Echo_GW/tgl_fractal_echo_output/fractal_contraction_20260223_095301.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_fractal_echo_output/fractal_contraction_20260223_095301.png", "bytes": 172961, "sha256_16": "332e84710def7258", "papel": "figura" }, { "path": "Genesis da Unificação/Echo_GW/tgl_fractal_echo_output/fractal_echo_v1_20260223_095301.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_fractal_echo_output/fractal_echo_v1_20260223_095301.json", "bytes": 324644, "sha256_16": "f1f7f8a1f8a8868c", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Echo_GW/tgl_fractal_echo_output/fractal_hierarchy_20260223_095301.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_fractal_echo_output/fractal_hierarchy_20260223_095301.png", "bytes": 563497, "sha256_16": "b5385f500351f967", "papel": "figura" }, { "path": "Genesis da Unificação/Echo_GW/tgl_fractal_echo_output/fractal_multiband_20260223_095301.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_fractal_echo_output/fractal_multiband_20260223_095301.png", "bytes": 631249, "sha256_16": "678cef864ba9dfd2", "papel": "figura" }, { "path": "Genesis da Unificação/Echo_GW/tgl_fractal_echo_output/fractal_synthesis_20260223_095301.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_fractal_echo_output/fractal_synthesis_20260223_095301.png", "bytes": 193406, "sha256_16": "9009fe6320e44d5f", "papel": "figura" }, { "path": "Genesis da Unificação/Echo_GW/tgl_gw_echo_unification_v1.4.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_gw_echo_unification_v1.4.png", "bytes": 708371, "sha256_16": "001e014d80d6fa9b", "papel": "figura" }, { "path": "Genesis da Unificação/Echo_GW/tgl_gw_echo_unification_v1_4.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Echo_GW/tgl_gw_echo_unification_v1_4.py", "bytes": 80826, "sha256_16": "22de9f833334a5e6", "papel": "codigo" }, { "path": "Genesis da Unificação/Luminidio/AT2023vfi_JWST_29d_fluxcal.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Luminidio/AT2023vfi_JWST_29d_fluxcal.txt", "bytes": 30691, "sha256_16": "6846dd48af565ff7", "papel": "dados" }, { "path": "Genesis da Unificação/Luminidio/AT2023vfi_JWST_61d_fluxcal.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Luminidio/AT2023vfi_JWST_61d_fluxcal.txt", "bytes": 30619, "sha256_16": "d84b1a3897f87a76", "papel": "dados" }, { "path": "Genesis da Unificação/Luminidio/Luminidio_hunter.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Luminidio/Luminidio_hunter.py", "bytes": 25842, "sha256_16": "8e606979c5899c3e", "papel": "codigo" }, { "path": "Genesis da Unificação/Luminidio/luminidium_results.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Luminidio/luminidium_results.json", "bytes": 2540, "sha256_16": "dd9ccaf14d903485", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Luminidio/luminidium_results.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Luminidio/luminidium_results.png", "bytes": 176794, "sha256_16": "4954d73ae7e80b0d", "papel": "figura" }, { "path": "Genesis da Unificação/Neutrinos/TGL_Neutrino_Plots.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Neutrinos/TGL_Neutrino_Plots.png", "bytes": 174211, "sha256_16": "5f5fc66f5b27caec", "papel": "figura" }, { "path": "Genesis da Unificação/Neutrinos/TGL_Neutrino_Predictions.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Neutrinos/TGL_Neutrino_Predictions.json", "bytes": 14887, "sha256_16": "d31cebff780f15b2", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Neutrinos/TGL_Neutrino_Predictions.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Neutrinos/TGL_Neutrino_Predictions.txt", "bytes": 8627, "sha256_16": "e6fec59987f8f4fb", "papel": "dados" }, { "path": "Genesis da Unificação/Neutrinos/Tgl_neutrino_flux_predictor.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Neutrinos/Tgl_neutrino_flux_predictor.py", "bytes": 46232, "sha256_16": "08769cb5d6651351", "papel": "codigo" }, { "path": "Genesis da Unificação/Protocolo16_neural/iald_protocol16_v4_1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/iald_protocol16_v4_1.py", "bytes": 52016, "sha256_16": "e55728376f42a6b7", "papel": "codigo" }, { "path": "Genesis da Unificação/Protocolo16_neural/phase_factor_bake_v3.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/phase_factor_bake_v3.py", "bytes": 17291, "sha256_16": "ef163e6a45371a0b", "papel": "codigo" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804.json", "bytes": 16405, "sha256_16": "67ac17d0cf603ccc", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig01_gap.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig01_gap.png", "bytes": 127802, "sha256_16": "007059c838945cb8", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig02_Heff.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig02_Heff.png", "bytes": 88701, "sha256_16": "d74f5ce844cc6062", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig03_decorr.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig03_decorr.png", "bytes": 202972, "sha256_16": "f9bf26d82089a9af", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig04_neutrinos.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig04_neutrinos.png", "bytes": 141269, "sha256_16": "d873cce1ff949bee", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig05_fresnel.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig05_fresnel.png", "bytes": 346935, "sha256_16": "fa59641c5d39c9af", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig06_vacuum.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig06_vacuum.png", "bytes": 95282, "sha256_16": "128c14adaeeb7b99", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig07_cosmology.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig07_cosmology.png", "bytes": 184617, "sha256_16": "9488cf23942c6966", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig08_eos.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig08_eos.png", "bytes": 91063, "sha256_16": "124c236a237812c1", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig09_goe.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig09_goe.png", "bytes": 175325, "sha256_16": "4f61c059f786a372", "papel": "figura" }, { "path": "Genesis da Unificação/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig10_summary.png", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Protocolo16_neural/protocol16_v4_1_20260325_163804_fig10_summary.png", "bytes": 372660, "sha256_16": "4b8cb66dc4ab6f50", "papel": "figura" }, { "path": "Genesis da Unificação/Torus/iald_torus_test_v2.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Torus/iald_torus_test_v2.py", "bytes": 37537, "sha256_16": "9c82e7ac2b579ce5", "papel": "codigo" }, { "path": "Genesis da Unificação/Torus/iald_wigner_test_v2.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Torus/iald_wigner_test_v2.py", "bytes": 34672, "sha256_16": "6c2363848ab4ee41", "papel": "codigo" }, { "path": "Genesis da Unificação/Torus/torus_test_20260313_202118.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Torus/torus_test_20260313_202118.json", "bytes": 10039, "sha256_16": "033c66fcf05e8ba5", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Torus/wigner_test_20260313_192925.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Torus/wigner_test_20260313_192925.json", "bytes": 613, "sha256_16": "8b1153bb0fa7c1c0", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/O Um e o Grande Atrator - Copia.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/O%20Um%20e%20o%20Grande%20Atrator%20-%20Copia.tex", "bytes": 26756, "sha256_16": "fa5f5a553e556dba", "papel": "artigo" }, { "path": "Genesis da Unificação/Um - ensaio/O Um e o Grande Atrator.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/O%20Um%20e%20o%20Grande%20Atrator.pdf", "bytes": 320074, "sha256_16": "97752156cdf51524", "papel": "artigo" }, { "path": "Genesis da Unificação/Um - ensaio/O Um e o Grande Atrator.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/O%20Um%20e%20o%20Grande%20Atrator.tex", "bytes": 26756, "sha256_16": "fa5f5a553e556dba", "papel": "artigo" }, { "path": "Genesis da Unificação/Um - ensaio/O_UM_E_O_GRANDE_ATRATOR_SINTESE_CANONICA.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/O_UM_E_O_GRANDE_ATRATOR_SINTESE_CANONICA.md", "bytes": 5972, "sha256_16": "54c3cf0853a0ea2b", "papel": "documento" }, { "path": "Genesis da Unificação/Um - ensaio/PROMPT_NOVA_SESSAO_GRANDE_ATRATOR.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/PROMPT_NOVA_SESSAO_GRANDE_ATRATOR.md", "bytes": 15716, "sha256_16": "17e204d0887351a5", "papel": "documento" }, { "path": "Genesis da Unificação/Um - ensaio/tgl c3 register v1 - Copia.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20c3%20register%20v1%20-%20Copia.py", "bytes": 8001, "sha256_16": "f79367cf8fb376e2", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl c3 register v1 20260611 214824.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20c3%20register%20v1%2020260611%20214824.json", "bytes": 2706, "sha256_16": "685aed86b54c2be1", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl c3 register v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20c3%20register%20v1.py", "bytes": 8001, "sha256_16": "f79367cf8fb376e2", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl continuum v1 20260609 225321.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20continuum%20v1%2020260609%20225321.json", "bytes": 2620, "sha256_16": "869190fab1fb67e1", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl continuum v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20continuum%20v1.py", "bytes": 8288, "sha256_16": "20256e260893b465", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl dual name v1 20260612 022736.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20dual%20name%20v1%2020260612%20022736.json", "bytes": 4512, "sha256_16": "5fab5d39df9d4476", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl dual name v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20dual%20name%20v1.py", "bytes": 8470, "sha256_16": "da861379f893168f", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl gesture inscription v1 20260612 025911.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20gesture%20inscription%20v1%2020260612%20025911.json", "bytes": 2382, "sha256_16": "a02e864bf4d0015f", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl gesture inscription v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20gesture%20inscription%20v1.py", "bytes": 8752, "sha256_16": "0e8ca088b016436e", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl one mirror v1 20260611 221949.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20one%20mirror%20v1%2020260611%20221949.json", "bytes": 3908, "sha256_16": "1249fced3d5af1f8", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl one mirror v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20one%20mirror%20v1.py", "bytes": 9083, "sha256_16": "fc545c1f2a7825c2", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl tunnel v1 20260611 215615.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20tunnel%20v1%2020260611%20215615.json", "bytes": 2772, "sha256_16": "97951b9aab9e5e37", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Um - ensaio/tgl tunnel v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20tunnel%20v1.py", "bytes": 6689, "sha256_16": "85b937cee4d9d7b3", "papel": "codigo" }, { "path": "Genesis da Unificação/Um - ensaio/tgl video v1.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Um%20-%20ensaio/tgl%20video%20v1.py", "bytes": 19563, "sha256_16": "a589f5e1daca6a52", "papel": "codigo" }, { "path": "Genesis da Unificação/Validacao_cosmologica/RETRATACAO_v22_v23.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/RETRATACAO_v22_v23.md", "bytes": 865, "sha256_16": "102f7fee16b899f7", "papel": "documento" }, { "path": "Genesis da Unificação/Validacao_cosmologica/TGL_validation_v22.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/TGL_validation_v22.py", "bytes": 51567, "sha256_16": "557e316571a43c02", "papel": "codigo" }, { "path": "Genesis da Unificação/Validacao_cosmologica/TGL_validation_v23.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/TGL_validation_v23.py", "bytes": 44083, "sha256_16": "2c51d32e78999ea7", "papel": "codigo" }, { "path": "Genesis da Unificação/Validacao_cosmologica/TGL_validation_v6.2_complete.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/TGL_validation_v6.2_complete.py", "bytes": 118417, "sha256_16": "e0cc70bd81d51c94", "papel": "codigo" }, { "path": "Genesis da Unificação/Validacao_cosmologica/TGL_validation_v6.5_complete.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/TGL_validation_v6.5_complete.py", "bytes": 47575, "sha256_16": "b77453c1e99d3e94", "papel": "codigo" }, { "path": "Genesis da Unificação/Validacao_cosmologica/tgl_v6_all_results_20260203_172853.csv", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/tgl_v6_all_results_20260203_172853.csv", "bytes": 4553, "sha256_16": "9a1986edc4a96b69", "papel": "dados" }, { "path": "Genesis da Unificação/Validacao_cosmologica/tgl_validation_v22.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/tgl_validation_v22.json", "bytes": 4301, "sha256_16": "317356cc6ff8b61d", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Validacao_cosmologica/tgl_validation_v23.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/tgl_validation_v23.json", "bytes": 5108, "sha256_16": "1bbd1ce31fe29ffe", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Validacao_cosmologica/tgl_validation_v6_summary_20260203_172853.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/tgl_validation_v6_summary_20260203_172853.json", "bytes": 21261, "sha256_16": "16caf715cb221387", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Validacao_cosmologica/unification_v1.4_20260218_160551.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/unification_v1.4_20260218_160551.json", "bytes": 57417, "sha256_16": "3422e25d78290911", "papel": "resultado selado" }, { "path": "Genesis da Unificação/Validacao_cosmologica/validation_v8.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Genesis%20da%20Unifica%C3%A7%C3%A3o/Validacao_cosmologica/validation_v8.json", "bytes": 12146, "sha256_16": "74ca1951ae1bd3b7", "papel": "resultado selado" }, { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/T6_protocol_prompts.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/T6_protocol_prompts.txt", "bytes": 16671, "sha256_16": "d4ec1f20ad35366e", "papel": "dados" }, { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/paper_PT.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/paper_PT.pdf", "bytes": 1596510, "sha256_16": "b78bf80102c12811", "papel": "artigo" }, { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/paper_PT.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/paper_PT.tex", "bytes": 286095, "sha256_16": "559d79fb81b0af6c", "papel": "artigo" }, { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/results.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/results.json", "bytes": 314297, "sha256_16": "6024bdd425125c63", "papel": "resultado selado" }, { "path": "O Custo Geométrico do Zero Absoluto — Haja Luz/tgl_paper_unified.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/O%20Custo%20Geom%C3%A9trico%20do%20Zero%20Absoluto%20%E2%80%94%20Haja%20Luz/tgl_paper_unified.py", "bytes": 1216423, "sha256_16": "29c92b66b2fd6b4d", "papel": "canonico" }, { "path": "README.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/README.md", "bytes": 344600, "sha256_16": "b2a0c4157691f0ce", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/DESENHO_DO_FECHAMENTO_QG.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/DESENHO_DO_FECHAMENTO_QG.md", "bytes": 58820, "sha256_16": "3607e8cb57254c13", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/Lean/LEIA-ME_KERNEL_DERIVADO.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/LEIA-ME_KERNEL_DERIVADO.md", "bytes": 1197, "sha256_16": "1b4db9692344c451", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/FrontierCertificate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/FrontierCertificate.lean", "bytes": 4606, "sha256_16": "1015e2fb8f4e8ebb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAccuser.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAccuser.lean", "bytes": 4420, "sha256_16": "c485430a58323ff3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAlgebraicReader.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAlgebraicReader.lean", "bytes": 6556, "sha256_16": "2dfe61b0b6f5537f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAnchorFour.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAnchorFour.lean", "bytes": 3046, "sha256_16": "af35641bf520ba34", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAngleIsTheBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAngleIsTheBridge.lean", "bytes": 14164, "sha256_16": "294cf45baae121cd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAngleIsTheProjection.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAngleIsTheProjection.lean", "bytes": 8009, "sha256_16": "2c5734ab4d607ef6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheAtermation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheAtermation.lean", "bytes": 6059, "sha256_16": "7cb9394d87132306", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheBireference.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheBireference.lean", "bytes": 4928, "sha256_16": "20dcf0e4c395f73d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCascadeOfObservers.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCascadeOfObservers.lean", "bytes": 6153, "sha256_16": "2792ab10181d2883", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheClassicalImport.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheClassicalImport.lean", "bytes": 6185, "sha256_16": "6c614681982a1c40", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCoFoundation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCoFoundation.lean", "bytes": 6845, "sha256_16": "0af9b4a0cde44a8f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCompressionIsNotIdentifiable.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCompressionIsNotIdentifiable.lean", "bytes": 8475, "sha256_16": "ea7bb6fe6f1cd30c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheContourOfTruth.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheContourOfTruth.lean", "bytes": 5637, "sha256_16": "ce6cd6d2cb1cf0cb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCoordinateBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCoordinateBridge.lean", "bytes": 5290, "sha256_16": "3450d010d65c4210", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCornerEmbedding.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCornerEmbedding.lean", "bytes": 3928, "sha256_16": "b8a602f7294ab58a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCornerOfThePackage.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCornerOfThePackage.lean", "bytes": 6485, "sha256_16": "0ad9fc2d4c6b82cf", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCorrespondence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCorrespondence.lean", "bytes": 7771, "sha256_16": "8a9d2899bab42d26", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCostIsDerived.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCostIsDerived.lean", "bytes": 4523, "sha256_16": "bddc44bdca6b16d4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCrownedCascade.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCrownedCascade.lean", "bytes": 4468, "sha256_16": "04a243cbe02b5e26", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheCurrentConnectsTheCorners.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheCurrentConnectsTheCorners.lean", "bytes": 6872, "sha256_16": "b4aa59a76ea6c84c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheDarkSplit.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheDarkSplit.lean", "bytes": 5905, "sha256_16": "53f05130c26a5202", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheDeadChannel.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheDeadChannel.lean", "bytes": 4176, "sha256_16": "d9c2eb9d67cceaf5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheDebtWithoutJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheDebtWithoutJ.lean", "bytes": 6565, "sha256_16": "e4b59f6ab9267362", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheEmptying.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheEmptying.lean", "bytes": 7887, "sha256_16": "01449b8aae89a530", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheFalseHasNoGeometry.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheFalseHasNoGeometry.lean", "bytes": 5594, "sha256_16": "516318d178f0a6e9", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheFullBirkhoff.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheFullBirkhoff.lean", "bytes": 4942, "sha256_16": "7970d3fe8762fee7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheGeometricCostOfAbsoluteZero.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheGeometricCostOfAbsoluteZero.lean", "bytes": 4439, "sha256_16": "299ef10c96770aac", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheHorizonInvariance.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheHorizonInvariance.lean", "bytes": 12646, "sha256_16": "d62d4ed9bf885d4b", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheHorizonRate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheHorizonRate.lean", "bytes": 4837, "sha256_16": "8780a0153cbfe0d2", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheIALDInTheTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheIALDInTheTower.lean", "bytes": 6914, "sha256_16": "30cd48f648b2fb82", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheIALDInTheTowerActII.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheIALDInTheTowerActII.lean", "bytes": 4988, "sha256_16": "217ef46de0bb7665", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheImportedEquilibrium.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheImportedEquilibrium.lean", "bytes": 6817, "sha256_16": "6ce0e9c29fd92670", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheIntersectionOfCommutants.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheIntersectionOfCommutants.lean", "bytes": 5453, "sha256_16": "7e4db767b978ddb8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheJudgedThing.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheJudgedThing.lean", "bytes": 4488, "sha256_16": "3b97d4c5aae4f891", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheLegibility.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheLegibility.lean", "bytes": 1295, "sha256_16": "dc76845ca0c9a288", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheLightInterface.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheLightInterface.lean", "bytes": 9656, "sha256_16": "6d1e1567a4cc5b05", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheMatrixAndTheModulator.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheMatrixAndTheModulator.lean", "bytes": 9828, "sha256_16": "c39e4dcba8eb2354", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheModularRelations.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheModularRelations.lean", "bytes": 11220, "sha256_16": "2cd411ab76d72956", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheNameAndItsReferent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheNameAndItsReferent.lean", "bytes": 10251, "sha256_16": "214260a5ad41d02a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheNameIsTheGeneratingGroup.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheNameIsTheGeneratingGroup.lean", "bytes": 7775, "sha256_16": "7f0bca1980afd1c4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheNetFiresTheCorner.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheNetFiresTheCorner.lean", "bytes": 4765, "sha256_16": "b35d65a50b52d92f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheNonLinearCausality.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheNonLinearCausality.lean", "bytes": 3792, "sha256_16": "27ff96e7969f25ef", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheObserverReadsTheAngle.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheObserverReadsTheAngle.lean", "bytes": 6506, "sha256_16": "c764e90722306f98", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheOriginOfTheVibration.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheOriginOfTheVibration.lean", "bytes": 4513, "sha256_16": "e5a7f11f79b5af73", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/ThePermanence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/ThePermanence.lean", "bytes": 6612, "sha256_16": "27a3bc9bd4b6434d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/ThePhysicalHorizon.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/ThePhysicalHorizon.lean", "bytes": 4267, "sha256_16": "91bcfa7fe8077ae6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/ThePsionReducesToTheCurrent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/ThePsionReducesToTheCurrent.lean", "bytes": 5275, "sha256_16": "474a9d4c527f8fec", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheRecordOfJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheRecordOfJ.lean", "bytes": 7667, "sha256_16": "737dc89e6f2c5921", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheScaleHasNoFixedPoint.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheScaleHasNoFixedPoint.lean", "bytes": 6891, "sha256_16": "0ed72186957c2a8a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheSchwarzschildUniqueness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheSchwarzschildUniqueness.lean", "bytes": 10393, "sha256_16": "02449c5a8d32578a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheSelectorCanRefuse.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheSelectorCanRefuse.lean", "bytes": 9107, "sha256_16": "c519b8ada899538b", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheSelectorIsNotEnough.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheSelectorIsNotEnough.lean", "bytes": 6047, "sha256_16": "b62d255e1f9a5f46", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheSingularExpectation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheSingularExpectation.lean", "bytes": 6427, "sha256_16": "b1995cc2019e1ce6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTerminalRankOne.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTerminalRankOne.lean", "bytes": 6091, "sha256_16": "4450fd1b63407afc", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTower.lean", "bytes": 5369, "sha256_16": "744e1d9607f65d07", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTowerInnerProduct.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTowerInnerProduct.lean", "bytes": 5548, "sha256_16": "bdaac2f44fdbc3cd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTraceIsNotErasable.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTraceIsNotErasable.lean", "bytes": 7818, "sha256_16": "fb65565eb084cfce", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTrueWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTrueWitness.lean", "bytes": 5089, "sha256_16": "863bdfbe96eaa989", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTwoFolds.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTwoFolds.lean", "bytes": 9497, "sha256_16": "318e5b1433306882", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTwoFunctionSolder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTwoFunctionSolder.lean", "bytes": 5192, "sha256_16": "1d9a29bb3d2562aa", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTwoPairings.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTwoPairings.lean", "bytes": 6119, "sha256_16": "46d72f4956f7e087", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheTwoPolesHaveContent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheTwoPolesHaveContent.lean", "bytes": 4681, "sha256_16": "1e17af908c1d6025", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/kernel_bancada/TheWideNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/kernel_bancada/TheWideNet.lean", "bytes": 15885, "sha256_16": "ef26e912a6ed418a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/ExtrairDeps.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/ExtrairDeps.lean", "bytes": 2113, "sha256_16": "eefdc950db020150", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/README.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/README.md", "bytes": 5819, "sha256_16": "0f8af44005bb6f41", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL.lean", "bytes": 415, "sha256_16": "a8103a482049e7a7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/AreaScale.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/AreaScale.lean", "bytes": 1658, "sha256_16": "7058ae26f99f44f2", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Audit.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Audit.lean", "bytes": 90375, "sha256_16": "cac38bf118f0cac3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Basic.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Basic.lean", "bytes": 1003, "sha256_16": "6de2b310b37c0af5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ContinuousCornerAbstract.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ContinuousCornerAbstract.lean", "bytes": 3605, "sha256_16": "4fdd0cbdc5d56f1f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/CoreSupport.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/CoreSupport.lean", "bytes": 6731, "sha256_16": "041fb863b07c3e0a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/FiniteThreeLocks.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/FiniteThreeLocks.lean", "bytes": 5719, "sha256_16": "612f2384ca441da2", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/GravitonShadow.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/GravitonShadow.lean", "bytes": 6112, "sha256_16": "de9d4eba70977bb4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/HalfNat.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/HalfNat.lean", "bytes": 652, "sha256_16": "cf79d85fdebab686", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/HalfNatFresnel.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/HalfNatFresnel.lean", "bytes": 1427, "sha256_16": "5d16a6e04f5e97fd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/HalfNatJonesTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/HalfNatJonesTower.lean", "bytes": 9198, "sha256_16": "440c4d9497e31a02", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Main.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Main.lean", "bytes": 671, "sha256_16": "05266e573d3f476f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ModularRealization.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ModularRealization.lean", "bytes": 11569, "sha256_16": "17e344c8b7b40ae8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/NameIndex.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/NameIndex.lean", "bytes": 6840, "sha256_16": "c55044e2aa6ef076", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/NameRelation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/NameRelation.lean", "bytes": 7928, "sha256_16": "02f69df45d7c1e39", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Probe.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Probe.lean", "bytes": 1015, "sha256_16": "3954829f86511e84", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Probe2.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Probe2.lean", "bytes": 1238, "sha256_16": "05bbb2cccee15938", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Probe3.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Probe3.lean", "bytes": 2170, "sha256_16": "35638a94030ef8f8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/Probe4.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/Probe4.lean", "bytes": 1062, "sha256_16": "7101d535745be124", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbeDegenerate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbeDegenerate.lean", "bytes": 1952, "sha256_16": "d1cdc9b5728e7899", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbeFiniteFullWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbeFiniteFullWitness.lean", "bytes": 1160, "sha256_16": "cc89ac970844eb3d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbeModularAPI.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbeModularAPI.lean", "bytes": 2759, "sha256_16": "9f5fded048b17616", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbeNameIndexNoOptimal.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbeNameIndexNoOptimal.lean", "bytes": 987, "sha256_16": "9f3d895eaa0d7218", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbePropOnlyModular.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbePropOnlyModular.lean", "bytes": 1263, "sha256_16": "f277643284c620bb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/ProbeTrivial.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/ProbeTrivial.lean", "bytes": 1868, "sha256_16": "4993bd3fd6da17f7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/SpecificAQFTWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/SpecificAQFTWitness.lean", "bytes": 6967, "sha256_16": "31f3e8d5aed98935", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/TransportData.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/TransportData.lean", "bytes": 10286, "sha256_16": "95cbefeed54a5f5e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGL/VerbInhabitant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGL/VerbInhabitant.lean", "bytes": 6545, "sha256_16": "812a47f0e71a86f3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt.lean", "bytes": 7625, "sha256_16": "289a4b4f049328f0", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/AQFTCoreInhabitant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/AQFTCoreInhabitant.lean", "bytes": 8669, "sha256_16": "4cfd8053f5366543", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/AbsoluteOne.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/AbsoluteOne.lean", "bytes": 7927, "sha256_16": "dd0325368992ecdd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/AnsatzEinstein.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/AnsatzEinstein.lean", "bytes": 7901, "sha256_16": "88ed36908dbc290f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/BenchCertificate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/BenchCertificate.lean", "bytes": 10784, "sha256_16": "78c05090f2cd93fb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/Bicommutant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/Bicommutant.lean", "bytes": 18383, "sha256_16": "354f1a50e11c4c3d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/BicommutantSkeleton.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/BicommutantSkeleton.lean", "bytes": 9220, "sha256_16": "428df3db6eb05456", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/BisognanoWichmann.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/BisognanoWichmann.lean", "bytes": 8191, "sha256_16": "5218c8eb32682a58", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/BoundaryException.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/BoundaryException.lean", "bytes": 7375, "sha256_16": "38ff7c2bfe243333", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/BreuerTrace.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/BreuerTrace.lean", "bytes": 5951, "sha256_16": "4a667f41d3b7bb1d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ClosedLattice.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ClosedLattice.lean", "bytes": 6533, "sha256_16": "1cc93d55463aaf61", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ClosureCertificate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ClosureCertificate.lean", "bytes": 6881, "sha256_16": "977a24815e7a3eae", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/Cocycle.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/Cocycle.lean", "bytes": 9237, "sha256_16": "28dd4546e6529831", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ColimitSeed.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ColimitSeed.lean", "bytes": 5665, "sha256_16": "528d769f4751816f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/Commutant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/Commutant.lean", "bytes": 3824, "sha256_16": "114782c4fb991da1", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ConcreteFourFrame.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ConcreteFourFrame.lean", "bytes": 4023, "sha256_16": "4c3d4ab63b2df108", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/CondExpect.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/CondExpect.lean", "bytes": 6996, "sha256_16": "33e0eecd498ec326", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ConjugateAct.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ConjugateAct.lean", "bytes": 9000, "sha256_16": "9f32e50afe49ca0e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ConjugateWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ConjugateWitness.lean", "bytes": 4202, "sha256_16": "09717611e32d8650", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ContinuousModularZero.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ContinuousModularZero.lean", "bytes": 12075, "sha256_16": "0dad5794f98ba1cb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ContinuumShards.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ContinuumShards.lean", "bytes": 9515, "sha256_16": "18e43b74a336360f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ContinuumTT.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ContinuumTT.lean", "bytes": 9337, "sha256_16": "21c62b855a477119", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/CornerFamily.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/CornerFamily.lean", "bytes": 9028, "sha256_16": "bbceea91341abcf2", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/CovariantCorner.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/CovariantCorner.lean", "bytes": 7960, "sha256_16": "155cb43d01bb7645", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/DecisionCommutation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/DecisionCommutation.lean", "bytes": 12794, "sha256_16": "182ba6345586d5e8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/DimensionTrace.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/DimensionTrace.lean", "bytes": 4778, "sha256_16": "cdadc9fdf8ed641c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/EmergenceTriad.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/EmergenceTriad.lean", "bytes": 10242, "sha256_16": "3b7c6220060598fb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/EmergentEinstein.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/EmergentEinstein.lean", "bytes": 14641, "sha256_16": "836ac3e4035afc52", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/EquivariantSection.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/EquivariantSection.lean", "bytes": 7157, "sha256_16": "87de6cc37a8f3a80", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ErgodicMeanSection.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ErgodicMeanSection.lean", "bytes": 6954, "sha256_16": "c27a343e7d4e39c1", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/Ergodicity.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/Ergodicity.lean", "bytes": 13583, "sha256_16": "79bc3b939b6e4e59", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ExactWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ExactWitness.lean", "bytes": 8276, "sha256_16": "c1c8bf0a6fc0d7ab", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FallenLight.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FallenLight.lean", "bytes": 3556, "sha256_16": "145eed2729d232ee", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FiniteCrossedProduct.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FiniteCrossedProduct.lean", "bytes": 31622, "sha256_16": "330b9624b2ae0d81", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FiniteGNSNoCompletion.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FiniteGNSNoCompletion.lean", "bytes": 6083, "sha256_16": "056170ec3f509290", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FiniteTomita.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FiniteTomita.lean", "bytes": 9051, "sha256_16": "f845a71a81bb0258", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FirstCurvature.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FirstCurvature.lean", "bytes": 10711, "sha256_16": "d88d4a5fa15462f4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ForbiddenBoundary.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ForbiddenBoundary.lean", "bytes": 8510, "sha256_16": "fb1c39a61dfc2882", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FractalUnitarity.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FractalUnitarity.lean", "bytes": 3762, "sha256_16": "8f10a958e11d1bd3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FrontierCertificate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FrontierCertificate.lean", "bytes": 4606, "sha256_16": "1015e2fb8f4e8ebb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/FusedWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/FusedWitness.lean", "bytes": 12927, "sha256_16": "3708dde5255559cd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GNSBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GNSBridge.lean", "bytes": 5181, "sha256_16": "a625e38824790f94", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GNSQuotient.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GNSQuotient.lean", "bytes": 6443, "sha256_16": "d6b3ac4f4306516a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GNSTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GNSTower.lean", "bytes": 6169, "sha256_16": "bef660d621d3d5a9", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GeneralNull.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GeneralNull.lean", "bytes": 6317, "sha256_16": "b8704cf7c144db3f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GeometricWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GeometricWitness.lean", "bytes": 6326, "sha256_16": "c971c7b2a45420bc", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GeometryFluctuation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GeometryFluctuation.lean", "bytes": 8673, "sha256_16": "c70403c706d7b033", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GlobalLiftConditional.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GlobalLiftConditional.lean", "bytes": 11002, "sha256_16": "ba5731ef6f86f75a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GlobalLiftLadder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GlobalLiftLadder.lean", "bytes": 12099, "sha256_16": "d7cf95aac8c872f7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GravitonPolarization.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GravitonPolarization.lean", "bytes": 10088, "sha256_16": "b51528b11b867c57", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/GravitonReading.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/GravitonReading.lean", "bytes": 2298, "sha256_16": "4b9cdbbdf1d0c20d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/HajaLuz.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/HajaLuz.lean", "bytes": 7382, "sha256_16": "c43c07467e1e2caa", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/HilbertHome.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/HilbertHome.lean", "bytes": 11940, "sha256_16": "449bdee93696fc5f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/HilbertInhabitant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/HilbertInhabitant.lean", "bytes": 8347, "sha256_16": "d1aeebee94883f27", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/IdealLimit.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/IdealLimit.lean", "bytes": 4420, "sha256_16": "3f0147199cbaa919", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/InfiniteWord.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/InfiniteWord.lean", "bytes": 15830, "sha256_16": "ead8928528c8f42c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/InvariantProjection.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/InvariantProjection.lean", "bytes": 8798, "sha256_16": "fef79118c7b544f4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/IsotoneNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/IsotoneNet.lean", "bytes": 11619, "sha256_16": "b4575ad7ce6f82c5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/LeftRight.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/LeftRight.lean", "bytes": 4953, "sha256_16": "fd127e4d3b361423", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/LightIsJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/LightIsJ.lean", "bytes": 6181, "sha256_16": "d19dfe1ccda81258", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/LinearizedSpin2.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/LinearizedSpin2.lean", "bytes": 6001, "sha256_16": "8cbd46c5200f92df", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/LocalBreuerGap.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/LocalBreuerGap.lean", "bytes": 20228, "sha256_16": "8ec73c7d9e703d6c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/MarkovTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/MarkovTower.lean", "bytes": 9464, "sha256_16": "5b542018622975c4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/MinimalSolder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/MinimalSolder.lean", "bytes": 7131, "sha256_16": "53dbb33e260a46eb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/MixedLadder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/MixedLadder.lean", "bytes": 6361, "sha256_16": "eb43ba5a3ee66412", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ModularCurrent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ModularCurrent.lean", "bytes": 5360, "sha256_16": "5fe336cadea3140f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ModularFirstLaw.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ModularFirstLaw.lean", "bytes": 4875, "sha256_16": "aee3eb49a6d0544e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ModularFlow.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ModularFlow.lean", "bytes": 6293, "sha256_16": "62cfa753d4b40a90", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/NoFullWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/NoFullWitness.lean", "bytes": 7250, "sha256_16": "fde4ca999c40e689", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/NoNormalTrace.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/NoNormalTrace.lean", "bytes": 25735, "sha256_16": "7c5090ec79fa4239", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/NumberOperator.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/NumberOperator.lean", "bytes": 7451, "sha256_16": "f6b2c0670ed3524d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/NumberSelfAdjoint.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/NumberSelfAdjoint.lean", "bytes": 11856, "sha256_16": "72dee88258250dea", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ObserverInside.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ObserverInside.lean", "bytes": 9174, "sha256_16": "05c3b515fd9f5d9d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PPIndex.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PPIndex.lean", "bytes": 18469, "sha256_16": "7f6dc10d57b48524", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PageInformation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PageInformation.lean", "bytes": 7633, "sha256_16": "a36b61ba76d0c9d6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PhysicsCertificates.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PhysicsCertificates.lean", "bytes": 13701, "sha256_16": "4ad9adae62d6d787", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PoincareGroup.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PoincareGroup.lean", "bytes": 12544, "sha256_16": "c73c927631381aa7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PoincareWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PoincareWitness.lean", "bytes": 11155, "sha256_16": "848f2937f35ec50b", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PowersLadder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PowersLadder.lean", "bytes": 14483, "sha256_16": "d6362c6079146ff4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ProgrammerRule.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ProgrammerRule.lean", "bytes": 4521, "sha256_16": "89e5e14bee9dc4aa", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/PsiEmergence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/PsiEmergence.lean", "bytes": 7887, "sha256_16": "ff0fd49da7bda187", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/RGStability.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/RGStability.lean", "bytes": 3924, "sha256_16": "ae3c1eeee6d86ea4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ReducedEmergence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ReducedEmergence.lean", "bytes": 4464, "sha256_16": "d11854b264e6e17c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/RegularRep.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/RegularRep.lean", "bytes": 14152, "sha256_16": "a3861da9c4d4e8ef", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/RhoPlusPClosure.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/RhoPlusPClosure.lean", "bytes": 4561, "sha256_16": "cd80fbbe00300454", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/RightMult.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/RightMult.lean", "bytes": 25443, "sha256_16": "29b5e130da72914a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SMatrix.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SMatrix.lean", "bytes": 13011, "sha256_16": "14f7e717a4ef7020", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SaturatedWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SaturatedWitness.lean", "bytes": 6273, "sha256_16": "a0a5eed4d46ae567", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ScaleCurrent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ScaleCurrent.lean", "bytes": 3482, "sha256_16": "ca57ab98df381654", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SecondCone.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SecondCone.lean", "bytes": 9507, "sha256_16": "9bafc9fcbf9fc6eb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SemifiniteLattice.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SemifiniteLattice.lean", "bytes": 10179, "sha256_16": "37ca0a1db916c939", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SemifiniteSeed.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SemifiniteSeed.lean", "bytes": 5422, "sha256_16": "9e91547595c6fdfa", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SemifiniteWeight.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SemifiniteWeight.lean", "bytes": 7760, "sha256_16": "1b4044715c04a357", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SignatureInTheLimit.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SignatureInTheLimit.lean", "bytes": 16103, "sha256_16": "c38a0cef7aa8f409", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/Solder4D.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/Solder4D.lean", "bytes": 11505, "sha256_16": "70f3c2aa3336b716", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SolderField.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SolderField.lean", "bytes": 6514, "sha256_16": "5dd64e3c8edb8729", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SolderSignature.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SolderSignature.lean", "bytes": 4239, "sha256_16": "72b5b6ddd2a04371", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SolvedEquation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SolvedEquation.lean", "bytes": 7190, "sha256_16": "052856927e7668d0", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SpectralReduction.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SpectralReduction.lean", "bytes": 8677, "sha256_16": "5e52f59e86bb353f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/StrongAssembly.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/StrongAssembly.lean", "bytes": 5797, "sha256_16": "34758f8d20a242bc", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/StrongFrame.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/StrongFrame.lean", "bytes": 3939, "sha256_16": "648a6f282bfa8d5e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/SusyRelativeGap.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/SusyRelativeGap.lean", "bytes": 8700, "sha256_16": "3aa058b5c4f098e3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TTSuperposition.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TTSuperposition.lean", "bytes": 5434, "sha256_16": "7beb841f082e34be", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TailNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TailNet.lean", "bytes": 11208, "sha256_16": "e7654368112f1af5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAccuser.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAccuser.lean", "bytes": 4420, "sha256_16": "c485430a58323ff3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAlgebraicReader.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAlgebraicReader.lean", "bytes": 6556, "sha256_16": "2dfe61b0b6f5537f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAnchorFour.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAnchorFour.lean", "bytes": 3046, "sha256_16": "af35641bf520ba34", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAngleIsTheBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAngleIsTheBridge.lean", "bytes": 14164, "sha256_16": "294cf45baae121cd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAngleIsTheProjection.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAngleIsTheProjection.lean", "bytes": 7840, "sha256_16": "9800cc0728259e08", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAntiunitaryInhabitant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAntiunitaryInhabitant.lean", "bytes": 9377, "sha256_16": "98772d9fd38a4af6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAtermation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAtermation.lean", "bytes": 6059, "sha256_16": "7cb9394d87132306", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAtlasIndex.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAtlasIndex.lean", "bytes": 3305, "sha256_16": "38b9873cebdd779a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheAtomOfIdentity.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheAtomOfIdentity.lean", "bytes": 8134, "sha256_16": "916056ff895447f5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheBandNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheBandNet.lean", "bytes": 6221, "sha256_16": "ce91de5490bcdb40", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheBireference.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheBireference.lean", "bytes": 4823, "sha256_16": "899b1b07df5416ed", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheBoundaryDuality.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheBoundaryDuality.lean", "bytes": 4350, "sha256_16": "311e0e8b54adf8de", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCarrierBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCarrierBridge.lean", "bytes": 2121, "sha256_16": "173ffa020254512f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCascadeOfObservers.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCascadeOfObservers.lean", "bytes": 6153, "sha256_16": "2792ab10181d2883", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheClassicalImport.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheClassicalImport.lean", "bytes": 6185, "sha256_16": "6c614681982a1c40", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCoFoundation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCoFoundation.lean", "bytes": 6845, "sha256_16": "0af9b4a0cde44a8f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCoinage.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCoinage.lean", "bytes": 3668, "sha256_16": "63d5a1d80236bb42", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheColimitDuality.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheColimitDuality.lean", "bytes": 3176, "sha256_16": "04831b06f0e8bf54", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheColimitIsometry.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheColimitIsometry.lean", "bytes": 2258, "sha256_16": "e78cfb211b63084a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCommutationAtTheFloor.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCommutationAtTheFloor.lean", "bytes": 2887, "sha256_16": "3c3b6fb2a2347030", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCompletionExtension.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCompletionExtension.lean", "bytes": 4260, "sha256_16": "fd5701dbd31950dc", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCompressionIsNotIdentifiable.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCompressionIsNotIdentifiable.lean", "bytes": 8306, "sha256_16": "082cb1facd66ff98", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheConditionalCertificate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheConditionalCertificate.lean", "bytes": 3489, "sha256_16": "5d43b0c538354e22", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheConjugationMapsCommutants.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheConjugationMapsCommutants.lean", "bytes": 3511, "sha256_16": "0fd2461d9db06683", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheConjugationOfOperators.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheConjugationOfOperators.lean", "bytes": 5166, "sha256_16": "17bc959ae14d1b21", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheContourOfTruth.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheContourOfTruth.lean", "bytes": 5637, "sha256_16": "ce6cd6d2cb1cf0cb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheConverseClauseReduced.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheConverseClauseReduced.lean", "bytes": 3082, "sha256_16": "04c30acfc2ea561d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCoordinateBridge.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCoordinateBridge.lean", "bytes": 5290, "sha256_16": "3450d010d65c4210", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCornerEmbedding.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCornerEmbedding.lean", "bytes": 3928, "sha256_16": "b8a602f7294ab58a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCornerOfThePackage.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCornerOfThePackage.lean", "bytes": 6485, "sha256_16": "0ad9fc2d4c6b82cf", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCorrespondence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCorrespondence.lean", "bytes": 7771, "sha256_16": "8a9d2899bab42d26", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCostIsDerived.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCostIsDerived.lean", "bytes": 4523, "sha256_16": "bddc44bdca6b16d4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCrownedCascade.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCrownedCascade.lean", "bytes": 4468, "sha256_16": "04a243cbe02b5e26", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheCurrentConnectsTheCorners.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheCurrentConnectsTheCorners.lean", "bytes": 7392, "sha256_16": "ed213f28d250b874", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDarkSplit.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDarkSplit.lean", "bytes": 5905, "sha256_16": "53f05130c26a5202", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDeadChannel.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDeadChannel.lean", "bytes": 4176, "sha256_16": "d9c2eb9d67cceaf5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDeathOfTheSignal.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDeathOfTheSignal.lean", "bytes": 6795, "sha256_16": "4539dd68fdaac084", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDebtWithoutJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDebtWithoutJ.lean", "bytes": 6565, "sha256_16": "e4b59f6ab9267362", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDensityIsBell.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDensityIsBell.lean", "bytes": 3598, "sha256_16": "9247b9f468357280", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheDensityIsTransport.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheDensityIsTransport.lean", "bytes": 2880, "sha256_16": "a59cd43d50e934cb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheEmptying.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheEmptying.lean", "bytes": 7723, "sha256_16": "c88b781f96485a97", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheEntanglementNotConjunction.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheEntanglementNotConjunction.lean", "bytes": 2978, "sha256_16": "a4b8cc089c86e19a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheExoneratedDemon.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheExoneratedDemon.lean", "bytes": 3862, "sha256_16": "5c645690b54c529b", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheExplosion.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheExplosion.lean", "bytes": 17917, "sha256_16": "330a20e15f4015d2", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFactorObject.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFactorObject.lean", "bytes": 5915, "sha256_16": "570ba4fd7b8edba4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFalseHasNoGeometry.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFalseHasNoGeometry.lean", "bytes": 5594, "sha256_16": "516318d178f0a6e9", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFiveHalves.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFiveHalves.lean", "bytes": 8035, "sha256_16": "456c66269b72d30f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFold.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFold.lean", "bytes": 6584, "sha256_16": "e4546410da663f73", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFoldIsNotADistance.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFoldIsNotADistance.lean", "bytes": 3378, "sha256_16": "45bb4c7c82a9e533", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFoldThroughJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFoldThroughJ.lean", "bytes": 22152, "sha256_16": "d54e7fd1c6336a76", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheFullBirkhoff.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheFullBirkhoff.lean", "bytes": 4942, "sha256_16": "7970d3fe8762fee7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheGeometricCostOfAbsoluteZero.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheGeometricCostOfAbsoluteZero.lean", "bytes": 4439, "sha256_16": "299ef10c96770aac", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheGravitonIsTheConjugatedPhase.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheGravitonIsTheConjugatedPhase.lean", "bytes": 6420, "sha256_16": "6f5f04ab96dd16f8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheGreatAttractor.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheGreatAttractor.lean", "bytes": 6580, "sha256_16": "a0db70a17354c75c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheHorizonInvariance.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheHorizonInvariance.lean", "bytes": 12397, "sha256_16": "a2d375c815150656", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheHorizonRate.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheHorizonRate.lean", "bytes": 4731, "sha256_16": "0638b438d53d6c6e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIALDInTheTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIALDInTheTower.lean", "bytes": 6914, "sha256_16": "30cd48f648b2fb82", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIALDInTheTowerActII.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIALDInTheTowerActII.lean", "bytes": 4988, "sha256_16": "217ef46de0bb7665", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIALDSelector.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIALDSelector.lean", "bytes": 3985, "sha256_16": "c1008266455044e7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIdentityOfIdentity.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIdentityOfIdentity.lean", "bytes": 3678, "sha256_16": "5353469e1c4d0bae", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheImageAndTheReading.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheImageAndTheReading.lean", "bytes": 7052, "sha256_16": "839b4abfaab83237", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheImportedCommutation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheImportedCommutation.lean", "bytes": 8588, "sha256_16": "ea339fe189ea40bf", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheImportedEquilibrium.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheImportedEquilibrium.lean", "bytes": 6817, "sha256_16": "6ce0e9c29fd92670", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIntersectionOfCommutants.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIntersectionOfCommutants.lean", "bytes": 5453, "sha256_16": "7e4db767b978ddb8", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheIsometryOnWH.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheIsometryOnWH.lean", "bytes": 1925, "sha256_16": "0c4c8b35d3c7ad88", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheJudgedThing.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheJudgedThing.lean", "bytes": 4488, "sha256_16": "3b97d4c5aae4f891", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheLegibility.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheLegibility.lean", "bytes": 1295, "sha256_16": "dc76845ca0c9a288", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheLightInterface.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheLightInterface.lean", "bytes": 9656, "sha256_16": "6d1e1567a4cc5b05", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheLivingWord.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheLivingWord.lean", "bytes": 9781, "sha256_16": "fdc242c2c70b57fa", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheLivingWordClosure.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheLivingWordClosure.lean", "bytes": 3136, "sha256_16": "40eb074dc85a7650", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheMarkIsNotATypeMark.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheMarkIsNotATypeMark.lean", "bytes": 5522, "sha256_16": "b36e35176fb81c70", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheMasterFires.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheMasterFires.lean", "bytes": 5834, "sha256_16": "862fc44434b23cb3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheMatrixAndTheModulator.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheMatrixAndTheModulator.lean", "bytes": 9828, "sha256_16": "c39e4dcba8eb2354", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheModularRelations.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheModularRelations.lean", "bytes": 11220, "sha256_16": "2cd411ab76d72956", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNameAndItsReferent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNameAndItsReferent.lean", "bytes": 10251, "sha256_16": "214260a5ad41d02a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNameIsTheGeneratingGroup.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNameIsTheGeneratingGroup.lean", "bytes": 9805, "sha256_16": "2dedbe4a7e25bcd9", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNameOperator.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNameOperator.lean", "bytes": 8952, "sha256_16": "000bd0bf03281e00", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNetFiresTheCorner.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNetFiresTheCorner.lean", "bytes": 4765, "sha256_16": "b35d65a50b52d92f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNonLinearCausality.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNonLinearCausality.lean", "bytes": 3792, "sha256_16": "27ff96e7969f25ef", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNonMinimalCoupling.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNonMinimalCoupling.lean", "bytes": 6920, "sha256_16": "03576ea2958ffc4c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheNucleus.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheNucleus.lean", "bytes": 8913, "sha256_16": "44de50dd2955f1f7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheObserverReadsTheAngle.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheObserverReadsTheAngle.lean", "bytes": 6506, "sha256_16": "c764e90722306f98", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheOriginOfTheVibration.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheOriginOfTheVibration.lean", "bytes": 4513, "sha256_16": "e5a7f11f79b5af73", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ThePermanence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ThePermanence.lean", "bytes": 6612, "sha256_16": "27a3bc9bd4b6434d", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ThePhysicalHorizon.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ThePhysicalHorizon.lean", "bytes": 4267, "sha256_16": "91bcfa7fe8077ae6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheProfileConjugation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheProfileConjugation.lean", "bytes": 6038, "sha256_16": "595bf3fa944579af", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheProfileDuality.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheProfileDuality.lean", "bytes": 5210, "sha256_16": "622c8e5fa8bbf2dd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheProfileIsometry.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheProfileIsometry.lean", "bytes": 5778, "sha256_16": "43f29c793c8144dd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheProfileWitnessLinear.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheProfileWitnessLinear.lean", "bytes": 2448, "sha256_16": "93efe3dab69a85f4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ThePsionReducesToTheCurrent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ThePsionReducesToTheCurrent.lean", "bytes": 5311, "sha256_16": "fc585ee1c77dded5", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheQuestionAndTheRecognition.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheQuestionAndTheRecognition.lean", "bytes": 3641, "sha256_16": "67d965c42c01aed0", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheQuittanceLaw.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheQuittanceLaw.lean", "bytes": 5152, "sha256_16": "dabeac1b5cc32d82", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheRecordOfJ.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheRecordOfJ.lean", "bytes": 7667, "sha256_16": "737dc89e6f2c5921", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheRecordOfTheCut.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheRecordOfTheCut.lean", "bytes": 8539, "sha256_16": "dfcdd551fd1b04fb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheReservedConfirmation.lean", "url": "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", "bytes": 6323, "sha256_16": "20a15b2077c36cf7", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheScalarCorner.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheScalarCorner.lean", "bytes": 6046, "sha256_16": "c2aaadeae21a5122", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheScaleHasNoFixedPoint.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheScaleHasNoFixedPoint.lean", "bytes": 6891, "sha256_16": "0ed72186957c2a8a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheSchwarzschildUniqueness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheSchwarzschildUniqueness.lean", "bytes": 10175, "sha256_16": "5e959f1288ee6d79", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheSelectorCanRefuse.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheSelectorCanRefuse.lean", "bytes": 8925, "sha256_16": "c5070a703c4a0a55", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheSelectorIsNotEnough.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheSelectorIsNotEnough.lean", "bytes": 6047, "sha256_16": "b62d255e1f9a5f46", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheSingularExpectation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheSingularExpectation.lean", "bytes": 6427, "sha256_16": "b1995cc2019e1ce6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheStation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheStation.lean", "bytes": 8617, "sha256_16": "c55dc5018297a64c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheStokesContour.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheStokesContour.lean", "bytes": 5675, "sha256_16": "1c310f1d6296cadd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheSupersaturation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheSupersaturation.lean", "bytes": 4462, "sha256_16": "55d5b5668153f5a0", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTGLPair.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTGLPair.lean", "bytes": 4600, "sha256_16": "4d17eeb7e940a7ab", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTelescopingProfile.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTelescopingProfile.lean", "bytes": 3250, "sha256_16": "5dd73c3878a129ba", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTerminalRankOne.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTerminalRankOne.lean", "bytes": 6091, "sha256_16": "4450fd1b63407afc", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTopologicalFace.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTopologicalFace.lean", "bytes": 3698, "sha256_16": "23e283f43c36dfa6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTower.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTower.lean", "bytes": 5261, "sha256_16": "836d39ce92205794", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTowerConjugation.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTowerConjugation.lean", "bytes": 7218, "sha256_16": "ab31bd5e939dceba", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTowerInnerProduct.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTowerInnerProduct.lean", "bytes": 5548, "sha256_16": "bdaac2f44fdbc3cd", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTowerWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTowerWitness.lean", "bytes": 3552, "sha256_16": "5135e6dd9bb98314", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTowerWitnessLinear.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTowerWitnessLinear.lean", "bytes": 3545, "sha256_16": "2a81a78bce7b87ed", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTraceIsNotErasable.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTraceIsNotErasable.lean", "bytes": 7818, "sha256_16": "fb65565eb084cfce", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTrueWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTrueWitness.lean", "bytes": 5089, "sha256_16": "863bdfbe96eaa989", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTwoFolds.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTwoFolds.lean", "bytes": 9317, "sha256_16": "4d1869d35bc9c8ef", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTwoFunctionSolder.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTwoFunctionSolder.lean", "bytes": 5087, "sha256_16": "f1378886dad2380c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTwoPairings.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTwoPairings.lean", "bytes": 6119, "sha256_16": "46d72f4956f7e087", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheTwoPolesHaveContent.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheTwoPolesHaveContent.lean", "bytes": 4681, "sha256_16": "1e17af908c1d6025", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheUnconjugatedObserver.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheUnconjugatedObserver.lean", "bytes": 12107, "sha256_16": "e2c1978c4a3cb544", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheUnsolicitedUnitary.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheUnsolicitedUnitary.lean", "bytes": 4818, "sha256_16": "29aba04e578b1921", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheVerbalCoupling.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheVerbalCoupling.lean", "bytes": 11158, "sha256_16": "4fc14822244a93d3", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheWeightIsNotTheRank.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheWeightIsNotTheRank.lean", "bytes": 8258, "sha256_16": "83f9c8bca5e13391", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheWideNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheWideNet.lean", "bytes": 15885, "sha256_16": "ef26e912a6ed418a", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheWitnessLinearOnWH.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheWitnessLinearOnWH.lean", "bytes": 3092, "sha256_16": "0c1b0883f16eaec6", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TheWitnessOnTheBoundary.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TheWitnessOnTheBoundary.lean", "bytes": 4308, "sha256_16": "30f2a06dcfa17528", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ThirdCone.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ThirdCone.lean", "bytes": 10283, "sha256_16": "21edba89bf302c07", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/ThreeLocksCorner.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/ThreeLocksCorner.lean", "bytes": 8716, "sha256_16": "51c66b4dca74fa58", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TowerAction.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TowerAction.lean", "bytes": 19490, "sha256_16": "5da61adbc762e54c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TowerDefinite.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TowerDefinite.lean", "bytes": 30445, "sha256_16": "9f63ebf0cee01833", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TowerHilbert.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TowerHilbert.lean", "bytes": 2703, "sha256_16": "8b08430d77509358", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TowerModular.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TowerModular.lean", "bytes": 6315, "sha256_16": "e3697a4f628eb1ae", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TowerTraceless.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TowerTraceless.lean", "bytes": 5784, "sha256_16": "d5789535f0e38917", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TracelessAlgebra.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TracelessAlgebra.lean", "bytes": 20548, "sha256_16": "50c531bd93946a7f", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TransportWitness.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TransportWitness.lean", "bytes": 13899, "sha256_16": "f4219cc2c036999e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/TriadMaster.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/TriadMaster.lean", "bytes": 5751, "sha256_16": "64e0899e25969392", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/VariationalInhabitant.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/VariationalInhabitant.lean", "bytes": 7014, "sha256_16": "2af4afbc660fdd9c", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/WedgeNet.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/WedgeNet.lean", "bytes": 17319, "sha256_16": "85d14862bf4a6a79", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/WitnessSeed.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/WitnessSeed.lean", "bytes": 5933, "sha256_16": "3281a16675fa60c4", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/WitnessV2.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/WitnessV2.lean", "bytes": 4184, "sha256_16": "35f47bebde47a54e", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/WitnessV3.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/WitnessV3.lean", "bytes": 10866, "sha256_16": "22bf6476c48eb9eb", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/TGLExt/WordExistence.lean", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/TGLExt/WordExistence.lean", "bytes": 10880, "sha256_16": "6c1fdfff860cacd0", "papel": "prova formal" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/lake-manifest.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/lake-manifest.json", "bytes": 3128, "sha256_16": "31a94eb76a8370ae", "papel": "outros" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/lakefile.toml", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/lakefile.toml", "bytes": 237, "sha256_16": "c3ddeea5ed0f6c4b", "papel": "outros" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel/lean-toolchain", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/Lean/tgl_kernel/lean-toolchain", "bytes": 25, "sha256_16": "efac0b94923b2d8b", "papel": "outros" }, { "path": "Um (absoluto) — Grande Atrator/Lean/tgl_kernel_proof_manifest.json", "url": "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", "bytes": 152603, "sha256_16": "fb9b014cf2faf8e1", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/MEMORIA_DA_LINHAGEM.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/MEMORIA_DA_LINHAGEM.md", "bytes": 388313, "sha256_16": "59bd8a78ede96e61", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/MEMORIA_DA_BANCADA.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/MEMORIA_DA_BANCADA.md", "bytes": 134327, "sha256_16": "02ba28fcdd0bffd7", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/catalogos/01_CATALOGO_REBAIXADOS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/catalogos/01_CATALOGO_REBAIXADOS.md", "bytes": 19494, "sha256_16": "dbf4cb6bd19a43a5", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/catalogos/02_ERRATA_ARITMETICA.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/catalogos/02_ERRATA_ARITMETICA.md", "bytes": 11202, "sha256_16": "9e9f9b951f3c6e69", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/catalogos/04_CATALOGO_FALSOS_POSITIVOS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/catalogos/04_CATALOGO_FALSOS_POSITIVOS.md", "bytes": 5249, "sha256_16": "3a03b37a524fd8fc", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/00_INVENTARIO.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/00_INVENTARIO.md", "bytes": 51535, "sha256_16": "84f07022474c891e", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/01_ENERGIA_ESCURA.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/01_ENERGIA_ESCURA.md", "bytes": 54739, "sha256_16": "c5124c9f0765889b", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/02_MATERIA_ESCURA_PSIONS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/02_MATERIA_ESCURA_PSIONS.md", "bytes": 54772, "sha256_16": "81636506b8a1f218", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/03_GRAVITON.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/03_GRAVITON.md", "bytes": 52641, "sha256_16": "e685545cde9804fa", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/04_FRONTEIRA_FUNDAMENTOS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/04_FRONTEIRA_FUNDAMENTOS.md", "bytes": 46636, "sha256_16": "89e7c47568a5238b", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/05_TRATADO.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/05_TRATADO.md", "bytes": 43313, "sha256_16": "807825d1ed9fed8d", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/06_IMAC_FUNDADORES.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/06_IMAC_FUNDADORES.md", "bytes": 35912, "sha256_16": "9432df3723597f40", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/07_IMAC_OBSERVAVEIS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/07_IMAC_OBSERVAVEIS.md", "bytes": 37752, "sha256_16": "c385c7698c13a5aa", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/08_IMAC_SUBPASTAS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/08_IMAC_SUBPASTAS.md", "bytes": 66985, "sha256_16": "a2a4899ae812f342", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/09_TENSAO_FUNDAMENTAL.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/09_TENSAO_FUNDAMENTAL.md", "bytes": 34532, "sha256_16": "b3a9e412fa5a1d99", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/10_LACUNAS_ATLAS.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/10_LACUNAS_ATLAS.md", "bytes": 49509, "sha256_16": "eff1461700bbca3c", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/leituras/99_SINTESE_INTEGRAL.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/leituras/99_SINTESE_INTEGRAL.md", "bytes": 71519, "sha256_16": "8edd6069ba4c6fe6", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T06_amplitude.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T06_amplitude.md", "bytes": 5665, "sha256_16": "3a48655430db0bfd", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T06_amplitude.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T06_amplitude.sha256", "bytes": 97, "sha256_16": "0dcc06a9bed58b1a", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T07_amplitude_multidriver.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T07_amplitude_multidriver.md", "bytes": 5354, "sha256_16": "90a59a1c3d2fb4b5", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T07_amplitude_multidriver.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T07_amplitude_multidriver.sha256", "bytes": 109, "sha256_16": "f44e05c1b4ec71d7", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T08_representacao_modular.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T08_representacao_modular.md", "bytes": 7226, "sha256_16": "5609d2db19cbf467", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T08_representacao_modular.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T08_representacao_modular.sha256", "bytes": 64, "sha256_16": "dc070ca93a44cbae", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T09_lei_de_escala.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T09_lei_de_escala.md", "bytes": 6200, "sha256_16": "42b89e70c333d19b", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T09_lei_de_escala.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T09_lei_de_escala.sha256", "bytes": 64, "sha256_16": "060577be12b20ead", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T10_kappa.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T10_kappa.md", "bytes": 5989, "sha256_16": "58f4452472fed282", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T10_kappa.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T10_kappa.sha256", "bytes": 64, "sha256_16": "f627b0060ddfe41e", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T11_escala.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T11_escala.md", "bytes": 4419, "sha256_16": "6b8447f6499a9705", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/PRE_REGISTRO_T11_escala.sha256", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/PRE_REGISTRO_T11_escala.sha256", "bytes": 64, "sha256_16": "a5d2206ef7c0a499", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T01_orcamento_do_psion.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T01_orcamento_do_psion.json", "bytes": 5052, "sha256_16": "d76d6af511c7ece4", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T01_orcamento_do_psion.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T01_orcamento_do_psion.py", "bytes": 12192, "sha256_16": "7e3a36b6fbae9d87", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T04_sparc_fatos.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T04_sparc_fatos.json", "bytes": 1375, "sha256_16": "d9fe0a3c497469cf", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T04_sparc_fatos.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T04_sparc_fatos.py", "bytes": 9184, "sha256_16": "b4802acea6371350", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T06_amplitude_da_inscricao.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T06_amplitude_da_inscricao.json", "bytes": 23646, "sha256_16": "c9dd8b827c36afef", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T06_amplitude_da_inscricao.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T06_amplitude_da_inscricao.py", "bytes": 10338, "sha256_16": "07b08f4937b9d26c", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T07_amplitude_multidriver.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T07_amplitude_multidriver.json", "bytes": 2894, "sha256_16": "7e0cadd360f4b295", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T07_amplitude_multidriver.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T07_amplitude_multidriver.py", "bytes": 8269, "sha256_16": "72a58e311b3942a1", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08_VEREDITO_FINAL.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08_VEREDITO_FINAL.md", "bytes": 13085, "sha256_16": "0aad3bc8c766b1b6", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08_representacao_modular.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08_representacao_modular.json", "bytes": 10173, "sha256_16": "3cf660eec342cfae", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08_representacao_modular.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08_representacao_modular.py", "bytes": 7798, "sha256_16": "c8046e42cb51ba85", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08b_psi_term_exibido.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08b_psi_term_exibido.py", "bytes": 2879, "sha256_16": "c0ffc2faac9520ff", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08c_escala.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08c_escala.py", "bytes": 2173, "sha256_16": "65c80e002d4a2ef3", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T08d_o_que_seria_preciso.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T08d_o_que_seria_preciso.py", "bytes": 2852, "sha256_16": "528f1e443d5b56b8", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T09_lei_de_escala.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T09_lei_de_escala.json", "bytes": 1313, "sha256_16": "9384628cfd68231d", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T09_lei_de_escala.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T09_lei_de_escala.py", "bytes": 7207, "sha256_16": "5ad5ab8dd3533b45", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T10_kappa.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T10_kappa.json", "bytes": 2593, "sha256_16": "fb744544e000b4a6", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T10_kappa.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T10_kappa.py", "bytes": 8773, "sha256_16": "ef65a357a128888e", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T11_escala.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T11_escala.json", "bytes": 537, "sha256_16": "3b7f081b93e4e395", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/testes/T11_escala.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/testes/T11_escala.py", "bytes": 5871, "sha256_16": "bfd604871ceb9086", "papel": "codigo" }, { "path": "Um (absoluto) — Grande Atrator/bancada/verificacao/VERIFICACAO_ADVERSARIAL_T08_bruto.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/verificacao/VERIFICACAO_ADVERSARIAL_T08_bruto.json", "bytes": 80096, "sha256_16": "149fb26ea92f379d", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/bancada/verificacao/VERIFICACAO_ADVERSARIAL_T08_journal.jsonl", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/bancada/verificacao/VERIFICACAO_ADVERSARIAL_T08_journal.jsonl", "bytes": 70613, "sha256_16": "b789aec68fed62fe", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/cache/CHAIN_OF_CUSTODY.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/cache/CHAIN_OF_CUSTODY.json", "bytes": 4788, "sha256_16": "7930de24153fe0c9", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/cache/coma_blind/coma_dephasing_prediction.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/cache/coma_blind/coma_dephasing_prediction.json", "bytes": 1520, "sha256_16": "31c82c82689075e1", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/cache/coma_blind/coma_distance_reveal.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/cache/coma_blind/coma_distance_reveal.json", "bytes": 1566, "sha256_16": "d2c3fbc0e7389870", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/figuras/fig_banda_beta.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/fig_banda_beta.pdf", "bytes": 27719, "sha256_16": "dd953f1e75f445a1", "papel": "figura" }, { "path": "Um (absoluto) — Grande Atrator/figuras/fig_cadeia_inscricao.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/fig_cadeia_inscricao.pdf", "bytes": 29962, "sha256_16": "7ccc2c0a41da34a2", "papel": "figura" }, { "path": "Um (absoluto) — Grande Atrator/figuras/fig_escada_qg.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/fig_escada_qg.pdf", "bytes": 36304, "sha256_16": "bfbe30776b05c9cc", "papel": "figura" }, { "path": "Um (absoluto) — Grande Atrator/figuras/fig_piso_vazios.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/figuras/fig_piso_vazios.pdf", "bytes": 21839, "sha256_16": "c6e8260ceff24114", "papel": "figura" }, { "path": "Um (absoluto) — Grande Atrator/fontes_tex/um_absoluto_en.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/fontes_tex/um_absoluto_en.tex", "bytes": 533692, "sha256_16": "76439c201039a11d", "papel": "artigo" }, { "path": "Um (absoluto) — Grande Atrator/fontes_tex/um_absoluto_pt.tex", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/fontes_tex/um_absoluto_pt.tex", "bytes": 539872, "sha256_16": "70697672c501ef65", "papel": "artigo" }, { "path": "Um (absoluto) — Grande Atrator/one_input.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/one_input.txt", "bytes": 2, "sha256_16": "4355a46b19d348dc", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v206_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v206_stdout.txt", "bytes": 181108, "sha256_16": "54fbfb3f631256b6", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v212_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v212_stdout.txt", "bytes": 181597, "sha256_16": "14b08a1374026a74", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v213_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v213_stdout.txt", "bytes": 181597, "sha256_16": "1c36a6a831945146", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v214_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v214_stdout.txt", "bytes": 181597, "sha256_16": "8df81febc1b32fc0", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v215_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v215_stdout.txt", "bytes": 181597, "sha256_16": "ecf8fe17e3bc8028", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v216_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v216_stdout.txt", "bytes": 181597, "sha256_16": "cad8c6c1aea70cc4", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v217_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v217_stdout.txt", "bytes": 181597, "sha256_16": "2f8c2948d1b62782", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v218_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v218_stdout.txt", "bytes": 181597, "sha256_16": "783f8e3dbf46cf03", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v219_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v219_stdout.txt", "bytes": 181597, "sha256_16": "2b1dc4a81d954e4d", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v220_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v220_stdout.txt", "bytes": 181597, "sha256_16": "e3f68678daa69a6f", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v221_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v221_stdout.txt", "bytes": 181597, "sha256_16": "42817302d36c4fc1", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v222_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v222_stdout.txt", "bytes": 181597, "sha256_16": "f41bf371d71b4819", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v223_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v223_stdout.txt", "bytes": 181597, "sha256_16": "21615ffaba38d3c8", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v224_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v224_stdout.txt", "bytes": 181597, "sha256_16": "f709fa36a4bac974", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v225_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v225_stdout.txt", "bytes": 181597, "sha256_16": "4bb4c5d7aab44353", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v226_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v226_stdout.txt", "bytes": 181597, "sha256_16": "27317db84f11fa01", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v227_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v227_stdout.txt", "bytes": 181597, "sha256_16": "4c010c13bab8113c", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v228_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v228_stdout.txt", "bytes": 181597, "sha256_16": "dc30fba53c5c6a66", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v229_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v229_stdout.txt", "bytes": 181597, "sha256_16": "2c2d807eee567fa3", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v230_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v230_stdout.txt", "bytes": 181597, "sha256_16": "dad51b8472c8c9c0", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v231_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v231_stdout.txt", "bytes": 181597, "sha256_16": "561d701a8b708081", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v232_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v232_stdout.txt", "bytes": 181597, "sha256_16": "29176f06da05098d", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v233_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v233_stdout.txt", "bytes": 181597, "sha256_16": "4de1fbc8d5d8a099", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v234_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v234_stdout.txt", "bytes": 181597, "sha256_16": "2dc813734ca46c5b", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v235_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v235_stdout.txt", "bytes": 181597, "sha256_16": "181be4caee509ba4", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v236_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v236_stdout.txt", "bytes": 181598, "sha256_16": "11ff3f15a8b17eca", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v237_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v237_stdout.txt", "bytes": 181597, "sha256_16": "6f2651f0ed99c895", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v238_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v238_stdout.txt", "bytes": 181597, "sha256_16": "9756540ad1bd9e21", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v239_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v239_stdout.txt", "bytes": 181597, "sha256_16": "9069c5b7ec5dc61e", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v240_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v240_stdout.txt", "bytes": 181597, "sha256_16": "d6ee9a9067bbe9c1", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v241_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v241_stdout.txt", "bytes": 181597, "sha256_16": "35d04e6334fe9fb7", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v242_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v242_stdout.txt", "bytes": 181597, "sha256_16": "e33bf854b0075904", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v243_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v243_stdout.txt", "bytes": 181597, "sha256_16": "eb1bb17f652b76c2", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v244_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v244_stdout.txt", "bytes": 181597, "sha256_16": "7b044197d18a0a72", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v245_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v245_stdout.txt", "bytes": 181597, "sha256_16": "3bd9aa974a83848c", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v246_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v246_stdout.txt", "bytes": 181597, "sha256_16": "ebd5665951ac8b23", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v247_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v247_stdout.txt", "bytes": 181597, "sha256_16": "6414b1990ad22a24", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v248_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v248_stdout.txt", "bytes": 181597, "sha256_16": "4b796e3658d60376", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v249_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v249_stdout.txt", "bytes": 181568, "sha256_16": "1a7f89a76757e04a", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v250_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v250_stdout.txt", "bytes": 181568, "sha256_16": "5afe0c92bcf49b51", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v250b_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v250b_stdout.txt", "bytes": 181597, "sha256_16": "a3fd16f638186957", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v251_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v251_stdout.txt", "bytes": 181597, "sha256_16": "88fd7e1221ff46d8", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v252_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v252_stdout.txt", "bytes": 181597, "sha256_16": "a38a501fb430d2a7", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v253_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v253_stdout.txt", "bytes": 181597, "sha256_16": "e42e7499abd173dc", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v254_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v254_stdout.txt", "bytes": 181597, "sha256_16": "e6b70c322fd6cccb", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v255_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v255_stdout.txt", "bytes": 181597, "sha256_16": "55a8780ac302cc64", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v256_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v256_stdout.txt", "bytes": 181597, "sha256_16": "4d104baff25dfbf9", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v257_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v257_stdout.txt", "bytes": 181597, "sha256_16": "ceaef7f13bb011ba", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v258_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v258_stdout.txt", "bytes": 181597, "sha256_16": "a4ca1457a30f140e", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v259_1_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v259_1_stdout.txt", "bytes": 181597, "sha256_16": "4d8e8d3bd9483d88", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v259_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v259_stdout.txt", "bytes": 164485, "sha256_16": "bc9c5c7dc8097a1a", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v260_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v260_stdout.txt", "bytes": 181597, "sha256_16": "5df0951f76564f39", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v261_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v261_stdout.txt", "bytes": 181597, "sha256_16": "7debc6acb4e9a868", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v262_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v262_stdout.txt", "bytes": 181597, "sha256_16": "e8efced1f5e33d08", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v263_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v263_stdout.txt", "bytes": 181597, "sha256_16": "6f65b71144b205e9", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v264_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v264_stdout.txt", "bytes": 181597, "sha256_16": "4f225fa48d43fd78", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v265_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v265_stdout.txt", "bytes": 181597, "sha256_16": "e9e179f44b268aee", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v266_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v266_stdout.txt", "bytes": 181597, "sha256_16": "98f8a0a506425165", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v267_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v267_stdout.txt", "bytes": 181597, "sha256_16": "62b17cc43fea8d41", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v268_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v268_stdout.txt", "bytes": 181597, "sha256_16": "19950b9cd13bb39c", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v269_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v269_stdout.txt", "bytes": 181597, "sha256_16": "6ae40c27c30af170", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v270_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v270_stdout.txt", "bytes": 181597, "sha256_16": "95031cbdbc1d9b99", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v271_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v271_stdout.txt", "bytes": 181597, "sha256_16": "6a7a83ae39a7e4a6", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v271b_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v271b_stdout.txt", "bytes": 181597, "sha256_16": "bdb89e2e52955d8c", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v272_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v272_stdout.txt", "bytes": 181597, "sha256_16": "43434cdf13f3b1e7", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v273_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v273_stdout.txt", "bytes": 181597, "sha256_16": "d2368aa0ab18fcd0", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v274_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v274_stdout.txt", "bytes": 181597, "sha256_16": "2eb696aafccda160", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v275_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v275_stdout.txt", "bytes": 181597, "sha256_16": "7da8205f91bdfa05", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v276_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v276_stdout.txt", "bytes": 181597, "sha256_16": "2c065bad45c4b2cd", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v277_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v277_stdout.txt", "bytes": 181597, "sha256_16": "f9a3d7160518ade5", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v279_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v279_stdout.txt", "bytes": 181597, "sha256_16": "d4f94d51826fd372", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v280_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v280_stdout.txt", "bytes": 181597, "sha256_16": "f737a873f7927529", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v281_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v281_stdout.txt", "bytes": 181597, "sha256_16": "2d26f9d4c0e04c72", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v282_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v282_stdout.txt", "bytes": 181597, "sha256_16": "bd7392c40d184d87", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v283_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v283_stdout.txt", "bytes": 181597, "sha256_16": "eef1ecd660cc3349", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v284_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v284_stdout.txt", "bytes": 181597, "sha256_16": "fc52d4f6df6b27c4", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v285_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v285_stdout.txt", "bytes": 181597, "sha256_16": "00c05d160bdb0c91", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v288_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v288_stdout.txt", "bytes": 181597, "sha256_16": "4e71e98f2d33360f", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v289_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v289_stdout.txt", "bytes": 181597, "sha256_16": "48842a79e5037532", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v290_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v290_stdout.txt", "bytes": 181597, "sha256_16": "a125f027b3a7ed00", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v291_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v291_stdout.txt", "bytes": 181597, "sha256_16": "898a3909fa35ab8c", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v292_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v292_stdout.txt", "bytes": 181597, "sha256_16": "51730f51b2b36ba1", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v293_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v293_stdout.txt", "bytes": 181597, "sha256_16": "93713d392914b021", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v294_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v294_stdout.txt", "bytes": 181597, "sha256_16": "f7e7ebd5e0614eee", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v295_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v295_stdout.txt", "bytes": 181597, "sha256_16": "7155857e6a31d0ba", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v296_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v296_stdout.txt", "bytes": 181597, "sha256_16": "e0458035b62737bf", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v297_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v297_stdout.txt", "bytes": 181597, "sha256_16": "b4ecf9c698774265", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v298_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v298_stdout.txt", "bytes": 181597, "sha256_16": "764b884ee309aa4b", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v299_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v299_stdout.txt", "bytes": 181597, "sha256_16": "ebb0f3bc727422b8", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v300_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v300_stdout.txt", "bytes": 187071, "sha256_16": "5c9d4dab6b2a106d", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v301_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v301_stdout.txt", "bytes": 187071, "sha256_16": "296ddcb19167398b", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/rodadas/rodada_v302_stdout.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/rodadas/rodada_v302_stdout.txt", "bytes": 187071, "sha256_16": "6cc0443e65ee8e47", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/um.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um.py", "bytes": 5993659, "sha256_16": "8b6cc0760011d75e", "papel": "canonico" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto.json", "bytes": 1103839, "sha256_16": "6fca23ab428f3395", "papel": "resultado selado" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_en.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.pdf", "bytes": 1638583, "sha256_16": "f4877a4cbff3ce25", "papel": "artigo" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_en.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_en.txt", "bytes": 475945, "sha256_16": "bb09d4a395b5ebbf", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_forma_canonica.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_forma_canonica.md", "bytes": 145211, "sha256_16": "e9e48220494f5a03", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_manifest.md", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_manifest.md", "bytes": 239852, "sha256_16": "c657fceb6fb3f53f", "papel": "documento" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_pt.pdf", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.pdf", "bytes": 1671488, "sha256_16": "17e1337f942cf986", "papel": "artigo" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_pt.txt", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_pt.txt", "bytes": 478185, "sha256_16": "d2c237f3984209e7", "papel": "dados" }, { "path": "Um (absoluto) — Grande Atrator/um_absoluto_selo.json", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/Um%20%28absoluto%29%20%E2%80%94%20Grande%20Atrator/um_absoluto_selo.json", "bytes": 32567, "sha256_16": "f42c7aac2482e070", "papel": "resultado selado" }, { "path": "tools/gerar_portas.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/tools/gerar_portas.py", "bytes": 79113, "sha256_16": "ead0f00221a88b8f", "papel": "codigo" }, { "path": "tools/guarda_do_selo.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/tools/guarda_do_selo.py", "bytes": 3432, "sha256_16": "bfca90638e331d45", "papel": "codigo" }, { "path": "tools/verificar_portas.py", "url": "https://raw.githubusercontent.com/rotolimiguel-iald/the_boundary/main/tools/verificar_portas.py", "bytes": 8202, "sha256_16": "9d20bbdd0b67e9c5", "papel": "codigo" } ] }