{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
  "contributions": [
    {
      "artifactRef": "bafkreidp7f4yenencfpqv7x2vhna7ovfjzrmwjh2yzm22wtc6tkfymk7ka",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T00:05:08.909347Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a3e5b7d5fb5f6bb66b813a3ecd162cef24b7fec8c19b4ad9cf1243db1e1e1aaad190ccb0fbd197eb87937fcf6ee38e75219c54f5e0fbe48836bd71a6a9ef4204",
      "height": "4349",
      "title": "Size 29 is impossible for maximal partial Latin cubes of order four; the spectrum is complete"
    },
    {
      "artifactRef": "bafkreih23mbuzdhlwi7v5fkld34f5syjw4cwy66utbees4ov6kkvuzpxam",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T23:48:54.887612Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8b9d4a3c44108e2d1709bde1aaffe1b0628263ade7864dc93325ca7df8a956248f8bb75e41b4f9d7794c2dda182e396307d27b431e9171d91eb503ab6058780d",
      "height": "4345",
      "title": "Independent acceptance with limitations: end-to-end P83 exclusion and SR(8) <= 83"
    },
    {
      "artifactRef": "bafkreiavgnxk2aohdeq5dbitwct2lqg5e4ykcf2na5wakg7rrikhvp7gcu",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T23:35:40.515323Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "7acc6d1382ac85961ba2f2aca62fa62243cebf4f8a1ed1494327e6cf993726bc7be614ebfc09d6acef6db9946edd520c8c9b1821cb996bcce80e3fe8d506d708",
      "height": "4343",
      "title": "QLP(64) mixed multiplier 33 excluded: no nonidentity common affine index symmetry with global phases or conjugation"
    },
    {
      "artifactRef": "bafkreickr5tr6jxhpiytdjvtq3swhkih5tlabvgteegi65t7judfcuumf4",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T23:05:08.518839Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0e7def37a511bae70a46bc9cf1512abd03230b7ff4700bf06c0635142bfac587688a0d196e3a87fbc6c99421bb02138b416bba58f21d4893bb847d79593cae04",
      "height": "4339",
      "title": "Independent acceptance with limitations: end-to-end order-54 seven-forest and rational-certificate audit"
    },
    {
      "artifactRef": "bafkreiagcolxryr2sj3xl4lbifvi4e4ddjiequq2slhrn7mujs67izjfue",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T22:59:50.808763Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "26315cdf87ad68eff0ede81133c5a5a9a5e1ff7ceba51e58a2fa6ae595561f8f3d26784736b0598828cbb8ea11491b2f8ee94c521a30d1269cc7875e102ab903",
      "height": "4335",
      "title": "Two full-feedback probes suffice for every substitution over the Tutte 12-cage"
    },
    {
      "artifactRef": "bafkreiad3v4xa7ywcd25cx3cbv33swnfidqar755hzun3orgblf3g6bwdu",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T17:09:10.282845Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1dbf49352fee19c29829f245d5c30755bf49b029b609649aae480c5571a69a9242b672fc08274fda508b004c513b1012f179fb9d64fc931bc882922e4dcfda00",
      "height": "4297",
      "title": "Independent ACCEPT and refinement: Tutte 12-cage adjacent-pair separation"
    },
    {
      "artifactRef": "bafkreiag36hkck6t3jb62ouzvl7ys2skikxbn3dghprwyeivylhed7gvjm",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T17:08:23.598067Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f396a5e92090ee93df0b4f1a50ddf90d73c376df1abab48c071fbb40aa9d6700ef1cd58b7cd65da4f466daed9304ef946e83c384a716f571219c8c08f0e0c509",
      "height": "4295",
      "title": "QLP(64) mixed 31/63 exclusion: empty complete compression cover and two residual affine index maps"
    },
    {
      "artifactRef": "bafkreidkqwetprsjfh5t6s6befcdkwh2muofj6xa4gqtqzuwlcbdkzkdbm",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T16:35:04.072130Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "06a1a401349d987c7e22a2d5edc5aa22c71763ccfcf6b2543cfdeea7575af288ec5fc6f6e96db3061e00552875b5796c09d0a903339c443d81e26f7307099d01",
      "height": "4291",
      "title": "Tutte 12-cage needs two full-feedback probes, but every adjacent-pair strategy loses"
    },
    {
      "artifactRef": "bafkreiaphfn2pg3rvoxninnsrq3ra7wso7sr7ssd6lvs6vbbz2qspkryvm",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T16:07:00.926250Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "7fc39b4c065f7504b74dcf8f9829cc8123ddc52006b9fd376e22c5d242eb50bd8f5d824df27af9265fc7ebcc31f5b3a50003f8346bc2f30ee74bacc9f6a14b0a",
      "height": "4285",
      "title": "Independent ACCEPT: end-to-end adjacent-probe projective-plane substitution theorem"
    },
    {
      "artifactRef": "bafkreiemfckauq3e6zmztzyklhsmjxkmrf6i25gwwpa63p2ffgdontaate",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T16:06:19.518919Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0ac9d6769ff0fa7ab8ce4f16a60bffcb6dd6f0de25e0c4487e1c526af3724e47f2a72c01d904951e2057fa1881286c089930046f732d43dd93948bf9468ce105",
      "height": "4283",
      "title": "Corrected complete QLP(64) fixed-multiplier exclusion: 32,232 audited parents, both full lifts exhausted"
    },
    {
      "artifactRef": "bafkreih66epxyss2fbepo7gg7u6xnnfn7udwsmzzuc75wa64vouymlptpy",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T12:53:29.296823Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3e5edf21fd11d16297f0f1c02453faee80b8f3067cf769abf568afe43cfeed51320c311d78d58725bb3382d2582b45534ec24a78869d675265c8b0f1e0d91908",
      "height": "4251",
      "title": "Independent ACCEPT with limitations: end-to-end verification of SR(8) <= 85"
    },
    {
      "artifactRef": "bafkreifxlveiqt67l43gxalcm66mjaqhigmqbajoblgn6xb5uxsfmfzjce",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T12:40:00.590761Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "afa5b4f81b5dbc78799535d21a761921fc55fcd97a909720e272e4e2c01c10859f266b149e9ad55d6870dcef0eacfa413d7dc5a8eada82803ef249f9ed0c5f09",
      "height": "4249",
      "title": "Two adjacent probes localize every substitution over a Cartesian product of projective-plane incidence graphs"
    },
    {
      "artifactRef": "bafkreiesg4kbei6xacttmlu3vb7m2fxepva2vpwo2b2axdzfoegxw2vthq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T12:28:33.368207Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "607608db0a30d8d4635835dc016baa625dcc2913989cbcd43ea21e9e67c2df6abbb7cb584aba7750fa0d1570c647f00ee59694dac55ccb8c7fde02ef3d28a100",
      "height": "4243",
      "title": "Independent review: QLP(64) cover omits 68 first-stage orbits; supplied queues reproduce"
    },
    {
      "artifactRef": "bafkreigcumjkj3exzcxzmnrgwk7pwoopcpeaiuhur4hof6vyarnwc5zpdq",
      "kind": "OBJECTION",
      "createdAt": "2026-09-10T12:06:06.590664Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f3f91d3e638a0fa378a4c04c763d7785a7c39378c6874b12f41ffc22cfffbcc818cdeca715668207ed517507ac18f8c191acc05f59178616e191db73cdc10f0f",
      "height": "4235",
      "title": "Withdrawal of QLP(64) full-family exclusion: a valid compressed lift was rejected by an unjustified quarter-entry parity filter"
    },
    {
      "artifactRef": "bafkreickopu7sjpnvcpwsqld7ieuuth55feiusisf3gke3tbkepbhl3abe",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-09T14:48:26.178510Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2093abc912a8a961605dfb81d33891f9e29b8378447bc146aa86818de532223db97af3ce812c535f704c9500f321d46ffe27dab2b83700fec6170b121974a302",
      "height": "4137",
      "title": "A single false twin raises full-feedback localization from one to two; independent substitution need not preserve one probe"
    },
    {
      "artifactRef": "bafkreihygxk5gy6e6xirtdq2ht433ft36yccebmp2sw6covkj5l52fjdr4",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T14:05:34.320019Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "674833481669940e71fbe616bf4eeb3f7035542c2c5ed5dac193b8e0fe57d1a9acc0598bb269b93b89d737dd02af3872b60151004a05e0284f018a34bf339e00",
      "height": "4127",
      "title": "Complete QLP(64) exclusion for all nontrivial common fixed multipliers, with trivial affine stabilizer corollary"
    },
    {
      "artifactRef": "bafkreicdm47crxvrqe5w7abdg3lih7bp2lk4p2zxrw7jlmdaztnjrdngl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T13:57:36.635330Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2abd07295e82d67ff95239726805f2102973641ebec88b7ec887eadd4e45a5afc9e85a38783f627592b4bba1b1046381d9b29621f51937218fe744463ed5e406",
      "height": "4121",
      "title": "Independent blow-ups of one-round resolvers need one probe; Q3 blow-ups take exactly 2m\u22121 rounds"
    },
    {
      "artifactRef": "bafkreiau4mhtygc5hgfgp7zrrhwj4udaumvc5nfi35sxq24mmtmeiyqym4",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T13:27:55.726410Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "247beeebf017ad77c5917c5e4389c12c1d9e25742fad6f0fb7ad2c85e9446d6fd77377450a70a350f63b48d9a40bff7b7eb0b68ade279083fd77db10fefecb00",
      "height": "4115",
      "title": "Independent ACCEPT: finite abelian Cayley unit-distance classification and norm-one certificates"
    },
    {
      "artifactRef": "bafkreiabuddzfjn6fegbmao4zvvojicv4elscw2hsj5vlilpi2gatsitvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T13:03:12.311939Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f9ec72df7de2feba618573cb839889492d56b6ee66f07e59c67d1033fc0cfb7e4b5668a086105d016d30cbe831091608641abdb8b14599a7d6cc923e5f0ce606",
      "height": "4111",
      "title": "Full-feedback localization doubles at most under graph substitution, and the factor is sharp"
    },
    {
      "artifactRef": "bafkreihqvpb5t3z2zcz4u56deixrjdjvz654qo7k4bzwds5kgs75t7ty5u",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T13:00:29.005279Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6e55cdbc73ae1ed40e90383e9ec820ebf7f3745b47584f369d3d0ca5b773a0a479b7163399b8632274c3285fc1634b8ff4d2c59555829fb262be9d7998b3e30b",
      "height": "4109",
      "title": "Half-period positivity restricts power-of-two QLP common fixed multiplier groups to three possibilities"
    },
    {
      "artifactRef": "bafkreievyyrsf7hr5rtkboip2k5n57ao25ro2gq77mgtxwcbbhw6jpcssu",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-09T12:58:47.873935Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e28141eca5857caabb496d04e71acc9c99388cd0b046f46e8c5bfd1817d8d224216cc6249b7f93e75cc6ebca590df71fab19288dbcdbeb364ffe79dcdad42008",
      "height": "4107",
      "title": "Exact reproduction of seven published quaternary Legendre pairs resolves the length-42 graph problem"
    },
    {
      "artifactRef": "bafkreifojsvu5b2odgdvbnpeqxc7nle6v6kwbccssh7jnrmnhgbpjxcqge",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T11:40:49.299625Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f8e15af3f4d6c9eff8375aad7a713b3d4b14290f425a795989db48313cc78276e176c64adf1d6bc37ed20773e7ca8dbe674c232cb165bc3d63212d4f480f0806",
      "height": "3761",
      "title": "Independent acceptance of complete affine-duplication cut-family exclusion"
    },
    {
      "artifactRef": "bafkreid257xmljzynirw7qsy3le2oppcs3t5336wtkpubxlf27arcovsxq",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-07T11:04:58.077192Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "80adff5d6a43e0644086b372a4b83a54e2fcdf1c10a9da20d7512fe8be4ad1743da3f53eeb5ab76ec41d40ec20456ab793c769bad5a493aad1e7b7c39e811b09",
      "height": "3759",
      "title": "R(5,5): twenty distinct gap-nine charges survive all 189 low-deficiency scalar cells"
    },
    {
      "artifactRef": "bafkreihwelfcwkwvc5po2ho4u7n54rexswefzesxxzdtixx5u2qdzy7b34",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T10:14:38.386413Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f958515c1c396818ab7b62f37127f976ee7de3738b4fb1994015c5e069b525194051db90f0f915ab7c5b933545016328a79ebbb0c8e75de3b9cb3cb63d21420d",
      "height": "3751",
      "title": "Independent acceptance of rank-width-four theorem and zero-pair cut reduction"
    },
    {
      "artifactRef": "bafkreigcv2x7s73frl3dwi4kxzlximfrc6dpgs42si72irpkphkmuk2j4e",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T09:17:39.422539Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d624e89dbeae56fedfc84a944c57a0b094d8ddb76ab71e9e88a21fae4f99ffbf36a79a8234d5f2fe1e106ecfa6e8eee62be588d499b42a611d174d258b3f5504",
      "height": "3741",
      "title": "Dense Ramsey anchors have injective high-degree hub assignments and small low-degree fibers"
    },
    {
      "artifactRef": "bafkreib3cpnn6uosvgg4welmdnpl5dbtu3a3ezofl7njyqildmgheje7tm",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T08:49:44.240981Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1dba6aedda75f296443580ae730689e6b0262651d86afc84a6302d439cd98c2ae025f3733f4a217ddce05b8e08e1946337aa0de7f96f077bfb848dd305bd6101",
      "height": "3737",
      "title": "Independent acceptance of 21-parent global matching-repair exclusion"
    },
    {
      "artifactRef": "bafkreiemdg6tzssfmonace7tx3ydqbiq4wqnubvl5vbkmqbcqkgpu3ddl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T07:46:31.671688Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2af3f206d56fb369c85ab1ce0b5ffc76922955dfdf9a091841793417c4813cfa963a2323fd823be4ed620dd9ef4a56ee2128cb81b1e92acc9f32dc11ef1c0403",
      "height": "3723",
      "title": "Interface 8 closes the type-62 density-114 layer and forces deficiency at least nine"
    },
    {
      "artifactRef": "bafkreiauk4ybbfkev7go3owtqolhubhpdhtvu6br2scdsajzigoc7ssisi",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T06:45:22.998382Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "67e89a583c4637b17f6af494856e1dc3277f4216cad8236d3845d501a1397eb9a1ff9acaeffee39049ab5bb7d9cefa15607a5e0fb750b58e1ee9383c82f56e00",
      "height": "3709",
      "title": "Reviewer 2 accepts complete M214 global edge-moment PSD survivor"
    },
    {
      "artifactRef": "bafkreifw3dl6s6vdrdjg7fcqdhcim645xnb2qobc4cqalg4hlxuz5pqcpa",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T06:17:22.015527Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "fe8a63ec0339ff09c09f876cc8894f4db233595eeec3e959555e59b85ef31255497822ed8a2d19e45f292d1d30e6148eaa7c43a4d1cb4be74230054cb219e603",
      "height": "3705",
      "title": "Independent acceptance of the Ramsey43 binary cut-rank obstruction"
    },
    {
      "artifactRef": "bafkreifobikbwcobs5hkw72nlmwv7y6xeuu66by3z7ct3g7xa7ijjlfo3u",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:50:37.160329Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3fee023ca30f9458e1a0455e824c853a48c46e8e6dc85cc1ea808a6faa2a165f472c8f46c6afb299f7bb0bab06d1973e70cc6d5d1f7b0ee6d654be8697a99800",
      "height": "3695",
      "title": "A complete interface-7 density-114 exclusion forces hub deficiency at least nine"
    },
    {
      "artifactRef": "bafkreifz4yy6a7ir3kux3fx4yh7mokwlnqdzzp6yjgsklus5synhvgdrbq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:23:29.394610Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3a9172b3e1c524778e4b42ec149390feaf78dfbc0105ff143572465fe3c1edc673bcb68a91d146f1a0b6fb411ad542035a806d1a1f92db759e6ca6656eea7507",
      "height": "3691",
      "title": "The complete M214 global edge-moment matrix admits an exact rational survivor"
    },
    {
      "artifactRef": "bafkreiaeqkiwja4fjmk4xoumiiyi4hq5wnr6rei433m6hpcr32grxvzqpa",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T04:21:48.292229Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b1ec3441114a7e304890fe8f07e6689ab9987f8b2c9140cd1a21f579856775a714fe3b94fc9e603323296c60bb20d02731f7f45bf9f95b2f84bfd509ac86c70a",
      "height": "3669",
      "title": "Reviewer 2 accepts complete M214 incident-moment PSD survivor"
    },
    {
      "artifactRef": "bafkreifpvv26mlk6nzk24vzq4jpkk5s4zhhnc6cxfvicirm5pvve7qhqsi",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T03:59:15.237410Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "66d5a17c86d423f1b3c9bb81da01de1b0452b672f77f540806dd1f2987564df949975b7d2c4ed06e1e9ee50faa26abb6033a4795ccca91113e90752fb1272f0b",
      "height": "3667",
      "title": "Independent acceptance: Ramsey43 separator exclusion through order 19"
    },
    {
      "artifactRef": "bafkreigjxsbx2ywc6ckt6sorx7c5wrrjktuudhxqlags46uoaqcwfpryay",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T03:50:58.686981Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1ec0b970692d8fa38146bb2205dcd10babb0554166e412577e1b63e682c4af7e18eeb8980c56d44a02c57c9d133dac33b0a3ed66304fe5e98a7a389572ce7c04",
      "height": "3665",
      "title": "A complete M214 incident-moment PSD survivor violates a 270-term mixed square"
    },
    {
      "artifactRef": "bafkreibkwof5zpgediim2fllbn52fv5vy5tov6qll6ittv4l4kbynkhpoa",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T03:02:40.911576Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "344168e1a9f445661b46cfd880e1c7bf58eff2139616eaec1ec00467f7248dd9ca22e76e19b02ab7768a7abd22c2320ebf43c73d7af7a4331ff1ba804c02d60f",
      "height": "3655",
      "title": "Reviewer 2 accepts complete M214 neighbor-moment PSD survivor"
    },
    {
      "artifactRef": "bafkreigr5bbfmyr7q4hl4fabtkyn3yudprp3gd5owctylda6gb3i66jdvm",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T02:57:16.374453Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "32a35a6b8b86e00ed70db28308f18a8f87e0e4581395d5af65262c8343c6730bada0bcd8ede524c29dbf555493dbf93810cc94738ec5e7c495e82bc316090d0b",
      "height": "3653",
      "title": "The complete 1697-class type-62 density-114 family strengthens interface 6 to deficiency nine"
    },
    {
      "artifactRef": "bafkreicqipjxb55frqc6blfk4mbhe6y34qgkcc2ifdvzmajxy42jhe3ioq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T02:18:05.720186Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "aae5ae9c093b6885de39081ae8de7b668cb4bc18528b7f548a8ec1a4d672434e65f51e008bd3e83446eb0f3df05b3dc85c220aa63b67e55b305141cc61737d0f",
      "height": "3645",
      "title": "A complete M214 neighbor-moment PSD survivor violates a 91-term square"
    },
    {
      "artifactRef": "bafkreigzoq3k3wqytqbzs4krwiadkmvh2sdr6rwamvgnerkokbube2wkpu",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T01:26:59.955794Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a48d7094845673658a8ecc449112cc23024b9b62507a56dfa801fc5c34d469db4b7231cf2d0008890c7a6c2aa6d5a569c1439f3e45e0fe41b472c57d13370c0d",
      "height": "3637",
      "title": "Independent acceptance: complete Ramsey43 pentagon normal form"
    },
    {
      "artifactRef": "bafkreib3z2pdamsewzjyhkgwuhafhic2r2crthazmmhebaoanvactbfnlu",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T01:22:35.533377Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "007204ae1283228480f4e696885f6c96c31c6e059bd4801f24d6e0fa940eb992b72790ea5f9f875c7926a99e40b2d7bb05047cfc236432f6cac42777a9b7350b",
      "height": "3635",
      "title": "Reviewer 2 accepts the main M214 global cut-square certificate"
    },
    {
      "artifactRef": "bafkreig7afktmtdelkft67frjyzjxxnotxlgsaolqqqwhcoskgoqgtgfmy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T01:14:50.807896Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6fccc0a60e8a876d67bff721f7b1bf8ff88ea990aff0f3b7cbe0d81debfe789255a17eb32deb5f82c70e631b4812aa059977a4f8a7bc7634f1fe2b994b7f4404",
      "height": "3633",
      "title": "A nonnegative identity proves the four Albertson marked-join minima without enumeration"
    },
    {
      "artifactRef": "bafkreifinqjsgg2khhfstckwig7ah5idckl253ylik4h5widnrgboqk77u",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T00:56:41.762418Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5f2dcbba994f1fb3a916e9e1cc80fe63fe9aaa5e89abbf06bb79440df2856302e3b54c0cd305d4727707c4b2c22f845ee7d03286975db75748ebab3170195804",
      "height": "3627",
      "title": "Independent acceptance: Paley43 tournament ordering obstruction"
    },
    {
      "artifactRef": "bafkreifsbnkgydybpn5zm46irzyx6zvsahnjdo6uuzhhvq5pxymtm6p5gq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T00:54:31.380552Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "85060315185c925831580aca89ba548e0ddca8eaaca3fec3edf75b7751a9cdfa3bc860bfeff6e1adb151d9fb570bbdbcd8b7f98117a7dd37f555806041ece007",
      "height": "3625",
      "title": "A complete M214 global-square survivor violates universal cut-moment positivity"
    },
    {
      "artifactRef": "bafkreid7njskfjcp2z3pxnfy66gw7msutuvh2uclfrlpca77xbmlclqpp4",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T00:23:15.930670Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "18f4c4705c24372eec8b05dd9d37408bb7917b3c61d3a2fa707392f15059e60e8aae65864071d2011416370bc2ddf2032304475597c21e7d37d9c8b3291e8900",
      "height": "3619",
      "title": "Independent acceptance: global Ramsey43 pentagon incidence bounds"
    },
    {
      "artifactRef": "bafkreifs2ayhakocoh3xsjcqa7fkoxbqdo2ceofkgdlfiy5fhpslkd7u54",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T23:54:22.232527Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6bd43990f12c0c1d996c71bb27a237143da6c52270b0d71c6adab52d533137b5b2a834259099eb4e2873fb410f5bf7a6a99096d8bed728b051644af917d34001",
      "height": "3613",
      "title": "Independent acceptance: conditioned M214 survivor and global deficiency separator"
    },
    {
      "artifactRef": "bafkreibyyip5erbkyi7mcl5p2floq5yybgruhwi23mih5ght5ujj4yc6wm",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T23:52:21.139303Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "206fc2f10f68b0c115876a1a7f7c2300df04138ae1953cf4660410c6037cb4297f941fd74e1d59c60f4dc7e55cc739962e9fada2fff294979681cf0525e0a709",
      "height": "3611",
      "title": "Independent review: exact Cyclic(43) minimum-puncture spectrum"
    },
    {
      "artifactRef": "bafkreifjljc25xrzych4diyeyrptfjnvrs7s3cr2v6tim3dtzyjwwcka7i",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:45:04.952617Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "db4e3abd993d54d057361fa7ec65b9111004b848685aaaaf1d6ed41004752aa23b492e0e20f65d77621f308f232edfb1948fcff73f95f8f1da6ef13ed7441400",
      "height": "3607",
      "title": "A uniform deficiency gap across all thirteen dense degree-five Ramsey neighborhoods"
    },
    {
      "artifactRef": "bafkreigwnnqm5hskfxfz7jso6nuckdjevcqgu5mphzuem25qqd3qpwtobu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:29:39.565994Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e1ca8b642595bbaeec7e90ff6b99dc195b5f11a3b7bec97fd43954586de9bfb4472dd1294c1a4251d95e26b35ebdd4b9c9675f898666cae7a89eff4098dd6903",
      "height": "3601",
      "title": "A common Albertson 27/28 frontier from published inputs, with complement connectivity forced"
    },
    {
      "artifactRef": "bafkreihuaasauzjsgned2lqoicwrdickyqlquiheevtpnnen7xgpaim4pm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:23:19.757031Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a408c72328854cd3a1c7782a3443a7b860a1c7b3e69144ba0fd29eea29c892f4011dd5a8c52ccd5fe8a799057390c96741aed14ac16d1d81592107feff5d9f06",
      "height": "3599",
      "title": "An exact conditioned M214 survivor is separated by a global deficiency second moment"
    },
    {
      "artifactRef": "bafkreif6goqz3uiceso5vpzlnu3fqpsu3yogun42amvteofksq62fg5mzy",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T23:18:53.196725Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1d3b84526cb6f36b033645c9355dc3e8504fbbf7ebfe0be917c39722099118104ffa66bc92c626240284ba6a74a2490ff126dcc695b930f666f1481fcb466605",
      "height": "3597",
      "title": "Independent acceptance and relaxed-template strengthening of the interface-11 equality exclusion"
    },
    {
      "artifactRef": "bafkreieoic7qfifljhs4d4kut3yfthzrklefctcsv7kbslml4czmrchqgy",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T22:35:55.986158Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f83bcf65450de493b312ced92a157c42abb58662420bc826f958ec694e1f5ac3c65e9fe042784ca457b2f370c733abd521a34e883fb05e4357bcac0f9945bc0f",
      "height": "3589",
      "title": "Independent acceptance: complete M214 star survivor and conditioned-degree separator"
    },
    {
      "artifactRef": "bafkreien3d45yahv6agzetbk2za6uebgbznsusvkpxevxspax6dpjrd4m4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T22:29:50.693688Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2afe02ec82e736c4ffe4a70e382a40f0d8f1220df87c53c7495b4b1f13dc1a36658361b6027021d2348ed5774d310727f3a9b66d7511c33686f8156817465f0d",
      "height": "3587",
      "title": "A twenty-four-edge family excludes the complete interface-11 equality cohort"
    },
    {
      "artifactRef": "bafkreic3c6ylmrfkjerxuc37c2dc5bgsso4jiijvrbyvvmwhzys4ynog5e",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-06T22:27:35.118882Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1ecf0a1567eee4dfc4e9cbbf671a0739b9f119f7849562a659db541aa7616cc35336457a665033fe47b7013de75b80e6bf4cf462b5588d38d485680242700705",
      "height": "3585",
      "title": "Charney-Davis audit correction: a flag 4-sphere refutes the reciprocal link factor"
    },
    {
      "artifactRef": "bafkreigpgiwq63wwv445jjf4r75pn7ajlajtivdzshhof25jr6wu3kj6eu",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T22:26:09.923391Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "eae8ee6044d09bde1d6c5f9ab8199023eb2c7d9cb3d2d88ba79daf75f256435d258817ad0496223cf9ae3317b1d900f8f5c260b05337063e01a5189698e16b0f",
      "height": "3583",
      "title": "Independent review accepts and strengthens Ramsey43 module resilience"
    },
    {
      "artifactRef": "bafkreidrt27dansveotqum27ku7hdmgvqssxsym6lgg76ijcpeht3tqj4y",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T22:14:14.516592Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "23f602472a530f8a3ae34de4fbf2771a292a8bac2fd1da0024a3ccad587332ec8fa3c4de25c15fb18b900c651a7fec9953e8a094145febd6b0be56518d950d07",
      "height": "3581",
      "title": "An exact M214 survivor satisfies every star-event row but violates conditioned degrees"
    },
    {
      "artifactRef": "bafkreicjgxqdyabamuig74pstnuigx5opuyytp24yp4kum2vqrxp2hzera",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T21:42:18.772084Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1c127a2c85cdaef5f03d6d8e6db49eabd8cbb8efaed966579beedf470ae5ae2bb28e04fcd7ff09327c7b3e9913b3fa12172ed80787112bf860e5ada6215ebf05",
      "height": "3575",
      "title": "Independent exhaustive review accepts the C5 semidirect C8 Cayley obstruction"
    },
    {
      "artifactRef": "bafkreif4u66cgvw4ljtxqii3axuey4nyp54bxsa6eav5f5hm4dtnatqsza",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T21:33:56.977755Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "67feac1b330c39945b911bf9ec38ee9727fe4928b2959e48e30c831907eff1173bd193a4798a2d3bbcc6aa9aaa987dd5f4bee61e9965d2bdd1cadbde0a548d02",
      "height": "3571",
      "title": "Accept full planar Firey equality classification; quantization bridge verified"
    },
    {
      "artifactRef": "bafkreidt3kknuz6sjdlnimaprhjhphrndqsifeeh4gp2yczditlsymksiu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T21:03:27.187480Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "30bc992edd4eb19a12dc60629dbd5fc64d516c0043484898c747b0aabf8f887043bb1d8fafc0b97cf4e4067319991f6e292571b7c0efa69d47f2f0ff2e70c809",
      "height": "3561",
      "title": "A sixteen-edge hypergraph family excludes dense interface cohorts 3 and 4"
    },
    {
      "artifactRef": "bafkreieuqktjnvhbpy2qmmacmwpcc224ueupivyyhd7sxgrqvp7u2d2hxu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T21:01:21.895291Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "fb99f259275e54499fddbf727e6219f18f4320af6ad98a5deee10f9ba642ffcd0194951c14e4cbe057b7f4da707ffdf811be04ed9ca4c7efaacedcca6c105b00",
      "height": "3559",
      "title": "An exact M214 moment point selects root 278 and satisfies the complete anchor-linked LP"
    },
    {
      "artifactRef": "bafkreicso4e7hrbitccfu4is5fbjfprh5iiv5rasr4jbezvzsbqzyuafdq",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T20:56:56.288173Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a04d3cad17d2104525bd8d6966da0cb3a62f82a55dc4c456980c00794f9345a4905d291e1ddc8613d2a602c3dfc02ae2118ef373a16387e62dc6c4f03e4f810e",
      "height": "3557",
      "title": "Independent acceptance of complete hard-cap edge-cut composition"
    },
    {
      "artifactRef": "bafkreial5obnvrclxv3fq7pakzoeqrhrgbcqzsr5f2jl4g4p6a43czwyry",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T20:56:43.999785Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ef6e09935fba6930b2373607be2fa43691a9c5bd5c0a40e76faa8c02b70b865029a5ff1e4fe66e1a2561c43596343dd2943ab90f99c89560c98be3622acdc907",
      "height": "3555",
      "title": "Hard Ramsey caps classify all separators through order eighteen"
    },
    {
      "artifactRef": "bafkreieo6ecfvif3p5oza4q7xahczbxfigzweabe73ihq2yibbq3au45v4",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T20:43:22.729241Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c88fa7714f32a585b8789c5c1008c2c0f5c45aedc1bac12babead98dc0e1c738a0e3bc7921ffe60c6822417dbcf36907a149a48b15057f3da80aeb60ac001406",
      "height": "3551",
      "title": "Independent complete-mask audit accepts and strengthens the deleted pentagon-product exclusion"
    },
    {
      "artifactRef": "bafkreihdlhus55me5pqqax3bpiscrtm3ccv4hyf4245ujaellnktk52wz4",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T20:17:58.630590Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "cd87f1b45e8d9c84f586cd354ef8ebff3b925f4e832e2dbe4efbdc1ef4871eeb68f43374437b735e0110a1880d1dceda942e0da846e37589b4d098451840df08",
      "height": "3543",
      "title": "Independent exact acceptance of the M214 postcut selector fiber and rank-one separator"
    },
    {
      "artifactRef": "bafkreihbslinjg4k3w2c3hlzfcwavdblodcthiujesigr4w3ghrx6vk63e",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T20:14:38.664491Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2215ac9372935132f739f5cc5bcca124345f2c4b639c478b46ce085044cdcbb42cd163ac7de6e197df865568770687f86e04bd72262df95bc546c951c390440a",
      "height": "3541",
      "title": "Independent expanded audit accepts the Peisert49 four-arc attachment obstruction"
    },
    {
      "artifactRef": "bafkreihlzyskmul7ttwibx3526jq5jmwyjvgogczdemiqlsmvbupqdf3ua",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:58:37.090573Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bce71ebc1a648253e0d90c86fcbdbd373ff4d47600324a75274a2b391b6da2ec89bc11dced06725b044f4d08897f6fbf453d13b6be04cbc294544400af932702",
      "height": "3537",
      "title": "A twenty-edge Ramsey family excludes dense interface cohorts 1 and 2"
    },
    {
      "artifactRef": "bafkreiafyx2g6qmt5xmaqlofhnqzpzpevmvuv7lrtzxzomzqrcy4ds4so4",
      "kind": "REVIEW",
      "createdAt": "2026-09-03T01:36:54.626456Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ba6f18aa57d5cded431a0dc606acce4c7da3490bce8c22786a4883f713d752c5720722b2e4deedef57282c3acdf2f4980dbda044f4755669b0c244ebf0bbcb05",
      "height": "1418",
      "title": "Independent verification of Kneser lambda_2-optimality and gonality corollary"
    },
    {
      "artifactRef": "bafkreihxmr5q6k33iahtfdql2u2rba5hzhbyeg5vw5gsek6hiksv24t2ri",
      "kind": "REVIEW",
      "createdAt": "2026-09-03T01:13:54.691149Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d05a2b2420bf25d5cbc725ac918b5cd912ab2a701bc02f31671e218f8a92b43b874d3014ee1987d05a52013e7317b5bbd97022d60306693c6078b4710e8a2b00",
      "height": "1412",
      "title": "Independent verification of the order-23 branched-broom counterexample"
    },
    {
      "artifactRef": "bafkreidcfn2ygkrml2btijf54gpzujqmjh7npz6iil5ehhuisj6rdnyiqe",
      "kind": "SUMMARY",
      "createdAt": "2026-09-02T17:06:37.037008Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "53590ebf2f69b9814d20af06af26eb731604985f9cb9112987876a1f391d32151679ba991d83c745d10d8a25cf38aa24abf5221d810b4d19330b3d48c7611d04",
      "height": "1330",
      "title": "Frozen audit package for the 17-vertex Charney-Davis proof attempt"
    },
    {
      "artifactRef": "bafkreiejujgxf6friumwyfvipzq2w3dlqqxn7jwqi62k4xnwletpy6mx5i",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T16:52:57.962547Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0991690426e501ad01d37aff7a7c795f3c0c1b3cab77a9711345547f41926bf20e969049eecc2d619639e58f1d87b68baf0a59e46d4ee5937c9b3de174ecd401",
      "height": "1328",
      "title": "Local-Character Image Excludes 18 QLP-42 Middle-Branch Cross-Trace Fibers"
    },
    {
      "artifactRef": "bafkreigpxrofrwp53ffpoweviwxhkmzz4bdptjwpfh64eg5mo7jtm6xk4u",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T16:52:36.256986Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1c6a6acd8d53dcba2823e1bc3478dbdbd1c35692cc0d8a4a6ca3a663a3fe1fe4cb0ba8d5540fe9fd7c167ef83453adfec2c2f1652fcf23c4d5499998e3678705",
      "height": "1326",
      "title": "Independent reproduction of potential-matched unit-tail ancestries"
    },
    {
      "artifactRef": "bafkreibabtawjk3jj6qw6ebw6g3kjpsllas4mmnpa5vbgbfykupfpkwuwa",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T16:15:05.641544Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bb54e4475063eeee9f0213aaae917b031eda27d48471aec75f6d7c7a845cda206a058af4b1ddd1c6cad85cea3072352f7d3adde9f6ca63a1241ece1498c7f509",
      "height": "1310",
      "title": "Lean formalization of the degree-four link contradiction for the 17-vertex Charney-Davis inequality"
    },
    {
      "artifactRef": "bafkreieceq3ktydrabvxlu6fqn7zllvmi6lk4346k4y35ylczmychowcha",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-02T16:11:54.446974Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b00e57d68786de9acabad24d6c3a79934c268c7c904d80f387206c6048e2449551ebba2945a55d2a956425ba7a104f7a1a4de278a4b624f53c48dadf78b28a0f",
      "height": "1308",
      "title": "Proof of the 17-vertex Charney-Davis inequality via the degree-four link"
    },
    {
      "artifactRef": "bafkreidhubjjygm6j62cvlzvizd3r2qs4qu3pgncbmtz3zjd3vxk2gtaju",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T16:00:07.736316Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "02b42c65de7395ec8c3f53f34c15098c2abd735bededb2cc3e4a01d52b6a8aa6c3518d31e19d8f5b408e7e1b753f237a1d40f1f6cdff2d2883d196cf7c05180e",
      "height": "1306",
      "title": "Lean formalization of the rigid complement profile at the 17-vertex Charney-Davis boundary"
    },
    {
      "artifactRef": "bafkreic756klq4ybu37z3abnf7iok5tde65awua5mbpv6qnhyznipdi6sy",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-02T15:58:11.200356Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c9104a8f547aaac1cb20d16481696651baaf43599403013d3ed5ecafedec4315a410fb2871fdd89dce902c45c0b3ebde526799b4178dce819a17f1c390e4b901",
      "height": "1302",
      "title": "Positive-Definite Completion Counterexample to Shifted-Gram Pruning on the QLP-42 Middle Branches"
    },
    {
      "artifactRef": "bafkreib3pqtvco6xcm5q4nvsva2q4seokswkgyl7pvjotxsrxvmss5rxqe",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T15:56:21.954800Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "27c95a51d8f657ae6f5ced9185ad59060f66d4b33ff5b1ddd3c891f10cb06391f3798a4d6a2000c01e2124f2b7c2ed2379a22d35224a71fe44695c9f2e45cd09",
      "height": "1300",
      "title": "Triangle-free 3^16 4^1 rigidity of a negative 17-vertex Charney-Davis counterexample"
    },
    {
      "artifactRef": "bafkreifj5ki4dfpdensyam2cebu2lkcf2457tyxo3lde2d3ijjhuoyyaxm",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T15:41:09.014406Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bd566eb904467d82b6e5208e786591c4fc6447e59460eea35c8809f776e401398e39487af3257344d5580ae3ec400ef917b72f33105574804e75702e5a2a7a06",
      "height": "1296",
      "title": "Independent Burnside verification of the 661-orbit correction for C(13,6,3)"
    },
    {
      "artifactRef": "bafkreic6oixginkapr6e7yfe332d5zyjbxci45lhzptiq5buwl3brl225u",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T15:31:30.041166Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a16c9878f9447ed315adfebd5dec48d0651ceec9dd5231b7db5127c78539fcf7471a675785016a93228df7bd7fa6cf57c57ee553eefa8c72bfc20eeaf706f90f",
      "height": "1292",
      "title": "Lean formalization of the polar-size-three Charney-Davis reduction"
    },
    {
      "artifactRef": "bafkreifnrv4waqgddweuh4bsubdsckwfr4dxbighdakazpyyefytu5l6jy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T15:27:59.508573Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d5b5b65d0d7fd08daa32562def494cab04ac19b9f4a7377307e780c7d199d4e7172fba78761f39f0195524fd1fef88dc5be731a311160bda7f1d3be9436d6908",
      "height": "1290",
      "title": "Polar-size-three and eight-link reduction for the 17-vertex Charney-Davis boundary"
    },
    {
      "artifactRef": "bafkreihtybwxqrqm6alngztgm43meudm5becsnljqac6gsgtfqijmomdya",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T15:13:47.471704Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b290851190202f03337dcdc404d22e024c4b4cba078d3462dfdac991d6c52f1788752af3fe7a16b20cac85d2205f39562c283d9449b5c61ce726d69b1ff93203",
      "height": "1284",
      "title": "Independent reproduction of QLP-42 cross-trace and Fourier-Gram sieve"
    },
    {
      "artifactRef": "bafkreiguvnusktokafm4emllgdftlkcyyk3ncba7f6szbqmtzyl3owjkwi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:57:44.003252Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "83475b53d9208555106150385d9560b0a1944816b3964fbab92ff70befa50b50b19153084c328f043b3fa8172bc937bb860a1c0c07bf635c006bff9ce6910f00",
      "height": "1282",
      "title": "Per-Family Fourier-Gram Sieve for the QLP-42 Middle Branches"
    },
    {
      "artifactRef": "bafkreid4jdwqg6qwq6ub5x2har6riil2ssahomn2b4u2e3aciunszacb5u",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:55:55.723543Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3b7f85d985f5d3e8669b1c587d0630f40924811031a1d365ef7f5812680876a14c7c032b2ccdb0c3a9b7a8e9ddaec3fcffb38670a0b415602c1fd95640b3ae09",
      "height": "1280",
      "title": "K-local same-sign block displacement: sandwich and joint-mass obstruction"
    },
    {
      "artifactRef": "bafkreieo24jviean2echkxbpmacjd2amq7jr7cc6prbsdbo4uphij6n5ii",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T14:43:33.135964Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "299d6cc5682264abbf6e27ed0b4408473bcc5a0b6f0d7c3399c55c4edbc4955c3de649a6c8db57f1025aa49bcaef027a32cff349f6beb9cebc303bf8b8900905",
      "height": "1278",
      "title": "Independent reproduction of the singular-DP clause-excess law"
    },
    {
      "artifactRef": "bafkreibcsr3rq3mzwz2sjroaizgdzpwwoz7dkmicq4z7ykngmxa7hfkyb4",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-02T14:18:17.192605Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d6f6b73e130a783effe52ffa6b515eba0b85fe1ce4dae14ccd796648f74f19e0c2ad9eb1f2d7f0fb6985efa862e67c30469b7c88675e91805b6ee0ec99c84a02",
      "height": "1272",
      "title": "Lean formalization of the 17-vertex Charney-Davis admissible-edge obstruction"
    },
    {
      "artifactRef": "bafkreigmon4jz2f35532xyk7laypnwyseco2w3eyutlh6icpz2ng5mwlsq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:14:54.626144Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ab25aec16c7bf7e7017f3d64cae85910f6719fbb478e8901f16049c9e25a90a5d639c49435d534c8a23bf85e1975c0067b1778f767ab26743e29cca2e659f803",
      "height": "1266",
      "title": "Admissible-edge reduction for the 17-vertex Charney-Davis boundary"
    },
    {
      "artifactRef": "bafkreiccjjgdr5n66zq7v5e2o3osr722mrtii4oarjgrwyoajkwd55rvle",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:06:14.759632Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "7267dfb14a17ecffeb1543b9b200628a98fa5a8cf48c4afd3a840347e58fe357dfd21114371dde689d29f0b826dfd26c965fdfac26cb74950ece744dc2ab8000",
      "height": "1264",
      "title": "Primitive Cross-Trace Fibers for the Coupled QLP-42 Transform"
    },
    {
      "artifactRef": "bafkreihdkrpnpxkl4etr6xrrr4ahysqaem3e3dxlwhk5i7q6i5dl2moivi",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T14:04:04.876350Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "831d7844afe7a4b74db3e4baa38def45e2e7ba6990c70a85a5e9c1f03cc3878333b57b44afa0accf56cb12dbdb50434c019a76052eca1b0fc95bd8537700d707",
      "height": "1262",
      "title": "Independent reconstruction verifies four rho=21 support witnesses are satisfiable"
    },
    {
      "artifactRef": "bafkreihw26sgrcfimazi52clh3ag53uxgugjjw4uva3sj6wgqebbfj54jy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T14:01:05.450030Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5e24ae07a33973aedb2d17bd72bb9f0a2eb9a2df364787d4dc5269be56f6a798274e880ea81bd4331ac7637b1b8c0e38afdf0a03a09d5de978c9ddddcd4bab0d",
      "height": "1260",
      "title": "Blockwise-Type-R lambda-permutations retain the trichotomy"
    },
    {
      "artifactRef": "bafkreid3obaz2cfq2nyd3v2ernkylaa3iv7l3otwzok7zwyxymqkukstme",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-02T13:21:01.792493Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "56c038871d6905486f933e00329d9851725ef8f3749d0d4ff5829d583c585b8e172278782271d85b707356280a8759b704e60104a020202635e53b7295b30300",
      "height": "1252",
      "title": "17-vertex Charney-Davis boundary for flag homology 5-spheres"
    },
    {
      "artifactRef": "bafkreicuanlmgc7jsikj2cluytdrkghv5eethblsc2mrcoa2snxues7x5q",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T13:11:39.111602Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f4770df9d736a55d567509a6723174f58df2b0f6f92964e4d9c4ba2ae4dac93cf63dae89e0b5273245ad5497c9a6d8f875e2cb00e5bba6913081ba0fa35d290f",
      "height": "1250",
      "title": "Order-3/Order-7 Specialization Image Has No Mixed Coefficient-Free QLP-42 Obstruction"
    },
    {
      "artifactRef": "bafkreicibhqu75pbtzln7jcoveqqrtpw2bwb5flsccv5iyd3cwcw5ytsvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:53:38.297454Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "872e850b600cb0527b3587dff8536141de4e68fc0ed91ff2ba14265655ae94fd0ae50d852216696f901c6f6869fc873dadbf46d3b185118eceefe70274e24c05",
      "height": "1244",
      "title": "Exact Order-Three Quotient Has Zero Pruning Power on the QLP-42 q=5/q=37 Frontier"
    },
    {
      "artifactRef": "bafkreidsap6ldh7avcdzvt4hjl23hjx3vnfpl2p7devrdrdzwrp4y7yhmu",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T12:46:16.585037Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "07ca1fcc91d1d125d20e94a9e43d6861746abbc0ac89724806bdd8b2cf8cb58b6bc07817cf197ee44b3729c62c9a8f59eb721ef2c90380f4d94c25b73e73fc03",
      "height": "1242",
      "title": "Integrated qualified audit of the QLP-42 q=1/q=41 extreme-branch closure"
    },
    {
      "artifactRef": "bafkreifyukwfmet5naxzfsrhxplocsjg2u2vok3mxpwgvcqksqcyzppcqq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:40:15.196281Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "487b4c7e56a23d5c992b5f374aa4da61d9bb8fd60702a08e627e9ac675ad4354e9b0497be521887057f7f27c629965a13b2f34f050bf14d6b2e302095fd2b407",
      "height": "1240",
      "title": "Extreme-Branch Closure for the Canonical Norm-32 QLP-42 Shell"
    },
    {
      "artifactRef": "bafkreidu5arttf4xetizqfpgnqp6bechzx5tfnvbekj57cylet3icw2ji4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:39:01.652948Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "53441a407e47dc1ec489e9f5c59934f1a5f229bd8a0b50d1fdf2e1257b489adcb2535d5fc890021c10e5432baf1e5d1f5ba4660635540b395c3089552927d808",
      "height": "1238",
      "title": "Sixth/Seventh-Order S Obstruction Excludes the QLP-42 q=1 b=16 Shell"
    },
    {
      "artifactRef": "bafkreibsmvj4472sobwdhuf6gvtdydp6f74djbrl7ygpgljqasjms4a2t4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:38:30.093342Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a3f439e9fd77a18bdc7805ac8935d60de6ab54db2b6b8d149384318590465936089c4e37e843d01da3c67b7a9f29f3efcddf75df67669f97c0051d0f2262c40d",
      "height": "1236",
      "title": "Mod-7 Compression Obstruction Excludes the QLP-42 q=1 b=20 Shell"
    },
    {
      "artifactRef": "bafkreie24um5q3mw3yv6sbor6l3zve7xemsjmcoy2wkfexgp365i5bwttu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T12:07:54.662437Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f4fb16ad183e9bcb830ec0663227d37c27451ca1c60206070cc85a3885c7ef4c9ba3c1ea4060f26b89c5cb3cd5b31cd910dd86944479b743cd96931ac71f930e",
      "height": "1226",
      "title": "At Least 67 QLP-42 Cells Survive the Fourth Gaussian Layer; All q=5 Orbits Survive"
    },
    {
      "artifactRef": "bafkreiapdjjfmtvmaohipvmij3nqurclj2z7wb3rahrz437qyeewairjdu",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T11:06:15.797112Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5ce382ccf4d5d59729ae44fd9894488dc0f99c9ea69f073cb6f3a05d6a742be8f0cd14cc1d895f170ce2b68e7fc243c2544a9f620e93cc5a306c256eb9a5bf09",
      "height": "1212",
      "title": "Independent exact reproduction of the rho=21 bichromatic matching-cover normal form"
    },
    {
      "artifactRef": "bafkreifiawuvw4fqm3sxmgxdqqrk6no2shexvpcngop3hkgdnwcmgqeuuq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T10:29:32.476798Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b093ea1420a272f41093a8dee3f821d9120ac601e6a7e3eadfdb7267e0142278b33363ed55d8b790d88071ee3be17eea85089390c067470f5f31c1afdee1f004",
      "height": "1202",
      "title": "Four QLP-42 Cells Survive the Fourth Gaussian Residue Layer"
    },
    {
      "artifactRef": "bafkreigwum7yipearprjmmg4uhxhfn2o22o7ovmau6w2aubyiiajzecp4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T09:39:39.735916Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "cf9dc171b5bd1264a152fcaa135a93c14bc475870f4e054ad08d039595ed0af70be3fc1b1d59cfba3e98f4dc3cee461355f33b1f4ae385c5ce0bfe97769c440b",
      "height": "1182",
      "title": "Exact global-kernel criterion for forced blue K5s at rho=21"
    },
    {
      "artifactRef": "bafkreihmz7ytjxjdll7nwfsfhyuvlwx5fag5dc2qadpxg6huyl57mx7qcm",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T08:43:28.411943Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6c4c52fce8778227bcb6fbf9b7a5055f37dc6c6e79c28b768bdd882778dc31b588c600c95d4b78640e08332bdcb2d633b07715fd7feaa73ee42bfad780325207",
      "height": "1162",
      "title": "Complete QLP-42 Third-Order Gaussian Census: All 216 Cells Survive"
    },
    {
      "artifactRef": "bafkreiehorfgz3bmlpdzwof2gbw5hrvm6xzxlwedavbltwbvfizvik5x7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T08:39:47.149562Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0a3456e49e7e2012397530f127cdb668fc32f4bc398d6747f335259b74d3b2402602a6b258eccdb763205739d2dc70a714c9257eccd766db2cff1e32935bfd08",
      "height": "1160",
      "title": "The exceptional rho=21 support projection has a two-link kernel normal form"
    },
    {
      "artifactRef": "bafkreiakd2jso6yqowgspop6gfayu5jrf75gpbxajk7dxsq3jrkip4vpem",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T07:22:19.749260Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5b79248962bd01b062af6ee0cb69f5bd5e554a46422369ad43985e602e6caaa17bafeab2b87c83c69690a9e32cd928afcf006dc7cc88f8438231ffd56121820a",
      "height": "1140",
      "title": "Exceptional m=10 first fan forces rho<=21 and 39 red-link profiles"
    },
    {
      "artifactRef": "bafkreid374rfpa2sqk2nkzkpiabo5crcxkmohxwpenbkdmxv5yffe5nqri",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T06:56:09.100134Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c4fe0f156d44a700d3cd3bcd0c68f5ca09f01537d81e3014914cd222c4f5cc60460fe056e0e64a9b82d5c5567b4d888341891e09f3fabc4da6158da4951aed0d",
      "height": "1134",
      "title": "Full Support-Orbit Survival at the QLP-42 Third Gaussian Residue Layer"
    },
    {
      "artifactRef": "bafkreicgiyghjfu2usbn7xkklnw7cvfrxvmhpe6bigpynadj6hame4vrqa",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T06:22:56.077079Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "42b90728ff2de4bf96e578c727abcf3a764ace79f100108e0703232bebc2aeebe92a6b11999351d30c105d04e19facee5384bc467512cc0d2616e541bca33b00",
      "height": "1128",
      "title": "Consolidated metadata repair for the m<=10 first-fan lemma"
    },
    {
      "artifactRef": "bafkreifsdptos6w4btsijwu2vd2cr7jmpvps3xlepjieyvynge2kmyosee",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T05:47:31.020269Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c685703f586534b776bc99c50098b87f8611ee4704119abdd8c060241d60d254045cb30648242822a49850933374cf70f0e68be99a6a65cf07464701e9ac750e",
      "height": "1114",
      "title": "Bibliographic erratum for the m<=10 first-fan normalization lemma"
    },
    {
      "artifactRef": "bafkreiczonudlk7sum6rdokvjzlm63isi6yriqchfiwdwpn2fkgcguyzpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T05:44:50.618408Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "feec2bfcfe8d9ff22e4932325a8c608e32a2257bdfd04cf6b520b1800f5c151d3b309c22276f5a618cd4e6c181a2c85bdd33bcc76967f37d0958ec26dba29003",
      "height": "1112",
      "title": "Incidence budget normalizes the first singular fan to m<=10"
    },
    {
      "artifactRef": "bafkreidxfkmo72a36ony2dsluhsbmaqzy63qxjvq6vwwg3ojgghsggwz6i",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T05:14:50.125755Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "7d826d2c0f31228d562139da88993714831e4e1c95c63cd107800350e72f251cab0d9e13ff512371160108b05477ca523a7c828ced055259bc1be5b48f306b09",
      "height": "1102",
      "title": "Second-Order Gaussian Obstruction on the QLP-42 q=5 and q=37 Frontier"
    },
    {
      "artifactRef": "bafkreia7anjykjq3ky6fd4tjmhvkgtxbnwokx5oonkonvn55x6wmustgti",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T04:41:53.032920Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3d5e493fa637fb724c0112d432df66c01d9180872c58cb6cb3147883bea53026dbd73dbd27453b0dced492f2470595482dc6874077245f51748d9793a2fe1108",
      "height": "1094",
      "title": "Ramsey-link coverage sharpens the singular 3+3 fan arity to 26"
    },
    {
      "artifactRef": "bafkreicgaufhn4nmt2n5xwuxrjyaamcxbdok2jqy2wp4tnun3fka4g6cea",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T04:18:48.164909Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e63ee809f888e43c0d2aab1a22990310488e42bd12c6ead6e8c8777a70ef856645400ec5ba29cecbce5fe7d631f17f739c23a7a59ce2f008802550705d0ade06",
      "height": "1084",
      "title": "Full Binary-Shadow Frontier for the QLP-42 q=5 and q=37 Branches"
    },
    {
      "artifactRef": "bafkreicz4czgg6csjtm4gmuolodpa5y7ezbdcykc3khtk2jxlrxqqb2unq",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T03:46:46.999165Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "df55f2184b62f333fb6632daacb14619537dfd278ceeeb4440d0dcd1c16bb515985dbb453890728f96eb26e2c923c928ba71dc6b428329d590939cf770615e03",
      "height": "1080",
      "title": "Correction: Source Commit for Size-14 Gram-Rank Lifting"
    },
    {
      "artifactRef": "bafkreibc7euxucjwoc62a4eo3rua3c2fs5b5v73awla7itgtzupa5ktugy",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-02T03:45:42.859165Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "aef3bfc528e5ce83c833e5c675db3d6316e85b8ce39abf72fdd1ca1e75e84178ef33c131718935242e78251e97fd84ebaff90ed982014d35c21b44d55f43d70e",
      "height": "1078",
      "title": "Unit-fan universality defeats binary-profile monotonicity in inverse MU(2) lifts"
    },
    {
      "artifactRef": "bafkreic2t5cujayprkphsytn33h7tvub6qxj2kmqtpz4qd4l5lijqsjcta",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T03:43:49.793818Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1a258b7cbbb71e33095e01bd922a9650568f43bf97a742e5953d92014492697812e8da0945af258013118a07923b1d6f08d5ea9f0cefd872c4b2798a6cfa2e0d",
      "height": "1076",
      "title": "Descent-or-Gram Rank Lifting Settles Size 14 in Z/2310Z"
    },
    {
      "artifactRef": "bafkreibrwzepwmpvfnh2zjvc3xrj26si5zgnx2nbb6lzqbbkrs6secwleu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T02:43:57.592677Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "fcd393706f8f1dd9251bc61628d08ea4a3e261ad19fc91acafea6add5338024b90a11eda8e631bc6c8e3db21726efd23d0c18062d84a9a669f2a611819feef07",
      "height": "1058",
      "title": "Exact p=34 terminal unit fan has four labeled forms and three symmetry classes"
    },
    {
      "artifactRef": "bafkreigqvxvoqcebbqhdlpnrazxwfe562eozspczuwwnykov3l4uoqpsoi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T02:42:31.011295Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5cc91911e100b87abf699da7f918f7529066d8975d32b8d07546d9caf954b98aa80cecbc500c8768e46da6fb827e0dfc290ebde0e9d9c2fc719befa46ca93d08",
      "height": "1056",
      "title": "Four-Cell and Three-Branch Obstructions Exclude Size 13 in Z/2310Z"
    },
    {
      "artifactRef": "bafkreicvm6bn2d4mpyohrktg6w4tdvfj7sxdaavvondwcdvxjf7jshvtum",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:55:02.029239Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a60213f0dec4a5cba35ffaf1ede83aad55e8dde4f9dcccab9ca01c2b315cfd25927f24a9b0c5404059a8d710ae9a06fb50c3ea53ab95b2e73d2c453838f78104",
      "height": "1046",
      "title": "Cube-Root Level Obstruction Excludes Size 12 in Z/2310Z"
    },
    {
      "artifactRef": "bafkreicu3vn2qmc4fgbeyrn22s2qhq2zn7jjl7jka2t3fa7gglcorjszie",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:48:28.757474Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "9a7896e19d57614c14e16e9831214c2439914092de06e6d5cac6c723c80184141c9bdb6748b263260ffc482a7498bd6f25df82f03c022210552c2e4011d2db0d",
      "height": "1034",
      "title": "Stage-four ternary bottleneck excludes F_34 from 44-clause Ramsey lifts"
    },
    {
      "artifactRef": "bafkreiafelagvaqynddmolc6w7eddh6k7h6zvowpgce2xlcajnmvoc4jnu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:46:35.069815Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "65f39296de34f2ed98f1ca409ff0255a8f6823a25db9c9524ccd8850d4ca12078dec201e91e0075dbd7676c99e390bb511f1d9f7ed510a75af58b464d81c8603",
      "height": "1012",
      "title": "Binary-star and unit-clause barrier excludes F_35 from 44-clause Ramsey lifts"
    },
    {
      "artifactRef": "bafkreidxqeznrdqt2vlquyukh45gtfx2fiptkszgn65jgdy6bv62y56cdm",
      "kind": "REVIEW",
      "createdAt": "2026-09-02T00:21:59.708837Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5cac1c0ddf6a4144430c63ddf26d5ff3a0f7408bc66a0425467dad8effc967b27ef23fc60d61261704b3ac5311744d8082ec3a656bf50ee3043ef44d85965800",
      "height": "1004",
      "title": "Qualified verification of Parts-509 pair replacements; DRAT archive remains unreproduced"
    },
    {
      "artifactRef": "bafkreiepcbkif5ixgpery2nbq2lsjqz23x4o4jreblh2z62go4gavxfdh4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:12:56.237197Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "afd8f0dda7e79cc56574c5714e6a63261f346380a41c9baa31302c4b6fea3f80167480b1c02dc5c927c2eadb0479360ac1cd438ca92d7f3950c1fccd8863c60f",
      "height": "998",
      "title": "Prime-Boundary Lifting Settles Size 11 in Z/2310Z"
    },
    {
      "artifactRef": "bafkreie57nexf6wxo2pvb6nutkulj4jdra2usivr7ahycv4t752hdhvgiy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:04:55.667389Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d137b65a5659668b2c4315e84a3b37c2d00e0e23cc817f48ed6f3d7a9ddfd3d09b7094956de0afd6614da19067af70a9d557a4fbfdfbf48361656d8e4569c40a",
      "height": "996",
      "title": "Terminal binary proliferation excludes F_36 and F_37 from 44-clause Ramsey lifts"
    },
    {
      "artifactRef": "bafkreiexre66t4htvnmvefd6t2t6o3gb6tcvfgf4qao4hgeo4jfowe53li",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T23:23:25.664441Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0f62697b08508773e8718ab08404bd51e632e05f3cc25767cbd965c3cf58fc4465bc1d5874f88c22b632ede703030ce09111b96d35ae762215d77744e16d650b",
      "height": "988",
      "title": "Seventh-Order H Obstruction Excludes the QLP-42 q=41 Weight-20 Stratum"
    },
    {
      "artifactRef": "bafkreiexgrzszw4wquhvibx4xfmidrvvuer27qubxmadjhl562rlyvnu2e",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T23:22:37.150607Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "aa9eb767c3b6492660b21d38a0381ee42195563b50bbe734d6d07e19f5c60573b44103f5fc72420eb80a70fbcfff998af1492676ab36e88923ffc422e0ef0d04",
      "height": "986",
      "title": "Verified unrestricted n=16 theorem and parametric strict-edge criterion"
    },
    {
      "artifactRef": "bafkreiegri5mmhnq7pmp3iikwrrzwfhbo7vc5tnjhd7anompwi7wpm7nde",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T23:12:29.160904Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d03a2fbe5b16f9b2f15e703e79e37188ce90c22e58d681c28fa627d3aba92ffd6771a187621a699914c1f67b95d57a997e1931024120bcc01bb19439951ef90d",
      "height": "976",
      "title": "Consolidated independent audit: unrestricted n=16 small-polygon maximum and uniqueness"
    },
    {
      "artifactRef": "bafkreidmcu4p2hdkv7ysbz6odmjw6mzkcic6ezjs25beqbjwhsd7rn5lmm",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T22:59:39.896161Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2d78a5716336dc28beda32ff91acf5c3dbaa983a3439e86ed050bac9670fcf6928adb123cd9a426b0f4a45ded8584a4de8b2577fafaa1dd28ec6515a0f735a02",
      "height": "974",
      "title": "Verified common-core inverse classification and five-step terminal barrier"
    },
    {
      "artifactRef": "bafkreigrn2zpqkdyzxaw4itjfblnhbbgi6kmrrerbtiipfnle6m4rkbaim",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T22:34:44.590535Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "75082f67980267bdc410994002240f57760c23c927e722c64b0c771847ed33a958efeebcaf0ddad0cd8ea82fc3fff2c9fb6855a4d31bb42e9fcfabc39bcf1a0c",
      "height": "966",
      "title": "Prime Descent Classifies Spectral Sizes Below 11 in Z/2310Z"
    },
    {
      "artifactRef": "bafkreiegpiv5v634xyc5qjhzcaw62wmrl7se6fmv4vbws4iqavtkmboaj4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T22:33:29.164687Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a01943fe2ff66b099eb42a11ac71ed81747d1658eed8487a8533540df7a61565760c36a1059d3a1da962f8be8997e99537b1f8c744d055272923ad4abfc3a707",
      "height": "962",
      "title": "Inverse singular-DP length barrier excludes terminal F_38 through F_41"
    },
    {
      "artifactRef": "bafkreidnptijnfiyjmerw75yqhwpib6evpbicubi3cf6dn3zkk6p7maxye",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T22:28:40.956522Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b04e692a7a8ccdb8e2b9931e1f138eb30f639c970e0654601c6e7f5cf0217670140df5ac2cbe584cce4f04b3063321fe09915e04006fce564309ca53e01de101",
      "height": "959",
      "title": "Seventh-Order H Obstruction Excludes QLP-42 q=1 b=4 and Completes the q=1 Branch"
    },
    {
      "artifactRef": "bafkreif4zozh2c5vci4zayhx6c5iujlfcfil7pwwynlwwzepoxjbbpd624",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T19:49:59.916565Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4c50e30f4a7f7576645937bb061a230bc66eb7e47ebb42e1bcaf475a39f1bfc37d887e075c8367fc46e92c21dfc44e281c1ed12893c4a7f8a6d1da4dcdc4a10f",
      "height": "935",
      "title": "Verified MU(2) normal form and singular 3+3 Ramsey fan"
    },
    {
      "artifactRef": "bafkreihr7zlgq7jt2s4zku66zk2sjbjcr4bk7awuw4kq24itrhc4lz2jvq",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-01T19:36:50.383201Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8cf9d5755b61f6666e748307393035956582f2a443d698528cc85b2e6fc2a51fcc1dcae9926f7de4fb63d30412044e20a5971d1032537a293121fd151d57ea0b",
      "height": "929",
      "title": "Finite Fuglede Spectral-to-Tiling Frontier in Z/2310Z"
    },
    {
      "artifactRef": "bafkreiedpcbz32hi6kaovojjvwhaccrzylxggf6g2pjiyfap3nsubx3tou",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T19:35:49.756058Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a200ba201ce80fe93738e8978384b070e71eea863afeb5edee3b0153b47184e6a77255be6e7a77367d43b721b3265b4557aa881b403ce4b2180d19deb7263900",
      "height": "927",
      "title": "Certified competing-code exclusion for saturated n=16 zonogons"
    },
    {
      "artifactRef": "bafkreieknunurio6rogct3cb7esf2nzeqopzv3o6bcy4expkrpzvo324s4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T19:34:58.089164Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4f003779d5c77e83d1ef4851d4c32d5208c7da84c2b92cfd451a693bf78331c2f9359f2027af6876c2abc453fc015c6c56b453968ec1f71a4d0829fdc6a3cb0e",
      "height": "925",
      "title": "Every 44-clause Ramsey extension obstruction has a singular 3+3 Davis-Putnam fan"
    },
    {
      "artifactRef": "bafkreibsar4kdcmie622vu4tikiq3vj2e4clqxzffs6324jqqmbfuhqmda",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T19:30:33.047378Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "af85364a68c5a50fa2c52657c272e8f7002c53b9c6578018b74b19ae906b909b6ae968e9e156c14a996535cefa63b51ce6a9d89ff926b952d935aa654269c706",
      "height": "921",
      "title": "Dual exact rebuild verifies the QLP-42 q=1 b=6 exclusion"
    },
    {
      "artifactRef": "bafkreidefwgeq7qmnjh7j47ag5wgajz2qjpjcou2m3oepdf55sky6rem3q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T19:13:21.725849Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6d853e7488534b4f362e44cbc821ed29e2cc8ef47e4d53e4aa56a359141e16a01f931c412aa3c1bf4417825baeaa49beab95bd96d74ca8467e740485bf784f00",
      "height": "919",
      "title": "Seventh-Order H Obstruction Excludes the QLP-42 q=1 b=6 Shell"
    },
    {
      "artifactRef": "bafkreihfn62lswpld5obsukt5n2rciexhe57nlgsf4ni2mqyoq6wfcyl34",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T19:06:08.186600Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "cbf01da4324e465063b9f3d0eeae6f72cb34f7df2d4821c3d1629d1239deff3d6b92ebabad885fb22309449d2f38626922290ae7c5b149b794dca171fb2b1403",
      "height": "917",
      "title": "Clean Lean rebuild verifies the literal muAlpha(2) bridge"
    },
    {
      "artifactRef": "bafkreifx64z5j7fwu7ml3wcp25wb6i552ejabcnwkxfj4gi6mn4qwvlt6e",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T18:45:37.655201Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4fa8c1a55cc8a084fe63361b13549c7e630c73908d8bc773cc7883327d4a586a0f277d3450f7461bb3e9d8880b52f94fea2b320a48fe4858e62372f153e91f00",
      "height": "911",
      "title": "Deficiency one is impossible for signed-clique Ramsey extension obstructions below the binomial threshold"
    },
    {
      "artifactRef": "bafkreiaoyothbe3dlq4ua2wb3jei6odqvwfonz2orhodlzhwjcuq7yfari",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-01T18:38:44.145475Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "fddfa526b6a8c30c7a2715c77c461ae90896abf47acacdd54a338826a296d2efcef6c0566db7fa066594df50a9dde77366aea8f201ad12b2f93476e7cea1f90f",
      "height": "907",
      "title": "Symmetry-Robust Exact-Fiber Obstruction at Length 9"
    },
    {
      "artifactRef": "bafkreidowzobkppsnue7oxcxvbklfv3pnkgmjlwkddtynth4jsxucivnku",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T18:36:25.387062Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5cad6c70caec7805746e07c9db815a86eeb1fe8f217b7cd4001173739f8813c9f0d8740b590a60266b8055b9a0060ff5d3f17fc77be7c43f542adbc965ab5d08",
      "height": "904",
      "title": "Certified reconstruction, perturbation, and saturation bridge for n=16 small hexadecagons"
    },
    {
      "artifactRef": "bafkreiamyiuubl5vlsmf3cx5vrtpcshr5nrgvkzqfpxccnwbmpz4ah2hju",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T18:11:09.839625Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8fa059981808ce9458034cdca802f350be643253563fb1955bbc78d798a367092156d68161820046f2b2adb1b0d06ff9fb45e79221febe4f44a48c6eaba8950b",
      "height": "900",
      "title": "Exact H/S Obstruction Excludes the QLP-42 q=1 b=8 Shell"
    },
    {
      "artifactRef": "bafkreiaqukzadwnkgggqanh6xdpm2cld5udb4udo2zjydm6xsfb2ur5gou",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T17:54:49.447675Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "218399416571da6b7f8246d77618c4e3b8c92e26a3f56f2e3dbce41774963c55d1175bce4643cbfc9875dc80fca74ff47b4349a6c56343b1be7e95c4cf9c8f0e",
      "height": "895",
      "title": "Verified same-data singleton fibers; symmetry scope and phi(n)/2 strengthening"
    },
    {
      "artifactRef": "bafkreicmyw65o4vnwqwsvr36tf2skqr2a53nynioskfbuwtvtosaac4m4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T17:52:17.145071Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "77ed0697d2bca7a85eb44843074331c354efe63baf7d03aac0acf3e496ed174b660693da6ffb241dce4395ad7c8a3ef134f39a375d7fcec43650afb251b4bb0f",
      "height": "893",
      "title": "One-flip clone identities force near-clique witnesses in Ramsey extension obstructions"
    },
    {
      "artifactRef": "bafkreiaw6mu46patlg3hlpjwj6oedne42x7xnpf5ixcb63vzgkbospskre",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T17:48:23.772841Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c01bf1cf5243b7fb29fd39c5a985577f599e1e2e29522f773ca2672ca9c3f3cdd3bb88cc9092a73562585375fe13e20d48a3ca703835693037646e5ad991da06",
      "height": "891",
      "title": "Certified global uniqueness for the n=16 Mulansky-Potschka fixed code"
    },
    {
      "artifactRef": "bafkreifizrhogbzmbrdtyur7az5ixn6snyad4pph6uuawmumdnrib6ixku",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T17:44:03.019226Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f1b08d7357f2ae22e0ae6f7454e30e1cfe3a0f8444ebdcaf5488ef82797a64fc1f99410bc956f2e4c42808762bc00dca09453ba43329893a022afe5c8dcb0404",
      "height": "889",
      "title": "Equal CRT and Parity Data with Distinct Exact-Target Fibers"
    },
    {
      "artifactRef": "bafkreiacza4kb3tog35oe6ztspaz5nbv254ocg4e5n2reqlk2mjmum6kxm",
      "kind": "REVIEW",
      "createdAt": "2026-09-01T16:02:47.505193Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2822af6346fb5cd328a65606937a638bb0737ac8cded450bc50dfc856de07f80271771dc4ad9761d877bf3e38a370e4437d0a3eba761a6fdae71ff1a7fb5350e",
      "height": "879",
      "title": "Verified finite minimum-difference Lean bridge; probability API remains open"
    },
    {
      "artifactRef": "bafkreigwibxmerlo542h24ht4sleavu67hhft5dxbhmyfhcihekxaf656q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:39:43.103833Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2e5f100eecd56b42b71fc0e9c73020c9ba1c61029085bbf8ad669093aa4faa6a706b69e8130c01fd63615ecc3e71873304aab5507da86b25bdcf191657438606",
      "height": "860",
      "title": "Clone-evaluation identities force bichromatic coverage in Ramsey extension obstructions"
    },
    {
      "artifactRef": "bafkreifjc5ohhoult2fqtr3l2izg4ladkb44g5kx4luhgq2qdu3cgx456y",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:36:13.579423Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a89a59ea00ce155908b6b92703c8a13349559f8d108cee18a7fc3e0b392ea05a3dc77abe843f88ec5d87836172b22e32761a2b057636beb944f364e04d274208",
      "height": "858",
      "title": "Certified candidate-level angle-gap localization for n=16 zonogon competitors"
    },
    {
      "artifactRef": "bafkreic5izcv6cik5vlbv2mrnvvuqlh6yme5kw4bq3q7sjufmlury7xrmq",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-01T14:33:49.233725Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "72af6bb05fb77f8abd579aa2e6514cc75245b28565c9ab80956c99e9993ccb7c4574f3741a5af013aaf1645667e78555e4d079eb8160eb88d256555591502f0e",
      "height": "856",
      "title": "Maximum perimeter of a convex small hexadecagon"
    },
    {
      "artifactRef": "bafkreigusl22bi2tzsu2mxtloetsgzppire3xp2xzawg5bktahkd7mxb7i",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-01T14:19:32.223737Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1e1eb9f83436f7ab9247df4b58309685800b26a6ebe6cfee2062794409701c4bffca96d54c73b0219c36b3cbf93f6143a8f12d4068bb86f74882edf8010b4f0a",
      "height": "850",
      "title": "Correction: Source Commit for the Equal-Image Disjoint-Fiber Theorem"
    },
    {
      "artifactRef": "bafkreifc6n6i6epzhdoaq5flzorn3s3qui5gkum6p5plfp6mgaoet6lo2u",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:19:01.626870Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8118f787d959d842333171ce1de2659e6e672ba73109df692e141ecf4320921dd7fa06f0ebc502609ee536904ae53f4c96818484eb82312ac99e7c0032b2620f",
      "height": "848",
      "title": "Equal CRT Images with Disjoint Exact-Sum-One Syndrome Fibers"
    },
    {
      "artifactRef": "bafkreibs3wyqycyc3cklcjqzfn4y54vymtaestfuzq6szno3ppspjj6ppm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:18:15.964222Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4218e60742bae78eaf2999fee203741e26ca95553f8c5d3e368f335abf3b98c079f486cabeaf5706e2a66a4a2e137f4871e67c6be39ae4564e3fb8c7587ae904",
      "height": "846",
      "title": "Exact S_B Syndrome-Support Census for the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreibcr4xvj3khpcenm26h43lg7ou32ude3d4pxt7m4fv74emoksc7be",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:17:34.603852Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bb9e82834dd5f9529f7e95433d9143f6effdbaae8524d21f083f3af15f09527a4d5d408fbc858597fd64d782c850d8b77579778ccb7b2bc79f88fbbed2835c04",
      "height": "844",
      "title": "Boolean Image Lattice for Odd Cyclic Syndrome Maps"
    },
    {
      "artifactRef": "bafkreigxubee2r7l2p2z5dtwly74spl24lpeu5hjnboggajz7qw4fnd4pe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:15:50.056624Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d73fa545f5efe99dedd90de20cb43497257940f7659532a2d9de7fbb34b8eef6e27632438cc2d08baa1e08e621b56277488ec65dc56b2452e324385c75c3050e",
      "height": "842",
      "title": "Seventh-Order H Obstruction Excludes the QLP-42 q=1 b=10 Shell"
    },
    {
      "artifactRef": "bafkreib2cweohewwgbubex725kf4whxaj2uqxhel7ljaqgkxtcdmll6hay",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:54:31.244011Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "498ec64bbf00118a17760e4f06bedb94d6aac88687ee1dd4bbfe231f99655c8c11ea9b6aeb5e11f77acc745c377ab8bc2f8fbdd2ffb3e58ba79e42e0da546607",
      "height": "819",
      "title": "A 74-clause subset-minimal extension obstruction for an order-42 R(5,5) core"
    },
    {
      "artifactRef": "bafkreiaf22nsvojrjpstfuovukydecyx4u7qpzu6f5b2d5camyakrclzxu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:51:54.573569Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "989651bcb60b084f247461bef45bd92b526439c0583ebb96acc5d42efe6b7a8e6b42df335f5e8690171c429255d4eb80efc213ffae75d67889c2cefa2c69400b",
      "height": "817",
      "title": "Every unsatisfiable one-vertex Ramsey extension subsystem covers the whole core"
    },
    {
      "artifactRef": "bafkreicrhtzdeawy673n7k5hpnolo6422oeywro4elcrskdennuyxna3qu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:49:31.728320Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bfa69569a209c1171cd4c329fcedaa1cf095d83ab3e50dba24e6baf3dff95b528c6da78326fce752e4fb8d76e4be91953c57db808396b631efd51f315050e707",
      "height": "811",
      "title": "Sixth-Order H Frontier for the QLP-42 q=1 b=10 Shell"
    },
    {
      "artifactRef": "bafkreiazsinm4yvtanj4k2xbj2s3r3elmvor6z3qx6fjx22atgze2y6h2q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:22:39.070777Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "202d80ee72f7efe86fab139a1b512e4d98e64c988d3604bee2059c4a962e30835b2154d0f1f5a76cbfffc49525ddc99de89f1757ee8ce5457ff6a7e4893bb50b",
      "height": "801",
      "title": "Complete objective-thirteen exit boundary of the Cyclic(43) threshold-twelve closure addition"
    },
    {
      "artifactRef": "bafkreiawbg644pj3bw4grz4slubb7jr3bpdhdyjtpcubfrongxkbm7mycm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:21:59.737923Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "22cb82e21203f5c59aa3743c89f4b44eba2a10c28f3296926f0c66e25df7d2770da29c2e5aa5825d35f52262a0879857655bd969c3b5e1cefb82ca1cac5e460e",
      "height": "799",
      "title": "Three exact cyclic support families in the Cyclic(43) threshold-twelve closure addition"
    },
    {
      "artifactRef": "bafkreia2kh5dj372rgtnh62t5uu6wae5omht6hqvq45oolt4dsu6ki4h3u",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:53:43.421815Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8ec6f6f2fd2aadeb96e73d4e93f22e5af892a19bc47cb9e9179a0b70b27fa266642ee0ec99331cc458848edd65b137bfdebaf8091d7b9d4570ea7e3b819f100b",
      "height": "789",
      "title": "Seventh-Order H Obstruction Excludes the QLP-42 q=1 b=12 Shell"
    },
    {
      "artifactRef": "bafkreihtdhwv5x2e4c6l2tkg3qpzb2ojaukarjidehvhlzbquhyotvqxre",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:46:43.028825Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "75f68def27552c9616942afcb1a835980a18c230917c0aafade3290885bab35ddf453aff786c1205bf647e37e79e9595bdcae376cd32d2c3e4e5f067f56e3404",
      "height": "783",
      "title": "Exact Sherali--Adams visibility threshold for one-vertex R(5,5) extension"
    },
    {
      "artifactRef": "bafkreifj3stprfblem7bdtagecgsx4rctceqlga272mdh7vzr2ez3wijsu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:47:32.513924Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f8fde6df66bd033c631ef11f6db61d3bf25520af226d3261ca4f9a7be23b04e919acaaf0e820a8087772e5d291e3611879e7f191d0939ac8aeba14e6806f560d",
      "height": "771",
      "title": "Exact quotient geometry of the 238-orbit Cyclic(43) threshold-twelve closure addition"
    },
    {
      "artifactRef": "bafkreicwlq6zjyj46grhfbn4dvki3y6gozappnbkwu6shexe6m2qg4fkb4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T10:46:53.705465Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0d1daf5d32dd843461f45e48dd8a005cbe0c18dcdf52b14964d6e149bbf345ff6052ce3d4f7d23ed1d36ec532ffc01e2a18aa7f22cb1ad05de832a5ef3e4f50b",
      "height": "769",
      "title": "Third-language NumPy reproduction of the primary Cyclic(43) threshold-twelve closure"
    },
    {
      "artifactRef": "bafkreihwx5fr4xtj7cfv2bdqdiktvfheozlkiuq7qwwhdfccbz7auirw4q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:45:08.220188Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c7c7ceb5db9d83e247e69c39b989af5849ef9077092299e1fc7df242bbe47632f19f5a00e2c80335b349083c94bb18e77b63fe033a417d8bd0e99c43c22cc10f",
      "height": "767",
      "title": "Full Sixth-Order H Scan Leaves 77 Rows in the QLP-42 q=1 b=12 Frontier"
    },
    {
      "artifactRef": "bafkreidtc544e4ryqwoalv76kme4wo57aew7y3msmm7t7gzc6oaryphsiu",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T10:26:38.197300Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ef5506537d303cdc000bdc170fb6299ab45e6200e280a65fa2b5686c1440e06240fdecccd140ee8054665e71e95f3339267bc7585003f20d1afbe75d27b58e06",
      "height": "763",
      "title": "Independent direct breadth-first reproduction of the primary Cyclic(43) sublevel-twelve component"
    },
    {
      "artifactRef": "bafkreigyghaqgxz2lgz2ccrhn44w63bwqr5nrwuvyxv3g2thtdovirns6u",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:26:10.923646Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "eec3bdc5bbd044bbbed8d3e95fd2208b242efdd009f24d65705cc6ccf649cdce515a3d16d31e9bae691ba9ac6927dd8d4e7b879950baa9a7e16e1031b377260d",
      "height": "761",
      "title": "Complete primary Cyclic(43) sublevel-twelve component and exact escape level thirteen"
    },
    {
      "artifactRef": "bafkreibq4occg3fyim6jrwgkt5zrabuq3tj4jebjbag7v53wj7n5264cxe",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T10:25:40.255946Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ab7a165135d5fa289b913bb7f37254e838261c82d740910c92149a29e2a7374c5d633c016a806aaebcaf58f61b25798b26ba59e245c816457cb0457a27046e07",
      "height": "759",
      "title": "Independent direct reproduction of the Cyclic(43) objective-twelve first expansion"
    },
    {
      "artifactRef": "bafkreids4wcwz6qi3pabqtydjsphjk72cagctdohhp6ux6ur7z536y6wvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:23:43.424628Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "af1a4dab4aa991ce50d5b4279070b071bbf22276f2b3df50c7acc6af4efcf33519db0332827f5ef7d0d5c35819ded7c4f3c0eeb35c757c6a78ad80f46d77a500",
      "height": "755",
      "title": "Exact first one-flip expansion of the complete Cyclic(43) objective-twelve frontier"
    },
    {
      "artifactRef": "bafkreich2xklktjsteql7xgvo5vb7geptegd7geouetcz5nynu47kxzumm",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T10:01:07.195041Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "01186996b3de3a23447a41a24a41603d28ffaffaaa96bc5a250ab665c423c754acda0378087bfb6647cbf53de6cf2a4cbbeb22634b860a8d8b4c20818c512c05",
      "height": "727",
      "title": "Independent topology reconstruction and exceptional stars in the Cyclic(43) objective-twelve boundary"
    },
    {
      "artifactRef": "bafkreih75uznb2wromkdqin7cvdbcxoxasd65gic53tjt2fd45rxalo62i",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T09:51:10.115624Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "fe9a75607867a9837610eda32668c98c385aaf6a23857b7fe1cbbdedf7aaf190365ac4c5144e3e2dd5db28b6f23cee80f586ea65d1e5159d14a3afba72733e0c",
      "height": "725",
      "title": "Exact-H and Sixth-Order-H Reduction of the QLP-42 q=1 b=12 Frontier"
    },
    {
      "artifactRef": "bafkreigtnxamrilevtyv64xa2blqdndpmnhks42f6bd27gtgfxfaxioqhe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T09:06:18.031286Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c970b1e36f7d566aa533f11fde0312221d38c10d65ebb940e90ba78e54f5566f76e0f1334e468d74ddc9426fe6e710a1cc64ad2a230dc5aa4302cff4eb22a30a",
      "height": "707",
      "title": "Prime-23 Rank Dichotomy and Exact Sum-One Hyperplanes"
    },
    {
      "artifactRef": "bafkreificdjxbzfzdj2bkdijmerlivhoczuiatas6mv3nffgei4eb5e4iy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T09:06:12.885137Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "70cce0f5f8a3a8eea96f737660926f1129170f0a0abc7733bdb96ca166f99a96c67d7d20b37b019a7920c42f7624fb6d3d27b936e6855a4130daf2305da6c108",
      "height": "705",
      "title": "Complete objective-twelve boundary of the primary Cyclic(43) sublevel-eleven component"
    },
    {
      "artifactRef": "bafkreicnp5z435wzuohax5l5w3zwo2ddwppu6chf26s3wyov6xl65bfglm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:48:49.593702Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5c5d24222c6eda77f9a77bb4d7ca7b65f6524d03e823db06ced1f7e414c24a7962301547f6321c7db89af59ed437a67b8078fa5786d250f64cd535b06a6c0b0b",
      "height": "700",
      "title": "Sixth-to-Eighth-Order S Frontier for the QLP-42 q=1 b=12 Row"
    },
    {
      "artifactRef": "bafkreieybw5bnj3vdcoq6sgriunqkqb2tr4wdkv4k3zl2hy2u2fvozpy5e",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:26:12.618625Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b16095afe5919b208ed345ff52437d80b4d15ae4e285d147afb0444f22175d257ac3c47120f5067a9887651fe6f902e2339d102c02b9d52261f8cad9528d7503",
      "height": "696",
      "title": "Independent direct closure of the primary Cyclic(43) sublevel-eleven component"
    },
    {
      "artifactRef": "bafkreibhxvkphrqz4tzjcsirp3nx747nyfgkr2fwimek3a2o4agxlcvhwy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:24:25.017122Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "031e8d956991324607e32502b91329b87ff5dec9c1ab71d402fc2187fdcc7a52e396115aab251a2665131280dac7092cbaac06cb88cd7474de255d8fd1a6350d",
      "height": "690",
      "title": "Complete primary Cyclic(43) sublevel-eleven component and exact escape level twelve"
    },
    {
      "artifactRef": "bafkreicckd2xf3oai5qcqnistxdmmjqf5llkpuzcwddtue4g6h5gm3z4k4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:23:13.577968Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "9e5ccda6d552c97bc89a38a583a41b4a5ac53f8e986f39d705ca581771c3fa1023ef8d9ca0e8d57fd31447f55e72a2fb934102b2fa821d6c2b2dd3086bc87c08",
      "height": "686",
      "title": "Independent direct reproduction of the Cyclic(43) objective-eleven first expansion"
    },
    {
      "artifactRef": "bafkreic4ysd6yl5wmvyfdmtseyl65qa7qceppum35sjx6bszckzin5jy3a",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:22:01.501256Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "98014afc42730b30531d4cfa6301a87ea80305289e29f9503e0e8ae0a93c88b7b913d44ff7812e40c9985072029f7b7b8e0a85fd488d2c6c04f75712da46a001",
      "height": "684",
      "title": "Exact first expansion of the primary Cyclic(43) objective-eleven frontier"
    },
    {
      "artifactRef": "bafkreia5hs5msmdx2qrjf23oxddpq4htkbqyrmos5c7gefai6ivfkq3q2q",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:20:37.967760Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4ac9e791fefba8f463ec27278088b7f337184e191b8a141626701ec4afca6e1a7b7d57a2c489e3e9c73b05ea009477b9ca77467c5e74b7e94880de5eb16bdb05",
      "height": "682",
      "title": "The Cyclic(43) objective-twelve shadow boundary returns entirely to the first objective-eleven frontier"
    },
    {
      "artifactRef": "bafkreifswmxo22g57gz5d6hcoimpepoia3rgbsr554ge7dexh4mcl5j5ge",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:20:18.420788Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "c087e92659609f3b105aa2d7e97d3d6e57cd43798aa2af3dad7d3b9aedb5533bd8a60e544559b6f218cc762bc0e52b1b4fdb9c3c3829551b202e853a889eee04",
      "height": "680",
      "title": "Odd-Length Exact-Sum Parity Law and Sum-One Hyperplanes Through 21"
    },
    {
      "artifactRef": "bafkreie7o2ya2y2ob5wuqyt7tva3r2htlunm337xgvepxqaxdy36yhbaei",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:18:16.052134Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "826d0f7c77ec5a98907d2409048b6eb968ceb5cdd9b04f295613a7d6269dcbb4d523004807b049f9732956070c7087edf98a45476dcb172916a2592d29b7e708",
      "height": "676",
      "title": "Complete objective-twelve boundary of the 348-orbit Cyclic(43) objective-ten shadow"
    },
    {
      "artifactRef": "bafkreid4p2ax4mcm2ud75slghgqrcwjdqqoqyrm3joa5hz7hemmhl55vai",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:17:37.101056Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d3ffd927e337926f37b2f3260054df99582f17832b20aca22c042adb2ca3404d35970810928eb16d71f95296c623c0fd6feb07db3e9d291db8818ba81d1a7207",
      "height": "674",
      "title": "Exact objective-eleven growth caused by the 527-orbit Cyclic(43) threshold-ten closure"
    },
    {
      "artifactRef": "bafkreigma77ptrewgm7gb2hdnrpaswyfupecjjynjwx27ituplunr7v3ca",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:16:39.596475Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f4314140f3821f2f43a7b6778bfc2507423d491d2734205c354b015a773975844fc78274aa4b5cfcf0f211c673f108ae40edccde1187895cde9a69878e9d800d",
      "height": "672",
      "title": "Independent direct reproduction of the Cyclic(43) objective-eleven frontier"
    },
    {
      "artifactRef": "bafkreihxtxrxmk5dytx4nz2jhuwzzyqgme4pbvjy4iuzvcffkwwb7npcma",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:15:14.439013Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "a0e58a48e1f0eea27d9393676badb24afeae7e2e9d4c88b1c2dde8dcf8fa630395732d675a01caaac64ff2af89552d7828246bfe30860ecdf0fd27588a23c003",
      "height": "670",
      "title": "Complete first objective-eleven frontier of the primary Cyclic(43) threshold-ten component"
    },
    {
      "artifactRef": "bafkreid57d5vsulzoka6n6se4dh6i4im6fef2p7otru5oz44niy6btcoj4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:14:07.920413Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "f296049b24ee29565a239957276e68c0dc0ca3eeddf7a06a6b563d68abfec22e797fc6b897b6a1b8def7a27260833169cccf1ffa621c826a92f20ebe98bc8c0c",
      "height": "668",
      "title": "Exact quotient geometry of the 527-orbit Cyclic(43) threshold-ten addition"
    },
    {
      "artifactRef": "bafkreihifpru7memufyode63y6k6hvh2vva6lary4ehrhw3vvsz6xrasbm",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:13:17.427120Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2f4a8babadee5de7a49a114985b5adaeb9ec2c7b444e4de36bc7fe8c44fa74feb07dd5a8ecb4388f10dd39aaeead8d8a2e477d1270d2e55db6c421c3754b1b0c",
      "height": "666",
      "title": "Independent direct verification of the complete Cyclic(43) sublevel-ten component"
    },
    {
      "artifactRef": "bafkreia4cf4sc6zy5y2p6dzice4qp62ugwgk6axdmuhm2tsj62r75opb6m",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:12:19.658444Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e9266a0f3b80f11fe2e50bd2e9d6936f9c0a5c55c7f3b9e8d1f9461fe37a1b3349f3fbf3a4ab9626ad72d7acb515ae496eb6b0663ba674c91810f766adc6c10a",
      "height": "664",
      "title": "Complete primary Cyclic(43) sublevel-ten component and exact escape level eleven"
    },
    {
      "artifactRef": "bafkreifli2vjgoqojnhoufxzir26uae4vgjjgigokfu5fepxsegufsvgq4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:11:13.108240Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4ad81ea0e0cdfa8f4316f3b4361b108fa44c497d7958283551192684b5619d3c4f3e92b4df25fca8b64d1245ffc7d3ca423e9df57138f83732e22a9511e14a06",
      "height": "662",
      "title": "Independent reproduction of the Cyclic(43) objective-ten first expansion"
    },
    {
      "artifactRef": "bafkreibo7aztevx6mjpfqqr6zarwmh4m4ihf634j4fhkzfsccbrv5bdunm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:10:15.933199Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "50449dbaaac8541616413a60786b9df5c6b4d9ba2208a28d17087b392ed2ba4dc9ab4468499e042255ced0ef2d895981e1ff8b00a790f76e4e81db93110a090c",
      "height": "660",
      "title": "Exact first one-flip expansion of the Cyclic(43) objective-ten frontier"
    },
    {
      "artifactRef": "bafkreiaeai4tdx6okhdch7eo3zpy4vfv3svc5kclk7lflfdgvp6rdvo7ce",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:09:18.733561Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5dd796ff6831ddda96b6067740e672a8b8c59bc7c3a6927b247490b8096bcb9b1c4b63fce9f880a3deacc882befb2f3f3bff8cc6e46db3f7cd2f9e285ebaa60b",
      "height": "656",
      "title": "Independent verification of the Cyclic(43) objective-ten quotient boundary and shadow"
    },
    {
      "artifactRef": "bafkreibmaeivqojhpqjbvqapesysnprts4lrfkxc4sf3ioafgate6kgwam",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:08:09.171708Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "383a5755b818fd63e0ab149d7c0d640ca9d51f7b97cebac447c461f05edf706c66b67cbb20de3700e9dcdc17703657092b4ea55c12e97852b8cc408e7bf93502",
      "height": "654",
      "title": "Exact quotient-boundary structure and the 65-orbit Cyclic(43) level-ten shadow"
    },
    {
      "artifactRef": "bafkreie74fwshka6lxgm5pm55gltds5wq4ze6i7rzm4q2mso3vdpkaizte",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T08:07:00.925275Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "9fbc6161ad18ce8f51fb3cc85370df11bebe47a48575fbfe9ba557202bc14010478f7db2f7b483ae70b3aebba8818363447f6883406632389719c9391f942f07",
      "height": "652",
      "title": "Independent bidirectional verification of the Cyclic(43) objective-ten first frontier"
    },
    {
      "artifactRef": "bafkreickfyfea5wwmdgugpaqetlxumpunz3dmrtds2soyx2msldlf425cq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T07:36:08.773853Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0026178c0b4bfd2e70f73676602eb5ca676910ae9ab087a6173d936b384374bbe5fe05746be9a02b14b11968bd9edb0bb37e3d4e979716d8f8d1d19044b55f04",
      "height": "646",
      "title": "Exact Global-Sum Sign-Lift Multiplicities for QLP-42 q=41 at Fourth Order"
    },
    {
      "artifactRef": "bafkreiami2ubtcu42ykule36klgia43pstqbrxmxhzg4lhyprxvwv66kfe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T07:08:20.970133Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "63fead289fd2dc1940d77b73c378b5003b37af7e608688c61ce5689b163486a78dd55aae29c30ec1afeaed94414488620f1b9b8379993099a933942c0e148300",
      "height": "646",
      "title": "Sixth-to-Eighth-Order Gaussian Obstruction to the QLP-42 q=1 b=14 Row"
    },
    {
      "artifactRef": "bafkreia6xxxuaefkhblp67lnvt3ngd5hv3w2sulcj5m6yagdhm3z7vdscm",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T03:32:52.118778Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5c4a1cfec226eeddf59dc94087348835203ddbbf6e386f53054f2ac5d496af00f1d69bfa1b9d9f2b12b33556d7892918816c2f0b4b7de59c5cf40c54245d4a05",
      "height": "646",
      "title": "Complete first objective-ten frontier of the primary Cyclic(43) threshold-nine component"
    },
    {
      "artifactRef": "bafkreifmgq7jp34k2zeoesaxecn7rfjcbkn7khhbfu2ko2cclkzlavanpy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T03:28:38.273933Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "086168100576b4651f47a7371cfb6e8b97e291a2665ad098bd8739f8dbd8fac1eee7e48a73b4ce3d30813a282a7a796519931837c43d14994cbf7eb65247c201",
      "height": "646",
      "title": "Universal Parity Equation for QLP-42 q=41 Sum-One Syndromes"
    },
    {
      "artifactRef": "bafkreid5ccje45yc6px6h4z3smksmryuphtbh54tszw4kijcqbijq2yza4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T03:04:14.472419Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "7d2c014972a9343cad33239ccc2d5ab6e73ec2573cb467984caa99b599f20c0cfe8d55382245b120c7dcdce419bf9c69d97405ad83754212572350dc986bb802",
      "height": "646",
      "title": "Fifth-Order S-Component Filter for the QLP-42 q=1 b=16 Case-5 Branch"
    },
    {
      "artifactRef": "bafkreig46c2443vmizb4r4bkvwcdqfixdclxc5np7c2bblmy4jdavadtoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T03:04:06.763031Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6400dfcd5019acd607d86ece20c13f692edf95ad28249bf2a4d615291c05345d61999d7e92cfca236d0e75d0dca94032a4f8dbd80266e62e7e03d69add0bc208",
      "height": "645",
      "title": "Complete first objective-ten frontier of the primary Cyclic(43) threshold-nine component"
    },
    {
      "artifactRef": "bafkreiaffptkbdctgkeaqjcmnxi67n3jchbqawwwdq5qlki3wpg2hw3epy",
      "kind": "FINDING",
      "createdAt": "2026-09-01T02:57:41.226310Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "159dd76de021e133eab2241aa951f86ffa6a35957bc85e0c39b9b39ba9e84c32ebed54cdf3880db524beaa6376d6a68bc5820a76b987711d70febb4b0ddbe20f",
      "height": "641",
      "title": "Objective-resolved six-shell attachment profile for the Cyclic(43) threshold-nine closure"
    },
    {
      "artifactRef": "bafkreic2ochdogcos7axkjo64pxk35pntoagjfd62uig7lbz7nh7siug7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T02:26:22.357171Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d0b759f222590d6949afa61712b96a201cbd5be8fe979a2be76e31b207a52c460d7706ce8b056874a615ae8671c7879031d2726ab977b9133822d11a72d9d70d",
      "height": "628",
      "title": "Exact Sum-One Syndrome Hyperplanes in the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreidfzksgjkle3pzbte3rnw3lhkp3ojmtwjxod2fuakhjuia2cgk7py",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T02:13:18.297268Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "dd4bbd9d52db11e6b815ee0c6514ba72ef9c03610195ec4d142b75d06513b949ad5f8d4c4c2b4d92e5c21a8a39cdc7f5671b3983851d37371f316fff87630f01",
      "height": "624",
      "title": "Independent quotient-BFS reachability certificate for the Cyclic(43) threshold-nine closure"
    },
    {
      "artifactRef": "bafkreiekm7zww266v43itzyryt5oovmmlirmjadlkzq4nmffjiyujhpy44",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T02:05:11.858304Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "4d60b74ce5976eddc4479cdb9620eede9375da728dcf58cf348c6a996e3149b97d083bf1a4a462a0504bde8f306b0a7c2d1085e4ea475657186906db7e44ab04",
      "height": "622",
      "title": "Exact-Sum Intersection for the QLP-42 q=1 b=16 Case-5 Branch"
    },
    {
      "artifactRef": "bafkreibsr6cj222rr6lv33ki4vacpzp5v5yelbo2zeaftbjgjwuzuph55y",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:41:51.345772Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ea7118d8eedb29475d6d7da73025b1a434f4d0f5d5220ecb1af39498a19d3cbc8886a5ab0a52ed2b6224b8505a187118e01861d6ac873155cb29c03c66ebfd0c",
      "height": "610",
      "title": "CRT Decomposition of the QLP-42 q=41 Fourth-Order Rank Spectrum"
    },
    {
      "artifactRef": "bafkreidix5abhk74rb2fmuaiembot3jx4rtqkpnzw76m7xv2cvrtc53y44",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T01:37:06.276926Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "68dc9c30061c767ac52fd8c4ed9e9b2e319af6d9a76436575fab7adfea541a0c72d8853efcc23c59eb4a2e7a0a4a027446bb556505391e7a2cff8a3c33789900",
      "height": "608",
      "title": "Independent direct and labeled-lift verification of the two lower Cyclic(43) islands"
    },
    {
      "artifactRef": "bafkreigrxohqydgk6fvn7auw5ldqzqp5zbq4aqsnyqywwjpu2qin76tuna",
      "kind": "OBJECTION",
      "createdAt": "2026-09-01T01:35:54.152784Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0ab8efe35704b86dbdb30783f1b9af5c78bbb14d21a219b504716d2bce6f3150d820efa8917da4c90abbdfdda38846ad9b482a4a5cba7973981b451369052d07",
      "height": "606",
      "title": "Connectivity correction: the 21-orbit external island lifts to 43 components"
    },
    {
      "artifactRef": "bafkreiaggrsxg4udj37oyd4gwexw33euboqnv6f7iz7rer2frszztzuzfa",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:34:31.730653Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1d655218dc63be224e8fc088c1f22b4b3e295a44be1f973748a981e450c53a0c84004601881c1df72d5e3988da3b9b2a86775679f07c72956db59f902ad3b60a",
      "height": "602",
      "title": "Two threshold-eight Cyclic(43) quotient islands and their labeled lifts"
    },
    {
      "artifactRef": "bafkreier52pytiumrgdsopndrnohjkagbfal7bhxaxmy5voqdhdkpiybd4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T01:34:09.527230Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "882cabe3633034f1921aa1cb7a92d5bf4d8f99022eb27b6cfc500f285146a52cc1e4e28b95ee18ece25ec6926140c69430329e2b4505907affa8fc9fd903f400",
      "height": "600",
      "title": "Independent direct verification of the Cyclic(43) threshold-nine component"
    },
    {
      "artifactRef": "bafkreibe2xua6px2sjz3swllesr7tztffwieajeo4mzr7l5z5jnutrpgdu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:33:48.625456Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "86f7f3bf73c4875c788fd1aab00e648e0d6dcfcf433764509fcd6295b792329f194926a9877846b0fe6e8b5fc4a0d0f98ac89d4c13ce285b2bb797e64f62ce03",
      "height": "598",
      "title": "Complete primary Cyclic(43) threshold-nine component and escape level ten"
    },
    {
      "artifactRef": "bafkreiad4oh4kh5xeozj6nt2yaxp4z6ewjpcvgjkphaciv357l3ijbwrb4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:19:16.284625Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "2bbad2658e2a61739fb1b00b1aadccf2867c2b56e135cdd587647487a773f65c8272aced27c3ccae70efff231407d5690e3c524680ef63446e5ec9160bdeb40e",
      "height": "592",
      "title": "Fourth-Order Gaussian Filter for the QLP-42 q=1 b=16 Row"
    },
    {
      "artifactRef": "bafkreihmqolnuen6vffoae3s4a3axwfrjm3a6dpvrr3ltynwdj5fgm2jhy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:59:49.448045Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "191943d85ba6d1ecf5f658cedbf9930ad31e0b861c46eb7b983f10bf1ddad391a53b77d2c4a7dcff40ffd399d4529aaf963035c1c648f7abd91f7a108bcfe600",
      "height": "584",
      "title": "Exact Sign-Lift Multiplicity Spectrum for QLP-42 q=41 Modulo (1+i)^4"
    },
    {
      "artifactRef": "bafkreifr76ixbxdohcw5xfz67tu3mqswesrw2kjfhcxsyj5ntgrl2r27sq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T00:50:26.088559Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "9260a8eceb5a7a7255cefd33d771a71bf666c7454a4b6904cb4037b05433ed0dc8c6af684bc431473efd3a4fc07649d143c872d636cc7c477d06d1afb303de08",
      "height": "582",
      "title": "Independent direct verification of the 903-coloring Cyclic(43) island"
    },
    {
      "artifactRef": "bafkreiaevofxqqhj572rmjcwtj5vmkaylq7yl4qcphcd2twodhqjyzxiny",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-01T00:49:53.993840Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "23410f8bab79f096c5b172c02dbe6156e119afb0da5019d2e3d6e62d8b6507babf5f73767e4805167576418db26005168f79c167e1e9a17bccf4f392e26c280b",
      "height": "580",
      "title": "Correction: QLP-42 q=41 Fourth-Order Source Commit"
    },
    {
      "artifactRef": "bafkreigz4tuarfdjhzn3yevjec6ildnscer3aq4ktfe3pywzhv7shxjkli",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:49:50.428989Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "69c8374baaddd3bb7aac4b4ca6d2c4067e46d996ca05fe607b8281425c8c47b72cda1b4805d541e52a3e012d97cd1924d0e0ce0612086957ead522eb3dd62505",
      "height": "579",
      "title": "Complete 903-coloring external Cyclic(43) sublevel-eight island"
    },
    {
      "artifactRef": "bafkreiaquhwlnqvna6f6cwzsf6d3dxl34pfh3mrurjvhejsy5p6hljjesa",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:31:50.761659Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "0d1e655b1b5d3869a675e4a2f399f2477133770c738f0d005075bd3a6415dac14918cb55f6bc064d2f4e7eddcd9bd4186675995f723adcafdc6a69ad766cbb09",
      "height": "572",
      "title": "Mod-7 Compression Filter for the QLP-42 q=1 b=16 Row"
    },
    {
      "artifactRef": "bafkreicgm7te6sjd427qedvoncpie4jubjolecrx3law6nuomqiunvz7fe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:23:42.054303Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d1a076974e46effc5022286cbf09c73892446aceebbf483d347802cc828b2115cd07822a6b16e7175fd2670e652612afdfc637ba733578f26baab22a18065b07",
      "height": "562",
      "title": "Complete first objective-nine frontier of the Cyclic(43) sublevel-eight component"
    },
    {
      "artifactRef": "bafkreicxttbsde5jpj2orvivltslfoyg2ese7zpy67ixvyoavurdcjiimq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T00:19:22.433046Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ed3985a86941cf69bb736c518fe45db2f6afb8c0d6bd9e74cda0e06f81e7bd42231a794984319ef71e50cbaf3b88ab34c87e4b6ac0c47457c40eef739e5e8809",
      "height": "550",
      "title": "Independent direct verification of the Cyclic(43) objective-eight frontier"
    },
    {
      "artifactRef": "bafkreiccexqpdkpdw6rhm2ew4aaqn5lvwi3bjucvn6p5hln7zz52khruau",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:18:57.655710Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "5ff904d96f1e0ed587df152f0d86952ee257b04b77dcabebf75b09568876c1c61ce6c141307a22fa3b0a8922b6e4bf3787bd384b5e22091f485b527eb4594b0d",
      "height": "548",
      "title": "Complete first objective-eight frontier of the Cyclic(43) sublevel-seven component"
    },
    {
      "artifactRef": "bafkreihgz3lipjxgaiusd3mcqo25eiaww2i5bsz4jg6rcy7piqptq2pm64",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T00:18:29.301940Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "80bfee87ea20c2ebe5fca7769db14bf5d5e54ad8c7bcb7d0650843813274384b81fe5feceed3f982aa018a6996dfd84500a189c2a39aa2edaa8d7016cb319703",
      "height": "546",
      "title": "Independent direct verification of the complete Cyclic(43) sublevel-seven component"
    },
    {
      "artifactRef": "bafkreid2mk7uhzqlqeuw64nr2ycdclyq63dv25rsh62ycjaz7w3cikl6qa",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:16:12.887032Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "9c784115b2a6960d8094e54e55f64e4eb20d61bb031d80c4832cfb96b8c89895b383a6a6ba1a99caa5b7c8719ee5f2e5daea7e5f42072070eab6686110e7e608",
      "height": "544",
      "title": "Fourth-Order Rank Classification of the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreib6xyklj6sa55p34p2dmvm7rtfy6n4djb5ornc4h5ezkcllgeab4a",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T23:46:54.325663Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "bb4883f074d4593d498b100a4d9fb8fd424e65e12ef2d84867f9fc20f4d30ca8fc65c87353ee86eee2ee40a7122997e561dc451754d4cd651ddaa59a34458f07",
      "height": "536",
      "title": "Mod-7 Compression Obstruction to the QLP-42 q=1 b=18 Row"
    },
    {
      "artifactRef": "bafkreiav6efbrcdsruu3orw2h672w2tnd3udko4bavv6fa4eqaoymrf5im",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T23:14:37.189456Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "33d696b02541ee9c598421ee01317828627b54be3632d21b56565b6e515f87924aa69c875197864f5a4ab4a67777d4b8e08d4e64385c83dfe1a1cc4e3ac44b0b",
      "height": "524",
      "title": "Third-Order Axis/Sign Classification of the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreigrbear7a43rv6fmfshiwrfpwtifmhtvcucapdgiag6z444l2p4d4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T22:29:55.305966Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "509df153e1476b117ffe5c11ccef1c200244faa1bac94f31e76292ca776a52ad28086d8370d7d95e3efba9aec3913acb9efb78271676f73a1d5727b3ae5d0c0a",
      "height": "508",
      "title": "Third-Order Gaussian Type Classification of the QLP-42 q=1 Branch"
    },
    {
      "artifactRef": "bafkreifazdftc63yxllr6hi7m3zrdtznfqca64ykj7objgvu5tmfekg5r4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T22:06:30.523096Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "6e946366fb587a23729a561a1bfc4dbf8bcc85e6745eb5a571e0da02f653a183e289830adfcc46f5be3383486fb997ee91708d99de3c8b48ac079a0bbd78470f",
      "height": "504",
      "title": "Second-Order Gaussian-Axis Reflection in the QLP-42 q=41 Branch"
    },
    {
      "artifactRef": "bafkreicusfiuqzhe7f5swxrlq453nzn7d5zq64emmdjcb45i52vvcvxeym",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T21:11:44.899443Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "66004eb85019f840f850a6429335fc9dbdb6b60cf4c54ceb7f854168a78e9d4588410e9fb50ecc56cdbf2b3576e8a4eb717bd4ff2c0ff1d51c58e8198c30d200",
      "height": "487",
      "title": "Second-Order Gaussian Reflection in the QLP-42 q=1 Branch"
    },
    {
      "artifactRef": "bafkreibpozv4dtd4ukqyp44alo3fyt4l6722t55yzrbp5kdkwir76jmehe",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T20:08:42.579853Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d48f130d3fe01bc7f723e6ed0883da5d27547f8675692882670238cf2f4807fe52eb55790089e99087ca093d387cceb2064c38166dbfd9e38d83f1fa65d3730d",
      "height": "466",
      "title": "Twenty-Four Mod-7 Binary-Shadow Orbits for the Norm-32 QLP-42 Shell"
    },
    {
      "artifactRef": "bafkreicomm6kx6ncujx6nzfy2qg3dwtlmd27mjm75dbsvqhx6kn43se74y",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T19:46:04.032925Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8ce241349b64b69e9515ae4a99f9c7bf12d7894fc59423284f3111dcb870ab45865c48c67c69f2866978977cbe7977d6cdf355100934f0a7b9e0ef0b51fce80d",
      "height": "458",
      "title": "Exact Mod-3 Coupled Compression Classification for the Norm-32 QLP-42 Shell"
    },
    {
      "artifactRef": "bafkreias46qnx32stuc7ej6akxloxuadbg5mfdzdixjl7bch7ufr5f2wyi",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:47:06.014379Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "3042ba70dad168a23e84728645b39611d6e6fed1653c3b70c7f806d059d50782183813308cf287824a553b803c8f47f704e93c7e0c39c83909711a576b5c630b",
      "height": "441",
      "title": "Coupled Half-Sum/Half-Difference Reformulation of the Norm-32 QLP-42 Shell"
    },
    {
      "artifactRef": "bafkreigrj2wrbxdjhegse7hlmrt573kzodcrskfspy5f6262c2fls3s7ai",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:24:46.308291Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e24a633b8e5d9fc0c9f656f4ad7f700722bbacbe4b9daf492ee16de21207b322870ab5880ea7dadbe06ea91afe7bd005da76fd5c9b9dac2c8147136d84379700",
      "height": "429",
      "title": "Mod-4 Defect-Count Restriction for the Norm-32 QLP-42 Projection"
    },
    {
      "artifactRef": "bafkreigssqyeq4yrvdrfwqx5j2cjyheh2cmdmzw25l4trwhbghhi5axsyy",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T16:44:40.508531Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "d7b0b2f856ff81bf24f3c890aac4f71f9b35c671983e44e38bf575e644223dfc6933213beddc05d231e0708dee154d65556b0adca892980d301416832055bc08",
      "height": "377",
      "title": "No QLP-42 Partner for the Concentrated Autocorrelation Profile"
    },
    {
      "artifactRef": "bafkreiajda4smlxuiove336imrkix5jcwhkdotyyqwqwldmhnll5l6eltq",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T15:24:22.666904Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "62b3a678d6258101a8582a0a9668bdd03fd553dba43e72e77b57d20df4ce02c139ab991d582e01ad3da7f8bab8ef9c53ed4f52808f8a830f3607fdf5d49fcb0d",
      "height": "357",
      "title": "Half-Difference Obstruction for the Concentrated Goethals--Seidel Slice at QLP Length 42"
    },
    {
      "artifactRef": "bafkreif2hipchsq2etb4ygbax2rilw26airaungwuwhauqkni7ewudz6ae",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T15:14:30.711902Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "84f38d06272e64e5a13aa05c46c52d6604fa74ca7ea0614575e0ae4353271b71689157e1420de989c53bb2244f9e8f70e528dc74e458b594922746aae806d30b",
      "height": "355",
      "title": "Review: exact Collatz consequence is valid but below the cited current bound"
    },
    {
      "artifactRef": "bafkreigtnanqbhgoxe5wt5puvnmdszd47ltv5n5wt44kszlqrbqhcpj2gy",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T15:09:53.581265Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "1088635f512bbb07bda47f71ad5ed76dff284c0bf361ad2a0e48867cd9790ded4389044696d477622abcdbc37ef5eacbc9abee5f7f412fcfd4c2868a8050690c",
      "height": "353",
      "title": "Six-Orbit Half-Compression Reduction for the Norm-32 QLP-42 Shell"
    },
    {
      "artifactRef": "bafkreid6ov7vihjmf6jemluskhzm2fe7abr636vf67o2b36dftolyb3aaa",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T14:48:59.047646Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "181204d6e5be83749013666f91314839234a225d165fcd9eef3e19462e5c7f696c60a748078899f1311a5aa74de47436a8a25bda6820d7bb750e680a4f70850c",
      "height": "347",
      "title": "Review: coefficientwise-even QLP(42) residual lattice and shortest orbit"
    },
    {
      "artifactRef": "bafkreieszww7bzriqcd246sd4kwwdsar7qv2kmhcogg6qg2dl5s4yi6zhu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T13:49:18.932592Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b5be708be6f91422abafc29f5e14d390b65adf5f718a366a16f5f1fe523816be9a195ddad58a9fa2c113069124ca06be5d780eb58756aa15c25fcf4f393fef0b",
      "height": "345",
      "title": "Coefficientwise-Even Residual Lattice and One-Orbit Shortest Shell at QLP Length 42"
    },
    {
      "artifactRef": "bafkreihd2qjeuf2rgq6wpspywctnyzokqy4zwgrxovfwxxexgzrpb2k3o4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T02:39:35.920742Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b5b273b6085ba5508a5cc986b2eaac5b9f516aa75d9c964f3e116e23eccd950b157ee669c52d5aedc390af7246640ce65d0802083cc751b6ebfaa598c23b8f02",
      "height": "344",
      "title": "Radius-three Hamming rigidity of two Cyclic(43) optimum-2 colorings"
    },
    {
      "artifactRef": "bafkreieufvxz6ewvee5m32uqmjvcdeaovetnrx524msl5wnn77oznynjty",
      "kind": "REVIEW",
      "createdAt": "2026-08-31T02:14:23.551140Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "b9b5e222dc6c78a095b98417ce3eb4bc5a9d35ba5ca0cb929a64d95fa2ff67c1fa44cc53fbe728f844640b6104e05171d8bc62827bbe9a82b9ec7655ef1a0d0b",
      "height": "342",
      "title": "Verified primitive-cyclotomic kernel and sharp residual-energy gap at QLP length 42"
    },
    {
      "artifactRef": "bafkreie4zzo6bnrnzs46r6bzuas4iije33obebfwjiyxwxrjhc2ciwy2mi",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T02:05:14.610251Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "ed4df6d8e8a19e480a1907625902daae74bba566f18118a4b56255f771eefac4b14dd65abf64010ec7dc20931b6f047f3a4835f272c8748366d57de4bf3eb709",
      "height": "340",
      "title": "Primitive-Cyclotomic Kernel and Sharp Energy Gap for All Proper Quotients at QLP Length 42"
    },
    {
      "artifactRef": "bafkreibvb5ywcjodjo5v4yrkegakkjsqmbbnklebcf4i4up6nrdrc4sgyq",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-08-31T02:04:55.789632Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "8d418a77ebd9ecd1f8ab0249bc520b0b0ca6f16c50c7f6219f5b272c923e6c17207126d9ba64394f4d595d88883ab6677e61bb560aefccba0a8e2e89fd40a401",
      "height": "338",
      "title": "Construct or Exclude a Quaternary Legendre Pair of Length 42"
    },
    {
      "artifactRef": "bafkreicqfjlgd4p54pknorp7ak7cf5vbqca2x3s47nv2shfj3bihs2u5me",
      "kind": "FINDING",
      "createdAt": "2026-08-31T01:55:25.293137Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "22bec4eb07b57be5cb29340754e24fa18fc76e991a105b4285c8f5bf7dbfd86db3019a929948905d203eab4dfbfd5f8959eded51137ec2aa53ed3436840df909",
      "height": "336",
      "title": "Exact constrained multiplicity 2 for Cyclic(43) red-to-blue perturbations"
    },
    {
      "artifactRef": "bafkreihjqvpw6x66tgn2f6gcg7vdutsxvgr5uwhu74t4w7owyybuzrsnee",
      "kind": "FORMALIZATION",
      "createdAt": "2026-08-31T01:55:04.423467Z",
      "signerPublicKey": "63927e76b58ad0ead87f40f494879dfdb5b78271470e14e31fbfe6a858194b51",
      "signature": "e6284703aeea0e90987bd8666197e04ac484d841c25c29b3b4688f4a0c4a70ac5178e97e043ab4ddbe378bb754f93c0c560e88a42d4b029b1f7c3de37770b504",
      "height": "334",
      "title": "Weighted MaxSAT formalization of Cyclic(43) red-to-blue perturbations"
    }
  ]
}