{
  "points": [
    {
      "date": "2025-08-31T15:48:45-07:00",
      "sha": "61535f7badeb9e4aed5b687545ee2a49fdaa6a8a",
      "total": 16466,
      "verified_exec": 355,
      "trusted": 134,
      "unverified": 12496,
      "unplanned": 3481,
      "rust_mode": 22755,
      "spec": 318,
      "proof": 164
    },
    {
      "date": "2025-09-30T02:12:26-07:00",
      "sha": "ee2e2a9358dfb7bf91141115db897a57beba3859",
      "total": 16466,
      "verified_exec": 475,
      "trusted": 160,
      "unverified": 12350,
      "unplanned": 3481,
      "rust_mode": 22222,
      "spec": 357,
      "proof": 91
    },
    {
      "date": "2025-10-29T22:32:13-04:00",
      "sha": "4c81c1150a9334b594bc04d1fd6c79f900b90dd9",
      "total": 16466,
      "verified_exec": 642,
      "trusted": 652,
      "unverified": 11691,
      "unplanned": 3481,
      "rust_mode": 21161,
      "spec": 641,
      "proof": 177
    },
    {
      "date": "2025-11-30T15:56:35-05:00",
      "sha": "8c1aa3cfedd5cd5f543f4c086daa0eb04456cfd5",
      "total": 16859,
      "verified_exec": 720,
      "trusted": 629,
      "unverified": 12029,
      "unplanned": 3481,
      "rust_mode": 21171,
      "spec": 969,
      "proof": 398
    },
    {
      "date": "2025-12-31T11:51:17+08:00",
      "sha": "6457fa0e5d871032791312f92e0363aca7a2ab2a",
      "total": 16859,
      "verified_exec": 1108,
      "trusted": 716,
      "unverified": 11378,
      "unplanned": 3657,
      "rust_mode": 22305,
      "spec": 1231,
      "proof": 550
    },
    {
      "date": "2026-01-23T17:43:05+08:00",
      "sha": "c20c0b7f6b04c0a13ea69c53422bacf7db3f29ee",
      "total": 16859,
      "verified_exec": 1126,
      "trusted": 716,
      "unverified": 11360,
      "unplanned": 3657,
      "rust_mode": 21382,
      "spec": 1234,
      "proof": 562
    },
    {
      "date": "2026-02-28T23:06:59+08:00",
      "sha": "4c01a2b62644081c6aa8c7864cde78b767801b5b",
      "total": 16975,
      "verified_exec": 1947,
      "trusted": 721,
      "unverified": 10650,
      "unplanned": 3657,
      "rust_mode": 20822,
      "spec": 8190,
      "proof": 4470
    },
    {
      "date": "2026-03-30T01:26:05-07:00",
      "sha": "d8e3519b4a6597e721af08c9a2fcd0779157737d",
      "total": 16402,
      "verified_exec": 2322,
      "trusted": 846,
      "unverified": 9577,
      "unplanned": 3657,
      "rust_mode": 20722,
      "spec": 10253,
      "proof": 7855
    },
    {
      "date": "2026-04-30T16:57:28+08:00",
      "sha": "a3e34d2957a2275638aa96b4f5753b7fa31bdfc3",
      "total": 16376,
      "verified_exec": 2742,
      "trusted": 902,
      "unverified": 9075,
      "unplanned": 3657,
      "rust_mode": 20608,
      "spec": 12141,
      "proof": 12808,
      "verified_apis": 136
    },
    {
      "date": "2026-05-31T15:50:55+08:00",
      "sha": "699ac48da271dbfea9ca5f74015aaa617ceeda53",
      "total": 16374,
      "verified_exec": 3413,
      "trusted": 667,
      "unverified": 8637,
      "unplanned": 3657,
      "rust_mode": 20744,
      "spec": 15292,
      "proof": 17775,
      "verified_apis": 204
    },
    {
      "date": "2026-07-01T01:13:21+08:00",
      "sha": "f1ca6de3ad935d4241f50fc6d8daeafd082d42cc",
      "total": 15966,
      "verified_exec": 3668,
      "trusted": 586,
      "unverified": 8055,
      "unplanned": 3657,
      "rust_mode": 20552,
      "spec": 18308,
      "proof": 22102,
      "verified_apis": 204
    },
    {
      "date": "2026-07-31T17:12:44+08:00",
      "sha": "716e351a6c4986e5688ecefee5fecae4700d423f",
      "total": 15966,
      "verified_exec": 3868,
      "trusted": 581,
      "unverified": 7860,
      "unplanned": 3657,
      "rust_mode": 20615,
      "spec": 18940,
      "proof": 22264,
      "verified_apis": 204
    },
    {
      "date": "2026-08-31T11:56:38+08:00",
      "sha": "d445e8281c8530db8186001f2dd220e5b96baea6",
      "total": 15962,
      "verified_exec": 4029,
      "trusted": 558,
      "unverified": 7718,
      "unplanned": 3657,
      "rust_mode": 20469,
      "spec": 18949,
      "proof": 22203,
      "verified_apis": 261
    },
    {
      "date": "2026-09-29T14:43:18+08:00",
      "sha": "fd133bccf8f67d659b09d299c6575867bbd06271",
      "total": 15836,
      "verified_exec": 4223,
      "trusted": 629,
      "unverified": 7393,
      "unplanned": 3591,
      "rust_mode": 20398,
      "spec": 18703,
      "proof": 18388,
      "verified_apis": 274
    },
    {
      "date": "2026-10-28T16:28:00+08:00",
      "sha": "025280446ae0ffc2df56a280a43cca78b0f3772d",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20170,
      "spec": 18700,
      "proof": 17782,
      "verified_apis": 281
    },
    {
      "date": "2026-10-28T19:05:15+08:00",
      "sha": "a22d96b40dddb85a4df2896113fb9e7170b86a42",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20173,
      "spec": 18700,
      "proof": 17783,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T11:15:36+08:00",
      "sha": "1d56def9457f321ae5dbf517d9b78f06dc6f15da",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20173,
      "spec": 18706,
      "proof": 17788,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T13:32:13+08:00",
      "sha": "9b79efa6fe2dbb905dad61bc9fcbd96e523c39e3",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20173,
      "spec": 18706,
      "proof": 17792,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T16:08:26+08:00",
      "sha": "d0c4661f681b0b77b06507cfabb27f2eaebfede7",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20154,
      "spec": 18657,
      "proof": 17774,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T16:25:00+08:00",
      "sha": "1ffc599bfe497a7c6a5f115b4e3c9e4aa46a6293",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20154,
      "spec": 18657,
      "proof": 17783,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T17:20:55+08:00",
      "sha": "9c7677deee6fbe7ac154158b571282a801ecea8a",
      "total": 15836,
      "verified_exec": 4608,
      "trusted": 628,
      "unverified": 7009,
      "unplanned": 3591,
      "rust_mode": 20154,
      "spec": 18644,
      "proof": 17773,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T17:38:19+08:00",
      "sha": "c04b45050cbda20954939277c24537470189e868",
      "total": 15836,
      "verified_exec": 4625,
      "trusted": 615,
      "unverified": 7005,
      "unplanned": 3591,
      "rust_mode": 20160,
      "spec": 18667,
      "proof": 17782,
      "verified_apis": 281
    },
    {
      "date": "2026-10-29T18:22:19+08:00",
      "sha": "5877493508f84824a17ca85f21b42a5438a5b084",
      "total": 15836,
      "verified_exec": 4625,
      "trusted": 615,
      "unverified": 7005,
      "unplanned": 3591,
      "rust_mode": 20160,
      "spec": 18667,
      "proof": 17859,
      "verified_apis": 281
    },
    {
      "date": "2026-10-30T13:59:17+08:00",
      "sha": "acd94a702714e593bfe9c4af383337b8f9aaedbb",
      "total": 15836,
      "verified_exec": 4787,
      "trusted": 626,
      "unverified": 6832,
      "unplanned": 3591,
      "rust_mode": 20052,
      "spec": 19041,
      "proof": 18134,
      "verified_apis": 281
    },
    {
      "date": "2026-10-30T17:13:40+08:00",
      "sha": "225f6ef1c0f5727e8a6b3594fe26b9c8233f7743",
      "total": 15836,
      "verified_exec": 4785,
      "trusted": 624,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20052,
      "spec": 19041,
      "proof": 18111,
      "verified_apis": 281
    },
    {
      "date": "2026-10-30T21:17:23+08:00",
      "sha": "9f83048b67b62b6b226800b1eef8798164113821",
      "total": 15836,
      "verified_exec": 4785,
      "trusted": 624,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20052,
      "spec": 19041,
      "proof": 18111,
      "verified_apis": 281
    },
    {
      "date": "2026-10-30T21:55:26+08:00",
      "sha": "020b85418e2d4edcd5089cbf818e477b1d07f3ea",
      "total": 15836,
      "verified_exec": 4791,
      "trusted": 618,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20053,
      "spec": 19047,
      "proof": 18111,
      "verified_apis": 282
    },
    {
      "date": "2026-10-30T23:30:12+08:00",
      "sha": "7c8019b4db19a612bee3feea9ac6825932903ae0",
      "total": 15836,
      "verified_exec": 4791,
      "trusted": 618,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20053,
      "spec": 19047,
      "proof": 18115,
      "verified_apis": 282
    },
    {
      "date": "2026-10-31T12:10:45+08:00",
      "sha": "26d9166f8f3fd943b554bbd34ff48c0536d8eafb",
      "total": 15836,
      "verified_exec": 4791,
      "trusted": 618,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20053,
      "spec": 19047,
      "proof": 18115,
      "verified_apis": 282
    },
    {
      "date": "2026-11-02T12:44:40+08:00",
      "sha": "b39a0b35efef9a55e08d93f7639f1c405ed300c3",
      "total": 15836,
      "verified_exec": 4791,
      "trusted": 618,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20053,
      "spec": 19047,
      "proof": 18115,
      "verified_apis": 282
    },
    {
      "date": "2026-11-02T14:13:09+08:00",
      "sha": "0c3b9f7a6376ca57e9cd4380974ed2d257f84448",
      "total": 15836,
      "verified_exec": 4791,
      "trusted": 618,
      "unverified": 6836,
      "unplanned": 3591,
      "rust_mode": 20053,
      "spec": 19047,
      "proof": 18115,
      "verified_apis": 282
    },
    {
      "date": "2026-11-02T15:42:27+08:00",
      "sha": "323526f8b7ff988ade49e9ab3ddf4f3feb91b794",
      "total": 15836,
      "verified_exec": 4835,
      "trusted": 618,
      "unverified": 6792,
      "unplanned": 3591,
      "rust_mode": 20015,
      "spec": 19076,
      "proof": 18115,
      "verified_apis": 282
    },
    {
      "date": "2026-11-03T11:06:10+08:00",
      "sha": "afb02bd685c8a496edacf50734c6f442601b81cc",
      "total": 15836,
      "verified_exec": 4916,
      "trusted": 618,
      "unverified": 6711,
      "unplanned": 3591,
      "rust_mode": 20078,
      "spec": 19209,
      "proof": 18386,
      "verified_apis": 279
    },
    {
      "date": "2026-11-03T16:07:56+08:00",
      "sha": "803512311e091d65e4b6e3d0839ba30afc729b22",
      "total": 15836,
      "verified_exec": 4928,
      "trusted": 608,
      "unverified": 6709,
      "unplanned": 3591,
      "rust_mode": 20086,
      "spec": 19242,
      "proof": 18400,
      "verified_apis": 279
    },
    {
      "date": "2026-11-03T16:59:14+08:00",
      "sha": "09a889abadf5a5a965fb848b2d835459bed4c00c",
      "total": 15836,
      "verified_exec": 4928,
      "trusted": 608,
      "unverified": 6709,
      "unplanned": 3591,
      "rust_mode": 20085,
      "spec": 19242,
      "proof": 18400,
      "verified_apis": 279
    },
    {
      "date": "2026-11-03T17:19:02+08:00",
      "sha": "291a24c8dd122cc8d6f58f5662e01a471b79c5e8",
      "total": 15836,
      "verified_exec": 4928,
      "trusted": 608,
      "unverified": 6709,
      "unplanned": 3591,
      "rust_mode": 20094,
      "spec": 19263,
      "proof": 18403,
      "verified_apis": 279
    },
    {
      "date": "2026-11-03T20:44:31+08:00",
      "sha": "f36812787af1c3ef658210259c674f91e73c94c6",
      "total": 15836,
      "verified_exec": 5040,
      "trusted": 608,
      "unverified": 6597,
      "unplanned": 3591,
      "rust_mode": 20002,
      "spec": 19328,
      "proof": 18414,
      "verified_apis": 279
    }
  ]
}