{
  "schema": "OMEGA_NAUGHT_THIS_ARCHIVE_RUN/1.0",
  "title": "This-archive run of OMEGA\u2013Navier\u2013Stokes geometric transport Version 3.0",
  "utc": "2026-09-19T11:01:17Z",
  "interpreter": "Python 3.11.2",
  "sympy": "1.14.0",
  "note": "This-archive execution. Distinct from the supplied 19 September 2026 author record (Python 3.12.14). No fresh Lean or Julia runtime. No pdflatex rebuild of the PDF. The received PDF hash does not match the revision-notes claim because the file also embeds a Content Credentials attachment.",
  "pdf": {
    "path": "/extension/OMEGA_NS_Geometric_Extension_v3.pdf",
    "bytes": 2376354,
    "sha256_this_file": "98a3f74742dd3d06626ec03a248e8ce901772c18d836a5e736e1f1e594e6d675",
    "sha256_claimed_in_revision_notes": "42802e0077d67c9b35aede91d59cf0ed3318c6135ba337b5206800fdbd4fe4a9",
    "match_claimed_pdf_hash": false,
    "pages": 20,
    "embedded_names": [
      "Content Credentials",
      "Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip",
      "LEAN_Proof_Complete_Final(1).docx",
      "OMEGA_NS_Geometric_Extension.tex",
      "OMEGA_V3_Verification_Record.txt",
      "audit_omega_sources.py",
      "build_omega_pdf.py",
      "test_omega_auditor.py",
      "verify_omega_ns.py"
    ]
  },
  "supplements_extracted_from_pdf": {
    "OMEGA_NS_Geometric_Extension.tex": "2cadfed871fc74bdf61683b09f0cc9de54aa05ada0df6b7d103f7bd760bd6cf9",
    "verify_omega_ns.py": "f054d343f78c96f18d1a4360453dd1761d3fc8de7757edfb56a746996921e531",
    "audit_omega_sources.py": "7bb072407b4c2c3ea58c0a8a0ad392d5870fc1d7d339ff20b67679b9ad96f08e",
    "test_omega_auditor.py": "9cae8025b0b6637ca5b188b30d84235b3c73a122445f0a7fdd9fcf8df6d5f509",
    "build_omega_pdf.py": "a08a93700ee779cb9ac2158cd4c27e4124e1b8c069a62c9b8f26cd71f68e3700",
    "OMEGA_V3_Verification_Record.txt": "095d05494a301c1fe21f72df044da569b9a00d01e5edc841bdfe4fe5eed91f01",
    "LEAN_Proof_Complete_Final(1).docx": "275da4ea14130d21aa1b797b643ec78192e195780bfd8352bac699a75b73542e",
    "Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip": "ef8f1eb75b83f1e5763d280374eb8b73d9ab00b8dcb76b1824aee771869cd27a"
  },
  "commands": [
    "python3.11 verify_omega_ns.py",
    "python3.11 -O verify_omega_ns.py",
    "python3.11 -OO verify_omega_ns.py",
    "python3.11 audit_omega_sources.py sources/LEAN_Proof_Complete_Final(1).docx sources/Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip",
    "python3.11 -O audit_omega_sources.py sources/LEAN_Proof_Complete_Final(1).docx sources/Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip",
    "python3.11 test_omega_auditor.py audit_omega_sources.py sources/LEAN_Proof_Complete_Final(1).docx sources/Julia_OMEGA_NAUGHT_Julia_Proof_v0.1(1).zip"
  ],
  "exit_codes": {
    "verify_normal": 0,
    "verify_-O": 0,
    "verify_-OO": 0,
    "audit_normal": 0,
    "audit_-O": 0,
    "test_harness": 0
  },
  "verify_stdout_identical_across_modes": true,
  "audit_stdout_identical_across_modes": true,
  "results": {
    "verify": "TOTAL: 62 exact checks plus retained integer/rational tests",
    "audit": "29 recovered files, 147 mappings, 97 exact zeros, 32768-state replay",
    "harness": "38 successful subprocess checks; 36 correct mutation rejections"
  },
  "not": [
    "not a source paper",
    "not a proof-assistant certificate",
    "not a finite-time blowup result",
    "not historical novelty",
    "not Paper VII rewritten",
    "not an enlargement of Paper VI cubature certificates",
    "not a fresh Lean or Julia run",
    "not a pdflatex rebuild of the received PDF"
  ]
}