{
  "schema": "diskcover-public-algorithm-case-run-v1",
  "record_scope": "AI + human research and algorithm optimization + local computer; not independent foundation-model performance",
  "selection_scope": {
    "accepted_observations_checked": 40,
    "archives": [
      "DGC-radius-minpoly-integration-20260930",
      "DGC-joint-fourcases-20261001",
      "DGC-eight-coldstart-20261001-32core"
    ],
    "selection_rule": "Minimum measured complete pipeline time per n in these explicitly checked archives. Not a statistical guarantee or exhaustive all-project history audit.",
    "scope_note": "Selection metadata describes the shared archive audit; run entries in this file are limited to n=16."
  },
  "hardware": {
    "cpu": "AMD Ryzen 9 8945HX with Radeon Graphics",
    "host_memory_generation": "DDR5",
    "host_memory_gib": 32,
    "host_logical_processors": 32,
    "execution_location": "Local daily Ubuntu under WSL2",
    "wsl_memtotal_kib": 15968388,
    "snapshot_scope": "Queried before the latest eight-case batch; shared host record for earlier selected runs, not a separate task-start snapshot for each earlier run."
  },
  "environment": {
    "sage": "10.7",
    "python": "3.12.3",
    "installed_during_run": [],
    "solver_source_public": false
  },
  "algorithm_versions": {
    "DGC v62-F": {
      "base": "DGC v62",
      "internal_name": "radius-code-feedback-v1",
      "variant": "Fresh source geometry feedback"
    },
    "DGC v62-G": {
      "base": "DGC v62-F",
      "internal_name": "radius-code-gmp-v1",
      "variant": "GMP exact rational arithmetic for local certificate verification"
    },
    "latest_controller": "joint v15; eight-case/32-core scope extension only",
    "minpoly_versions": [
      "v13",
      "v15"
    ]
  },
  "timing_scope": "Per-case controller start with input n through radius and minpoly consumers, final same-root binding and saved result. Hash and post-solve reference checks excluded. Overlapping stages are not added.",
  "score_formula": "ROUND_HALF_UP(200 + 100 * log2(21600 / elapsed_seconds))",
  "best_recorded_runs": [
    {
      "n": 16,
      "run_id": "v13-full-scope-32core-n16",
      "proof_engine": "DGC v62-F",
      "minpoly_engine": "MinPoly v13",
      "proof_code_identity": "radius-code-feedback-v1",
      "minpoly_code_identity": "minpoly-code-v13",
      "elapsed_seconds": "178.99038192000012",
      "score": "892",
      "score_scope": "benchmark_score",
      "logical_cores": 32,
      "test_date_utc": "2026-10-01",
      "observations": 1,
      "radius_stage_seconds": "108.27150620299994",
      "minpoly_stage_seconds": "70.69789064700012",
      "stage_overlap_seconds": "0",
      "sha256": "09c2f624ea43b59f78cd405155c969ad5a3ba05e934386c3670a25cc73e3dd3e",
      "hash_matches": true,
      "verification_scope": "Same coefficients and intersecting certified root intervals as the independently checked latest run; public fingerprint recomputed during publication preparation. No new solver run or mathematical review.",
      "source_files": {
        "integration": {
          "file": "v13-full-scope-32core-n16-integration.json",
          "sha256": "cedd74dca03b757687e818012e5f01307bb885bd2beca9a9595ca6335d5ea80b"
        },
        "minpoly": {
          "file": "v13-full-scope-32core-n16-minpoly.json",
          "sha256": "4e0454c373c12d21e722bdd6cdfc6bf3d79d7261745ce58980f59651a8c9a3b6"
        }
      }
    }
  ],
  "latest_32core_runs": [
    {
      "n": 16,
      "run_id": "single32-n16",
      "proof_engine": "DGC v62-G",
      "minpoly_engine": "MinPoly v15",
      "proof_code_identity": "radius-code-gmp-v1",
      "minpoly_code_identity": "minpoly-code-v15",
      "elapsed_seconds": "190.73810526800003",
      "score": "882",
      "score_scope": "benchmark_score",
      "logical_cores": 32,
      "test_date_utc": "2026-10-01",
      "observations": 1,
      "radius_stage_seconds": "111.13614425",
      "minpoly_stage_seconds": "79.55937927499997",
      "stage_overlap_seconds": "0",
      "sha256": "09c2f624ea43b59f78cd405155c969ad5a3ba05e934386c3670a25cc73e3dd3e",
      "hash_matches": true,
      "verification_scope": "Same coefficients and intersecting certified root intervals as the independently checked latest run; public fingerprint recomputed during publication preparation. No new solver run or mathematical review.",
      "source_files": {
        "integration": {
          "file": "single32-n16-integration.json",
          "sha256": "48b97800ab38d657634a1381f3389df02a7030a551461603f2d02bbdd5a4b490"
        },
        "minpoly": {
          "file": "single32-n16-minpoly.json",
          "sha256": "7cf2b2754c6ec79ab1bb059d39c12a47c492ee577f4ada94f5cac507e43adba9"
        }
      }
    }
  ],
  "development_time": null,
  "cost": null,
  "limitations": [
    "Existing source admission/classification trust retained; no new independent mathematical review or formal proof.",
    "Single observations across different versions/core limits; not controlled model or speedup rankings.",
    "No algorithm source, polynomial coefficients, radius value, root interval or complete proof package published."
  ],
  "score_interpretation": "Same benchmark formula and score scale as model tests; higher is better. Starting conditions, algorithm versions and hardware are recorded separately.",
  "n": 16,
  "reference_status": "published"
}