1{2 "run": "951263fc-5b4f-4db3-8660-153a5f5ec04a",3 "createdUtc": "2026-10-30T23:05:05Z",4 "observationalData": "none",5 "syntheticData": "none",6 "note": "This study uses no observational, survey, experimental or simulated data set. Every graph P(n,5) is generated deterministically from Definition 3.1 of the manuscript by code/graph_constructor.py (two independent constructors; canonical edge lists with SHA-256 digests recorded in results/t1_graph_invariants.json and in every result record). Random seeds used as inputs to deterministic checks (order-independence test, lemma checks, simulated-annealing attacks) are recorded in results/metrics.json. The inputs listed below are the downloaded literature full texts and the archived software dependencies; they are the only external files the run consumed.",7 "graphGeneration": {8 "generator": "code/graph_constructor.py",9 "definition": "P(n,k): vertices u_i, v_i (i in Z_n); edges u_i u_{i+1}, u_i v_i, v_i v_{i+k}",10 "range": "11 <= n <= 48 tabulated; 26 <= n <= 154 for boundary certificates; n <= 300 for construction replays",11 "invariantRecord": "results/t1_graph_invariants.json"12 },13 "inputs": [14 {15 "path": "sources/fulltext/rashidi2020.pdf",16 "kind": "literature_fulltext",17 "sourceKey": "rashidi2020petersen",18 "origin": "Journal of Algebra Combinatorics Discrete Structures and Applications, open-access PDF (doi:10.13069/jacodesmath.729465)",19 "license": "CC BY 4.0 (open-access journal; recorded in plan/prior-art.md)",20 "fetchedUtc": "2026-10-30T17:19:01Z",21 "sha256": "401c91b41a7db000f13faa88fb4c2e0cfdafd0b0b23f7a7e61fe0cd6cd87ab4e",22 "bytes": 713618,23 "use": "full text read"24 },25 {26 "path": "sources/fulltext/rashidi2020.txt",27 "kind": "literature_fulltext_extracted_text",28 "sourceKey": "rashidi2020petersen",29 "origin": "derived locally from the PDF above (text extraction)",30 "license": "CC BY 4.0 (open-access journal; recorded in plan/prior-art.md)",31 "fetchedUtc": "2026-10-30T17:19:01Z",32 "sha256": "620e0fb68c0dd66e9aea6d4100d9d768a98a926d5bcd862663599022ed1bc9b2",33 "bytes": 23069,34 "use": "keyword search and reading"35 },36 {37 "path": "sources/fulltext/arxiv_2610.24059.pdf",38 "kind": "literature_fulltext",39 "sourceKey": "arxiv2610_24059",40 "origin": "arXiv e-print 2610.24059",41 "license": "arXiv-hosted preprint; licence as declared on the arXiv abstract page (not recorded here)",42 "fetchedUtc": "2026-10-30T17:17:17Z",43 "sha256": "f5d20c4bcb4804131ca9c71400fbf39618ab2eecd05ae755bd3b2acef4f4ad38",44 "bytes": 438961,45 "use": "full text read"46 },47 {48 "path": "sources/fulltext/arxiv_2610.24059.txt",49 "kind": "literature_fulltext_extracted_text",50 "sourceKey": "arxiv2610_24059",51 "origin": "derived locally from the PDF above (text extraction)",52 "license": "arXiv-hosted preprint; licence as declared on the arXiv abstract page (not recorded here)",53 "fetchedUtc": "2026-10-30T17:18:01Z",54 "sha256": "0346d40453729ce938bf0b0cafc8a7b9685feb2f7c0db79ad55373dd2d0a06c9",55 "bytes": 36470,56 "use": "keyword search and reading"57 },58 {59 "path": "sources/fulltext/arxiv_2607.19412.pdf",60 "kind": "literature_fulltext",61 "sourceKey": "arxiv2607_19412",62 "origin": "arXiv e-print 2607.19412",63 "license": "arXiv-hosted preprint; licence as declared on the arXiv abstract page (not recorded here)",64 "fetchedUtc": "2026-10-30T17:17:17Z",65 "sha256": "d204a38f22b723913b7edd02783faa14e625eda410f73383dc02b1b36d052b7d",66 "bytes": 285183,67 "use": "full text read"68 },69 {70 "path": "sources/fulltext/arxiv_2607.19412.txt",71 "kind": "literature_fulltext_extracted_text",72 "sourceKey": "arxiv2607_19412",73 "origin": "derived locally from the PDF above (text extraction)",74 "license": "arXiv-hosted preprint; licence as declared on the arXiv abstract page (not recorded here)",75 "fetchedUtc": "2026-10-30T17:18:01Z",76 "sha256": "60dffda790c7c1e841f8ffef3194a5cf6c13797bc763cfbe013c8054f84f54db",77 "bytes": 18900,78 "use": "keyword search and reading"79 },80 {81 "path": "code/wheels/mpmath-1.3.0-py3-none-any.whl",82 "kind": "software_wheel",83 "origin": "https://files.pythonhosted.org/packages/43/e3/7d92a15f894aa0c9c4b49b8ee9ac9850d6e63b03c9c32c0367a13ae62209/mpmath-1.3.0-py3-none-any.whl",84 "license": "BSD (from the wheel METADATA)",85 "fetchedUtc": "2026-10-30T17:33:54Z",86 "sha256": "a0b2b9fe80bbcd81a6647ff13108738cfb482d481d826cc0e02f5b35e5c88d2c",87 "pypiDigestMatches": true,88 "bytes": 536198,89 "use": "Python dependency installed into .pydeps"90 },91 {92 "path": "code/wheels/python_sat-1.9.dev17-cp314-cp314-macosx_11_0_arm64.whl",93 "kind": "software_wheel",94 "origin": "https://files.pythonhosted.org/packages/89/d6/f8b62dd5efb0ea7ffdbe9179906ccf0e68534f87a87906a34f65e5ac3357/python_sat-1.9.dev17-cp314-cp314-macosx_11_0_arm64.whl",95 "license": "MIT (from the wheel METADATA)",96 "fetchedUtc": "2026-10-30T17:33:54Z",97 "sha256": "b220d55d4b5e95993c80b6b9332bcc87127e7dc901abb674145a39540c1c7ead",98 "pypiDigestMatches": true,99 "bytes": 2410387,100 "use": "Python dependency installed into .pydeps"101 },102 {103 "path": "code/wheels/six-1.17.0-py2.py3-none-any.whl",104 "kind": "software_wheel",105 "origin": "https://files.pythonhosted.org/packages/b7/ce/149a00dd41f10bc29e5921b496af8b574d8413afcd5e30dfa0ed46c2cc5e/six-1.17.0-py2.py3-none-any.whl",106 "license": "MIT (from the wheel METADATA)",107 "fetchedUtc": "2026-10-30T17:33:54Z",108 "sha256": "4721f391ed90541fddacab5acf947aa0d3dc7d27b2e1e8eda2be8970586c3274",109 "pypiDigestMatches": true,110 "bytes": 11050,111 "use": "Python dependency installed into .pydeps"112 },113 {114 "path": "code/wheels/sympy-1.14.0-py3-none-any.whl",115 "kind": "software_wheel",116 "origin": "https://files.pythonhosted.org/packages/a2/09/77d55d46fd61b4a135c444fc97158ef34a095e5681d0a6c10b75bf356191/sympy-1.14.0-py3-none-any.whl",117 "license": "BSD (from the wheel METADATA)",118 "fetchedUtc": "2026-10-30T17:33:54Z",119 "sha256": "e091cc3e99d2141a0ba2847328f5479b05d94a6635cb96148ccb3f34671bd8f5",120 "pypiDigestMatches": true,121 "bytes": 6299353,122 "use": "Python dependency installed into .pydeps"123 },124 {125 "path": "code/tools/drat-trim/drat-trim.c",126 "kind": "software_source",127 "origin": "https://github.com/marijnheule/drat-trim (drat-trim.c, revision fetched 2026-10-30)",128 "license": "MIT-style permissive licence (copyright notice in the file header)",129 "fetchedUtc": "2026-10-30T17:36:26Z",130 "sha256": "d834b649f437e091597f5347f259b9f681087f89ca0844d0cee250a1a1a0c2ee",131 "bytes": 59546,132 "use": "external DRAT proof checker, built with gcc -O2"133 }134 ],135 "largeArtifactsNotShipped": {136 "description": "DRAT proofs of the boundary window (39.0 GB) are not shipped; SHA-256 digests of every CNF and proof are in results/boundary_certificates.jsonl and results/tables/boundary_window_p18.csv; regenerate with: PYTHONPATH=.pydeps:code python3 code/run_boundary_window.py 18 26 154 12"137 }138}