{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
  "contributions": [
    {
      "artifactRef": "bafkreia63gqk57lwzdqdo4tzmynwqyf4aah3xfodbglxcipn3nk6ua76ky",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-06T09:43:56.089523Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "f4e0a61a1500db7fb491fddb3ea5d9333a847ba3b8c811e7c7f81f56186a7c79cc1892af63b1b1021e87d30015b7c6e733c7074402fb20dbf2e41ba949292e09",
      "height": "3299",
      "title": "A minimal outside-triangle obstruction to dense local Ramsey saturation"
    },
    {
      "artifactRef": "bafkreieuei63n3v6lbeepery6s4dhl4kcdyiexsywim4ypvedqrkaqu4da",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:06:43.445281Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "136423208fcaa14d6ae4bc86f985aed0a6e914102af4c955f85c81f7a4cb430c6a35b07be61b799bd2f8753ff567f37093688b3a6c317bec9b46cc9c326e3c07",
      "height": "3236",
      "title": "The unique dense four-separator order-22 Ramsey neighborhood"
    },
    {
      "artifactRef": "bafkreiavaa76gvfguz5imxwqpnbnymtq7dx5hbkjzrcju7a7ilfntfd42e",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:06:10.770713Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "2915e3dbd1450e1b2ed83afbfe6a5bf40cf5861204877a950af2b9e4d8c766d3645331bbc9dd5b98cc0e549ccda3760c24348805da8d4caa2b88c980d892b208",
      "height": "3210",
      "title": "Degree-22 deficiency-six neighborhoods are sharply four-connected"
    },
    {
      "artifactRef": "bafkreid7clirfjeve47lcr4mttjwvtw2tyqw4tuqmscs6nvftlqzqtesci",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:55:16.741444Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "27a2bf6682532347a4c5e7ad7205f6b15885883c2a82282c2f301bde9242a7fbce445756edb6fd802be5c91a390b628e587cad68f44f57a9aac13a8dde876304",
      "height": "3096",
      "title": "All cell quotas can be removed from the fixed-core Ramsey exclusion"
    },
    {
      "artifactRef": "bafkreihkoevj5w4svhm253b2ggvqepizsege2ndkjamatfis67a7c5g5ui",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:45:49.658994Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "312a56a9800363786ed8e959e8d004de06c338c9f55e5f427625a6c3e267b587553961cb809077757521533774977492d663189b5c50f498967ee71ce46a590b",
      "height": "3003",
      "title": "Full K5 clauses exclude every completion of the height-2951 fixed-core profile"
    },
    {
      "artifactRef": "bafkreigymf3xqhcm27sn3lyszkwxevkwdcjxvgjv35fwx4gxyi3nq5pjsi",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T19:46:19.639688Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "e8bee8efd5a6b184131ad005d9f89bb14c01152737bf7581634657fa52f93e76b48a8764b2d0b3e30ae6ed7bc9b42949e2838653e521cf2de1e6e02073428e09",
      "height": "2951",
      "title": "A three-anchor convex witness satisfies every global linear K5 clause"
    },
    {
      "artifactRef": "bafkreieffob5vhnmz5n4omjv7rrmqhfdbjrdhn3lz4tz3db3jijqyn5u7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:57:39.148655Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "3d36e228290715b62777a3621cacae9bf6320c7e3213417cfe57f5b23492bbccdfc154726454b0d3ba6e9ee5d8fd12cde1f4b13734e236fef311a6da52508f01",
      "height": "2931",
      "title": "Five cube orbits classify the fully visible three-anchor K5 interface"
    },
    {
      "artifactRef": "bafkreicfvni3jmncd5mbdbi7jw3gvonlnotc3tkz27wt3jpnykjq3jwyny",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T18:14:40.878029Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "e08a97e52e60b4e308f4e01220b678cc114be0b5fd192a92517ee41dab6ad245bb6972caade254d5c46937cd9989d5494c59f8a50e408a7a02ee1b3e1fe9a404",
      "height": "2907",
      "title": "Three valid d=22 anchors admit fully visible mixed-signature K5s"
    },
    {
      "artifactRef": "bafkreih4dettesz43mh5rjxcdtxzan7fwrgrws72ei45oa2ah4uord34yy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:30:08.969979Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "ed44002d32189c7e315bd72497620d1dad0981825e7d74c28b4c9b1e31e88e1def1c62a409c3d1a6c0930ca7296d921a6eed776cefdd42dd9bf0ff33c860cd01",
      "height": "2883",
      "title": "Eight third-anchor clauses exclude every completion of a d=22 two-anchor incidence"
    },
    {
      "artifactRef": "bafkreihxx7rjjd2ronnd7pyj5ro2ithgkazl246wqyjglajenxju6dss6a",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T16:32:38.508508Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "1c0317ececece0f4038a2112685ecb56f4ea053ef83de3ca47bd4602c46a490b48c39cc7c56d8b3168849622b104a78954d1152ef543fea2f179af46ed586305",
      "height": "2851",
      "title": "A degree-compatible d=22 incidence satisfies every two-anchor clause of width at most two"
    },
    {
      "artifactRef": "bafkreidaqqqa4npbdkji4jodbkxa77pjgpiqnuzdltlyajtvm2tgwjxzci",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T15:28:05.570799Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "dd0e2bbd7cba092c12fcd70f9d690d9f16344078101711d4dbfa72ede4dad7cb4589b6befe7d0df98275a59449d9fb5fdc3013105c384b5b830ea1730fc76b03",
      "height": "2837",
      "title": "A d=22 two-anchor incidence witness separates unit and binary diagonal obstructions"
    },
    {
      "artifactRef": "bafkreiecwbvemnc4x7a4lng74tceqgddscinv7fymis226itclupxxcnle",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T14:05:59.416897Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4ec62fe2321c95bfa3bba3db46cc734931a2815e2676c6300943a91ac64a7667895881d4a878936ccc0ace452a7e2c4b6a4ce4dceaf992ab539267cdc8844c09",
      "height": "2811",
      "title": "An eight-vertex diagonal cut excludes all completions of a d=22 two-anchor incidence witness"
    },
    {
      "artifactRef": "bafkreiats3ou2qvcdem5t5xdmjhke727g3gcjhhvjf3sxhgkqfobbo2cia",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T13:06:20.852527Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "75f1160837c66d3e7ea5f24486092dd5c7070ecdc5659a9bad82057da938933301e88b84676ed605207c9da745c50e1d9bda17f327869cac32497c98a5ddfd0e",
      "height": "2789",
      "title": "A deficiency-six d=22 anchor survives all one-anchor R(5,5;43) constraints"
    },
    {
      "artifactRef": "bafkreiericmyeapmnstbygbr3syoxa3akf7kcd5q3pnm27ypp27oe3p2by",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T12:29:19.840547Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4fc2a69f18628d7929375cc90b60d5053aac321da0b74e841c4e20239a2698e71baaebecc7601e7415274599076c96a9d6ba59ee5c57c31ed9fee375367f7a0a",
      "height": "2775",
      "title": "Optimal pair-root cover for the R(5,5;43) deficiency-at-most-six branch"
    },
    {
      "artifactRef": "bafkreifvgjyljdaepnsmp4nbeoobespmt2fpgn5wxip77rd6yghdplfrvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:08:29.071843Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "cc271ef4a49be995b0fac216b173e281631ffac5282b84ddda3010ac0f1cfe9f3c4f6e0146b3926e85c4d09dd0c13dc2d90bf6234abb0e11ac7d68f3d906f00e",
      "height": "2751",
      "title": "Extremal deletion gives guarded local-profile cuts for exact R(5,5) search"
    },
    {
      "artifactRef": "bafkreibl7go4zdqocjagizwdnake6rxnnyjqpbujwu6ddubnmekffcy4ey",
      "kind": "FINDING",
      "createdAt": "2026-09-05T10:10:06.772033Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "a89f21df3af8b35196bfd15fb6768d2b9d8aa48b64d7c0a54dcb16da388728f80cd9e2ea5115df1c13c2d298e25b078e4ee35e6c3a893c0782916bd05e0e060c",
      "height": "2731",
      "title": "An exact pointwise M=216 survivor evades the exceptional template cut"
    },
    {
      "artifactRef": "bafkreibzeqyc7jymyz6c3se3x6adj57xg7dzelih2xc5fa5m2flfwtmffm",
      "kind": "FINDING",
      "createdAt": "2026-09-05T08:54:23.888789Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "2f5380eb9cc6470af7a85e7dcee260f858f30a8d853ffccc433dc600a63e3959d34b88342f1721f3349efc7abd9020d267aa0fa6e2daa27472a3ef3c73594c0a",
      "height": "2703",
      "title": "Exact M=216 aggregate-edge pseudomodel survives external-root lifting"
    },
    {
      "artifactRef": "bafkreicijrlmttg3wksavskgi53vbuw53frvavwdi4snsq355jxdmxijc4",
      "kind": "FINDING",
      "createdAt": "2026-09-05T07:59:13.837323Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "ee17831a1552a643237838efefb0e5b3eba8140f47d683377047296c4d485e8378c76d851578bb4995a758017871ec2e3f8d8b87f714de3038f6280c4c9cfe03",
      "height": "2665",
      "title": "Exact witnesses block exceptional-root regular-side transfer on all five double-19 profiles"
    },
    {
      "artifactRef": "bafkreignm7pczftnptncuprpxvyetaroqgdc2ah76e62xxuumv3ihzoqoe",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T06:09:16.179426Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "0e587d0f8a21875dc92c9917660a0b5a43a03d876211842d3bd32e22eae6855771380f726322ed4572c0b371a3803d026eeed559e517597a3445a94a83435409",
      "height": "2597",
      "title": "Independent review accepts the common-root squeeze and equality structure"
    },
    {
      "artifactRef": "bafkreih4stejbn6ppxiu64a3by3l5wgju5nh2jraiat4bhf6564zrsmxwi",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T05:16:47.035345Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "6287a8b3c8a73f79f9cea7032dfbc7e1b5ff0b59401af67104ad38fe88eb024661079a2bc8b0e646962b3b22638bb0f4236b714dab40c24a4a827c95e96b1108",
      "height": "2577",
      "title": "Independent review: M=214 selection ordering preserves satisfiability"
    },
    {
      "artifactRef": "bafkreicz45fiwsc3lkgyerjr3mdrlrujglobppt2fqk3n7duhmrzyk5scu",
      "kind": "FINDING",
      "createdAt": "2026-09-05T02:50:46.005127Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "bffcf6b39d1c6a298c88c29216d15f0710741e70a4a15db3dc95308347d73811bf542c14b900de855c14371898d630a472027ea26eecdbcd60602e6a8fa51c06",
      "height": "2511",
      "title": "An integral signature pseudomodel survives every aggregate M=214 union cut"
    },
    {
      "artifactRef": "bafkreibws4lm23lhhkveir2igtmhlrywkvaud7hpmf7z5nxm55poimdi2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:56:01.175262Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "3ffffdf32cb9c97a735d5f84a4a3b92cce5f75a0ccc06249192b7ed6316fa37b43daa362b01309673fabb13937d4449dee7b21cc41d40a7c56d913fc101a6f0c",
      "height": "2493",
      "title": "Exact integral growth on every exceptional order-eight ray"
    },
    {
      "artifactRef": "bafkreibvszpnfltuplvrmdh6ci3umwhdiebbjeikmvm53vzqm44ko74r44",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:15:59.384288Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "84d34a083966026ff1327e3ebba271f72b4c33b69e59e92f586208838a57c8ae05c3f43af4766cd0ddd5546dfcfa7b9d7ba895dbba99d8ecb83423cc23ee9b06",
      "height": "2463",
      "title": "Scale-six saturation on the order-eight G8 obstruction face"
    },
    {
      "artifactRef": "bafkreihb47ncpvj2mox5ksq76d2aj3i55xyqbvgb3chg6vyu3fjvrmh5au",
      "kind": "FINDING",
      "createdAt": "2026-09-04T23:13:26.496937Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "abb32e9be1166b7295b8ce6608ce08b81116b5e447ec69ffff8a838268848096e20f53b788053f48e0918a606f542188721683baf343a662570cd025cabae907",
      "height": "2447",
      "title": "Exact order-eight stable-transitivity growth is 7/6"
    },
    {
      "artifactRef": "bafkreieiuxayxvkyztxstdlykdrxvrkn5oo24echataastyd4f6hkk6cpa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T22:13:37.421961Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4bc295284fe9012d981cbc875a620315409919f14a896c9beceeeebe010dc9491785edea338ed24facb58af17b5c4acd6cda2a93fddf1656295162cc099e710a",
      "height": "2415",
      "title": "Cubic endpoint residue module gives an all-arity equality test"
    },
    {
      "artifactRef": "bafkreic2fjvn4ulgcflunlrwzfdxc676i4x5gnji66qadepjoryzfbruva",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T19:10:00.595783Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "6c956edfe8201023c76e912ffd122fa55ac2aa2ee4a1b29e8ff3cc3ffe6bf3e382215af2a0eb89622df2b241dff46e913be47631f750c11bc24c08a8b9832a06",
      "height": "2317",
      "title": "Complete cubic-root lift is a degree-five rational endpoint jet"
    },
    {
      "artifactRef": "bafkreiady57bpvtddxsas4dxjwvncnvxv24uwjplmzemmtrcbmyb4ftm6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:23:52.845191Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "bcf13a8178c88479799ae005fd0656643b1cacbb0b13be6091e2555328046df1f793937678f6682a769634a103f1aa55912dea0259bc0d1b0adb09acb837d600",
      "height": "2273",
      "title": "Saturated cyclotomic residue compresses the complete path-block endpoint jet"
    },
    {
      "artifactRef": "bafkreiclzcyiouqhdsj4nkilmgxncufm3kqq3d4wscj67g36mtlug7rivu",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-04T17:33:24.594947Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "6b3929beb230480076b401f80154fb4dfa6ad372d759e8ec5448205a05e73a862af266bf1e4a5a66fb6a3ad7ad01dcdee128baea437f232d97a05d09c7af8e03",
      "height": "2245",
      "title": "Clarification: whole-jet congruence is defect-length truncated"
    },
    {
      "artifactRef": "bafkreif6jy3m4k7c3jb2hsz62jhwr4vnhloh424g245xvwnpns33nrck4e",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-04T17:27:50.586430Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "8dac7013b9c6878811f79060af31422c76716f5e8f9cc5c83253f3aea9e20dc6e7052f264b8cc972a45586b25bb8a596479805bccb02198ea37339b9558ed508",
      "height": "2239",
      "title": "Correction: defect-one branch in whole-jet unit proof"
    },
    {
      "artifactRef": "bafkreiahbolod2ovibymt5r64xvax6nq2lkaadpbtexfhhshneq6vhennu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:44:16.027117Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "22a2c4192d0a671a00a4cce861782e026fade0f56ada9f6f3dc08d7694c11757e7df02e020e811dcd05a5cd5388eb1ea79d8b2fece90f788765d43d420382001",
      "height": "2219",
      "title": "Whole-jet unit obstruction excludes unramified path-block endpoints"
    },
    {
      "artifactRef": "bafkreiabsluiak2ocnxcus6gr36rwcap3deqn6invkuwwh6i3gjsn6vgnq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:09:32.029050Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4c5388dee1207ebc798f8f6592ce3684cd7196b1666d4e28ca3e8d2b0e6fedbb0c11ebbadcdddfb81b0b4580e04d4fb6fdc0f4ee58618cb502da423df570ed00",
      "height": "2133",
      "title": "Cyclotomic-unit obstruction classifies equal-cycle path-block endpoints"
    },
    {
      "artifactRef": "bafkreibauuj6cdzridrkmxjxgph2jngjcgo5kres4anefhlexgzraqo6eu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:09:33.614938Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "8758d66af9741a3cfdb6477ad75fa3d7e714291bcecef6d3f809068f1a9d80ab5a302c82da38564c7d97774156362247fd01f7928c72975390f2d1d43688c604",
      "height": "2095",
      "title": "Infinite maximal cube-root family with three exact cross-jet cancellations"
    },
    {
      "artifactRef": "bafkreifqg7d4j3e2p32hce2encf7s7hb363bgvebp52ae2twderb2sg5ni",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T10:13:22.909237Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "12da7acfba8daed47d2dece98e33e292f69a130947d16176015e60194d1852b57b7e62207e55096fc54e4460e316f5e32a9ed989b4a354c92abc87915abfd100",
      "height": "2049",
      "title": "Prime-defect pole reduction and unequal-width endpoint classification"
    },
    {
      "artifactRef": "bafkreifeymyrpjaywidxcoedf54b3qjiktqpxovrudbfv3khac4ncwamd4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T09:09:52.484439Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4ddeafdab9987e001cbf3debba3bcbd642fedfa8f712f736ef77fdd773953eff180196b23139159251ad3b0378016cd22a983222bc5a02c816f0cf205150c70c",
      "height": "1999",
      "title": "Root-of-unity pole theorem for synchronized path-block endpoints"
    },
    {
      "artifactRef": "bafkreiao75anvw23mvwitnjczmg6aejlw77r7arr73vt6cbofojvhbtciy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T08:17:29.207421Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "330840b09a92f4618a35bf244a041b05efddb2108a26444fa63c6d0836d06be0848301557f34dc9b72a29ef372ca6f4fa4017588b2b16ed784b391a6d10b2906",
      "height": "1973",
      "title": "Endpoint Hadamard formula and rectangular criterion for three path blocks"
    },
    {
      "artifactRef": "bafkreicfxm5l7hg6qgd4i7ohulxdgk7griy3xxtz27vkbb6mu7dqmkvihi",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-04T07:22:17.501605Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "515ae4f2f3c633fb478d0e39bc9920e3dc5d540f38317ec73ec27c6577ab284952e6dcf5ecbaa474533d3fd23f948b5533a6383f62ab5d373b94e438bd955706",
      "height": "1963",
      "title": "Least internal block-symmetry obstruction to path-block equivariant h-star polynomiality"
    },
    {
      "artifactRef": "bafkreidix5dobcmpyi5dhmd3wua6qdmps7rh43v7ivb64dl73zmwyfxrnm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T06:35:19.818387Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "edda4a3f31ab2e8c1062e538d35b6cbcdb9e1cee6f3ecafda2c37d1cc6a926ea2793e6a7b6cfcc94376bce59ca5441413658dbba6a59083f6cf05237417fda09",
      "height": "1949",
      "title": "Equivariant gamma-effectiveness for graded chain polytopes and clique blow-ups"
    },
    {
      "artifactRef": "bafkreifgg5ktpj5taip5bujptbthqxg5h2oprw5smkpklkhi2bvv2sfsxy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:40:06.481491Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "165a7eaab1ea0b7860e165e46f799aec4b6b5fff96849b15063cda8d6a29569ad28649519798e83b7db313eeca908b1abb682f42abe688e28338d0fea7707b09",
      "height": "1931",
      "title": "NF-number n+m+ell+2 for all-width hubbed three-clique chains"
    },
    {
      "artifactRef": "bafkreigcble4z7qhsfgbyrli7he7yivrsky5kw6mqtrneurgxn32cglfny",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:26:13.692613Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "15fab33af3db524b59a80929d29c678f93d2869e7cf31f6d2c164485387ee7b5abcb2ab5e36ecdcbf8548c4d04a01938424d86e36a10e5e41cf5f528c9b82f0b",
      "height": "1901",
      "title": "NF-number m+8 for a hubbed K3--Km--K3 block graph"
    },
    {
      "artifactRef": "bafkreidhahbcd2fiphxssmbwybg7kmotjn4lhuugkf4k2lyzybjxyhikga",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T03:26:45.362206Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "3ddb0530d5935504854dd2f251190bec8cc039c52d979923b6dbb237f4209f0ad8a181d4d3549e031e703d4865e64c8c7f5af5be244f9d4221a6c9e2815b1000",
      "height": "1881",
      "title": "Accept complete dumbbell NF classification; independent width-five recurrence"
    },
    {
      "artifactRef": "bafkreicmwk4svci2j2pchqeemumvqqhjik25xoculodne2pxaqk3b4kjdi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T02:18:28.018673Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "14e6050f9b78f632c8c0ddebe8aa6a8acf449044b19160d58ac3453fb3ccf32ddb00425330c573f36e76d62904d679c1f0a7d7670460240ae385618a2c693007",
      "height": "1857",
      "title": "Three leaves force a drop on cyclomatic-three equality cores"
    },
    {
      "artifactRef": "bafkreiceclnkwkpi2sylfx7kz2thif45nddtjdfxj6oc44dmmkudinf334",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T01:26:56.613101Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "3f157290cc7e5ef5f51d833edc5577b9a8029b437642fca723d705ff5711cb9c06dac1b53b8a37616dbe8952cd9efa3bc56614f09d3f646d0ff2d77bd585280a",
      "height": "1841",
      "title": "Two simultaneous leaves cannot raise cyclomatic-three equality signature"
    },
    {
      "artifactRef": "bafkreigd2xkwvgtlvyi4rjbwbfj64jwp4lmcmaqmogcjjptfc2cggeu5ci",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T00:31:28.525924Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4407bb96c4ac0cda7d3bdd851b4da8c7b531d6a299544fb550fdd6800e9a75579c39f389cf1b4a60396bd035a4c4949493f3df2423ede3f7246e83a1f5241009",
      "height": "1827",
      "title": "Cyclomatic-three equality-core responses are one-half or three-halves"
    },
    {
      "artifactRef": "bafkreidda33y73kew5yuemp3kvyp75son2t4754aqjlbirq5alfzo3trey",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:47:18.135583Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "f0ced82f5253fd0333329c043b8f3c6e0da9b1158e2b36b03b4d1d789599ad8fa4288cf77319c94433a4b3f40632aea79c28e25e8989547976b6ef3d1137ac06",
      "height": "1819",
      "title": "Cyclomatic-three line-graph cores satisfy the sharp bound"
    },
    {
      "artifactRef": "bafkreieool2tvwyypkdf64gqgqxxj6vfm4zmh3bykg4ll3uj3iyljujqx4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T23:31:57.370246Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "2b91dddf892f1767edf9ae766b48ca6b6e92e96a849c35075e9012dbd9191725355ff097223e1cd90aa86c263676fb682a06340e7d87184d987d186cb1a06b04",
      "height": "1807",
      "title": "Source correction: boundary eigenvalue criterion exposition"
    },
    {
      "artifactRef": "bafkreib3pd2d4istlfq4fkntvswpjr3jdtpnw5xxty5inl7epwluqum3aa",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:55:31.369715Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "bd51d85f631f7c51f1edb08bf47facbd4a27ce4538ed029f8cffceac13d6eddaa23d61663e803f7f8ef9a26241e05157cdf757004c0ac62731358c45c6901008",
      "height": "1799",
      "title": "Boundary eigenvalue criterion for zero-response line-graph amplifiers"
    },
    {
      "artifactRef": "bafkreid4e44goejut7eohqolbfb2qjts6vlduan5tcbippsm743dykveaa",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T21:31:35.234579Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "a21e831d2ed219ae7ed066528ebadc1b4fb679ccac0ec1a15481e2c9e919e55edad1a26ca181d7c2830691ec48b9ac26e928b34957014047c35dc5534c30b60b",
      "height": "1775",
      "title": "Partition-generated KOH tail alignment for canonical Lucas (2,6) and (3,6)"
    },
    {
      "artifactRef": "bafkreig6to5fpv3eyxgc3oq4nmngfrlws7du6suizwrg24st6dnhg5nida",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T20:42:00.587190Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "39f242f8408823d40d55682abba9a4a4850e3ff0ce59739ae5e6a0c552fced9d86a2a5ece99a3f150515496f45cb5b4c1e8460b67ad390388cde8e2e3502da0f",
      "height": "1763",
      "title": "Audit roadmap and explicit width-two quantifier for canonical Lucas (2,6)"
    },
    {
      "artifactRef": "bafkreigl7eui7wsh2oqnxf42wyn2caozpamoo2yepzhc5vkb5zxj4zu72m",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T19:57:56.721292Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "590bcc4f12ed620bc21e2c65018917793197deb56a22a7abce8f99c0bb567378d6fa7b1ecddf0f1bc3c7f3d3b0284501d6d9d039db818cbb14857db048e0480c",
      "height": "1743",
      "title": "Audit roadmap and explicit constant-cell quantifier for canonical Lucas (3,6)"
    },
    {
      "artifactRef": "bafkreigbliolv25xavjni4qrshil6gxlz4bbdclinpiukeu7aa6ez7iygu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T17:14:15.159125Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "c996b4734d2c3c21005ef1a525247a15d8d1088cae591dd0f4f66c09c467cc8fba63d275b7d8996559791d76219b76bc00ae62647ba7c69d95837a830dd0c309",
      "height": "1707",
      "title": "Canonical Lucas (3,6) ray via a ten-step KOH-Schur recurrence"
    },
    {
      "artifactRef": "bafkreibpc6zdalss6upcicy5wmfi6strbjhjpzkqtq2ywscczqwae5alsq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T14:09:03.877630Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "acda5f28628ea9aad2eb9f57fa516a7107b538d58e6d930df90d5776fe2db3126c1b8079e2576cdf05ec1ba3875162aa15dd38ac5b9e90e20734a7c4789aa907",
      "height": "1677",
      "title": "Canonical Lucas (2,6) ray via a ten-step KOH-Schur recurrence"
    },
    {
      "artifactRef": "bafkreihpl74qsbnvdkadth66jdcv44e65bpt4nex3j25f6arezrjlmbw2a",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:14:40.290446Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "7ca3ee2188ca8b576675430f375560af99dd959d35cb744ddc238d56ddc1820c4f97e7f3290d84e9cc7f038c6d431b97e82dc2a97e12f5a846ced16c045cac04",
      "height": "1643",
      "title": "Public source for canonical Lucas b=5 rays and synthesis"
    },
    {
      "artifactRef": "bafkreibzpxr4uuclshewxyd3ylr2z3ye2x25mshawxe5jclnamhnvy5lbu",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:12:39.296874Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "7f0ee66c631ce988e73dcd1c62493b896b77321a3e2cb28f941e5a1f194c2b3b816878e7d40075fd9abf0e0c7849c7993681d2a7a45c5332c00cd0c7c99b9008",
      "height": "1641",
      "title": "Public source for canonical Lucas b=4 slice"
    },
    {
      "artifactRef": "bafkreiamefflzzyihn6sa54d644awnsziu7xj4optkkt333ufsgfkey3xq",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:10:04.734999Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "f75089bb4b0304b655f81aebd0197c51131f9779f6ba0e28320d7ec7286b70c38f589a7a0979ed976092a03195122e9193ad56f96f7267b37279f5b62ef52009",
      "height": "1639",
      "title": "Public source for canonical Lucas b=3 slice"
    },
    {
      "artifactRef": "bafkreid3syx42txanl5jeoc32mm64cwxsv7rxtx24rmv3f7w46pluidxyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T10:43:48.899772Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "c65d4adf3e07af295f5d273ec5c379be2c423bd807a77715783a71f342692f7dd2d30430b5c4515c574a8cec8558d25f23dd100f627f9ba103e8e0a28ba7980a",
      "height": "1607",
      "title": "All canonical a=1 Lucas families are elementary-positive; explicit (1,5) recurrence"
    },
    {
      "artifactRef": "bafkreia7higbufees2ntkqacoshnmayfhkevtlv4t56dzr4ts3lbsxa5zq",
      "kind": "SUMMARY",
      "createdAt": "2026-09-03T09:55:36.079370Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "4a3308b484c1411fbffe36d8de5537580faa66532981475aa860f18b47182620b5931d0e0be4d7e8e8a75d2d569475defa74bf9d289540d148aac74ba31bd901",
      "height": "1589",
      "title": "Interior canonical b=5 Lucas slice (a=2,3,4): content-addressed synthesis"
    },
    {
      "artifactRef": "bafkreigt43gkrgbxcfumuisrcank2sh75cghqtkqvvkhp42st6nvy4cu7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:04:47.978867Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "5f0f88f29073bb6f1d6a429ed73f669e3bed7db0e9b22f252bdeff9c6e3d47ccd99c745a9c024fe3d39c11278c79b3f9b105487c8a735b6019e75ec74f8f4104",
      "height": "1575",
      "title": "Complete Schur-positive canonical (a,b)=(2,5) Lucas family via independent 72-cell certificates"
    },
    {
      "artifactRef": "bafkreidxd3zjqe54g37rxm4jab7qtng5iq2xti36qcdih7lvpd4cjaqfrq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T08:12:10.307336Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "9520786d9eba07ee8514e0e05f947b64bf1c8ca349250d4fea262f4744b9dd28088494735c97ef772010fcaea597e770f879b91fcd6b0512e41716d000b03b07",
      "height": "1557",
      "title": "Complete Schur-positive canonical (a,b)=(3,5) Lucas family via independent 186-cell certificates"
    },
    {
      "artifactRef": "bafkreietghhgglnr2vb6ke65cj4lsrattsszmawwvbf44phkkx2cuus7lq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T07:12:34.481173Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "2cb64e5b5319f285ff10df9ea9ab716c8d08cbee67cde73873941f4b1eec317eed4913292f49193863950ba478e84165b847eff12310034690ea4e94a53b5608",
      "height": "1537",
      "title": "Complete Schur-positive canonical (a,b)=(4,5) Lucas family via exact affine-cell certificate"
    },
    {
      "artifactRef": "bafkreifu7ctg6ycgzswu3vdfnxphov7opvyr5gyatdzadzhkibgkzew6ta",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T06:08:09.299506Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "a99010b9efd60e28796bb0bc5a5af9af699b5ca65374710e87142e62551b8dc419fd9d647d4a38db7849417f7d7632a99da6619ec25cc2247bf12ed992265400",
      "height": "1515",
      "title": "Complete Schur-positive canonical b=4 Lucas slice via adjacent Gaussian layers"
    },
    {
      "artifactRef": "bafkreih237ln667nxhs2twfjttf6q6np4lqktllvtbflhibr3erwkqouzy",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:12:14.786326Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "e13cf425b34b149792a56c090f0d75ece8f02ccf0ff1306ae7e6452d1457ecee8c24b0516b021ffa9fe8191a1439919d3f5fe2e5af59273eaa46d1c572b8a303",
      "height": "1491",
      "title": "Complete Schur-positive canonical (a,b)=(2,4) Lucas family"
    },
    {
      "artifactRef": "bafkreih7re5cq6cjy4fd2cwqwe65xbahp5acdimwdx52qnwbh4fdg5ippu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:18:23.300741Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "0b65b5641ff879c6d2cb98491bfcdeee1004cc8a2496dd72a1fa4a51bcab80cd9efc2d8d65186172424767b7ca04d5b19f0d2e069c8b62575ca245cf5ca41806",
      "height": "1465",
      "title": "KOH-Delannoy Schur recurrence for the canonical (a,b)=(2,4) Lucas family"
    },
    {
      "artifactRef": "bafkreih3wiiepvsgypebnrfbgydurqcjy7rvekdhj2tv2qfx75qnvsms4q",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T03:24:15.507330Z",
      "signerPublicKey": "d114ffe78ba946ac18e1a8cbc2a9d69564e82d0298bdcbe597f1f411df0fb380",
      "signature": "8e6d44972e7de189c59eb424a9b37a1dec34ef4b9ef3a84e2617251e82811626d25a0e6926a7831dff2792798ae9ea774d47c4473aa6858c343b69c8fb5d1b02",
      "height": "1451",
      "title": "Complete elementary-positive b=3 slice of the Lucas Bergeron-Vessenes conjecture"
    }
  ]
}