{
  "date": "2026-10-07",
  "python": "3.12.10",
  "platform": "Windows-11-10.0.26200-SP0",
  "numpy": "2.4.0",
  "scipy": "1.16.3",
  "scikit_learn": "1.9.0",
  "sympy": "1.14.0",
  "networkx": "3.6.1",
  "original_approximation_run": {
    "script": "../sources/original-approximation-validation.py",
    "source_modified": false,
    "seed_in_source": 42,
    "threads": {
      "OMP_NUM_THREADS": 1,
      "OPENBLAS_NUM_THREADS": 1,
      "MKL_NUM_THREADS": 1
    },
    "result": "10 of 11 source-defined checks pass; Test 9 fails",
    "scope": "Synthetic regression, not proof verification"
  },
  "partition_run": {
    "script": "../sources/verify_lattice_theorem.py",
    "working_directory": "../sources",
    "source_modified": false,
    "result": "108 comparable pairs; zero violations"
  },
  "focused_checks": {
    "command": "python research/math/validation/recheck.py",
    "output": "results.json"
  }
}