{
  "state": "passed",
  "checked_at": "2026-10-09T15:38:29.607243+00:00",
  "observed_at": "2026-10-09T15:39:56Z",
  "upstream_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "source_commit": "1ce6c9ab0f89aa0d5e1b617602f68237145dd3da",
  "comparator_exit_code": 0,
  "targets": [
    "Race.frontier"
  ],
  "scope": "Every rational s < 1/50000000000 admits fixed programs with unchanged DFTProgram and pure-power Big-O at exponent 1-s. DFT only; no attained endpoint and no convolution-frontier rerun claim.",
  "score": "1/50000000000",
  "score_relation": "strict-upper-bound",
  "nanoda": "accepted",
  "lean_kernel": "accepted",
  "source_receipt_path": "sources/dft-frontier-source-receipt.json",
  "artifact_path": "sources/dft-frontier-Submission.lean",
  "artifact_sha256": "46f1e26b7a7c4acc5b10a246be4eabdd6a52824b4b82b46937ec17e5fb42f83b",
  "spec_sha256": "4c571f275bd7506c3ccd1e6d78f2fca77e07112c969c1c62ad8359d61544ec74",
  "log_path": "sources/dft-frontier-comparator.log",
  "log_sha256": "9d99bd0a6cab7fbf9e2cd754a3fb7e049c78309da22d55e40eb282e7680d5444",
  "time_path": "sources/dft-frontier-comparator.time",
  "time_sha256": "8123f537f7ba29d01be54b05e9b387f6694162aeb524e88461ddba52bc4931b4"
}