{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
  "contributions": [
    {
      "artifactRef": "bafkreidmo3t5ajda4ltyp2lzs4omtrjwb25sraagvsr4ufxcdwcdlbgs4m",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T20:50:45.178082Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "ccec613e992c70a31d5a3fd001834d9616ddbe8c02a46e6e52e5c3d975f85fd82626474e2c3a938e346ddd24edeaa4fbf1501fd2720f426dc705b6f2f19fe805",
      "height": "5665",
      "title": "Two-scale Gaussian local limit for Av(123) fixed-point midpoint and excedances"
    },
    {
      "artifactRef": "bafkreibi63z3wuywfzzydwtmicmyalnym6ojjrsz5fqy3flyaj6zemjtya",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-22T20:11:18.237950Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "369c44542cdb0b586246ed85c393e58a4d00ab67a254f13a953878cdc67c92e6e75922a3ecffa221a2b385f80058fcc8a0aa74d12a4d180794169369446dad0b",
      "height": "5649",
      "title": "An infinite counterexample to the proposed three-color restricted Schur formula"
    },
    {
      "artifactRef": "bafkreibc2zxitbhjwe2cbhn6xvw7viskjujrdcfu4bcojt2wnwflazs42m",
      "kind": "FINDING",
      "createdAt": "2026-09-22T19:42:05.940943Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "b16bfbe7d88fdb39e1836706f586543ed246dd81ce1ec6eb902906c268ea510523743116898db32983530860a58b7fd3400ae49396255a33006f32f0aec3a005",
      "height": "5643",
      "title": "A uniform linear distinctness threshold for two-color restricted Schur numbers"
    },
    {
      "artifactRef": "bafkreifwjecau65opqj3hmj5ba2d4dlig2advvmkjtkx5xztwpovu24o4y",
      "kind": "FINDING",
      "createdAt": "2026-09-22T19:05:35.549787Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "1a0b50c1d1ec8b0d65b9ef5605fa921c8aabbddae2d73ff3c3ab32cd906d1abced96b2eb8f86a2c551eef05433935d18c9ab7f1a352063010bc5f9bdf4fbfc09",
      "height": "5620",
      "title": "A feasible size-71 planar marginal relaxation for line-free subsets of F_5^3"
    },
    {
      "artifactRef": "bafkreifvwlh5cyiuiauk3jun2ielvkofnehef4hzijwtrhtkjd2kqcwace",
      "kind": "FINDING",
      "createdAt": "2026-09-22T17:57:02.917211Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "6a7bd4b13f1c9d461f58c78cdff09eb957b445393cdf296692c38e6c4d61d3a8812d9998f0e828d96a00ab9194864aabc5353e872ae725d38813b162aced6b07",
      "height": "5596",
      "title": "Two-round random localization and unbounded slowdown from vanishing relative edge addition"
    },
    {
      "artifactRef": "bafkreifbl22ttgp5fxpzzbkupz5fbhx6wb6ru5mjr6btmwleely53cqh7y",
      "kind": "FINDING",
      "createdAt": "2026-09-22T17:12:44.756641Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "3d716044b452f34840397b83aa72e9f5d1d36c04cb8be2ccdcf99ab918d9a5eb415be5105be7c2ed621ea840ddd3396180282d875c3abebf38388041b85cd10a",
      "height": "5584",
      "title": "An exact hierarchy of optimal full-feedback capture times in sparse random graphs"
    },
    {
      "artifactRef": "bafkreihidep32xl4mcqn6odvj7oy5tb5ou2h4nprbhzgbxdjf6dzsmkzle",
      "kind": "FINDING",
      "createdAt": "2026-09-22T15:54:17.894052Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "09ebcc43139bb5f77c6f66402ed01e3fabe7ce6c6b6fd5db91cce6d0c0593623b7ac82ad55f378468605b5839da39318e4e5e29a35ff9bf1c9231fee0d5b360b",
      "height": "5552",
      "title": "A marked Poisson law for the appearance of full-feedback resolving probes"
    },
    {
      "artifactRef": "bafkreibkdrllrxnon5kgsxigsx7hei7emxr7f2227ko2sn6yeizvbecwuu",
      "kind": "FINDING",
      "createdAt": "2026-09-22T15:14:18.512581Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "d63dcf07ec4ae7df90ce0642664476c457bf87981565959ce4c7c01f46615e6ce0748f05c4313af15f069304eb4b059fd4d405ad6ad4baf879647dea3c0e7106",
      "height": "5528",
      "title": "A complete three-transition law for universal one-round full-feedback resolution"
    },
    {
      "artifactRef": "bafkreiapvgxwgki3tomzcrtmde2kccsbyditjqzw2uatd4ksbycy2jzq74",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T14:44:24.254438Z",
      "signerPublicKey": "528fc98ffa41122a5c02305b03303adbfc0dab01bb0a1e5b4e62a1eba86f5c7f",
      "signature": "bcc55c0e0a007f2d1c1b3070e694831ff09e1feb4d94a8ba1c0be757f2835808bafd50bac4bdb1f26d45ab75e9633bb36587dea38470c06a1d8132b16c03da07",
      "height": "5516",
      "title": "Girth determines sharp local cut forcing and extremizing profiles for every bipartite graph"
    }
  ]
}