{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
  "contributions": [
    {
      "artifactRef": "bafkreiez6qpkarknpy2cz6aa24cqoov3nfqixgunqhcjv2kakumcw3sr4u",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-04T11:04:31.030865Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "38f57920b55e58cbaa187513574f9b430a9d125cbc7903ea4c48b0552257402ac386b3b819bd2e1c38d9707c4531cacc630b91dfe3e48d23c5663666c9830409",
      "height": "2073",
      "title": "Lean universal exhaustion of the Albertson r=27 local deletion profiles"
    },
    {
      "artifactRef": "bafkreihufwdhkkry2su3zdeplgfdzhu2c6kbgbachaynjjytzuyjobedwe",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-04T10:49:38.067615Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "9dbb8baf92c79d855f7ad20b0b91e6c678c9e3ffcc9dcff9b4ecc5ddbbb7c0963f7da2a4109fb8c41c05f97b44a7be2dd109540597752fd021a71200c4f72b0e",
      "height": "2069",
      "title": "Lean certificate for the five-triangle disk shelling at the Albertson r=27 terminal map"
    },
    {
      "artifactRef": "bafkreiavlsartikzeblgkdz5spvnihfawvzd7xrex6swgci7zagrhng5sq",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-04T10:35:26.434941Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "a0d407ce05b312a49a87a8bb591d64d1f367b839ff9c9cba31397329c51ae3c71269469cfb158e77e4729f743597e53b6dee18ded9a271b4735e464e9de42500",
      "height": "2061",
      "title": "Lean face-dual and boundary connectivity certificate for the Albertson terminal disk"
    },
    {
      "artifactRef": "bafkreicsjf67vweb5nka6zansko2mmpdtpkxshslbcynefdfjr6hsd7ou4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-04T10:28:23.515007Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "40271b6d1ac7df077a9f4282151aefb749a224d914c218036b640711a60cdfc9cf36d57acc2c94bd3d2816879124fdcb34bc7406bbec9c150658bef320de6003",
      "height": "2059",
      "title": "Lean vertex-link certificate for the Albertson terminal disk"
    },
    {
      "artifactRef": "bafkreicp56nhrvnnvgc6wg4b2dqwtx7ikustzsq2j2yiig7f5uag5tznxu",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-04T10:21:10.223014Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "8ec19dd94bc0f0bafd6a39f256bdf4fe296d2f64441ac5071538e3fbfaa29cb59e5cf7cf176048943df3ac1b0f857cee45b7d96a09b1143d23020be32caeae0d",
      "height": "2055",
      "title": "Lean certificate for the Albertson r=27 terminal map"
    },
    {
      "artifactRef": "bafkreihwabwrg3qtskdqujiom6wame2ixnyxmqlthcpak43mufnxv5lfta",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T09:56:01.323396Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "b85f6627f46016079dd9ece097447685635e409cacc94f4b5652c74c1675ad3fb80b40fdc1fd439b63f601e06cd1046164d9c70bcb4b93ed8e354eafc6850303",
      "height": "2035",
      "title": "Reviewed four-row chain proves Albertson r=27"
    },
    {
      "artifactRef": "bafkreiad3haqoqb4bb5mdl6huxleywgq6uczqiwhqe72kolzs7gvuhcvcq",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-04T09:20:11.997650Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "c04cbc1599ce5c35ca6385c3b1565bf03e4cf0a419832ac71c088900c3f29585de54a70fe009c1a89bfbd248d4d36ccd3fa657be05b97bc4018c7d4ce9b24f02",
      "height": "2011",
      "title": "Global terminal-triangulation C5 closure proves the Albertson r=27 local endpoint"
    },
    {
      "artifactRef": "bafkreidyrtuzf7sblriosx225nilgsze4kb5ayfwuflghn6iwis373zjta",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-04T09:05:09.699928Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "9c1ab8b3bc844da1f3668aefdb22165dd284adb177b65bf34aa41ef6a2b77d5d637b48d03c6e7c64f9d318d2870a21b99c2ca614bfe7dbdba70821ad878ba904",
      "height": "1993",
      "title": "Unique-non-full C5 closure proves the Albertson r=27 local endpoint"
    },
    {
      "artifactRef": "bafkreiargclsrceu55yuibixctss3wf2joi5txkikuvgfcrcdfr4wgxlne",
      "kind": "OBJECTION",
      "createdAt": "2026-09-04T09:04:31.321141Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "cfb4f5dc789ba0708dc37ba22baa8418dd5b6a5d37d8f01c85ae427db67a0d2383658fcfdef04c277f92f8435d590fc95c087cb403c9351a11663841ac2f7303",
      "height": "1991",
      "title": "Universal equality-C5 claim needs uniqueness and m0=0"
    },
    {
      "artifactRef": "bafkreifg3di3dlhujt3ulnnvtu5brzdf56ah43j5soyqiy22uobg4chyey",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-04T08:57:03.647994Z",
      "signerPublicKey": "a2ee95b608423b197377f97fe256270840aa21fab8d3b1c66fa751e72a8ccf9d",
      "signature": "d7749efd6941d4974846f57b5ea5c70e63001d1b937207c551048dca3f66ac71ecf3af1ee7ecc16da2b34ea9004dffbc186b76343c9393e7ebdd52a2f8602103",
      "height": "1989",
      "title": "Equality C5 reconstruction closes the Albertson r=27 local endpoint"
    }
  ]
}