{
  "date": "2026-11-07",
  "python": "3.13.5",
  "platform": "Linux-6.18.57-x86_64-with-glibc2.41",
  "normal_and_optimized_json_identical": true,
  "normal_and_optimized_logs_identical": true,
  "negative_controls_rejected": 8,
  "input_artifacts": [
    {
      "name": "omega_paper_ix_spectral_obstruction(1).py",
      "sha256": "6745f3e7d12863bc246ac09592aea94c8c33f4b970dff88f590eed4e8a59bdf3",
      "bytes": 19859
    },
    {
      "name": "OMEGA_NAUGHT_Paper_IX_Draft_0_3_Illustrated_2026-10-27(1).pdf",
      "sha256": "d5c96405165af40e34e5af3d2a51a36bd21841fe354a9b95b966848d16361c4c",
      "bytes": 10157315
    },
    {
      "name": "OMEGA_Prime_Geometry_Verified_Review_2026-11-04.zip",
      "sha256": "b6fc01f5d7b712c89d60dc85ccec198a7742b8a5d9a42760dadc38a39c781aea",
      "bytes": 21168
    }
  ],
  "source_sha256": "963fc485461f552c661b760d7af5b44074cb79d46beea2bbf296bbb146fcc519",
  "v0_6_deposit_retrieved": false,
  "full_lean_proof_executed": false,
  "commands": [
    "python verify_join.py --output results_normal.json",
    "python -O verify_join.py --output results_optimized.json"
  ],
  "integer_golden_coordinate_roundtrips": 12
}