| { |
| "artifacts": { |
| "official-current.tar.gz": { |
| "sha256": "b144a1051b840f4b7f59428151ba8bf6f27e7665a3b9f950d165c39055ef2315", |
| "url": "https://github.com/Purewhite2019/formal_problem_solving_main/archive/3e8bafd18a080fe01263ff93b9c3db78d993e1a1.tar.gz" |
| }, |
| "official-initial.tar.gz": { |
| "sha256": "cef6b9340b797355ab6e3fb425ee02a1e6c2cc7b76eff6fc77d79bf6e99753fe", |
| "url": "https://github.com/Purewhite2019/formal_problem_solving_main/archive/39489d1f0c32b521845429e1cb26c48639d8f823.tar.gz" |
| }, |
| "paper-source.tar": { |
| "sha256": "b08c84c35b90d0128fc6ff512b60b07ead29ef6de847c8834948df660b00034a", |
| "url": "https://arxiv.org/e-print/2505.04528v1" |
| }, |
| "paper.pdf": { |
| "sha256": "bba3d0293dda50476bd07d7dab987d4ed5ded4fa21132837f35c4feff72403e3", |
| "url": "https://arxiv.org/pdf/2505.04528v1" |
| } |
| }, |
| "arxiv": "2505.04528v1", |
| "lean_compilation_executed": false, |
| "official_current_commit": "3e8bafd18a080fe01263ff93b9c3db78d993e1a1", |
| "official_initial_release_commit": "39489d1f0c32b521845429e1cb26c48639d8f823", |
| "paper_id": "hgMZraPlSv", |
| "scope": "Lean/Pantograph source pinned and structurally audited; exact finite semantics, complete official export, and complete initial-release result rescoring executed." |
| } |
|
|
