{"id":47878461,"url":"https://github.com/inaciovasquez2020/final-wall-conditional-index","last_synced_at":"2026-04-04T01:37:13.004Z","repository":{"id":338854244,"uuid":"1159438581","full_name":"inaciovasquez2020/final-wall-conditional-index","owner":"inaciovasquez2020","description":"Index of all conditional dependencies in the Final Wall program","archived":false,"fork":false,"pushed_at":"2026-03-22T03:47:41.000Z","size":1126,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-04-04T01:37:10.302Z","etag":null,"topics":["finite-model-theory","fo4","graph-theory","locality","reproducibility","weisfeiler-leman","wl2","wl3"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inaciovasquez2020.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-02-16T18:21:06.000Z","updated_at":"2026-03-22T03:47:45.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/inaciovasquez2020/final-wall-conditional-index","commit_stats":null,"previous_names":["inaciovasquez2020/final-wall-conditional-index"],"tags_count":5,"template":false,"template_full_name":null,"purl":"pkg:github/inaciovasquez2020/final-wall-conditional-index","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Ffinal-wall-conditional-index","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Ffinal-wall-conditional-index/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Ffinal-wall-conditional-index/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Ffinal-wall-conditional-index/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inaciovasquez2020","download_url":"https://codeload.github.com/inaciovasquez2020/final-wall-conditional-index/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inaciovasquez2020%2Ffinal-wall-conditional-index/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31384845,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-04T01:22:39.193Z","status":"ssl_error","status_checked_at":"2026-04-04T01:22:33.970Z","response_time":107,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["finite-model-theory","fo4","graph-theory","locality","reproducibility","weisfeiler-leman","wl2","wl3"],"created_at":"2026-04-04T01:37:12.483Z","updated_at":"2026-04-04T01:37:12.987Z","avatar_url":"https://github.com/inaciovasquez2020.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# final-wall-conditional-index\n\nAuthoritative **index of conditional dependencies** for the *Final Wall*.\n\nThis repository enumerates **every statement that is currently conditional** in the Final Wall program: assumptions, missing lemmas, witness principles, or inequalities that are required but not yet discharged unconditionally. It is an **index**, not a proof repository.\n\nThe purpose is disclosure, auditability, and closure planning.\n\n---\n\n## Scope\n\n* Records **what is still conditional**, exactly and explicitly\n* Preserves a **one‑to‑one mapping** between conditionals and the manuscripts / formal artifacts that reference them\n* Provides a stable surface for reviewers, collaborators, and future closure work\n\nThis repository intentionally contains **no proofs**, **no heuristics**, and **no speculation**.\n\n---\n\n## What this repository is\n\n* A **logical dependency index**\n* A **closure checklist** for the Final Wall\n* A **transparency artifact** for the program’s current status\n\n## What this repository is not\n\n* A proof of the Final Wall\n* A conjecture generator\n* A place for exploratory arguments or partial derivations\n\n---\n\n## Contents\n\n```\n.\n├── Conditional_Final_Wall_Index.tex   # Canonical list of all conditional statements\n├── PROGRAM_STATUS.tex                 # Snapshot of program state and dependency count\n├── CHANGELOG.md                       # Historical record of additions/removals\n└── README.md\n```\n\nAll authoritative content is maintained in **LaTeX** to allow direct inclusion in manuscripts and referee packages.\n\n---\n\n## Conditional entry format\n\nEach indexed conditional records:\n\n* **Identifier** (stable name)\n* **Statement** (formal or semi‑formal)\n* **Type** (lemma, inequality, witness, structural assumption)\n* **Upstream dependencies** (if any)\n* **Downstream usage** (manuscripts / sections)\n* **Resolution status** (open / conditional / discharged)\n\nNo conditional may appear elsewhere in the program without appearing here.\n\n---\n\n## Usage\n\n### Reviewing the current conditionals\n\n```bash\npdflatex Conditional_Final_Wall_Index.tex\n```\n\nThis produces a human‑readable PDF listing all remaining conditional dependencies.\n\n### Including in a manuscript\n\nThe compiled index may be:\n\n* attached as an appendix,\n* cited as a dependency disclosure,\n* provided to referees as a separate audit document.\n\n---\n\n## Update policy\n\nThis repository follows strict rules:\n\n* **Add** an entry when a new conditional is introduced anywhere in the program\n* **Modify** an entry only to clarify scope or references\n* **Remove** an entry *only* when an unconditional proof exists, with citation\n\nAll changes must preserve historical traceability via `CHANGELOG.md`.\n\n---\n\n## Stability\n\n* The structure of the index is **stable**\n* Identifiers are **never reused**\n* Past conditionals remain documented even after resolution\n\nThis ensures that the logical evolution of the Final Wall remains auditable.\n\n---\n\n## Relationship to other repositories\n\nThis index sits **above** formal dependencies and **below** manuscripts:\n\n```\noverlap-rigidity-lean      (formal definitions)\n        ↓\nfinal-wall-conditional-index   (this repo)\n        ↓\nmanuscripts / claims / proofs\n```\n\nNo repository above this layer may introduce a conditional without registering it here.\n\n---\n\n## Status\n\n* Purpose: **indexing only**\n* Claims: **none**\n* Proofs: **none**\n* Authority: **canonical for conditionals**\n\nRefer to `PROGRAM_STATUS.tex` for the current count and classification.\n\n---\n\\section*{License and Usage}\n\nThis document is released under the MIT License.\n\nPermission is granted to use, copy, and redistribute this document, with or\nwithout modification, provided that proper attribution to the author is\nmaintained.\n\nThis license applies to the \\emph{presentation and distribution} of the\ndocument only. It does not assert the correctness of any result, does not\nconstitute a claim of proof, and does not alter the explicitly conditional\nstatus of the reduction stated herein.\n\nAll mathematical statements, implications, and reductions remain conditional\nexactly as specified in the text.\n\n\n---\n\n## Integrity note\n\nThe existence of this repository is a design choice: the program treats **undischarged assumptions as first‑class objects**. Nothing conditional is hidden, implicit, or informal.\n\nIf a statement matters, it is indexed here.\n\nLicense: MIT\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finaciovasquez2020%2Ffinal-wall-conditional-index","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Finaciovasquez2020%2Ffinal-wall-conditional-index","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finaciovasquez2020%2Ffinal-wall-conditional-index/lists"}