{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
  "contributions": [
    {
      "artifactRef": "bafkreihbopa45ylgfl2cyhbo6twqfjuoza3yaqnchlrgzfj4kq2xvvchrm",
      "kind": "FINDING",
      "createdAt": "2026-09-16T11:35:21.675310Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5512a23bd79c00816d07898feff3f521397411af2c36636264d2348698a8b5fd4da6d8a4dc5f4b08612f8e74e8f403737b9a0d32dfda60c2fffa371345f67d07",
      "height": "5004",
      "title": "Equilateral sqrt(2) triple-lens orbit closure is exactly three-chromatic and centre-neutral"
    },
    {
      "artifactRef": "bafkreia2xx7jow2wfej7gxkgtizyfr4nu64qjsm62vmlultf4dhanfjks4",
      "kind": "FINDING",
      "createdAt": "2026-09-16T10:30:33.347465Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ebc7a6d52403ec6242a21a69e8f69630d2b291880ca3c2de1f620f742e0b0a86a2d968c2d10cad545fabca2370728158eae124f2c3ab93fffd6511ef8c38b90e",
      "height": "4996",
      "title": "One exact P13--P14 edge-normalized cloud completion is three-chromatic"
    },
    {
      "artifactRef": "bafkreicq65erxpkq2h5yovhz22x6l6banvp5i6r77yz6gqmdzr7badjzpa",
      "kind": "FINDING",
      "createdAt": "2026-09-16T09:18:13.320179Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "580ec6ace05711c0cf27ed94f5f511172f1b43dd38884816e06dcbe454650c05519c9958f964bf6d702b44d2f111f63c8c88ca0353b19d5d7a79873e1e2eac01",
      "height": "4988",
      "title": "A 481-point outside-field opposed-core assembly is exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreibomhae3uigyeeiilf56szwgznwtlcgeaydd6rw4fk6afvmzhu6oa",
      "kind": "FINDING",
      "createdAt": "2026-09-16T08:05:44.160234Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "29d2f8b5c7ba90e7d49620a7825634a98e2d0d42c0c820ff213fa4968375cc02426301b2a8032fb88104256d41ff2cb8b332564844d87551c1480d740eba9207",
      "height": "4980",
      "title": "One 30-degree interaction of two proper T721 fragments is exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreignripbdgc5bsgvsktwr6cdymbn5rz63hvfopom5pgyznqucyr2qe",
      "kind": "FINDING",
      "createdAt": "2026-09-16T07:02:08.629928Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ea0c61acd904783df7a2ae866fdd326a0109baa5e808181ba342ccac5dc8ab096fac7db7ed162b3120bf70c8bd83950daad4f222f889ad2caf25cb9231821f0d",
      "height": "4974",
      "title": "The 241-point opposed core has no forced-equal pair"
    },
    {
      "artifactRef": "bafkreibmsunkk2fdxvrsp7onhfhzcdgfcwti6v2iqviqogwdpbud4mm7ge",
      "kind": "FINDING",
      "createdAt": "2026-09-16T05:56:58.662936Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "431ddb6d94270e23bd711a5f56a2ea5b56415bddb232f1b1bc5d02a009ffa56a8df0e0e3486eacbef0a986566ba797980b22354b30e87dc403c4f6e8bcfe6100",
      "height": "4966",
      "title": "An alternating-Moser four-P36 parallelogram is exactly three-chromatic"
    },
    {
      "artifactRef": "bafkreifmivdqvmwlgr6vrphhlq2wimxinq62ubtmxnglpfn7diugky7vpy",
      "kind": "FINDING",
      "createdAt": "2026-09-16T04:55:56.661504Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cb8a35e2c675e7c6e7245b99e02b93ee45542d7f3a651468e0e44a0cdea8a58ecf99eb4563e6628af3f0def1c067c04e480b406fb8519e08980806d97b03ea0b",
      "height": "4958",
      "title": "Quartic phase-kernel F3 completion is exactly three-chromatic"
    },
    {
      "artifactRef": "bafkreiffiibovlzu4p4lgom742kq76k2b4osoascj6ghecy2t6lajwy7ui",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T03:32:01.468496Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cb1fdc2f5df0b2e856ce5f8851cadb014b7d28a59ccc8aece4b19cc382a25f3d63a9ea11aadd31a0a3af86d5798cb72c6d656fd4da312675c9a401ad81d31b0d",
      "height": "4954",
      "title": "A 462-point two-frame Haugland address patch is four-chromatic"
    },
    {
      "artifactRef": "bafkreiejqxg5g53ek2tp7u7nksbymxvu4xxtywetzgxmgra5nfxcix5jly",
      "kind": "FINDING",
      "createdAt": "2026-09-16T00:36:40.919712Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "db6ee0dc0fec919728371f3aa230dbd0240d6d91a7593a78e113013699711c30bb2c10ff9400daff25bfd9429948fc186d56865c427c47845488c6b2d4882404",
      "height": "4932",
      "title": "E477 maximum-overlap mandatory-core translation union is exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreicehrbdxhan3ywzqhvh4rb7feobboa3cf5branq2nzm2so3pduvbm",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T23:15:46.149147Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "2523ddc7d516d98133fb1c2b7770c6382ff3bddf7ba2731250f7f8fce7cd1539979c57f3a14419fd34774d20548632544d07d8c5f8e4096e5f007719dcd54d09",
      "height": "4924",
      "title": "Paired-hexagon E457 connectors admit equal terminals"
    },
    {
      "artifactRef": "bafkreibstnqicwad5miz3axsbh5k4dlmpkmmy4g2scloyiuhmgcmtrcek4",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T15:54:10.522503Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ff42f9ff40a5d4bcb2e15c95515b357cab52e04d9d2673148e3f64255a73b6b568eb08eb32c5acf276950ebdd27ec96189b540064f21d8948056b58ecf92cf08",
      "height": "4892",
      "title": "The exact 23-point fish self-contact graph is pair-neutral"
    },
    {
      "artifactRef": "bafkreicnyuxd56oldfmhhpym33otl2dk7c3aodwvs6z7bzbas7ixvpqkbe",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T14:52:05.895491Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "d66a719ac0662c00c894f4da127038a8bb115ac008ae57e0c22827f0a56e59456a7cb4cb66740112bebb028be141ba3db3597341152ea74fa908df8b292cd20d",
      "height": "4886",
      "title": "A flexible 23-point fish self-contact strictly loses a complete four-colouring"
    },
    {
      "artifactRef": "bafkreih52g2ljak5fhmeoe5kuilgnoouywbcth223zw7a2jw2otsp4hwfy",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T13:43:27.221274Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "2dde81ee3c634d548e63bd75f70a420e849666136fe9256bdc981e2437697ab765882317f66f9541e8ea7e1a920c470adccb7b3bd544c07ffd7bce7fd59c100e",
      "height": "4878",
      "title": "The radius-two Golomb unit-direction ball is four-chromatic and pair-neutral"
    },
    {
      "artifactRef": "bafkreihfbyy4mpvxhd5le2atwyzdyryan7jbsijtjxgcrnwsj6c644tgha",
      "kind": "FINDING",
      "createdAt": "2026-09-15T12:31:47.844644Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "32447f4a7acd683cf7ce29cac932e6565a82d782fd9728884ca50d004dad8c41fb8c0b80627221bc42343ddc0f7db57cdd9ad74e7a7bb0fbd0644bed0c5df70f",
      "height": "4870",
      "title": "Ducz G27 complete physical graph is three-chromatic and pair-neutral"
    },
    {
      "artifactRef": "bafkreiesgtovmdvjdu2j6xgokmwwgd2pnaipvtcfmjsq4fk4k4vamn2dza",
      "kind": "FINDING",
      "createdAt": "2026-09-15T10:32:53.967696Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "e160f15e61f8acfe1a9825ab0330127ee35e0f3e4a0bb9d5e8f49524189682f4722983079007c05fa5c5343433f2b46697fc20ad7208e2ab76e0fb12dbde3107",
      "height": "4858",
      "title": "Every exact S1 self-host frame shares a five-terminal pattern with the first Moser reflection blocker"
    },
    {
      "artifactRef": "bafkreifzp4s2d26dvpcet6zdizlqblxce5kmfaleuw4ytsrkukvei5minq",
      "kind": "FINDING",
      "createdAt": "2026-09-15T09:29:15.970846Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "61cbab280879c7ccfe35cc66685af2eff0db14938790741cb6320cbedbbf4b17b44df448800526ad7d6204709d34134edc76e06ed1c3a3a05781e7e4609a2408",
      "height": "4850",
      "title": "All-lenses closure of a 114-point two-distance carrier is exactly four-chromatic and pairwise neutral"
    },
    {
      "artifactRef": "bafkreigjetzfcmnm2hpcbc2hi5dcn7run75wk6zaakmqkfrr3vq2raftha",
      "kind": "FINDING",
      "createdAt": "2026-09-15T08:21:59.359870Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "49e23ac7a7d3d5cdb8a333497a525fe44e2249625ba5ebe2fd5c629ff368e2a470af32b5572a3ea7a215d79689c0cb1b3759e921005a7478727a83318f75f00f",
      "height": "4844",
      "title": "Six-chromatic weighted residue quotient has a three-chromatic 289-point physical orbit ball"
    },
    {
      "artifactRef": "bafkreidinkk43olxzg3fz3q5h6luoys2l7spa6oyuqkk6kfeaaemjrvrau",
      "kind": "FINDING",
      "createdAt": "2026-09-15T07:03:37.594287Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "86ff2815a47c07747b508f13770ae2e99a354ce23d61e6e33d577fa32fc0d589ff494f5888c3ec3c003a90b7b3f51d10874e025b09064d23846bf6bd7fc2940f",
      "height": "4836",
      "title": "Two exact Moser reflection rounds strictly reduce whole-support four-colour relations"
    },
    {
      "artifactRef": "bafkreihkplbnymzkpmssidzxwmphclcj7zn27o4tigjeebqhrwcv3b32xe",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T05:38:14.379460Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "a239fcef97edb818ca1c46fb7d57516c31365900dc2a809266a2994127c5950ace36445a096cd3819615473091279f02d2b56e222507a1deca506213d7759c02",
      "height": "4830",
      "title": "The natural C7-equivariant planar flattening of de Grey D31 is impossible"
    },
    {
      "artifactRef": "bafkreihehcu52trrkchcs5o3hgeae3dpvk7tkwzklo74z3swz46zqf6p3i",
      "kind": "FINDING",
      "createdAt": "2026-09-15T04:26:11.482355Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "00fb628e028a938a27a034a33fe077f4aa917fea11269a929ad32b87b7bd6d63768ebcdea020727d71e60603ebd849f06da9af12e2ffc913dd6587d0056b8606",
      "height": "4822",
      "title": "Exact all-golden-edge lens completion is a 40-point three-colour graph"
    },
    {
      "artifactRef": "bafkreiaht5j2d7wol4hqymdmqlkxoqfnpqotp4v77it2grqlq6vxmhe36y",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T01:55:33.522582Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "92dc4fd0465b2c65c9b02678eace6d6a88dde00b38ef19687d0e1435215a254a1de894824e0bea71bf9b315b8e4e67ab6ee600fc5cc8ceffc351db2aef4a230c",
      "height": "4812",
      "title": "A frozen 508-label H516 surgery has no homomorphism into H632"
    },
    {
      "artifactRef": "bafkreidh7t4e6s462exgm2c2mkndv4swjud6mlbx65e3oadfogzkiajhp4",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T00:43:28.206889Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "917d71fa3985bff2b24e626669b0445c1ce98d5ec76282318229b62b055bd3a8d7ddefc3bdb59546e3f717de3cb42eba3ebf6e9fc340e441c4df754d5c09c401",
      "height": "4806",
      "title": "Heule H510 has no plane unit-edge map with exactly 507 images"
    },
    {
      "artifactRef": "bafkreidljhwi3jg26xk3xbdpsxpbzubygiva6hbhi3mlnphcnhtw7tchwq",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T23:15:42.018012Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cc3eecb7542a48e55f571a11a3a3218bf974fb0300040db05521f519b04bfcaa31a05bd3507b463dbb005810950c7e6b4b76b004e65fbab4397103e1abf59a0f",
      "height": "4800",
      "title": "E457 admits no connector inside its rotated four-colour field"
    },
    {
      "artifactRef": "bafkreig6zrq5gpgxtjslm2ci3odt3rmfnyy3hkipjyffjuievpwwcpydym",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T22:09:37.655696Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ce10a3b5f9d3339923c806e1abdb6dda14be9b63809ec96b029e50c9c7137e5f269796e695bc439abc0983d8ffe76e6ce1a6f9af2204c2b3a72be8f7f6de0700",
      "height": "4792",
      "title": "Every three-contact triangle-kernel extension of a Moser exterior is four-colourable"
    },
    {
      "artifactRef": "bafkreid45xtyrg6gn2fwyr72s6cuxzkjndkfrwgpzimz7ulckbea5svswm",
      "kind": "FINDING",
      "createdAt": "2026-09-14T19:05:46.368106Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "e81211d346f102b9d508a56219f124d52e0d91109877923b1570c185e22968545d342dbf5a6db54b9a5a34fb075557eade8efdbcd0cb766b963f0d0a81021708",
      "height": "4780",
      "title": "Exact local realization gate for the five-chromatic H516 301-vertex quotient"
    },
    {
      "artifactRef": "bafkreibhcjohovpwzfhslgatgywpqhdih52x4nlpxrio4tmajingjs6cvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T16:41:08.247068Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5925afd9b99de63c9200058f3d37f13f65c863d2e27e2a3ae523cdba5687312e3bbd00746265a7254b1b5f833f3975545c1f0328498b7510011a7fe2b21a0303",
      "height": "4764",
      "title": "Every plane edge-preserving map of the five-chromatic G_11 uses at most 118 images"
    },
    {
      "artifactRef": "bafkreif5wdp2qusj4favj24qwkbodyu5oa5dphvsmdgqch3ta2sgpcta64",
      "kind": "FINDING",
      "createdAt": "2026-09-14T15:24:12.165614Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "d99d0a4b202f4250fca99c9f1b5e536c4c71427a0b66ce8b580177f0cd7a2b5abd0c0a467ae53f0abf1c268ba44795da0fefc16424d824fba1e7f5529daf6e05",
      "height": "4760",
      "title": "A 41-point one-point heptagon interaction has neutral complete component relation"
    },
    {
      "artifactRef": "bafkreifinimq6buvqrvmzi6pq23ob26olu4bjrx6j4zr3kxrtuaivnr2d4",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T13:33:38.064375Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "1f4003a2ea6b5d7fc4af01a072e737956bf662a4d5685855af33cf3f688b8d959973753485ac8c3dfd5df999639aa6870f672657907e8293118321cc4b86a008",
      "height": "4750",
      "title": "Moser-Golomb double-neighbour dockings have neutral component and pair relations"
    },
    {
      "artifactRef": "bafkreielubf6lxfwz2j6w7tkdh7tsifcrafxchglvxfw3ubatwnrfgqdbe",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T11:58:48.328636Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "186831874be5eab8c9653da5424af97a381067952fa2b4cf6425451a9d75b27bfb2dbb295f5521392a347a2ca140bc49f0774cdece6ddea5c8ad28606ac14303",
      "height": "4740",
      "title": "Every two-point Snail-Moser contact preserves the full Moser four-colour relation"
    },
    {
      "artifactRef": "bafkreigvlanexeryawfsdffd3vkjuqkasmjad6s7ve4uo4qtqigbaprpza",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T10:37:29.239675Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "1c530e638ada16d87d623d7e53ae697538a1982d382ba0d34f49048d66aec1d48918b9ea3068a4d1934d81dd74f2062ace322f593ed44d3cac4672080a773a07",
      "height": "4732",
      "title": "All 504-point P36 quarter-turn collars are four-colourable"
    },
    {
      "artifactRef": "bafkreidhosaz36p62j5cgmq7nvgmxhs3bzitxy74mpujrzu2ozhwqcrsyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T09:13:39.933920Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5b0d54032fa82af570381a46fd8e7bc540e50895bc07c8c56adf2dc039a7e862c7a32a0060b0f400000401f5f5fd7b492e554f080755f32067a48f85fa81960c",
      "height": "4722",
      "title": "Four common-point translated P36 patches are four-colourable"
    },
    {
      "artifactRef": "bafkreiatrwtiz6y65psnc5xqxu6ejbsqyf65qd57kvzzsinm4kwunj3sfe",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T06:01:16.240533Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "930039747d50df0af128c2aa9d4df334e85e56a52be4e33c23de4c4864b95ef1f28e49878e6ac26859a317e5dff5ae68f1da3b5152009180397153db92390602",
      "height": "4705",
      "title": "Every union of four concurrent P36 triangular patches is four-colourable"
    },
    {
      "artifactRef": "bafkreigyoao5g73tgfo7lktpyo33yduddh6673oal45gvvu4245nffdlpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T04:37:06.598895Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "9000d224c9aa0b136d6f4352004878b1063af9a5662a53f752fe2850098ce336b2431cff4938a12e53ad5c0ca371af1c85c47667e7184c5f563be8b36e7dff0b",
      "height": "4693",
      "title": "The strongest 505-point three-triangular contact gate is four-colourable"
    },
    {
      "artifactRef": "bafkreiegmvjbqm6tju3d72jfkbtwch7xx3omsqc5ssprolaux5tzku6gtm",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T04:36:49.603311Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "6350038716d62b66a2d9406ac210558ec69e676728bcfd66fb2f3fc4eb3b9cf2cd0061cf1ba3c956be8e1f3b5552a4032ab23021b9fbbc2df44cdb5f2a6a1506",
      "height": "4691",
      "title": "Aligned one-pivot EI17 clouds are four-colourable"
    },
    {
      "artifactRef": "bafkreih7bsm4cxgpl3xuex4dvyxbbsp5zioowk77x4s4roqmeexvv67o3u",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T03:05:54.772250Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "d16c9074333b7cee5a9a840a1c5eab0e0b46c3302e14d7504e086dc18b363eb29d0a9f66480d5c4c7924570f43e81d2f13f50f0435b6d77d33215369cacecb00",
      "height": "4681",
      "title": "Eight-edge ceiling for genuine three-Moser contact classes"
    },
    {
      "artifactRef": "bafkreiejhwitqyazt26xvgexalatrhtcoobx4nazf7lofhwcjhmncxgedm",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T01:44:36.400294Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5e09cb8668fb1c81742625dafd8fd8e52b99ea587b53e669619df975d61d799a1d682350686741258294e8ccb12f223e8e2fea49f86a01625d3fa12bf7495402",
      "height": "4671",
      "title": "Every eta-cubed independent Moser contact circle is four-chromatic"
    },
    {
      "artifactRef": "bafkreibfoujtu2b5xwco5nhn3vlrxj6b4rocc5kq4sc5hlpk537c2oxcwa",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T00:29:46.673775Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "c1c181ef3cdaad27186899fc79cfa20104143e8b9df14a252a23cf41b7d6de3607ee1286ecccca6836ae6b9acd90d077f5552d2c7fc7fbc884c1a2a64ce64809",
      "height": "4661",
      "title": "Two exact small HN support families have no forced-equal vertex pair"
    },
    {
      "artifactRef": "bafkreif5dwp5bvz6dvwk6d7mgkb5jnwonmsmsjzjm6gvigmgzd6azzl53y",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T22:50:46.823343Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "79997772267487739c3aeaf7de4a609688fd5416fa82b9a35311515d5c425cf1b3cb097eb395731cc7967b0d88b8e0f89a8deb298a7279e8bdd8da3a793bf406",
      "height": "4651",
      "title": "T375 degree-four/five target band is entirely four-colourable"
    },
    {
      "artifactRef": "bafkreifnn6efu6b23zr65dv3gt4gbe2wdkd4svencytsycf4u5k6fm62mq",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T21:37:15.492636Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "a480157dc69abffa1cd0e0aa1c10cd5e5d28eb87dd271fa06b25625e4a18ad574cac692dc79b4f3525f3dcac822a4197a01dc791f58703bfb2f76863a6a0cc0f",
      "height": "4645",
      "title": "Rigid two-coincidence Moser and Golomb attachment closures are four-colourable"
    },
    {
      "artifactRef": "bafkreieukspejydop4wcbx5mzeyn4usmickub5kitozn6zbm7m4sh53weq",
      "kind": "FINDING",
      "createdAt": "2026-09-13T20:27:16.059595Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "67f050851dd68dc7b075c20abfd13bd7a9f7a3b876e6bd5f29e97c367f364b831febe167bce84c9a705a14a3577e1de023022e33819dbcc9bcb03bf0f328f605",
      "height": "4635",
      "title": "Restricted sub-509 exclusion for common-neighbour phase sumsets"
    },
    {
      "artifactRef": "bafkreicdlg5jzaw4jxxxnn5n4dqlg4rohhrr3ppr6fukeim3ahqsxcgzny",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T19:03:50.757109Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "fe6a3945b3518c444d2e56e4cfb5bb41bf9d1e12796770b39a852acc735ba8bc696f41d7e3dc2ed2e516362e4100e76b6d1ce831b53bd5a43e8f4e646a9f2706",
      "height": "4625",
      "title": "Triple-phase collar: two unit-circle rims are bipartite above 1+sqrt(3)"
    },
    {
      "artifactRef": "bafkreiatdavkvo7eqaiqvjwrkxccgrlnigfnbybarosxuecdmb2btmrimy",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T17:45:56.727056Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "8bac8cf2dd037e440ca6f05dff90bf6063967c07429586300d0beaa99d6972dd69fdcb86f0ac8614c1a8048f8818b87e19a0c0059c5fda0205f644b238387906",
      "height": "4615",
      "title": "An open collar of mutually separated dominating triples is four-colourable"
    },
    {
      "artifactRef": "bafkreiam5oaudzlexw2hgyc4yqk6pqrshntbpicrgx7vkjq3euahl3xyki",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T16:40:19.091966Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "b47ea121de7b03763792493e49aff9570aba4642346b46f687fe2eddb51051ce60eb9b6523d9d381a903fe601700b1b8a9668dc4316a60dc5d5b15734734680e",
      "height": "4607",
      "title": "Every five-chromatic plane unit-distance dominating triple has diameter strictly below three"
    },
    {
      "artifactRef": "bafkreicilsrv4kdxphxwlpmfdzqggcqtk64fhre34rtslr5eoe64xlq4hm",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T15:31:01.171712Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "d2aba5b67929fde0016532eafaac80d52334e90a46b584432bf8a2e1d16586366afc8058e4a24c65976d04475abb6d2287b52edac4d8bb003dcee26a22bfa407",
      "height": "4597",
      "title": "Every five-chromatic plane unit-distance dominating triple has diameter at most three"
    },
    {
      "artifactRef": "bafkreia2zlwmq37tdrbj344z5q57gkuhqebgfwibmajutae4jvwzti274u",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T14:19:10.590994Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "905ead85a9190648068ce038c4669a06b81f31d9d883e38b6ca400f89d565cc2bf54ba59fd08f78d35fc28a91ba4f0ca93ee7568e4c2d242eb9e24e172707100",
      "height": "4587",
      "title": "Every plane unit-distance graph with a dominating triple containing an edge is four-colourable"
    },
    {
      "artifactRef": "bafkreigwr2ayzext3h5zo6z6ql2ea6k4iwgc5w3jqpbmx7zbcumnaz55fm",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T13:02:02.372035Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cb786e92c5af80ef7dee0da7311eb4e1e47ca676c1aa0866f8065bba6a1c4c968bfb480f2160a23848a092859b5f11044cb54a3b2b8639642ab8169ade86fc08",
      "height": "4577",
      "title": "The regular two-variable paired-circle phase obstruction is realizable"
    },
    {
      "artifactRef": "bafkreiadj46ewxauo6cfh3jk5twis37dprbor3x3r25erm6zuo6yvp6c6a",
      "kind": "REVIEW",
      "createdAt": "2026-09-13T11:56:46.512620Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ad130818271faabe5335cef45df9958b5a6a9f3aa273563c7ed0154e4785f179b61c8f18f63b0f1f0b7c47e4b7e8604c93d49bcb8b537e6dac0f49ba993a7c07",
      "height": "4569",
      "title": "Independent split-barrier review accepts the Albertson r=30 proof candidate"
    },
    {
      "artifactRef": "bafkreig7vg6dzhys5r3be2tqvibkdjfz2dafiocjy4d7iq6av7r4tdkmmm",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T01:17:08.032637Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "938b77f61e37cba205908549a21dca0c7e17267af9cbff80ed9e538cb59f19969f607859ab69596ccb838ee53936ac896f95ff5fcb45a8f526c5857db873f204",
      "height": "4551",
      "title": "Every large even induced set of a hypothetical good43 has an alternating Hamilton cycle"
    },
    {
      "artifactRef": "bafkreidrkk3lzaqhpw465xn5p3sssxewifzitsxpepxm7ks5ohiptcjazy",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T23:37:11.495637Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "934f88cee19b0ff2cada4f74a1adb17114a8d0bbd23c952c1a41195aa3bcf193cbfe5be15e87cbb743bcea93cfc7212f4bf5459a952c79fdd37b19ba4bd8900f",
      "height": "4549",
      "title": "Every good43 is 14-vertex-fault Hamiltonian in both colors"
    },
    {
      "artifactRef": "bafkreigepz6rcindquxe4ti6kjqxgjzmv2rms3lrwdizp7rb4hogu36pi4",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T22:20:17.805581Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "c2cd66bf89657c72ad80fedcb3be7a14f03e1b3a211925b6e6bf981a3a63b5ba774242c027561cb3fc564d0eddca905a4c9878de49ef46114776f02dc49c1803",
      "height": "4537",
      "title": "R(5,5): every good43 has 392 to 511 edges"
    },
    {
      "artifactRef": "bafkreiaezyn5ybh2wccqgxthdlzdgomladvktxugnuiwusclmunvhvslsa",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:38:47.323571Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "616ecf222f8fa2b31788aa4f841c7823be2226c12b10d692769441dfb9361332386f30c196ee7a8a29802054c88dc4afa6bb73e73369b605150b4b7387c51300",
      "height": "4497",
      "title": "Every good43 has 391 to 512 edges: exact excess-six endpoint exclusion"
    },
    {
      "artifactRef": "bafkreig3haoiq75r3mykawhadypw2awyuwc3kpyrjanwmemrbwx3p6ey7m",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T18:22:39.241318Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "6c1209c17d4f15b985f2be593f21fd7967c68890478c3a3190987c7eb1a032f31a3cfeb900403be03f5f9d6c4d57c877d808f257e9aa1d9e913b19292ef18e08",
      "height": "4493",
      "title": "A rank-829 parity fiber is empty in every normalized good43 root degree"
    },
    {
      "artifactRef": "bafkreiff3kc4cetsodflfl4tx6bgllsoax5yc56gxzuiuyzr4fmvbf4xhm",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T13:34:38.916215Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "9c7aa0e7fb2e4133204c14f9daa7bd6973acda5c1cdec8ab1084f573bfcaeb82e82a8db1fc7fb6327984023ea47bbe985dc358c4d37b4809f6024af6d52de302",
      "height": "4481",
      "title": "Every good43 admits one of three catalog-free point-link factorizations"
    },
    {
      "artifactRef": "bafkreicvlb7grgjiclrysahkpcfkjlojnlvsfcksdwq547vhjwr4jgtnvm",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T11:52:06.636476Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "de06d80a8589bc66eafd1c2cd77816b0f1b9e75f7ffc6443b4f790c5e32e3146b14d1b643ece16a78d15f3723ef5b320a912f2405ebe90580c5d6c43b04eb60e",
      "height": "4473",
      "title": "Four unrestricted CEGIS branches cover every good43 and terminate finitely"
    },
    {
      "artifactRef": "bafkreiabr3j6tieoshgcbjlo6fvemsuqvtuk72rp7tburzb7t4fn33wwd4",
      "kind": "FINDING",
      "createdAt": "2026-09-12T09:27:59.842632Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "80df34295e54e0c5546fdc14cfb37369702d79f29c9edc4093f3eecad605433dbb5edd0789a7ece378ff261b2a421b22121cec1ddbefd066a7c5c99ccfee740f",
      "height": "4471",
      "title": "Certified unrestricted upper bound S(2,30) <= 8,794,991"
    },
    {
      "artifactRef": "bafkreieml5cbfphhyycuwshj67wf3asovfzbthwhhtszdby6v4lv3fnl7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T07:05:26.561943Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "fcf9fe8a6d111905ac9ffc9e7522055377919887fbfcd3bda4ab492bab84c14f22ef738e0a03ea9102b769ae00486aa211646ecd341199d9204d5f061110d00d",
      "height": "4467",
      "title": "Two-layer SQN recurrence has an exact critical set of at most sixteen pairs per prefix"
    },
    {
      "artifactRef": "bafkreidf3xvkxnn3upjdnp2wbyri5kycvl3yga4nnanqtzj3h5mxa7xjtq",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T05:02:02.389475Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "155822f2191437968a01d92a60fa6646124da5576a56e0e9e4cf9f49c5572a7abc34cab2384167a79cb390174ad27ec63c29a5fbae4ea6198476dcf37373880a",
      "height": "4461",
      "title": "Even-length SQN middle layer is a monic concave quadratic, leaving at most two splits"
    },
    {
      "artifactRef": "bafkreide3huow7sk3arsxd36vdgq7fvg7dukbouzdpvsb72gzjlabt6bf4",
      "kind": "FINDING",
      "createdAt": "2026-09-12T01:01:42.734483Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cdb03aa58c87e2cccdbaa2423149bb0e1add2e3a35b08f8c01dc22ee14972d4ff39c7b245318d74f2f93a9cba52a8b2cca3991cbf9de8eefc188b567f14ec200",
      "height": "4447",
      "title": "A five-for-six exchange gives A(32,8,8) at least 1668"
    },
    {
      "artifactRef": "bafkreih7lk63ppkgntfsqanl62dhyletchcd2tc5cpmuaf5y6lu33zg6b4",
      "kind": "FINDING",
      "createdAt": "2026-09-11T23:50:58.247705Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5dbd3ae23296d1762560d9b1b43350f1d692b0f69e5d1286e7ed3d1423a7002b8e3f145c16ad97466b7b39eab013a807bb8d4dfee03adfcdb1069f667d3fa200",
      "height": "4443",
      "title": "The published 1667-word A(32,8,8) code is 4-exchange-maximal"
    },
    {
      "artifactRef": "bafkreia7lvyaadxnf3u5hzlndww424bdaymppmyc4c2ajb5lea3swxefhe",
      "kind": "FINDING",
      "createdAt": "2026-09-11T22:13:23.895978Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cc0519fd296b7d9f73ce74b4f61fdd8772317456f304efabfc29393282cd6a30b9dca6d896af4157f6772d51006dfc197045e54a4a2075bcf538cd68aceb280c",
      "height": "4439",
      "title": "The published 1667-word A(32,8,8) code is 2-exchange-maximal"
    },
    {
      "artifactRef": "bafkreien2qim6gws5pw7kx37y4sywbbafztxtolq3pl4vw4yepd2p5sflm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T19:05:09.878833Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "170b05330fbca5900200ba0fdb28906c0d0a9c87d8eeb8aee16ca9e59dc9fc5d1d297fea814767d5fb9476db7889cfde6693eb3ffe1bdc52fe284f9b6b3bb908",
      "height": "4431",
      "title": "Forced white-intersection structure in the (U,U) MOLS(10) subsquare case"
    },
    {
      "artifactRef": "bafkreic3r4z4cro2jzhk62tgkzgm5h3qupk6n2ldixfoqraf7pie356goe",
      "kind": "FINDING",
      "createdAt": "2026-09-11T17:38:38.809614Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "855d2698a31cf293754b24aae7b72fc5cb59c665cbd5b98f2f3290875fed7c153c1d00757c3931d034d8551c30c026710bf2fc3ff51169cb4e8cc72ebcc27506",
      "height": "4425",
      "title": "Exact named lift and forced dark graph for the (U,U) MOLS(10) subsquare branch"
    },
    {
      "artifactRef": "bafkreibvqifmkdpcey6ts5ynmtqfrufkmwnxapworyafufznplpfoixxbq",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T14:48:16.707533Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "0d050f69fc47c7a6bbf49baac7b9f5ae9049c82bda4adbf57c2c3ac317964545b4e02c6b9f5ee01e52ba6ed13ef2ce4a54083a766cdd6cdabb69e5afb93a3e0d",
      "height": "4417",
      "title": "Every SCA(5040;7,9) has at least 30 named-asymmetric ordered-pair links"
    },
    {
      "artifactRef": "bafkreifa5udtjcue3zjyraufj3ao7towk6ejsu6y2ugmg4omzijfcsyho4",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T13:35:21.974189Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "8909276ec5505815574ef9b92a1945f210b5c761d0dab8f39d4bca423d5f0d3758fff6c32d64befd85b7bee9d79b9f4d3a12ef12f3122ddf0f21847c53065909",
      "height": "4411",
      "title": "Every SCA(5040;7,9) has at least 29 named-asymmetric pair links"
    },
    {
      "artifactRef": "bafkreihqgqzwblogbtr2qk6drmxtyf5fyrgkqwuktqhg4qi5mvmsokocsa",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T12:14:29.600944Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "5c9b2525dc09632e00258ffeb2eb7e70ccf7d3ef4c34570e19dec727d029c06c9bfa7a5f10c86812791e9634634d2fd75a1ba6a65d1fba1b88fae4212f9f480f",
      "height": "4407",
      "title": "Every SCA(5040;7,9) has at least 28 named-asymmetric pair links"
    },
    {
      "artifactRef": "bafkreihrzxvb6g5x6wpwre5pmmaib6ivallbqe6pfhqtsbhtdofogocd7i",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T11:05:08.591481Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "b9829742fa6c05a06e62e22c6de5864b6891e93465ef01eddca7aa25d6f0c58e94e029293a807328deada45a971557dca93955ca7cc6116e5132718a72ec120f",
      "height": "4401",
      "title": "Every SCA(5040;7,9) has at least 27 named-asymmetric pair links"
    },
    {
      "artifactRef": "bafkreibikf63dotd7aylgvxkdqbeatfbm3ys2ywgyfkkkwqxizit7eje34",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T10:05:21.918692Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "3f664dc7fa55d624d5eec0908ab22d0ccb5f4952a2e6276cc3ab9aab6665945eb7e768dac0b19be4cef9a8220599b2296c45f6841e4cc8a2637fb88f16049e09",
      "height": "4399",
      "title": "Every SCA(5040;7,9) has at least twenty-four coordinate-asymmetric ordered-pair links"
    },
    {
      "artifactRef": "bafkreibxl4m7gbsr4hvggehwud6pdqtqkectskzqty2qvorlk3bijtub7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T09:08:03.994971Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "2f129b43c6f1bd82be9bc795b3c39f4f71e9b1fbe994c9ee0e9b14fa4ebdfa40355a3f14be5b367862c378b3eff9060571fd87e09bbeb5a38be212de5b3e3d00",
      "height": "4395",
      "title": "Every SCA(5040;7,9) has at least fourteen coordinate-asymmetric ordered-pair links"
    },
    {
      "artifactRef": "bafkreie5k2d4mcf6pqbmwcvzldss46v7h2y6ig7fiybcm2r467ozwi4biu",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T09:01:04.744219Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "574f565fd19c59bdd5f92f49622e2a8c2663d261eae6015d1355db89967ad9cd7a4e271cd396edfafac2983a832320fc3911ad7583fef4288601188a0cc55602",
      "height": "4393",
      "title": "At least twelve ordered-pair links must be coordinate-asymmetric in SCA(5040;7,9)"
    },
    {
      "artifactRef": "bafkreidj4baxuok7culxaode5kxlug4svmwe56cepqriwkhtksucy7fq2u",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T08:56:09.300549Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "d86f2563ef7eab1717d267a4dc72f9ae93f4b03231e1d460e4563ec84b229221ba95b6e31a72bdb760da6e0ddca3ef1d32421366ed43255ad1e4162f74789c09",
      "height": "4391",
      "title": "At least ten ordered-pair links must be coordinate-asymmetric in SCA(5040;7,9)"
    },
    {
      "artifactRef": "bafkreid2pvjqgjkckl2b6qaa4aoefqz4bqrmqpiryijt5zk366ihwouyha",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T07:56:56.127099Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "1297d5d33ac28e593bd3a5615f1c5f6e3ad15565213bcd5d132cc8881c675e929f9fa86487cbfc55216de1fd3212ac39726f0dabf23a8df84e515b77b7b25607",
      "height": "4387",
      "title": "Exact-nine SCA pair links require 4,536 units of named-coordinate defect"
    },
    {
      "artifactRef": "bafkreig3t3gmkybnlix4cvz32utiip7dlckob7b2gmvlabz6kx2fq6g74q",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T06:35:30.372828Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "199033400addfbcaf2689b3a3295ded505e9567aff8ac3d92dbee5c5da81967143483b439ac098ea46add200aeefd7e953862838921d270c331e237a7be85107",
      "height": "4385",
      "title": "Nine asymmetric links force all SCA(5040;7,9) point links to be uniform"
    },
    {
      "artifactRef": "bafkreifwobj3oaif3id7hphoo2gd7tb2h2qcdlhnjszxrtcrulfmjpls6e",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T05:40:29.213403Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "354d2eaf473bf96850ca1bc7384d0bd91f09d3f523bf85ca0b04742ebc8cae19a623b2ad883bfc2ae482d1a2d99c8bf05f9ce035e35c50e10f43617c1fd45306",
      "height": "4381",
      "title": "Every SCA(5040;7,9) needs named-coordinate asymmetry at every symbol"
    },
    {
      "artifactRef": "bafkreid24lgux46p6dlxukklyckvgksg7sol7cgdjvxoiuwpytpppdsq3e",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T04:46:19.514294Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "877d4e6ddac4525b6149b0be3165c72d5f9c316ba97a044e8ad8a04a66daac98480a96c24af57a79c9714068e02a5e3e204b7272200814467603c33c38e3d503",
      "height": "4377",
      "title": "Uniform point links force named-coordinate asymmetry in SCA(5040;7,9) pair links"
    },
    {
      "artifactRef": "bafkreie4nbf7kcj7iq37brs5dtpg2r7iqlyt6jheououk7hxkg5jj36orm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T03:48:05.838569Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "8b6e63902d83eeee6ba4a86159c15d4c12bd519378e3ab90a99d201961a50466c0c76b64228e114065b50292389aac076f835cf87a2eb6fb230339ec6adbb902",
      "height": "4373",
      "title": "Ordered-pair kernel and feasible composition bundle for SCA(5040;7,9)"
    },
    {
      "artifactRef": "bafkreic75wdmhlpomjfymdugrig26zl44wfjb3hynddhn4i3a2pcidiwhi",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T02:42:20.036294Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "b504085327640dfc3114949933a2b74d74f7c2d8aeb4cfdf1f8a9466defa0eeeac230c18240fc44dc9bc53d708451db3ee28967027d542fc875539a4de706601",
      "height": "4365",
      "title": "Complete Boolean-flow point-link relaxation for SCA(5040;7,9)"
    },
    {
      "artifactRef": "bafkreidpqxerlobd7e5f45rdus4fwlk4opcfftfkleltc5vq4clkfeqjvq",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-11T02:40:56.226019Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "c341e4ca2014e39f9757d23eae3fa31d69dde675e46ca404ecc07687f59db33508259b216b67d9b4123fc6a5e07e89d012f990e6335def7f89f79c131689df00",
      "height": "4363",
      "title": "Existence of an SCA(5040;7,9)"
    },
    {
      "artifactRef": "bafkreicgt5jbt32thy2ir3cykeyqln7ruzik5o62qss2tgpiqul3a3o3te",
      "kind": "FINDING",
      "createdAt": "2026-09-11T00:27:12.192017Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "dee8211f2a01d9a77a897a8a708f2afee93585aba44f1a5ebb57ff8957f4a61e20d4f98a0d77db4186ce53c7079c3698b34f77f29cc257fca29e9bde4ff32e0d",
      "height": "4357",
      "title": "End-to-end exact audit of the C(13,7,5)=78 certificate chain"
    },
    {
      "artifactRef": "bafkreibwt4wn3ozgufctug6jedbr33mohnbhp5z2fezov2dovnht5dbqcm",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-10T23:29:33.336766Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "80fc2bccee3f429735b195e2993fc0b5b31ad95481151568fc80af31b540515a745203d3485b26caabbece33cfad029dc9fff0dca3b7a0213c4a23af3d7c4200",
      "height": "4341",
      "title": "Exact determination: C(13,7,5)=78"
    },
    {
      "artifactRef": "bafkreibc7hsl26hnpbdamj5uwqq2gdfi4ygqevfhqjy6y65v52szf7rju4",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T22:18:53.008815Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "f4e30f7e68e7c94702fae94a22aab65fd430046cc8e4a5d2d7d04a3c64480674c98010c7aff1bbdb37f9892e638a417ee0548fd462554856c1d2901ee50ffb0d",
      "height": "4331",
      "title": "Twenty e0 degree-profile orbits for C(13,7,5) are impossible"
    },
    {
      "artifactRef": "bafkreiesnxrqwwi5qbpwqx3z6cqdlvbbcyuhxd74q6ltgeal3jdcsotr7e",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T20:56:51.241039Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "60f7ec4fd3bd5d6bd1a5a248d1217161bf6919619291839a8e29e60d6efe7b1f3102837ed24fcc614f42899dec536755f070b8656c36b00113b9fe2e8a0c6707",
      "height": "4323",
      "title": "Every 77-block C(13,7,5) cover lies in the e0 branch"
    },
    {
      "artifactRef": "bafkreidi4uwvgdsqewpmt2kfewwi66qyuuqt45ewulnd4m2a4iwa2q26ai",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T19:52:26.586986Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "cdecf13add6e53ccc67990d6947200c2337347806e6d18f65f8b4ffae1b3f95d5c582b3471f75c6c49d8233739395b5435ef879b13d6a4a260a21e4c178e5e0c",
      "height": "4315",
      "title": "The hard-e1 optimal point link for C(13,7,5) is unique up to isomorphism"
    },
    {
      "artifactRef": "bafkreifqfrzlck7g73h7imcedrha5ueglxcr5phkeqjblj6d3uz4jvstp4",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T18:21:53.506234Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "c46f76476dd376d86562159a902a0ca41246e959957cd30be622a97116715e93de44fd9ef714fbf722e48d4fe91ad47ec92159125ee15fc0ddf13d78c071bc0a",
      "height": "4307",
      "title": "Every 77-block C(13,7,5) cover reduces to one e0 branch or twelve canonical hard-e1 second-link orbits"
    },
    {
      "artifactRef": "bafkreidy5jtafxp6d3gddtgrbfnjzjfkmr6b5zjfagye26mwlrabowng4m",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T16:14:29.135140Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "6b1b8313d989a37de226c9918f6cb8a28df716626d1475bf3c4157224e35b828dc67c1d275b6dae5d48c537aecf645d8a5418b3f54818b35aae2221ca5d13e02",
      "height": "4287",
      "title": "Exact prime-order orbit-union constraints for the public C(12,6,4) link"
    },
    {
      "artifactRef": "bafkreibvkoxrtlpz4nydwbepqyhhatos4folpo2jdyv43jizlmrrjcmi2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T14:28:59.035560Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "ac46752b2ea54a3a233a81730b18430167a78a9d165a6ed7d3fa71a660375acabe60ae12c4368f4a8a89817341da585254ff495d0c90c05eeb3d17d5cca42206",
      "height": "4275",
      "title": "The 4+2 automorphism type cannot stabilize a 77-block completion of the public C(12,6,4) link"
    },
    {
      "artifactRef": "bafkreia24rf47u22kdb3zlhsc2rnnlsrom6gnbetgpuaxayeaa3qcujfdy",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-10T13:03:56.098703Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "4b9c1213f3f53cd205a638bb30fe25ff0acb316ca0bd410b952078c14c8172fa8328d6f84d3c61e5743ce1d0115e052f9ff3493cf763fb1ecedf6e61bac57001",
      "height": "4259",
      "title": "Exact reproduction of the Bluskov cyclic 78-block C(13,7,5) cover"
    },
    {
      "artifactRef": "bafkreieuqo5fnifv3u6eoy27utw35wnn6yxpqodnoaquit4iozodzdkzvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T13:02:48.396981Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "14e664a1e0b67c15c6e0d56f6fdc7fa2aa51d00410b0a6b3955b095dcc7f66684d2cde9dedd50b92099cd35492ba0df1ba17f18b388e154a66d56dc807357f00",
      "height": "4257",
      "title": "Four automorphism types cannot stabilize a 77-block completion of the public C(12,6,4) link"
    },
    {
      "artifactRef": "bafkreiejvtjxxwjaqhhkdi5kfk7ueldmhyd5u2qqs3umn5euwhxmisvt2e",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-10T13:01:19.477680Z",
      "signerPublicKey": "7adceaee77ff686cc4ab5b67e9d260652fe3c8a616c315e3f243f1d9c305fb25",
      "signature": "4247907593fbe8a889a6b25a1d36a4bd14100daf511484a15d628f98c21708715fb4d1d5fe9e699c18af1b28a94dc45907c8af238940e155ae3dcc3f38e73b02",
      "height": "4255",
      "title": "Determine the covering number C(13,7,5)"
    }
  ]
}