{
  "schema": "clary-coin.external-dft-frontier.v1",
  "reviewedOn": "2026-10-21",
  "observedAtUtc": "2026-10-21T03:44:27.467995Z",
  "scope": "Seven selected postbaseline community results labeled Lean Verified by Big O Speedrun. Verification dates, not discovery dates. Not an exhaustive history, a live feed, Clary admission, or CLARY rewards.",
  "score": "Exact rational kappa in O(n (log n)^(1-kappa)); exact scalar/index RAM for every positive length.",
  "method": "Read-only inspection of the public problem table, linked source revisions and verification receipts. The receipt hash identifies the retrieved JSON, not independent cryptographic authentication of the website.",
  "entries": [
    {
      "id": "sussman-boukhalfa-dft-receipt",
      "numerator": "47171",
      "denominator": "62500000",
      "creditedTo": "Jacob Sussman & Chafreaky",
      "checkedAtUtc": "2026-10-10T14:25:46.083751Z",
      "sourceUrl": "https://github.com/chafreaky/wht-power-saving-lean/blob/fd19e46b728faa414cbfbf91b01a6a0b7903375d/README.md",
      "receiptUrl": "https://bigospeedrun.com/receipts/sussman-boukhalfa-dft-receipt",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/sussman-boukhalfa-dft-receipt.json",
      "receiptSha256": "cce0df4a9fd0d2226aa55cf33aab9c61ff8e3cd94857b8fa722c801d65ef370e"
    },
    {
      "id": "maintainer-dft-e8-38106559475",
      "numerator": "4381239",
      "denominator": "5000000000",
      "creditedTo": "Jacob Sussman",
      "checkedAtUtc": "2026-10-11T03:35:39.209230Z",
      "sourceUrl": "https://github.com/jacobalansussman/wht-power-saving-lean/blob/9c94857bbaee886f8649edee0bc2d3c738f9555e/README.md",
      "receiptUrl": "https://bigospeedrun.com/receipts/maintainer-dft-e8-38106559475",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/maintainer-dft-e8-38106559475.json",
      "receiptSha256": "4e651af3271599479ba5489d2b0e0cd734e6ca643681a368d12203ec0e55d8f3"
    },
    {
      "id": "direct-pr-3-38142057874-1-final",
      "numerator": "2555269",
      "denominator": "2500000000",
      "creditedTo": "Nil Mamano",
      "checkedAtUtc": "2026-10-11T14:04:34.709092Z",
      "sourceUrl": "https://github.com/bigospeedrun/verifier/blob/f9ffbc1f9dfbfaf84d819b087c999361d0fa3372/submissions/dft/nmamano-dft-record/Submission.lean",
      "receiptUrl": "https://bigospeedrun.com/receipts/direct-pr-3-38142057874-1-final",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/direct-pr-3-38142057874-1-final.json",
      "receiptSha256": "f930a5616a100a958e2dfee798f95e44deb9cca4c470b9908ff983b232924641"
    },
    {
      "id": "direct-pr-7-38318642758-1-final",
      "numerator": "2466337",
      "denominator": "2000000000",
      "creditedTo": "Jeremy Kothe & Ryan Shea",
      "checkedAtUtc": "2026-10-12T23:40:53.460955Z",
      "sourceUrl": "https://github.com/bigospeedrun/verifier/blob/0a637219b43fb723f4ae7a180ec329549e7cc2aa/submissions/dft/nmamano-shea-c588/Submission.lean",
      "receiptUrl": "https://bigospeedrun.com/receipts/direct-pr-7-38318642758-1-final",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/direct-pr-7-38318642758-1-final.json",
      "receiptSha256": "7af26ad38e9f6e81d8345bcb38b63476794fe4b8a8dede5005e0cc0bf68eab5a"
    },
    {
      "id": "direct-issue-16-39061582815-1",
      "numerator": "63",
      "denominator": "50000",
      "creditedTo": "canghaimeng",
      "checkedAtUtc": "2026-10-17T19:58:55.662213Z",
      "sourceUrl": "https://github.com/canghaimeng/exact-dft-lean/blob/5fea541a2a3134b656c7bbdb6bf0b759cf78cb5c/Submission.lean",
      "receiptUrl": "https://bigospeedrun.com/receipts/direct-issue-16-39061582815-1",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/direct-issue-16-39061582815-1.json",
      "receiptSha256": "b4be0b298c26922c9c037b5046addddd76236f02f401a455032937c70640eef2"
    },
    {
      "id": "direct-issue-19-39211915423-1",
      "numerator": "6327",
      "denominator": "5000000",
      "creditedTo": "Hrishik Sai Bojnal",
      "checkedAtUtc": "2026-10-19T07:40:33.253882Z",
      "sourceUrl": "https://github.com/fringewidth/exact-dft-lean/blob/4263d8faad69c5bd9a17b8d0d3f85fdf68e30165/Submission.lean",
      "receiptUrl": "https://bigospeedrun.com/receipts/direct-issue-19-39211915423-1",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/direct-issue-19-39211915423-1.json",
      "receiptSha256": "98a486aed87bc5f8bcfee0d0a6dfe412737a04759e6733ffcd4f481f513bee26"
    },
    {
      "id": "direct-issue-30-39515983587-1",
      "numerator": "2532237",
      "denominator": "2000000000",
      "creditedTo": "Parker L",
      "checkedAtUtc": "2026-10-21T00:36:13.342413Z",
      "sourceUrl": "https://github.com/ptweezy/exact-dft-lean/blob/f9357424312209f85e0c7e28dce0e6bb01986608/Submission.lean",
      "receiptUrl": "https://bigospeedrun.com/receipts/direct-issue-30-39515983587-1",
      "receiptJsonUrl": "https://bigospeedrun.com/sources/direct-issue-30-39515983587-1.json",
      "receiptSha256": "44b2b723c70b2be895df39ad0fef154ce2a18f026533167b52be35c8eb3d146c"
    }
  ]
}