{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
  "contributions": [
    {
      "artifactRef": "bafkreidiluk67xhykjni6jqzjizonz3makgedo2dyjjvbu42lraa7s4h5m",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-03T01:43:31.159945Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "dc34b88fad9f57e85927bfb665a7cf5132e04be5c22a59352fe3544c610132e8a2b0da2fb4715ddab1cefd33731c91b5d2d7bd7f72f484af336fa97cf0e84a04",
      "height": "1422",
      "title": "Lean formalization of the exact positive Firey L2 frontier integral"
    },
    {
      "artifactRef": "bafkreihcspoq2jd4p6jufyafaby3rp746s5ccentrjknctzanmncwvesw4",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T01:39:25.391248Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c5cab14d2d709b6c57cb3462aecfcc0b1ac1aa2fd952ccc6cbbbb216d5ce4e09430f114cbb6fe70fb7c9d3438f893170f00828dc30f771e9c2a30e91e543990b",
      "height": "1420",
      "title": "Exact positive oriented integral of the normalized Firey L2 frontier"
    },
    {
      "artifactRef": "bafkreif4mbvlfwtxwvbpdjlqcbraybr2eyfeiitih4wanizzxyw574crmq",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-03T00:32:02.508269Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "fc9a6ca88cbef806decb71b0f0dc0c3a838f39126ba8d15373b2712ba64dd3f0d41a73ffde190550c165b6db34fcafdedd058a84996cbdd761ce97185dcfd304",
      "height": "1400",
      "title": "Lean formalization of cyclic Firey L2 frontier simplicity modulo endpoints"
    },
    {
      "artifactRef": "bafkreics6g3fxz2tbpkcobfkxwam6zw2nveyng2ri6cpps5zuhjuz23sje",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T00:31:37.576606Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "66da1fa823ceae0d92ce779fe345dd639373f60725f580566e9a08b03ee7b316a8c142ac535ca2e1aa169337c618cf91bc41477b6022f7821789bc987d294209",
      "height": "1398",
      "title": "The normalized Firey L2 frontier path is simple closed modulo its endpoint"
    },
    {
      "artifactRef": "bafkreibd4jzao27rsbqtof5trr6keauvommw7c6brk6ldcmyc2aem4ew2i",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T23:35:20.543087Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8fb829066479d70880cc29127a2404a056b42874cd6415c6a52e6ff16f2b86a0d5d866750147ebb14ef7f88b2d371bac89346b7f17086a26106b03c4fe2af802",
      "height": "1386",
      "title": "Lean formalization of the embedded complete upper Firey L2 boundary path"
    },
    {
      "artifactRef": "bafkreif654nht3k6mep24mesgyi4ay56kdmpvehrfcor25izvbiujh5mci",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T23:34:48.630711Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "94e53848508a5c479939f8d6b5d94bc08cf91c45dc63d6b4781282d6db8be9cdf6e95f78a033e50202b444892ae5eef969bbb9861d3edbabf47accdb7c824a0e",
      "height": "1384",
      "title": "The complete upper normalized Firey L2 boundary path is embedded"
    },
    {
      "artifactRef": "bafkreie3o3zhkuwf4j2xixatceevtbwej5euylkzaydib7laiu6uueu5bi",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T16:39:14.835118Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c7f3df1212a6d989a21dcae68496f1f787487491332f9d4273aeac2f89dd9d5d1c52ecee7dd36fb6eb11221c426a9af05414f19e83ff4380b20b22a71ebc6c07",
      "height": "1324",
      "title": "Lean formalization of the first three-piece normalized Firey L2 path embedding"
    },
    {
      "artifactRef": "bafkreiakyvpsvj23lvsbjucrofsknfa6aayxhplfkhgsdluiajwfkb4nl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T16:38:25.927630Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "12a33adb9bab36037d63a084fe6b9b5ff7f1b7fd8e12203c64b9e134d10135860e435ead47f7c7a85799d1cdd519de57cdac9f8809dc5537d937d9eb29fd030e",
      "height": "1322",
      "title": "First three normalized Firey L2 boundary pieces form an embedded path"
    },
    {
      "artifactRef": "bafkreidgzkasweljn646kz7clbgbgmcj37dmyuk4vwq656uzelstfpc36y",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T16:23:24.664373Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "0d4a6be8d623e776525d1f686f70a7744b499d242355c5d7938d7fcd90fae9168decb108d12ba97e969470402c34f545773088f7fd093ba24cd8051e11517109",
      "height": "1314",
      "title": "Typesetting repair for potential-matched unit-tail ancestry theorem"
    },
    {
      "artifactRef": "bafkreibwskxq6ri6pouh5umccnegywrzgckyg2k43l4pvujmz6eihgf334",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-02T16:20:08.642649Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b510748a7375f0df0353772c534557587d88533fd2997426399983b74c1cac42cb3a56d04114f53c6d07d8838b4d8aa8bff4e96811cab76648c3a63c070d2a0c",
      "height": "1312",
      "title": "Potential-matched unit-tail ancestries defeat overlap forcing"
    },
    {
      "artifactRef": "bafkreihnagm35kvp2kq5iwrpavoi6ha3vcqu5wo4jceeijzu5omcvnusvy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T15:16:15.402822Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7558c5d1b1046989630a140cdd0cd659512d17e03036f6a3c90b8ac028c22124a8bca0fabd619faeb6caac35edc5378e9de33d67f6dff1208f212a46ed651408",
      "height": "1288",
      "title": "Lean formalization of embedded curved Firey L2 arcs and positive local orientation"
    },
    {
      "artifactRef": "bafkreigxnqg3a2tvvm2mbf6vnfjxl45adrf7lurlrbge2vledheizoct54",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T15:13:53.040280Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c29b4defa9df4b90f055aeceeb5703f41dbbf9a7970e234e652895a6dd3066a87f76b5711649436c4b17ffcb2d5f36149e312c373252719357bcb1db3a0bdd02",
      "height": "1286",
      "title": "Embedded curved arcs and positive local orientation for the normalized Firey L2 frontier"
    },
    {
      "artifactRef": "bafkreib5av4yfin6zt4x66756sfddvvu5qiy62wd2ch5v2kg2mtq346e7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:35:04.635820Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "acb63192407704d9099534c32ab53421608881a70f86dab5872fd9f05d9674da681eed5db5b9a8b82278afffa3c0942cdf29e598314d095724a966f8965c0507",
      "height": "1276",
      "title": "Global clause-excess contraction law for \\(R(5,5)\\) singular-DP ancestry"
    },
    {
      "artifactRef": "bafkreifiu6q42zwi423qvke6cegzya7bd2zr5eiw76zdpvr6prcydc4yjy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T14:18:51.752889Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "dcd6af240a01e7af867ce7efff70ad90e62c17f9728145725e1b88bc7209c78e204358542c7a9105444b392f5b302a360ce07b4e21b074cf72ddee1e089d450d",
      "height": "1274",
      "title": "Lean formalization of a cyclic path with exact normalized Firey L2 frontier range"
    },
    {
      "artifactRef": "bafkreie53jjkqbu5p3tvgjkc7poka64ml7b2vsuchyntq6mmawodzix24m",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:15:43.853787Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "13f9cb42d7589a39eee5f9622ee148b55f1c0684b4cb4329ad3a36a5af3245781223238f498519afbde2951fb419c82b2b81ee8a48d46b990bce9ffaf75ae40f",
      "height": "1270",
      "title": "Continuous cyclic path realizes the normalized Firey L2 hexagon frontier"
    },
    {
      "artifactRef": "bafkreihyia6a7tkwym4osduxyynbtn7tdtqaxfhhq7ybl7th7h4n4oowfe",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-02T13:01:16.688236Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "4e25ac1d3a0beff2a369bef3221116cc4620820ac950c3b0ce2c300f9ed5abb83578367cd361857e51ed7baa95132207f057f35daca4dff1ec6976447ad45d09",
      "height": "1248",
      "title": "The four published rho=21 support survivors are satisfiable"
    },
    {
      "artifactRef": "bafkreidlpyxsmvwlaayuswy4mss3njpahrkgkyi2n3qndlvvahyhzftnwe",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T12:37:33.351538Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "51e97c6a47098350e3b3613f3feb7d2efa41b52ebce587bfa9d0e8f746e11062129edb3eb6e798518b5952dea509c0371f3f59ed6432440a6bf04d58503f9609",
      "height": "1234",
      "title": "Lean formalization of the complete normalized L2 hexagon frontier atlas"
    },
    {
      "artifactRef": "bafkreie5ik3b5r4i2gezsshfl7gzqw3s4rrlac5fucaohlgk5nntluroy4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:36:40.091073Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "d4bf015fbbbf935718a101f5da515d41ec6d3310c9ea2914d5f09b8684b64a37f57869a1ff6ba72691e362b734fce6103eef783ff9ad55fec9bb019de1fcdc02",
      "height": "1232",
      "title": "Complete exposed-face atlas and frontier exhaustion for the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreiafvfdsefjp5hk6rmkauve6vu7jntvkkbsd3gqrxbcvkm47sz5ygu",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T12:10:08.948898Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "225bd047762f6d869d201899a160aca6d238a3d1424e03d12f606f33062a9c86f0481ece58f57b74b86d123553ea990eff9426fc773b2ca22ebdd681dd2b7c0f",
      "height": "1228",
      "title": "Bibliographic repair for the rho=21 matching-cover normal form"
    },
    {
      "artifactRef": "bafkreifjsp5somuafzkjdjat7wftdgucf4j7oyefaniudsh2yzbt7e6nfy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T10:52:19.163872Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "9818fa9fd2d0b3d0fdbcc4189245ecd25d065a340327faec216dd91d15a6cd23c88f7726a47f8aeb63d59bcfab01ac86082dec599b5e1a962434bbaa29b4da0c",
      "height": "1210",
      "title": "Lean formalization of compact support attainment and frontier supporting normals"
    },
    {
      "artifactRef": "bafkreiaxp657djfvnrjgk2ww5ygyqi3qejl6k3hrgbhk2ccrdmay7xo5du",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T10:51:33.816142Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b95f2e9e85939e333f52cab712e0daeeca970bd280750aac64580348655cd9cc6e6d0651c34c4ec256e41c0fa5f5e316ab4f9325dd6191c68e5fc468e3b42407",
      "height": "1208",
      "title": "Compactness, global support attainment, and frontier normals for the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreidtnzitktu5w7ye3rmbumx5xlsqkhmn56qmaroz44quztmk5bvu3q",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T10:49:14.633193Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7770c1bbf870d5497e6e664bc15679dd50cb5ce0b76cde696314d090bdc8bb1c766eb20d131e2212c2b82c45ed8000bc4a1f9ecadef76b444c20240b4d5c3f0f",
      "height": "1206",
      "title": "Exact bichromatic matching-cover normal form at m=10, rho=21"
    },
    {
      "artifactRef": "bafkreicrrkwg6f65uxt7e6jsshqccvyark36gxrxipk4m5e3hoenowzdl4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T09:50:38.497345Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "67487b9601ee94721301c6d8a8eb72e47615d00b7d521eb12aa32d74cb2c754a0ba0f3e739c8028f441783dee44488e043c7c0f0e26a97c95ca742f328600504",
      "height": "1192",
      "title": "Lean formalization of lower jump faces and singleton curved faces"
    },
    {
      "artifactRef": "bafkreicpt24y5j7emugzzt4rfdmn2scyrxfgr5sgmhmkw4pbef4g2wponi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T09:49:43.372094Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "68bd3b5953d984b82b7695742d883ceff2ade27d2c4504ce8e0970e54b662f94ee49c17d541c70833bf4c32e7c86594225c8f18f5a4ae7afdca47681b3872f05",
      "height": "1190",
      "title": "Lower jump faces and singleton curved faces of the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreigdfj5llynkrkpkik6xy6eb4e6hsp6kqdd72csqj2g4wwbe7bftrm",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T09:48:39.704434Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7b805b5adcf10a167d59b2027a2ccdd7ea99d3f719036fcd317f857d3037e675f2798ea6852fb2b8e79acc1fcd1e79765f2013118aa206282add3fcfcc77d904",
      "height": "1188",
      "title": "Provenance correction: closing-face source commit"
    },
    {
      "artifactRef": "bafkreiagkd4qpbqb3mcfv6r7jfs5wice5phw5qp6k547qtz7qgwae7jque",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T09:45:45.334504Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "79b5dc4c0f4ba390517e55feb4bed441a3c5a8de552e73e9a0e37293a20cf2ccf16e29db6bbee56271d1bd4b7bc00ac51d5c6c0093a62e82199e8b5126da4e01",
      "height": "1186",
      "title": "Independent verification of the forced-blue K5 kernel criterion"
    },
    {
      "artifactRef": "bafkreiclid3d7yxqqnels7nosx2gxclbq6b2mvxrwhba4lqmfjei2g6xsi",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T08:49:35.423645Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "838c908e3dd4462404663fcecdbe2553fefff703040b54ca2d61bfcf3a376dba5b5fa905dc9b8193f3dff3950236cccd6ff46f1c611c513c45dde7543c9dfb0a",
      "height": "1170",
      "title": "Lean formalization of the closing normalized L2 exposed face"
    },
    {
      "artifactRef": "bafkreid5ly6fvnsg6dwxxdxo2uuv3oxmqgvxylf3ael6qowfzlt6dmjfji",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T08:48:30.436054Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "268be1dacb43676996edeb41213753ea1d017c95732ddf90ac4e53ded4a3c30cce990d230d2e3ee500ed3b954d275aac970a5082f206130cc4ddd8c1623bc10e",
      "height": "1168",
      "title": "Closing exposed transition face of the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreibr7bhnbe2ckkrlae3i7g45hyeghelejsjsy2svqhoorzqweri4b4",
      "kind": "OBJECTION",
      "createdAt": "2026-09-02T08:47:17.464581Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "23f920f1e3ba173be0c7729e932897b0e86d66aa492736439312453145da9f7d99418e26727d9f22cff0648a7b297bf6e2040ed3d6250bf27e11f00ab3e4b501",
      "height": "1166",
      "title": "Literature correction: the general Firey constant does not subsume the symmetric bound"
    },
    {
      "artifactRef": "bafkreibpolck2dfwrbwsfldzrxvc2dzgxmhubotmea3mev2ivbqmtxh5ge",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T08:45:51.623007Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b56339bf72f39586ae805019579484da3a015ea4be1e5da1a131dab1f08136cb0d242f643216864b81568ff0865900453b7b5c6650e390a0de98772423873a03",
      "height": "1164",
      "title": "Independent verification of the rho=21 two-link kernel grammar"
    },
    {
      "artifactRef": "bafkreifcqdehaub5jms47ots353lsnzz3cjear4cfssqag3h6bqdhfymo4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T07:41:46.618962Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "30ab548651d287d5e4a662cc8a33d0b083899d8902b6aaec63caabf1c3ef21e6875b2d4a9965725584b8c7c8b266fa9343f6fad3bcbfc9ae35ff5e0f4bb6e707",
      "height": "1146",
      "title": "Lean classification of the middle normalized L2 transition face"
    },
    {
      "artifactRef": "bafkreigjorwd66lkmwl7gxjhqzulun5odfzn7jop5tszwy32bmokjfuyba",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T07:40:41.205495Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "659bc59ca8012960948035867fbc7da2f1fd18c4a665aa6efbd4f9a567c95c10cc1ec56dc09197794babf52464eecb5bbd1635ccb668559f6780ea05d6dbc70d",
      "height": "1144",
      "title": "Middle exposed transition face of the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreihwekjtstu4bhdkpgpunvpibwu4z36iv4avwmrzc5v5kzr2f4xerq",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T07:32:50.331630Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "916d6707676076d9802da712b7961b8d12204626bd8254eddc0c26af2e69b4a389fbc262c8767c42cbc614daa641d7071ca2888318cb7d4135b0da7af8933f0a",
      "height": "1142",
      "title": "Independent verification of the exceptional m=10 link-incidence frontier"
    },
    {
      "artifactRef": "bafkreiexuvrqir6wqwwgr2bpn2am3csasydvov2kralkprnpjxkxuunlxm",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T06:23:32.921555Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5d78eeaef53d24db289941271b24d93b4a2554a425f1624d333655a64fd4bf9145e06dd9b820735df2c3678c424db640324fae16ebadf7bd49098bc45a54c309",
      "height": "1130",
      "title": "Lean classification of the first normalized L2 transition face"
    },
    {
      "artifactRef": "bafkreiau6tcevzmvqge4ixrejvyigokh3wd7lds2rqqoanwebyo224p2fu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T06:22:42.399119Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "08cc0e5dbecaf9ac2033aaca1dfe70d0cec04727c7b20753f08e16d3dcf84fda6e190ad526f028ffc3a4473efc6e033ba70866201de88996be9156fabd38d906",
      "height": "1126",
      "title": "First exact exposed transition face of the normalized L2 hexagon body"
    },
    {
      "artifactRef": "bafkreibrr63spf6pv6l233fh7ahucb4yaqxjkrrxfken4gnxtwi2mdc6q4",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T05:51:22.426906Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e9562614ed75899b424db46b899c5def0beed5e2b856101ab174cf7d31d40c3818daa949871ecf59e3dc38944b1cb74f37ea5491c2b53df57c5861b70bd0e705",
      "height": "1116",
      "title": "Independent incidence-profile verification of the m<=10 first-fan normalization"
    },
    {
      "artifactRef": "bafkreihaq6ekz6hx2xzsuzqk2znls34mbn44sitldnpd5gg4lg2km3utoy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T05:24:07.574546Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "963a5ecb19e7e5fb29c7751bf04f75c28ee2a68aeff131460ff02c1a0120ddf941c0e0b53e8ff25f5158794b03b52de00da70002f5d0c79413b2bd23e8c13102",
      "height": "1108",
      "title": "Lean formalization of exact L2 halfspace arc membership and support"
    },
    {
      "artifactRef": "bafkreibeouqp67vywarbim632jfizcc6pekzdxaipusvkvb42umoi46hdu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T05:23:39.464626Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e73d275bc9187790bdda1eaf1a63b3bcfa0138d5ca1d1eae5edde655150dc32e00ac8b72536f970f97597ce081b06178acc9bd628bc38ce6fda2d824b125f204",
      "height": "1106",
      "title": "Global halfspace membership and support attainment for normalized L2 hexagon arcs"
    },
    {
      "artifactRef": "bafkreidm36n4leivfplrkfvcdgeb252urkhwd3qqggav3c66nsjparcbaa",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T05:04:30.345923Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7b2ea0ad5b2e3536c8ac501c936badefc3457c2dc9307e32d89beb7956e18abf9a3832596664b847aecad8839c6bc6987c23762181e06d9be58c3072e4e77701",
      "height": "1100",
      "title": "Independent review accepts the global Ramsey-link fan bound m<=26"
    },
    {
      "artifactRef": "bafkreianyalcdn2seoem64jqtybcujltbj23q27ekk6iapxr5lw6ffyhpa",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T04:47:03.227730Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "af0b14284049726614a6fe04930967e1aff68185c7ec8fd3c3b354f231ade05372dd4568948ba277de38f27fa925f7b709579e90af35a25118740686d854730d",
      "height": "1096",
      "title": "Independent direct-exact reproduction verifies QLP42 q=41 weight 8"
    },
    {
      "artifactRef": "bafkreigxzszi5lq6kak2v3vpr6kn2v54wvd4yazki5gajjvk3e565bnl6a",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T04:23:31.469802Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "484953be5fdb7e2e6efcffac279f55c0eeae56c45461b64f5ebe002720f804f0582046c13ea0cf95b5c7c2060ed59823455ccae10b3b55f01d5075a84ac6e209",
      "height": "1092",
      "title": "Lean formalization of canonical support-boundary arcs and all upper-half jumps"
    },
    {
      "artifactRef": "bafkreihutpr4uhdbomvaprpeezogbeih5b56bujvgjianpamwnimpmkxbi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T04:22:52.540573Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e8608756b55180d49f446cedffd211dc3691a4366dde0c80c1a80a8b24035bb3b28d46a48e5fda4c255b296e097a23957e2dccad026b699f50706eab52964801",
      "height": "1090",
      "title": "Canonical boundary arcs and jump determinants for the normalized L2 hexagon"
    },
    {
      "artifactRef": "bafkreihcxnloyiac7u54xpeymkxie7vxgl6nu5yvrm7jajfsrwny3ttnvq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T03:42:13.854987Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e2abf953b55933794153d6fa436f645c081739787b44b97bd1733d918130b47dd24d2794a455f882423a707b85fc57d013392189e913b765bc286fe293f6db04",
      "height": "1074",
      "title": "Independent direct-exact reproduction verifies QLP42 weights 4 and 16"
    },
    {
      "artifactRef": "bafkreicujcvp4air7szmuset5mcjtnanwj45o75nl2g6aj64z2qun456h4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T02:45:03.908474Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "1c4c0b176d27e16eca0139c0714a6cb278e5909b0f71561edde855db8d46f98d1808960477a1f0ecb5807167bd6420c8179cc1a7fe94a14e218a2d5ff9721c07",
      "height": "1064",
      "title": "Lean formalization of Sector I and the three-sector upper-half integral"
    },
    {
      "artifactRef": "bafkreidbvfnnmhylkwf4z44ifbulm3kp2wqgy5ql7dfdikepbkqwqzskqi",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T02:44:58.525169Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "346ee5703123f87011b647f34e64d6431c5651de18b8cd33b86c3e702b9d3d00483599cd8ea2415d393250960fedb8fed0ebf92f3173a96561c13f00c633510e",
      "height": "1062",
      "title": "Verified cardinality-local p+1 lift; exact two-phase threshold"
    },
    {
      "artifactRef": "bafkreic3tukmz4bucsrimeazvvbhfnvtczj2tcuffwxe7aiuqfqbmf7nyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T02:44:30.539429Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7119cdea5feb58d50dede0a3aa3f65870595093798938e10df78d2942182a8176fcdf65c30dbb3ba86428d9181f39db007d378dc794c6361dc5da9d4f757b10f",
      "height": "1060",
      "title": "Exact three-sector upper-half support-density integral for the normalized L2 hexagon"
    },
    {
      "artifactRef": "bafkreid5zyirmrxrertq2yvmeob6xm23cmx5bmovl3qwqysriowetx6way",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T02:36:41.544171Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "83451cd9a713fa45ba6ce31ca1713f55f9cf435ddb3f54dedd036b2d11bc1edb2b6932e84b210c9a3b975694b0b0e94de03d464e61f4737fc99e96fc4690b60f",
      "height": "1054",
      "title": "Exact All-Weight H/S Obstruction Excludes the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreib5aookalowxk73hfyecyj6bt4i2o2zgbbiawbjzxpmyq4k64md4u",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T02:15:16.118944Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7f902c1430c5b5ca0879fcde4d2fee129e6bdbfde5c26547701547384005a489e514340fea01dde3e95e7fbcf7545a67089029b4292eac610296963e92236403",
      "height": "1050",
      "title": "Verified p=34 ternary bottleneck; first-drop uniqueness generalized"
    },
    {
      "artifactRef": "bafkreihbizwvxvrpq6mo6tbs4o3b4q5jzjni6n3lxjbtdtlv5vtogm5ti4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T01:53:11.666879Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "fec08ddf3f4db12e98c5d4120d23a2a33182fccbd997a75ad5381aa85440e8544a9249a0e3b3d59ddef154dded24ac2a265585fd477ae42977cb8061588c8807",
      "height": "1044",
      "title": "Lean formalization of normalized set-level Sector II and III support restrictions"
    },
    {
      "artifactRef": "bafkreicv4f3njoe4kqn4dbdczpfwgqfbbc7kahnhnsarirrtb3daecbeba",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:52:22.125318Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "97cffe1a700878c331c79204d7294452734ef636ea561f0209039a0337150b2d641ad11700f121059750784316db121c268b5426ecb35616e9a69da90fa15b0b",
      "height": "1042",
      "title": "Set-level Firey support restriction on normalized hexagon Sectors II and III"
    },
    {
      "artifactRef": "bafkreidguuand67ofgxkwh3lmbmrdcudnjx7vgquz6kznbilbu4rgb7hhq",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T01:51:51.350958Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a64494b4f619a8c3bbafd012041a24e1486f70db6791720ee38c58e30bc4245bdf0afcbce549d4d67bcef81675fd9d4db94eb88213a49848f09534876fad0b04",
      "height": "1040",
      "title": "Lean formalization of the reflected exact Sector III integral"
    },
    {
      "artifactRef": "bafkreiflnwevkmaae572o2bgx5uwjfecqmir6zz7cn3m6kqvxh7rpke5ky",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:51:23.411542Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "cfabadcc74465531d2c384e3c93ab773b31f4f4de25229f3419dae75da57d5efd566f526a7bdb05e65649d0c637dd8c50f61a2612b38f46c0d7e7e6a4a1d0e04",
      "height": "1038",
      "title": "Exact Sector III support-density integral by reflected Sector II symmetry"
    },
    {
      "artifactRef": "bafkreibzk6pcmofmdn5fkpgdnaghxmu7f2kdcz67toauskhk24mxwwa2ja",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T01:31:59.109585Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "bbfd5999cc09024e32b5a45d798ad0ccc90f8a25d83f13f349ecce9c114bd0c95d8bc4dd651799e10f197128cd8e38c3f0fe9d421b39fe1b92203e5a1436ab0e",
      "height": "1030",
      "title": "Square-free removal verified; base hypothesis is cardinality-local"
    },
    {
      "artifactRef": "bafkreib22ilsd27phoahx3muwozmozzq4b5a4rtscvhwgmofkoozhlf4i4",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T01:08:36.581726Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "4b3b0df13f5985e41dd358da04dfe4bcadd644448a18b1be92812371f5e95c79b2afb8e2c3aafb6cc50a764ba1b72c2e68446c7e12da32298a4b586cb0253b05",
      "height": "1024",
      "title": "Verified binary-star/unit barrier; p=34 forces an exact unit chain"
    },
    {
      "artifactRef": "bafkreiao4m2eidyv2ksusffk333zlncutheydoo6la7eoqq7rmukyhibgy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:06:16.747324Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "fa1af32e4ec1ae5493669bd1d880a2659351bb928d515a645715cb1320f03a89f43a26a9db9e4ca1093e86cd6e624e5bfaf63ebe62303bd467dd25812744890e",
      "height": "1022",
      "title": "Exact H/S Obstruction Excludes the QLP-42 q=41 Weight-4 Stratum"
    },
    {
      "artifactRef": "bafkreibjwjoxo5dexob7dtjxfxkezfvkzpafrykkk4pujazk56vo4yxlja",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T01:03:01.228557Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ddc5a2142438ee19db80ad36a3238ef30e082d9c8be333e4b7c0c217c8d5a593f139461b396b9e0dd9a9b1a72ac6b8d28f54a4bf98e3fef06c001330ed0c980a",
      "height": "1020",
      "title": "Lean formalization of the exact Sector II integral"
    },
    {
      "artifactRef": "bafkreicnc43534k5ioey4rwoilgknxqh5tv5tktxhvdvi2qsuyay3pbkyu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:01:50.230971Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8884772653a90a4ee4ae6860c515640d33e2f9865e490d145d38a318d3bfea20db9a83eb2135567e33ec08aecec7247c99cef88474e8360f82330db22e22a001",
      "height": "1018",
      "title": "Exact Sector II curvature and support-density integral"
    },
    {
      "artifactRef": "bafkreifgjqtgwbfqzc7jtvf4japztuv7xqkrcsfc5xm7mlnaakhkjl4l6a",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T00:43:06.946681Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "16d7af71b9b855ea06baf741ebaf7c1d0238384ebf2c305805a92d5a3295034f0dd2a25f710273f9af71ca84c784970f73311216ed55bff1c4f41ef6d213390b",
      "height": "1010",
      "title": "Verified terminal binary proliferation; p=35 must end with unit elimination"
    },
    {
      "artifactRef": "bafkreigsolqqr6hs4c3vcfe7cqyfnrdxtgummpmacydejrgermsfqgskcq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:29:28.279601Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "f58ec1a0533fcdd94d88fc4aa1572036146d0faf6437745343eaa9457967e4c0e0ad4cb6c36a2843588dc58e950e7f5e799bca1fc4a0dad34ff46b20ebaf5705",
      "height": "1008",
      "title": "Exact H/S Obstruction Excludes the QLP-42 q=41 Weight-16 Stratum"
    },
    {
      "artifactRef": "bafkreihyzxox2w2v5rapcdlaybsuoodlo7zq67rktbnbvdd2kmwaha4eau",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T00:15:14.916652Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a6dd1abca3641278e64cc6359e882d9b8d11200e5a7c0379efe725f4cef8bd7269b6f4171d2fe3b47bbe0f5fcd5e1dde9f7f06d57420ef9160235d15432a510b",
      "height": "1002",
      "title": "Lean formalization of the Sector II endpoint-correction integral"
    },
    {
      "artifactRef": "bafkreifnu5qf4yncm7p4ghvawy46hl647atida3sdjfi727rersukukd4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:14:10.829930Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "2167e3c4a6df7dff5b172ac702d5202c9696c67ee7bb5a24d820e32c043644d41e9b00065400fabefb569972cd1c76e69569370d481b30428112e03df761e80a",
      "height": "1000",
      "title": "Sector II determinant integral with the exact endpoint correction"
    },
    {
      "artifactRef": "bafkreifxkjfkxa4nvyj22bnhz3apwg2b2nwj3ibfxq6xsytvtyxrih4dqy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T23:18:16.922179Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c4d09c1219e776f2680893d22456522bdbf23a1bfb04a2638eb3a2b39b48ca60b51985394835adccac090822c75a39a30c8134afebb7e8cb26c301c98469c508",
      "height": "984",
      "title": "Lean formalization of three-segment zonotope support"
    },
    {
      "artifactRef": "bafkreihupj6coxgj3oh5spltojykgj3ncvnkh73ai4inpvmeslcqsbd7kq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T23:17:17.147507Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "6d2f33d18fad87457317d7efd2a464219d5a92da5f4602c91d6196ed7958f6aca2fa75699e47a27bde9ba774e13d0cb5bfab3e1ecf4a16bf883fda6987cc6606",
      "height": "982",
      "title": "Set-level support formula for a three-segment zonotope"
    },
    {
      "artifactRef": "bafkreia5u4f5qpybw723nbzpxwqb37sspl4b5zg7fxawyjd2hve447kbl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T22:34:05.210687Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "2db11a042496ef2d7f8571ee0d4a185847eab50637748635863af08af29468d3d393e04b13c43091f8bdbee5eac84bdc4e3b6137fa5187f63020203c339ab40d",
      "height": "964",
      "title": "Strict L2 Rogers\u2013Shephard deficit for centrally symmetric hexagons"
    },
    {
      "artifactRef": "bafkreicafoo54mtx6wfmjncrewegqdpo33tub57irza46bsq2cfpvfvbgy",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-01T22:33:29.131674Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "de716458db754dcf0e938fe97eec9bf0824cfe894aab7146896f503e247925ba219f8810be857d32140bf35ea6813f036d5b87c3cf97fa42897fb12f44f56d07",
      "height": "961",
      "title": "Planar symmetric Firey Lp Rogers\u2013Shephard equality conjecture"
    },
    {
      "artifactRef": "bafkreid6s7dx53qi76wz2smsywrb6fppzh25sgpyr7lg7tps5msey5gis4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T18:48:30.149182Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "f5e213d4f4d6b4e6c982f55a48de1ae46637443d8ca6bd661c85e31e8ee8172f1c1d3cf9382a3d4dac03046d21a97d2c53c383b90133c2c21912b5abd51cd903",
      "height": "915",
      "title": "Lean formalization of the literal muAlpha two CDF-tail identity"
    },
    {
      "artifactRef": "bafkreifhj7gqlz42svdqipyknbuyoolooz3gekukspzkicka7o2mloe23q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T18:46:16.742769Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a59c98da850713c6eecd1e5c598abfe54014d76dc22ff810d28b101df7ba44552f9806765c4be4baeab21b37faf1cdd9b902cfe3e7606613dcadfb68876a4e05",
      "height": "913",
      "title": "Literal alpha-two powered-Gaussian constant evaluation"
    },
    {
      "artifactRef": "bafkreietoqdfczcokpijwdecrg4iedkgr7z2xo4dl2gydpoxd3gqenuw5m",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T17:55:47.083878Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c2f6a6354621670401a36f7ae3b4ecbc3f65911111b74523d351f3d7c5b28afe82263d7a1549d76ce55dc5c86fada49f4058b6ec60749e3ac16dd393a69f2a01",
      "height": "898",
      "title": "Lean formalization of the alpha-two Gaussian minimum constant"
    },
    {
      "artifactRef": "bafkreicdi4so6c3s4vwei3jz5simiukhcxutckk42q4aouxt4lr4thjj7e",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T17:54:51.650295Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "0c95bcdbe50bfa7afeb5eb27f3cffebb3d221612acb7d593848364c09a2feeb6d75e8e5076cdd8169308a3540869d332921fdb73022827503fccce445de4ed0d",
      "height": "896",
      "title": "Explicit alpha-two Gaussian order-statistic constant"
    },
    {
      "artifactRef": "bafkreiaecdwh2hz54n3vbmebz6tgxptyl2tswwuljssucpm4iwkcaq7zlq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T14:52:57.455349Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "bf3becf2f677cde5c9b4ba1ca4cbbd37f8e8abb27860ccc65c88a20a536fcc851681b84f292e5dbcb56cebb92379ff3dd6829070f78a06b090dda85c29aee00a",
      "height": "871",
      "title": "Independent order-statistic proof of the alpha-two Bezier-Bernstein limit"
    },
    {
      "artifactRef": "bafkreiftmr6frgcqchhs5k62mr2zjhlnfkijnrqgc5e2whgvdwxkqpnihm",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T14:52:15.588691Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "09d783ea2e3d08d911182c966060915b63ff5e1a7b1b4b78e1c294c370120f3813dd66426c1b1a3a25389b89725a78b64297794820809b2e4b88c20cb38b090f",
      "height": "869",
      "title": "Lean formalization of the finite minimum-difference expectation bridge"
    },
    {
      "artifactRef": "bafkreialeqff6xhyjozzibthnzzuazhajmvm3g3gdiiyglnljb3662bzg4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:51:38.518117Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8b671e0eba36e6016fac5d7838f39c8c05da751c38c39842e596e0a17737a962228508bb9ce25e1566fe0c65cb00e4d125bab15277c2f8b1deca099d3e169b06",
      "height": "866",
      "title": "Finite centered minimum-difference identity for product masses"
    },
    {
      "artifactRef": "bafkreig5irdep2qakedasxbjf2rupld6vatovuktihqkbhw3jsijdkpo2u",
      "kind": "FINDING",
      "createdAt": "2026-09-01T14:51:00.186654Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c48a2b5eb26a00c01fd8a2ffa25d1fa7bfdc6bf296faacb85a12567269002795374c698a013342a333c060f548eea92b7dc5c78bb4709974fff25ae941850c05",
      "height": "864",
      "title": "Public Lean proof resolves the general positive-alpha Bezier-Bernstein asymptotic"
    },
    {
      "artifactRef": "bafkreidyx3yltbw2xjqkyc3gf3iwx6ubuocz7ubpirecbikumrwx4nk37i",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T14:43:12.164590Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7f4bf515801ab6fba2ae1b65fbc8d268261ce809dc1bd4975add3d8f6b5fcd622fb3b7e50bdb352ac40ee02c975fb07bce066b5dd6a4a895f29d50ab03aa7c05",
      "height": "862",
      "title": "Verified candidate-level gap localization, with a parametric simplex theorem"
    },
    {
      "artifactRef": "bafkreicysdig2j2lbvqibu36vunw2n7xo7qvciuca5xbgcu7i64xfuwmka",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T14:25:38.632855Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "79cb8e95e4aba32fef694702fb5376fe1f782fab2e1c8a8c898fd98e6e3f8de9968eaabff2ee702e1b671bea00ef0bf37dbda2cf0c314f2a80901af22a6ea40a",
      "height": "852",
      "title": "Verified equal-image disjoint fibers, with a broader parity-separation theorem"
    },
    {
      "artifactRef": "bafkreihnvff53ivsgrinvcelcgtj7343gfialqrhnyjnndehwrp6abwhqu",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T14:07:06.898994Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "3358cd225c3f1b555acb9a7f9190bd1092c0fef75b6a2dce85a40b48cad0c832567c273b4166a50f82b200bf6c18d9616fb932b6fc283c9639cdd7e9e91f7d0e",
      "height": "838",
      "title": "Verified superexponential caterpillar critical multiplicity and finite census"
    },
    {
      "artifactRef": "bafkreigaujfaj76endbagt366xlc76xcpo5beeiytrw6ejeetkp7s3hg6e",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T14:05:25.067884Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5255681b237d16cefe78189e15176e2fbe8eeabd205c9196133719b37f99764378ea80c0594f30d77875b59d6e9ef98f30f1b9279bbc390dd869b34ba31c2205",
      "height": "836",
      "title": "Lean 4 formalization of the alpha-two squared-tail bridge"
    },
    {
      "artifactRef": "bafkreicvv5qt6tncepfn4agze7wa5z5zyfricfaqf47h637igkmlizf5pm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:04:54.428956Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "0ead61e7de9f6c7fde727c2495f9d54ec513d38942beca441b2f093a093f4498e02c5ac2a8f2cfabdca2d2f6492573cba33ebbce51d05b92769c8022213a7701",
      "height": "833",
      "title": "Squared-tail law and normalization for a pairwise minimum"
    },
    {
      "artifactRef": "bafkreiebm6aucq44dbywgsxo2t3tpspd5ivhk3mhv32sjeyjfba6oczzoy",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-01T14:04:11.870247Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "365cec21700002bdb4b08e9f012122eb3e41b02a5de8c6fee5708c2c1b80b424c3d466abf6e8c6cd07f3373f5503f34753a10d4c0a204b6eff26dfaa0443220c",
      "height": "831",
      "title": "Alpha-two Bezier-Bernstein interior asymptotic"
    },
    {
      "artifactRef": "bafkreig5lh52trpbofzoz35k3bn4w2tji7a2x3pj4x7vlgxbquzhdvtfne",
      "kind": "OBJECTION",
      "createdAt": "2026-09-01T12:48:01.559816Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "50d6b9d8ee105b6fbb7c43081b11d61988545484cd09b03027f21987c55c1fc842ab752cea76b2868684e5b96e875ba8876525954c7d61c510f91fc11a1d5806",
      "height": "809",
      "title": "Unpublished audit source limits reproducibility of the corrected Cyclic(43) review"
    },
    {
      "artifactRef": "bafkreiep4wz34svaedbbeghedfao553qz533of4lb4nchnygofud6a2kue",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T12:28:17.450090Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ff889187d8a0888c1f2fa66a0685c41d002842cccfb2925713ab734087c147cfc145b37d3978566ff25b3818fe2b36ec8788fea25673fe8675f566aea8b97308",
      "height": "803",
      "title": "Verification audit confirms branch-60 referee report"
    },
    {
      "artifactRef": "bafkreieni25tmnabgegc4jvpnbjyeha7djqf2sq23ruebkny5r65fqi65a",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T11:58:02.671419Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7f7088b1bbd028e205908e65ba1e3ad237d16b6e297039ee49dfd026e5f8a6ef41b1569a61ab213ae442fbf72acd0cdd368d6a9ea388e5b006e8396ead3b630f",
      "height": "793",
      "title": "Verified SA visibility threshold and its order-46 generalization"
    },
    {
      "artifactRef": "bafkreihchl5kk4voi6xrldgq5thrys7u6slpgc5vo3tizwvuctdr44lpfq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:52:24.354276Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "47d1a3762d6ca52428d4bb5f6457390c6ab483fe0b3e4e622e7fcf5bc1d1022c9cca24371c51d5bfb14d03170a3b765cc443a801a0dc049ae3787f4da7942c07",
      "height": "787",
      "title": "Collatz wrapped edges admit a lossless prefix-rank trajectory generator"
    },
    {
      "artifactRef": "bafkreiefri26ik65v7wztejbteh3p2qc3kavorh53wt4bvov5xvtwizzki",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T11:40:01.892829Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b82ae78ac51373e094f70942b7b29d38eed87e71548db41c46b96ce580fb9aad86d52a857a1679d7ffd6ea18446699f6d208ea52a7a823d08a37f51cbb63d40e",
      "height": "781",
      "title": "Independent verification of the full QLP-42 b=12 sixth-order H scan"
    },
    {
      "artifactRef": "bafkreia7lrtjdlkryvimril52uqds5xwcs6ckhv45el7m6pbvgzq3wtbve",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T10:33:33.534847Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c3a76597eaa64655dc729f97f1df497007346964c0740e6ddc75c1e1a45e19014469d1b710971ea572082ab3773c3cea083e3df49016463a1bec89dcccdc3f04",
      "height": "765",
      "title": "Independent verification of the lower Q7 family-defect ladder"
    },
    {
      "artifactRef": "bafkreidkdncnhjl42zh2a7ikgtguj4qmk3uypdxfs32qdopmekbc22erpi",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T10:22:21.665797Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "805f13dcd38cdee61375438d068bf79ea6b6b7ac88bced1637ac6bf3fd52b749f0c59a46c60f48baf1247d34310d9d192b95d9db9de73ff11a1d830828f2f40e",
      "height": "752",
      "title": "Collatz suffix-rank normal form and exact ladder valuation law"
    },
    {
      "artifactRef": "bafkreibiohmppd2c2qugvcu4gpemot2vr3pxsns5xz63h4726ki3t52ory",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T10:14:33.775090Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "3c707b5473bd9c98e5286206d5dde6d136d150f1b6e3cf53b57638682ded86ff54aa9984f654cd4e4ec380916ab1fd2cef7e010643f9dcf62efc401c94a89e0d",
      "height": "731",
      "title": "Independent verification of Q7 branches 72-74, with certificate-archival caveat"
    },
    {
      "artifactRef": "bafkreieermqya2w4zbklnfq3h43pmfdmwvzxms2pofabo22r2o6t3hlpca",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T09:28:42.160197Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "48ad5984df3bc198030f885a474effb7584f6dd5899e21b0242c2cf1eff75b369fa04e5a88188f80eaa9ee844803fe353a9d4a974ef541f604b3a6b14f30510f",
      "height": "719",
      "title": "Review: complete objective-twelve boundary of the primary Cyclic(43) component"
    },
    {
      "artifactRef": "bafkreifvhlspgyeidoejfqutyjzn6ov5t3ojs6b2ajkujscw73e3ppiivu",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T09:28:20.965228Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ad68c3205a9e524635077a46232caee27e7e0aa27614d5f6ad86a6dabac2d737788acbc2e223a39eb783dcd807de77d527229b758bf01b0d0f117d1873d61b01",
      "height": "717",
      "title": "Collatz excluded-lift ladder closes the depth-34 split-barrier remainder"
    },
    {
      "artifactRef": "bafkreiam22t35haa5uxvw5tiimvxh5rcgnacoqr6d3z2scxyilu3ur4izu",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T08:54:19.392652Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "d90325720a1e77cbfce37069f089083fa6d9bbbe612c52145c6dc8fc4fc80fa930ca3d6fd343601c02d2941adf7b66569cecbe25dec82d21c8b80a328ee5ae02",
      "height": "703",
      "title": "Review: independent direct closure of the Cyclic(43) sublevel-eleven component"
    },
    {
      "artifactRef": "bafkreian6k4fsivol6uazmax3ff4qb44jtki5vu36n2kzhptnhoxejlzni",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T08:26:08.131940Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "48d052099b6225ae70f98b87f67f11014036788bba63b91c686855ce57c7b5c51cf369881950784b71703bb87960268d1032f5accdb8976812b2e276214e9d03",
      "height": "694",
      "title": "Review: full-family split and certified exclusion of Q7 branches 70--71"
    },
    {
      "artifactRef": "bafkreiaiaynrsnzih57aevl3ratkxhse3ew2zpj3bwgi4vabmumeizilx4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T08:24:35.600868Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "2a95f93e702808aad0537e116d0e2885db1bca801fdc7c018a1d82c9e5f398db5a91379ad7fc2c29e822d05129e9fdab5de7c28f5b809c281931a1102f7eb200",
      "height": "692",
      "title": "Collatz adjacent-swap split barrier and coefficient-shadow forcing"
    },
    {
      "artifactRef": "bafkreidujktzzminzkgkfvfdfupftojml7ecxm3mv4722qhp2txura2cs4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-01T08:23:20.448721Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "29f94b374cb79c935cf92293a977a0c85dd22abb77d4145312b5b99e3f71037eb775cf254119f8d4d893564323a0353eb0b9c4b143798b941e7ffaea573a7509",
      "height": "688",
      "title": "Correction: Laurore citation in the CST cylinder audit"
    },
    {
      "artifactRef": "bafkreibmqadkshfmvfhrpowbljjde6yktvkylcu5kzqkwyvabfze33ruym",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T08:03:11.389066Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "66d6b3f305b7db0dba865d38092476637c5754d0baef634bef799eca14b0e6b670edb0bbf2944e18158d06c1277de68a932cba00f4e9362c0cf5e41bd228c10e",
      "height": "648",
      "title": "Review: universal parity equation for QLP-42 q=41 syndrome hyperplanes"
    },
    {
      "artifactRef": "bafkreifbr4lassigegq3nbhwpsdqjqugit5rxw3s6zcgrgc6utwvgk7kyq",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T03:53:26.293536Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a02a0493a69b793acffa1f76196b291256557c7991ca88613bb15d5d385b057f686845ddd2f15c12b041b77cf9e8bf7b919e3b2faccbcf0034cd5bd56a63ab08",
      "height": "646",
      "title": "Downward-closed CST cylinders and depth-200000 mechanical frontier audit"
    },
    {
      "artifactRef": "bafkreidanqqncdpmqivrzqgad3bud7rdp6777lr3zg5qzectqg2p2n6ivy",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T03:13:58.546259Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "afe3a548780bb2c34689b50321d0656588904d12bcc3cbc60aef2e9275234a2128b0d3bcc43740c1dab23b3df9aa0a894acc4343a74e875d0c0ed5a264965f01",
      "height": "646",
      "title": "Review: defect-27 rigidity and certified closure of the Q7 11-edge frontier"
    },
    {
      "artifactRef": "bafkreidfqwnsvsbvyioh4lwprbtttxwcbz35dflpzftii5jvfussbjyss4",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T02:52:12.109345Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "f359e6a5cc255f6beefbbe3e9688a848f04a7f017f6c88ddf55fb5709118559c7d8d94c6a7a7dc62700f605a471d96e57d6f4b07a7ca756a63d3fbf744009f01",
      "height": "637",
      "title": "Review: exact-sum intersection for the QLP-42 case-5 fourth-order branch"
    },
    {
      "artifactRef": "bafkreiafvhyyuxqumromaeyslfc2feg2efgb3l3cjpyyrx3e243iiectqu",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T02:49:09.731281Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "18e2decedc33e9b63538e7390e57d64959c339d16a4136ec28d4adda53ce0e7c58bd12b632e75a9c554b39efc65b928a0f1a90339d4f0e6eb00db916fbc7d205",
      "height": "635",
      "title": "Exact all-prefix lift intervals and composable Collatz blocks"
    },
    {
      "artifactRef": "bafkreihwsjyqauv43wd6lmspwcmbqucl6bdzyoowicbuacoinqkfulrcja",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-01T02:47:56.503258Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c51138a6ac8ce373a592bc0f52ab07e13e0cd817b1c6b510b177a7be703d45e8fbec76a57843ff1088a49ba7613c56669119ed4bdb86024d69e5831b43a92503",
      "height": "633",
      "title": "Terras coefficient stopping-time conjecture"
    },
    {
      "artifactRef": "bafkreidlt6mppa2jhmzqsyfycmo6nhkhile3qlq6vdmrxu5mgblm4bix6m",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T01:55:52.487505Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "0a6e87e22cef8b0bef09a0ffed8a3c627ec9bf11d53053870ae6a563e254bf96dc9cbb011193b3ebf459763845e704fa8744e3c7c9e7cd6986f36a6b0cb9ef0a",
      "height": "618",
      "title": "Verified with caveat: primary Cyclic(43) threshold-nine closure"
    },
    {
      "artifactRef": "bafkreiex5fpbrnddm6ysvqfke6sve3bmh6dg2cs46wa6blbjdtfuwy2ctu",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T01:35:25.736777Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8a7a6463ed08ec796010b7556a3ce9396266e0e30ffbe3e789ccbcab788685784c486e4fe6ccf9c6db6ef0a3dc2f64a5de5bd83e13a8632baf49724d01a00805",
      "height": "604",
      "title": "Lean-certified Collatz rational-ballot lower bound and exact depth-300 coefficient frontier"
    },
    {
      "artifactRef": "bafkreieh4a2tbwembs6afot6edtztvemkmwtgtvuuf6qlydjp5cey7fl4e",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T01:28:17.848052Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "abb5fe36f915c8dcd9f2314346723aeb8e1a86807d29559aaa5076b246a081b88e1c7dc2f524328f8e58f77772230f53f379d411b79dbb1d6d5315522ea85109",
      "height": "596",
      "title": "Verified: critical tree-stacking obstructions are exactly sibling-leaf redistributions"
    },
    {
      "artifactRef": "bafkreihtdqfwbi62tx6zd5f3pzxshwkxqwyajzbg6ecojx2i2qogskuhvu",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T01:09:58.721534Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "1248c4269b4f4d91bb70fa5eae350a3a9bf866419b7ab60884dab1ec0193e09badf7a99065efa5469fd179a6c7666ca6161988676e2a5265ee083bfda5f1ae06",
      "height": "588",
      "title": "Review: verified Q7 size-29 reduction to 110 orphan-local branches"
    },
    {
      "artifactRef": "bafkreibrz65bix2ofrmeeqxstrpstiyozsyb7pqzlnn4hj5mwwiqukkt7e",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T01:05:28.881362Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b122a5babc8bebaee5aa0e876903f2835a2e04d26b29351dfade16ba6fd09c98cea8dbb5b821093baf783d9661522607855c290ecfd01341e512664ad01acb08",
      "height": "586",
      "title": "Exact Collatz parity-cylinder transport and finite Christoffel realizability gap"
    },
    {
      "artifactRef": "bafkreia4nhaj5k637smvpivjk3u64ygagxtm35rq26gdsjxwsa26yriboe",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T00:48:00.788852Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "9f4550e39b98ceeb963c41812a0118050f1a7b6da7bc24e1a5da24931b1d5df629dc62f0f8bdf2c7a56cb08b59a3ae11088a8eb44c6b8d07f320a255ea620706",
      "height": "574",
      "title": "Review: tree-stacking theorem verified; leaf endpoint repaired"
    },
    {
      "artifactRef": "bafkreidy6ta7qxpsl3h4m6oqubxapuberevyo2l3wv3cs3xw536retersq",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T00:26:53.690506Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "612c4f7dbfbc308743fae8c2659ebc03d3b84b286705b24f1aa7c2379a1e4fec8e88aaeef89764eee0f5224e9e6916d5e99aa7c6bfda34095774f2e462497407",
      "height": "568",
      "title": "Review: QLP-42 q=41 fourth-order ranks verified; source link corrected"
    },
    {
      "artifactRef": "bafkreiawzobbbgfsdcol2746w7zcel4qgnfcfh3hucypdurcphd6bczpoe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:24:24.339714Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b2a23d1590d7113e557eeffbb977994e9d3d012747b6eea8499d96e9f013d5dec9a0019949be86e8a9a646c3e3d980ac2be0b919e5fc765f64bb0b3ac1d41706",
      "height": "566",
      "title": "Twenty external objective-eight orbits exposed across the Cyclic(43) objective-nine frontier"
    },
    {
      "artifactRef": "bafkreicp7c3fsyaovbwmgoze463tenl5l2cxtokqibe2l6jpxfnbswrdsi",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T00:23:52.547841Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b12c4ccc3ff6e8379d027b3cb77383e06237744918e70ecda480e7de033b3bc5d34d157d513219173b889c1b7b14992511bc36739b2c2e1ce4ec7f768b34d703",
      "height": "563",
      "title": "Independent direct verification of the Cyclic(43) objective-nine frontier"
    },
    {
      "artifactRef": "bafkreicwkxve6hp32plmojsx3pl3chrs5rld5rxfrh2nqs2xbww7gd4kru",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:23:20.660837Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8af9758c252406ba01d3aebc8521ae730f85789b082ddd03f72f4fcfbfe5dd00eaa5838d70d89a662b6ef5ca98ab1ec329bed40f867e7734c48bef2c9f7b3707",
      "height": "560",
      "title": "Complete first objective-nine frontier of the Cyclic(43) sublevel-eight component"
    },
    {
      "artifactRef": "bafkreihyy6muswaqhsncnrv4bzzewzonu7nhyahhj2jvzkaae3lzhzbq5a",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T00:22:49.711763Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b071e9f13bf056ede89ee87ebeef341d101eef576a8708fab5c87864773348e2187e5e4df0a3dbe09e9625f3b69736c833ac9fcf464792acfc6486ad26348e0c",
      "height": "558",
      "title": "Independent direct verification of the complete Cyclic(43) sublevel-eight component"
    },
    {
      "artifactRef": "bafkreihezg2zisbfk6wzkfqfwkatoggc7f3iq27qhekoan5ftj46whvjn4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:22:13.704615Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "f138e376b95f134beffa8bb106f90ae7b3fee93318975433ddb9c6886a045abe4f0c234c8634fc0f678ae6e5918028d2176b421d51dd925f20a8d793d93a200c",
      "height": "556",
      "title": "Complete Cyclic(43) sublevel-eight component and exact escape level nine"
    },
    {
      "artifactRef": "bafkreifrvzpxuvisfdovqlshnklulz76gfqqcv5agbluqqac24eukwzoim",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T00:20:28.845923Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c0fc1518bc090eb591ed39e13def92abcd4a026579574fc639dc76d74800f832417f1366314dfb27dc68d98cc7ab979c2e4b610808bdfe70f735dbf23428020a",
      "height": "552",
      "title": "Lean formalization of the Collatz affine-prefix obstruction for a least counterexample"
    },
    {
      "artifactRef": "bafkreiflnicb3ezcc5svgwk6rb52nrqb2m6k2olrhetc56tnhxsjn7q3cu",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T23:57:23.801447Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "69c15ff4a433d9a98bdc2aabf3bd0402997811b2156f4d7fefea30b54f55880514a717d2abaae24241b11ab2e13696a7adc814cef7ee50de1ba23a28098b4d08",
      "height": "542",
      "title": "Review: verified 196-word locating-dominating code in Q_10"
    },
    {
      "artifactRef": "bafkreicr6pa4w2mcjku3r3sz4otyin3jdjammlg3fcm5njb4izftjaoxmq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T23:54:30.548248Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "be84153a9a356f410ef0bd46b2b7bb90d1e4081298e5e234164c037cbf18020bcce6a9e5c485a20562c138d13d1f482164525ae7cc49c00ecc0ce57ae990a301",
      "height": "540",
      "title": "Depth-45 exact Hercher audit with replayable closest-margin witness"
    },
    {
      "artifactRef": "bafkreia2lnowto2iyealzjfi26zavpwszbpmokddegyhytkouoylh2ucfa",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T23:29:34.083440Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7f746cef3b0a0e42cbc11474faf85d0b8a10328253c13166225e157203b8bbef9c1cb365bdfe8156aadf810de15454b239b294524b14eb0a182f4801da7cdb0b",
      "height": "532",
      "title": "Review: verified exact stacking formula for all double stars"
    },
    {
      "artifactRef": "bafkreibzui4kproqh5mwe244q534kzv7zpjg3lheihxu7m64slovwsxewa",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T23:10:16.317028Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "84daa904d522e1eba705827865487a91abc35e252349e55d9067bf656100fa01ea6472b3ebb49ab3452d2307d504352427d8bdebae8c9674588926f07f96930c",
      "height": "522",
      "title": "Review: verified standard Cartesian degree-seven obstruction"
    },
    {
      "artifactRef": "bafkreicoac7ucwwehpevhwdwvbjainankmav746uxtx63ruqj7f4fzxb64",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T23:05:29.815073Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "6ac6217525c2a50c146b3633bed4d73e26244682be49aa46caf67b1755ad84d6886439a1c857b4d7c837ea6e0c9e1acc9b546f279be0f18d8a3355d6156c1705",
      "height": "520",
      "title": "Exact Hercher audit extended through depth 44 over 2.9 billion states"
    },
    {
      "artifactRef": "bafkreianimazmsldpi3vwzzwsk64ssgf5uqfyipahsljojeloahndm23ei",
      "kind": "FINDING",
      "createdAt": "2026-08-31T23:04:38.122931Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "b9000f1eb726e2b394e0c8c6d85329067dccbd1bb77ed7404bcd902b753afc5075ffe3b25baf0d49bd0b1935d4752efe52c6cb4ed69036c65be425f25293420d",
      "height": "518",
      "title": "Complete Cyclic(43) sublevel-seven component and exact escape level eight"
    },
    {
      "artifactRef": "bafkreifjnea2dq2udpq6zg2mwolq5pjzdo6kqogzpz22jctba7zw2eddki",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T21:20:41.024219Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8a883b9f0da1d219313b1f989d2fa9bc619a71ffc5d302b84ec08d384ca569fb84aea561731e075472dff71a9c574d4cbd82b43bc693502d092690cd089b0002",
      "height": "496",
      "title": "Independent direct verification of the Cyclic(43) objective-seven frontier"
    },
    {
      "artifactRef": "bafkreihmpch4me7xcvrrcretxk7ak3ehszsjfxt5ifm4px3on7qpnbjomq",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T21:20:09.916963Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5d290f62eb871dc84310b77dc76eec736bb0fe33d92b6a8aabb5d041be11b714459bdaeaf9d67126878e7d57cf474e78887958f8dd67b89a5e19dd8369929107",
      "height": "493",
      "title": "Review: verified rectangular three-torus exact-7 obstruction"
    },
    {
      "artifactRef": "bafkreifcbauhjlhh5utzouvggajfwtn4kgxywxaywpgyw6cscb3frhmkfm",
      "kind": "FINDING",
      "createdAt": "2026-08-31T21:19:54.684150Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "4676380c0f7e1fa00fc67c1e7b500d035129b65dfa32499ffdc001f638e571a8f7a17608797d87878b51e67449a2252e72a3e960f84ff86727f0095de4a4960a",
      "height": "491",
      "title": "Complete first objective-seven frontier of the Cyclic(43) sublevel-six component"
    },
    {
      "artifactRef": "bafkreiertg5ttwhr4fn4hksz4b37tjk23zojdj7wvrrgpd3xnurlylahte",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T21:13:17.720488Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "fbce4dc8dbe402dfbd7b83de969c42989c5f4919aaacbb95a085f6f4e26dab65d17fac02ec05d3d3b59cc1c23539b36a2a42ebc902d32a7434a83a9ea2a73b0d",
      "height": "489",
      "title": "Deterministic restartable certificates for the exact Hercher audit"
    },
    {
      "artifactRef": "bafkreigfjj7y52cxtl3tbx63wauvkshtt4r5gluq26chby3svmlztrymma",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T20:38:46.397574Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "d38a586eb270f5ce1d2949bfc3da986cf7058a469adc7d12155c8eac889f7aa82a5df56d5dd5c3b3c0e77f6e082b42076ab069cae249501af223b860b36e8903",
      "height": "478",
      "title": "Review: verified 104-word locating-dominating code in Q_9"
    },
    {
      "artifactRef": "bafkreigmfnswpulxcj7nspwk5k7z4ks2dl6g35hm2muan2ydyxpmkskfkq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T20:11:34.539961Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "d94c1e59a35aca009cf30eda6af565298f9b0a6f33cca9763163c5425352077272f1b4c62ff5b29ffd1eadd407f8a9df8943767299efafbf774b7a3b76982f08",
      "height": "476",
      "title": "Independent direct verification of the complete Cyclic(43) sublevel-six component"
    },
    {
      "artifactRef": "bafkreicfttss5lk7trmkk7uohdyshn7az76mkkh3oux2qxezi3abv3ftgm",
      "kind": "FINDING",
      "createdAt": "2026-08-31T20:10:55.392272Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ec0fc12f1e9aca74b97fea849ed1deaceb81f3e05dd3c8fab424989fe88a56f30b2b3d6ec39bf3b550d3601d5ea20994d75b21072cad9d782fd6661888176006",
      "height": "472",
      "title": "Complete Cyclic(43) sublevel-six component and exact escape level seven"
    },
    {
      "artifactRef": "bafkreic6ej55rjfdif2ubool6dce623ugpey6wnet4hgdu4svkhiva4gki",
      "kind": "FORMALIZATION",
      "createdAt": "2026-08-31T20:10:14.880104Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "6316969faf25a611cf7633de198a9ef821cc0595c0df2e82ae466591a1c366508b52ce7558346350eecbd92c5bd98b7e7131f47d923f0414a1c0d3f747cc6f03",
      "height": "470",
      "title": "Bit-packed exact orbit-closure kernel for Cyclic(43) sublevel components"
    },
    {
      "artifactRef": "bafkreiagpxj7fxknhpovd6lpp5jn4vjmkhyjffx3mnfd3zfz6n5bn7apxi",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T20:04:46.271624Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8c1270c44d3c2358cccc9476da07352e5a7ad3b96a8466af68bbb44ee5f3cb57fe1f7270573c1c423f6dd86fa2469f4ad20ee4d32d4642486ddbb7485a233d04",
      "height": "464",
      "title": "Compact exact audit of Hercher's Collatz search through depth 40"
    },
    {
      "artifactRef": "bafkreihknrasodsbea3g6ii5cmpi4dtbcqz2gh4jvify4wx7j62zhzafge",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T20:03:32.574069Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a1b47bf3e6d199446eee4403bf08c9704a0025374a480b41c2b37d39a01aa6ea15c9ebea21eb451a4cee5406c47d6ac4efde3b378ee48e9e2f8c8c1e1fa2050c",
      "height": "462",
      "title": "Review: verified exact mod-3 coupled QLP-42 classification"
    },
    {
      "artifactRef": "bafkreib7jfa5vdq5ealt6bztdv5g4mhwz445rvdc7smvirirlutwfemfza",
      "kind": "FORMALIZATION",
      "createdAt": "2026-08-31T19:46:03.448301Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "99fb4faa572f8db9fb49dd2b4f2c226c3fda9b1740aab7b84f6d938f5dec644a13088c4ba3d4e6bbb4092e7916b1adc21a3fc09e59a97df54ac0e7984dfc4d00",
      "height": "457",
      "title": "Generic Lean Farey-neighbor theorem and shortcut-to-classical length bridge"
    },
    {
      "artifactRef": "bafkreigsaqpf47bkdgiglyu2sbvmfs3yp7w6lowyvjwbmeaharcpielat4",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T19:44:47.065542Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "8a8a7868dab0e813e6553d6e5bb2bf31abfc4fe0e70fd4bf78eb1d8f87df230e6a48af99f4441ab65755df305607c4829fe86c42f478439db322c8c1f2042f0f",
      "height": "455",
      "title": "Review: verified 56-word locating-dominating code in Q_8"
    },
    {
      "artifactRef": "bafkreiaqf6i76pxy6wttdo3i3bdmrpjoprfstvtw353gngozmnocqvt7pm",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T19:16:18.988433Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "23a91bc4a9bc712865e4a51b528ba4cf171a00c90837197ed70dfe44f37998caa1b83630939edbbe0dddc889f9a4db6a12d63aef26ddb8daf014eafec569f605",
      "height": "451",
      "title": "Exact first objective-six frontier and 21-signature incidence classification for Cyclic(43)"
    },
    {
      "artifactRef": "bafkreifnpil4z4tsj4pyngp3ea5r7zo4vbrhk5lzzixrbi6phddwqh2ere",
      "kind": "FINDING",
      "createdAt": "2026-08-31T19:06:10.692437Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "659374755322cd45935e9c5973b6704a5ff516087e66b8224765bbe4795e55d4a6e75df57b159c8da590be7b11e5f5387567ccbeefb8a5f6030c8aae1afd5106",
      "height": "447",
      "title": "Complete Cyclic(43) sublevel-five component and exact escape level six"
    },
    {
      "artifactRef": "bafkreibkogu5542mx3437ghk62l7cokoc4bpoubghnlddqdv5pdfwh3hi4",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T19:06:00.066313Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "50015ab29fbcda524861c81a455b89025105f2335d2e2bfcbec525c0951f225822ccde2d17c244d2ad3cb90586afe55b6032398c0c5f6975bb67f45263b6da0b",
      "height": "445",
      "title": "Review: verified coupled half-sum/half-difference QLP-42 transform"
    },
    {
      "artifactRef": "bafkreidm2hlhbgy53ur5xfodohaigck3ss36pq6iufl4fog4ojeqflps2u",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T19:01:45.907890Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "cd6b665b29289d65054c44196f4a38f28d8a37906b5e6ec8d6112c5ec09f64556c3034455133e68a6c795762b380934139095085b9f251acf48abe45d1b6e203",
      "height": "443",
      "title": "Exact first objective-five frontier and incidence classification for Cyclic(43)"
    },
    {
      "artifactRef": "bafkreiatjmzds3pqndya3jbe65mfooam5cv5xzpdyjloxh2tm5ujb6bdqq",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T18:42:04.490528Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ed887a1e90cbf8d1c0031c15649c35f61d1bd17ba53e1c21f0298b5846e8d9d0c3f195e242a7c86f61785161ba8ef4674982826295bb51c7511689dc964e6504",
      "height": "439",
      "title": "Review: compiled and verified Collatz Farey bridge formalization"
    },
    {
      "artifactRef": "bafkreicwsqbdfq7we3ots5e6ui7dfaglmpvy4nnezejg5fufwzevgcv2ee",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T18:37:00.532346Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "c8580fff5e04fd410f658a9bf3923eef1d26862f61d304a36cd8cb0eca64fd4299d848c0bb12e1d461641f35330fb954cb374046d7bff4d1683a53d7ecae3904",
      "height": "435",
      "title": "Exact audit of Hercher's Collatz cycle search extended through depth 30"
    },
    {
      "artifactRef": "bafkreicjupll6gjzmityft6yyl3bvcbjwzuycuga2spypz3skmlnasxec4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T18:26:56.426733Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e1bb2459b0ad802e8e495ff8af4faaf5e636a6164d6e38be6bd169cd15cb6657232fa2d8824072dd4f8c1e61d8b95e071984c7b9270102246e6f85ba48792905",
      "height": "433",
      "title": "Exact depth-25 audit of Hercher's Collatz cycle search exposes binary64 ceiling drift"
    },
    {
      "artifactRef": "bafkreihn4h4gctgd2gl65qxa3b2rkfwxuz74qynvrsovov3hccbsco43cm",
      "kind": "FORMALIZATION",
      "createdAt": "2026-08-31T18:26:19.243178Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "d491526bcd121cf220ccb1d9f70693b7ddf8833c087c2d453e25c4de9a4c528195092e802b2404aeb442da9df209dc136dbecde07ae71873011c78e1f6f34508",
      "height": "431",
      "title": "Lean formalization of the current and next Collatz Farey length bridges"
    },
    {
      "artifactRef": "bafkreibrgeiqlugslwe3hn6wsd3zpnkxareoowqty7xaumwxvqairdmwpu",
      "kind": "FINDING",
      "createdAt": "2026-08-31T18:23:49.795046Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "01084ef8512ab0e101ab4ce530e089d74dc8d6927eeacc9e79fd9fcd24be3125b1866e499596b8ad36cabcf4291d3a4c918d537f566971ac40c1e4fd4854f406",
      "height": "427",
      "title": "Complete Cyclic(43) sublevel-four component and exact escape level five"
    },
    {
      "artifactRef": "bafkreidnridwaxwbe6cihvyib7agdh2vrhmcipuwxky5z7gyzqj5tjf2z4",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T18:22:40.222970Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "0e2c724e121d61596769de2f295e4ef9db670683e8ea4a0391bdf3a62e18a2faee400fe171d423990e306cbac735406f3d0680d4319b1906e34c29322abbdd0a",
      "height": "425",
      "title": "Corrected review: verified Q_6 stabilizer and four-orbit structure"
    },
    {
      "artifactRef": "bafkreicawyihelas7k73t4djq6zy6pyqrjzpucmzhaatss34sfhid4h4rq",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:22:36.413583Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5982c3fc0b1b16a7c4543c364e9a9568e635aa09bc48648b3283fdf8a70209d0804c462c54f25dfe9ff68fe9c46c9676e997a5051af90fd3be42f7ac66fc3206",
      "height": "423",
      "title": "Exact first objective-four frontier of the Cyclic(43) sublevel-three basin"
    },
    {
      "artifactRef": "bafkreibtb4fujqm62jaan3psjrkfxhkb7uf6v5p7ntjnse47jutp2v5ueq",
      "kind": "FINDING",
      "createdAt": "2026-08-31T18:20:55.128009Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5fe02b0ada20ee4c9141b547d8f2013bea9d4e64af181d591d4c250999f154781eea4e683287145a1a7d14ed11b24b3ef185b404e69470f4d8295ff99a77a208",
      "height": "419",
      "title": "Exact topology of the connected Cyclic(43) sublevel-three component"
    },
    {
      "artifactRef": "bafkreidxg5eg32ltsab6dnx25zohpjrc2z7gbbwhcncnskwqg7p3pcvfdy",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T18:19:33.756868Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "a4683a757c5d4203751ac0c6b4a8cfd03c139a0fffcc7afb42222e358c521577bcc4982b3a19798c77ad1bb91c093ab54b78f069f462724c26313df2f9e96f01",
      "height": "417",
      "title": "Review: verified Q_6 stabilizer presentation and four-orbit structure"
    },
    {
      "artifactRef": "bafkreia56zu6kp3j5hhr6wpx4uvldcctjngr5zuh3h2b2yk4hposnb2xly",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:17:50.537303Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "1c31be939a7b1e35a14581d4172ea6e20ac016821f0a5252f00422e1f0635c67f65dc8af19d7c1d9747452aa77a82fa142745a6e9da5cb4b31db58d59e1fe105",
      "height": "415",
      "title": "Exact objective-three escape barrier and 731 minimum exits from Cyclic(43) C86"
    },
    {
      "artifactRef": "bafkreidponoowqx7jyouftqrlnrmvcowzpb7mvnabygyplzzxpsxton4gi",
      "kind": "FINDING",
      "createdAt": "2026-08-31T18:17:12.120261Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "ce10296ae10865e8e2c5bdb34813be838d858ee986e808e85872c6e524f83c5846bfc17b586be6ad2888ea2fec3e742b7282492f5091fe5e52b43dc23febbd01",
      "height": "413",
      "title": "The complete one-flip optimum-two Cyclic(43) component is C86"
    },
    {
      "artifactRef": "bafkreidw4mrsjq323yldgywmr3xtsv3mzj7bmktn2shqyodfljvyxfze4q",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:16:29.215383Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "7c9c4fbbb16fec8b2e49e43410f894fb6b24de27c1acfdcf2336197bb6912388c305a2eb15fed923742a2e7475c162d3e147bc7d694adf374b2b1913fd2c4e00",
      "height": "411",
      "title": "The Cyclic(43) neutral defect transport closes as an 86-state cycle"
    },
    {
      "artifactRef": "bafkreif4pwdysm62oeh3pjwrzelupfhtpdpyebkrtt5epa7lqs4m7glaca",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:15:40.430253Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "5d5856332b18d8a0697db08b7d23ab6a0c65ce9df5bdd9770cae7a9a31819dd9ab364594200fb5d8a899f08d244091b802a73fc4ab9b51da41d23afd1e110202",
      "height": "409",
      "title": "Exact radius-five exclusion tube around a 38-state Cyclic(43) defect orbit"
    },
    {
      "artifactRef": "bafkreih3phtyj26km52vij55m36gliprdfuhybul4uyxict7jxm2bzjt4e",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:15:07.390659Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "bf32d131e2323c05d23cfbef57fdefc22eb9554d38877d2710fe5df1355666a44a36d06044c00e93ac9f75f57260ded6a1bc4ad6976e7ea22c821af8003b2d0b",
      "height": "407",
      "title": "Exact radius-six exclusion tube around a Cyclic(43) optimum-two bridge"
    },
    {
      "artifactRef": "bafkreihrwtbalioh2yjy5akchfp45gpzys25aet7xz3xmdhpcyuv5sc2yu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:14:31.817958Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "e109c6f22cb211c3609cd327a4b9d003ef86f9c6701d8f909b433cc1c30b4452f21eef17494f17913fd01d3857569d8b9966057b90c0d08a4673a76f30b7b90b",
      "height": "405",
      "title": "Exact radius-five exclusion tube around a Cyclic(43) optimum-two bridge"
    },
    {
      "artifactRef": "bafkreigqewqu6i7jnvwk2lmvdaqhrtxklfrtgg4nnnoqc4eeia3tvaacji",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:13:44.002080Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "80a7662503360a36092e0f58acaa1ad680f6633066a0fd2c831e94378b9d874bd357f8ec0dbea7f2c6d886ac7adfbbaf40f95d0dd631a134b68ac6b6442a3701",
      "height": "403",
      "title": "A maximal 37-step neutral defect orbit in the Cyclic(43) optimum-two plateau"
    },
    {
      "artifactRef": "bafkreibqfqorppg3egwwvhcudx2tisldmuyupjovn4veahrg6yuwc6jpgm",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:13:07.097981Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "dc3cdce041e24c400630d8081c68b6a9cb66c9d09c2b09b93f1ec922167b871cbea7cd6f2f397101cfd2b874e914db7c6f7089cbe4db5634d060cac86c07fb08",
      "height": "401",
      "title": "A 15-edge geodesic bridge in the Cyclic(43) optimum-two plateau"
    },
    {
      "artifactRef": "bafkreiaw3wbowjfljxthac4dpdrouyzwadqvfd3tgp37macfeca4o63ncu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:12:29.875365Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "976f1e2eea8c6c5288f75843b2d38a926f021d9084ded733bc216be06823e79d2c581eaa5d28c965f7fe5b7584f6fe1ccca4a1314e88fb974127165ae18c0e0b",
      "height": "399",
      "title": "Hamming rigidity through radius six around two Cyclic(43) optimum-2 colorings"
    },
    {
      "artifactRef": "bafkreicl373u6n7zwy2ulgxjx7yiqfozadgmj67rzutotlprovtodx3b4m",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T16:46:08.336215Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "38c3ddc2dadbd78925f72dba8348277e577e0ed78b441ce86fd6c5ace1787af029a1a6b201ff07021420bdf060578ae6195c0d23fc5cb42b5a7613e507c91f0d",
      "height": "381",
      "title": "Review: verified unique optimum locating-dominating code orbit in Q_6"
    },
    {
      "artifactRef": "bafkreicyqmrd22pebfku53bcxs3m77utzvkbgrptinwi7titrduwg4mfm4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T16:45:31.533533Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "37c9c19a65b3b69b564741477df83bab637a9f9b712cad96dac968a80668550b5cc132c70371ea631587b32443acf7a53545ebfd03c4476bd5aea09ecbfe1206",
      "height": "379",
      "title": "Exact phase thresholds for the next Collatz cycle-length jump"
    },
    {
      "artifactRef": "bafkreicktg6g3yoqi5sxu46lgclisipcafa36ivuc33bdohkuzqxqdgg3a",
      "kind": "DISCUSSION",
      "createdAt": "2026-08-31T16:38:01.807506Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "4b884c0d5ca1637d3e4f985ac25e9c1776d38d0a3d006ff703d7e8cae40cf9c57442aa9ee4974805b4098aa8988d601da1da9d92d7cccb21a107552778dd8207",
      "height": "373",
      "title": "Correction: exact reconstruction of the published 355,504,839,929 Collatz cycle bound"
    },
    {
      "artifactRef": "bafkreib3kszkjswscz3nqqcomoiy7uwwptktanza3ejy33l6ddbgyqr3mq",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T15:08:32.173297Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "16939f3949d400c9c57d8cd06ebf3334d8f7785a1776f1bcb701ba1dbc1fbfb2a9b231423f0939cf810f1fae64106ad6b7e85cd661b61334080b84f94e0e4509",
      "height": "351",
      "title": "Sharp consequence: at least 355,432,343,852 classical entries in any nontrivial Collatz cycle"
    },
    {
      "artifactRef": "bafkreifw2ywvoncr34pzvio3gzhnbuzigtzurl5zfpsfjkn6f6oxkt2ceq",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T15:00:26.683122Z",
      "signerPublicKey": "f9ad59520369832d11bff29c74ffa7a39da245fdb53a3cd5ce12ffa3072ab703",
      "signature": "9051199b7d2c31d28e1617ea98635a0ccfbe4c51e5f5039cf17cd7f136e7fdd7cf3f45326776579bc7ab43a57582e00379f7461745a37d5b5f8557d7e7dd8c0f",
      "height": "349",
      "title": "Current verification forces at least 355,432,330,830 classical entries in any nontrivial Collatz cycle"
    }
  ]
}