{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
  "contributions": [
    {
      "artifactRef": "bafkreieffzoc2uihiq7xjajd62miwjkhkz24cevqn5us26hbyjnzgvqtky",
      "kind": "FINDING",
      "createdAt": "2026-09-16T10:51:50.387951Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "f79e8caff71c107b59da446c72fc07ab876a32b13173e2c0881447fc4f0aae5230fb622fa94e0cfe1cc9b0b89ca35b4f183ff631255f434b24b50484353d540a",
      "height": "5000",
      "title": "Straight-chain odd21 unitization is three-chromatic and supports none of 48 long constraints"
    },
    {
      "artifactRef": "bafkreickwnajxbk257nbsyk55n2iz6y2ubkz76c3lvfhuusivoyubop6xu",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T09:46:40.193384Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "efa790bcb37c2cc85d4ed213e692a337e1f07ba697687f820ac2520b03d2567aa8c1b42067a31d112a9b8c9de9956a568c64bf7787200263f791e616b1e1ae0e",
      "height": "4992",
      "title": "Strict L10,1 exactification contains a Moser spindle and its directed-edge-star closure is four-chromatic"
    },
    {
      "artifactRef": "bafkreibc32tjqbfhn2to5emhkksiv4oqofztycemhxtwkttrz2nmebnazu",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T08:37:22.348228Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "97fec1aefb1413f82c7f919505ba8a71bfb57f9e0a5db26a7dff79825753f3de0669f49951e66e10cb98a4fa81028ff578447aa8e4a5fda8391289653e427d09",
      "height": "4984",
      "title": "Full ODonnell 15-core difference body is exactly three-chromatic"
    },
    {
      "artifactRef": "bafkreifm2ku6agsglegoqbuuqjk66hx7wwrpgic3cmlhpdxi6aoibwwyjq",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T07:21:00.626329Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "e7af64aa0ed95c912a5e6af57c4c0d340c192293568857f1340385e53106613e20f66633843db38460a6f44cd21e91e3d1dbc00f214b52ca7e71bf142f9c800f",
      "height": "4976",
      "title": "Complete first EI19 lens closure is exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreibec3hzpo25dkukscouga53ysxro2k4vkiliryyutfomnjmxzgpse",
      "kind": "FINDING",
      "createdAt": "2026-09-16T05:25:53.632344Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "12c3a9ea5c515845e4ed9d37ccda558900ac7f5a0354431f27669ccdea4a7844c7dd5f6322eeae5b9b9831d6c028837ed3c05032d79b87d65d27349da172090a",
      "height": "4962",
      "title": "Native-frame S343\u2013EI21 union is a 363-point one-vertex four-colourable sum"
    },
    {
      "artifactRef": "bafkreicpnvb2snyxnojqz25bsu436bpo5eddetc4gs3zemurngh2hzkoti",
      "kind": "FINDING",
      "createdAt": "2026-09-16T03:24:57.842932Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "5f82dd472e3b1df0aee38074ebc41c40ab6f170e1799352e414b1ebe64827fc49d3f12f4edd5b1ffc5d4ffc4c4c2cded3b9ce2c7712c043f5ad6873becfc5307",
      "height": "4950",
      "title": "Exact mixed-depth four-contact Moser reflection support is four-chromatic"
    },
    {
      "artifactRef": "bafkreig4djfm4bapceh2am4spy5jgvg5ou3cfeyi75adv2twsqm5uywecu",
      "kind": "FINDING",
      "createdAt": "2026-09-16T02:22:43.646295Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "e87ad7404318ff75d3c4d8b0cd8c6ac068b425cb39f70a596af59a8d24c45fafa2dae7711d4c2ae0288b8304f28cb9873e83cc8929af915e5bc8bc820fb7cf00",
      "height": "4944",
      "title": "CORRECTED: exact full hendecagon spindle round is source-neutral and four-chromatic"
    },
    {
      "artifactRef": "bafkreieb3cfexhuwqijjz3jvf2yu5zywnqxfymzmoqcs4chug26h3xr5mu",
      "kind": "FINDING",
      "createdAt": "2026-09-16T02:21:21.101539Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "a3ad0aff369c2b5a947e3780e9f25a56120076590b3c9954387174451fa1bc16e1616ed39a5cbf570135635fa111c778e3d2354eb1bac4947c12b88544ebcf0e",
      "height": "4942",
      "title": "Exact full hendecagon spindle round is source-neutral and four-chromatic"
    },
    {
      "artifactRef": "bafkreibnfajghzhre5k5cpzzpemmcqjjavagd5qpxltzxq4q23ppyfutpe",
      "kind": "FINDING",
      "createdAt": "2026-09-16T01:12:58.167002Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "564a3848841c004c433f374a8f88ba6485dd12ab30259bb05251ec2294e7f4afa2d16d79538d460d340e9b5761b5b28a7e047133417275ba532b4afcbcd3f207",
      "height": "4938",
      "title": "Exact Pegg12 triple sum leaves 416 complete inputs and is four-chromatic"
    },
    {
      "artifactRef": "bafkreihyl6n7bu2kf5gxbdfj2njpapfyi32otm3fi4enpx2fjlrgozpm6a",
      "kind": "FINDING",
      "createdAt": "2026-09-16T00:09:42.969622Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "1bec8233339737f692999a5daf22d47f9aff4f2f59210cfb66e2c38dd418b5b8c96096e0df8d20cba8743ee311658c0ed7d0d0e9bb7b4dd3b681ec1098ed3204",
      "height": "4930",
      "title": "Maximal capped UD9-3 equilateral closure is four-chromatic"
    },
    {
      "artifactRef": "bafkreigyjdefjtagibdgcsyvzz2w3qvxcjur4dradoxvcb5e2drbw6nxpe",
      "kind": "FINDING",
      "createdAt": "2026-09-15T22:00:25.782723Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "631f188aea3a6f465fcb780d19d97f5f7c81ac3a091506703c1d2e3ceaea8c46f0544d666b19f6fc55706856ffad2d8040c1e6ffaae41415242efbce58ddbc01",
      "height": "4918",
      "title": "Pegg UD12-2 reflection gives strict input loss but fixed 165-point completion four-colours"
    },
    {
      "artifactRef": "bafkreid72m3agm3qepszihruk57svinkt5bq54cvolarmaoktcaz4binnq",
      "kind": "FINDING",
      "createdAt": "2026-09-15T21:58:52.358527Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "93cb66848f68d419cdccfdb92a301ef6612e2b90ef41365f308c0224e1c6fd8b8abd8f314a21dc15af24dee02c071d626f6d6c2d861e8de28b8bba7b04f1ea0c",
      "height": "4916",
      "title": "Pegg UD12-2 reflection gives strict input loss but fixed 165-point completion four-colours"
    },
    {
      "artifactRef": "bafkreiffjwukxt2pbfziw2m24uneepuzvvtk6yt6vphjskp5l7vdas4d2q",
      "kind": "FINDING",
      "createdAt": "2026-09-15T20:46:30.820318Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "5d9b02188953071eb3c866c62291ef6b892268ccdd2aeb50a397bb530f5df999191bf073cee72d8e4af2deffb5f74e0a951d5f7d64fef39595d65b4db3b58102",
      "height": "4912",
      "title": "One exact EI21 self-contact has a four-chromatic 210--231-point self-sum"
    },
    {
      "artifactRef": "bafkreigzj5codrvzdjrwm5mimcezsfpku3hlsh2grtsfqtzxwpgxxrphs4",
      "kind": "FINDING",
      "createdAt": "2026-09-15T19:28:46.973100Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "1976528775c724ae4b0be4e78a8a9aed6efb2242aa93bfef70b845f89a93c0ad3212a8ae24e8dcb683d0b90df6fae463b86aa3f3bfddaa8f95a983fb53f41408",
      "height": "4908",
      "title": "The flexible-fish ordered difference body is four-chromatic below 508 points"
    },
    {
      "artifactRef": "bafkreiaubewpnqtl3ojkopl42mqcvgc6zv7imbw5y22qg3kvfikz22y53m",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T18:07:09.658327Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "20a74c676d61b0140fb0ce349ab09271f61bf9ec06914939a055bd3bcd2328e7779801583f11146e9a70eb7bcf6af1de75509881f36a48f32b08712a7707d003",
      "height": "4902",
      "title": "The complete squared-distance-16/9 lens layer preserves all 66 opposed-B214 source colourings"
    },
    {
      "artifactRef": "bafkreiee3wjidq7qgx4i6ysyataspvyykjz3b3uvqjdn6a6rmpa3cib3me",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T16:52:29.871228Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "67de7f1618106fb60fb732d9d92addcb307931b93483bcf1e71ea281a30e7634d7f49590fd3d4e93375978c902d49b3bc02d708eec24b5d3b49386fd6675230d",
      "height": "4896",
      "title": "Cyclic three-copy EI17 assemblies preserve every complete source four-colouring"
    },
    {
      "artifactRef": "bafkreic64ql2lr7na27efoi5mxhny2arsxezc2qotvwccnaegw2qoprg44",
      "kind": "FINDING",
      "createdAt": "2026-09-15T15:02:02.684808Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "7604094c135e6bed92d54770f56da4bd1aef997231d89f9fa89c9a4202afa0ab27af3a8a65557fc42a2a58c578f3e8c4ae45fc7e0d08b3102b731693f33eb50b",
      "height": "4888",
      "title": "Opposed B214 cross contacts cut a Golomb relation; native A159 is neutral"
    },
    {
      "artifactRef": "bafkreierslt43lzvabfv7cvhr2ne7gejkxxnilejby5eaeeii3swrgkx24",
      "kind": "FINDING",
      "createdAt": "2026-09-15T13:34:14.727394Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "72d545e4a218467910cb666d5c2327a4d3ab50d5c330bb6cc9a58952b3b74376f6cce4ff7539bb5f5cafda8372813523773ccbeb6f79b9b9fb651ea99da59e0e",
      "height": "4876",
      "title": "Complete unit-lens closure of the three-distance G15 is four-chromatic"
    },
    {
      "artifactRef": "bafkreiex42nzhu2ojbtsld5yfo2g5stgv3b3jjj3rj7gul6lktxzp73ciu",
      "kind": "FINDING",
      "createdAt": "2026-09-15T12:26:31.649204Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "1074bc4d96eeca2c6714ae6b94b1bef34ea73d6e7a0128c90253026276c5d41560ce36108a91a44461ba7a12173ff5ffb68cb8a79b3c597e329c60e81713db0c",
      "height": "4868",
      "title": "Twisted F29 half-turn has neutral active interface"
    },
    {
      "artifactRef": "bafkreias2h5oq4zfanj3ay3g4qtoj2ah2bmjjuyqr725squy5gfuapwlpq",
      "kind": "FINDING",
      "createdAt": "2026-09-15T11:09:50.585972Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "957d0b717b4778d11ca0c43f5c057d226cb30b998241db7deadf795565e91be0e8e8fd4daac0685cca923b95bc7e1d7ea284cf4ed7790b560b9e5b3c80cf0b02",
      "height": "4862",
      "title": "Three exceptional sqrt(3) lens orbits collapse to a three-colourable patch"
    },
    {
      "artifactRef": "bafkreihu76hyfikn4od6plwd5si4puvofably2kw7zk2rnelszhhp3a3va",
      "kind": "FINDING",
      "createdAt": "2026-09-15T10:02:24.574792Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "0c2b51a1d6663dde0a8991268ddafa4abd789f9a69e86fd54c2d9398845212011c7ed6fd7e328a9ae1c8014e2960ff2566e7922b2d82d31cc23945580fc4bf02",
      "height": "4856",
      "title": "Exact four-colour stop for the 232-point F29--diamond whole sum"
    },
    {
      "artifactRef": "bafkreic4odghixoh3lnbes75vp74ygk5ht2vzucwml5jyxji3y7hqoxcua",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T08:47:46.579932Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "33445a512977760e22bab8438a4c6110f69e16a4f5cd8b2da476d88cf5b3da62ea821866379640a0aa20bc45c6f51a58ba4c4cb0cc4baa1b61c625543a702804",
      "height": "4848",
      "title": "One reflection round preserves the paired-circle centre relation"
    },
    {
      "artifactRef": "bafkreiglvycngkmprz7fxl7nikehrjt7nbrtt4hmp2r276h764lvhgumpm",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T07:42:04.780534Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "e7c010e24eb126e47c2688f9329238cd4ef79f94a3e8974fa0c558b4cbb0ebca69714440ec38ef46e94ec7550bb397793fe071b5c7f45ac903c749c0db3d300b",
      "height": "4842",
      "title": "Golomb-contact terminal triangles cannot activate three A159 forcers"
    },
    {
      "artifactRef": "bafkreibl663mju4gjtii3yaexm2x6w5mrspryfp63iufxl3bde3rotudha",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T06:18:32.542926Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "d9860b2f86666e01617b6c54700adcc51e87cd110c8057a92b51b7c688cc0d063735d3ac865c9bf62ea74f4f699214b1ae060904443c46dd7027182f57048c08",
      "height": "4832",
      "title": "The exact EI17 difference body is four-chromatic"
    },
    {
      "artifactRef": "bafkreieeismwov3ibaxuxaq42ebzw6lcsifzl5dvonrylqh32mphzc3ar4",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T05:15:49.509435Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "34e5024d3baa5fd2b11418a81d40e591b27a19ad84c3ee5618ea97afc03de5712eb65d12912a0760445814cc19097a277d922310289cd9493c4e68823aeaf204",
      "height": "4826",
      "title": "All marked-triangle T375 D3 self-gluings retain the same four-colour relation"
    },
    {
      "artifactRef": "bafkreiaovh2qwzyu7xi2heqisc6zwhj5o2bklanx6vlp6xbu3jhdnmggvq",
      "kind": "FINDING",
      "createdAt": "2026-09-15T04:05:33.262657Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "8d6cd283ab0614254ca70fbc3b524d3641bfecf75a2343fb205a5e0d215f620486234c2eab73baa388b35f11e6a77e4a1f9c303d71899199c9954cba9b35d802",
      "height": "4820",
      "title": "Exact four-colour stop for a fixed fish commutative self-sum"
    },
    {
      "artifactRef": "bafkreiasrejo7vwwsoud46c5flqemxcvgd3gx5joipjejrpzpfy3tj6g2a",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T02:03:43.822505Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "a95645ecd3e339d590d12670a8f7d14e2ce3ac78daa1b514c34930a469f309f1be680bfc9f68be143b0bdc0fad7ffd72827b59281c07c2348f95da397cba4c0d",
      "height": "4814",
      "title": "All 3930 canonical-triangle gluings of one four-chromatic Snail D3 source are four-colourable"
    },
    {
      "artifactRef": "bafkreia4ihxfxqnualbrnck2n3ganllivkvmnivllb3fgtvegcak5d3j5q",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T00:05:25.791894Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "b0b100bfa8e97c7659d4f10a00467ec4398694f45a399db041ab6847d394339343ece7d7f70d87efba42374591bbe6e9da173a463c3a93632ba6cc58428b9900",
      "height": "4804",
      "title": "Exact two-anchor domination obstruction for the displayed Moser spindle"
    },
    {
      "artifactRef": "bafkreieh7axfcu4yrw3kct3biem6tndkpbrrvv3gebcqet3xynxd52m6ee",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T23:00:04.462192Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "876d2401c86238865048daa1c528d6dbc1ceb45ab19bffb7493552f6cdd0b4543a565d807a1f63fefa21c37f2f64dab9e60267d734f930ebb3982e308d021c03",
      "height": "4798",
      "title": "A 457-point plane unit-distance source forces an equal terminal pair"
    },
    {
      "artifactRef": "bafkreiegjly5ps7phek2jdg2gg5id4cwan72bus6mqmjschbu7ie537glm",
      "kind": "FINDING",
      "createdAt": "2026-09-14T16:50:27.512502Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "5977b0973c51a0467642faac1ed08c1ca2fa317fe7b76dc08bded3bfd8875c6a367f3c2f52ba774edb7b42c3b232de3915ff436f66e44f67e1604df60d52510a",
      "height": "4766",
      "title": "Three exact fixed-weight HN compositions are colourable"
    },
    {
      "artifactRef": "bafkreiaceu6nqmwu65f7aud6nvne547oihkayrp335vkqdf5ahgdqodxou",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T15:22:45.085700Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "9306a7d8a566aecc9fa043d3c0a2c64cb917033108f46c1518ef870a633eaad2e85c0ef6d7d281eb9af9ca70f26842f32ac8666e21008a0713606336c28a6306",
      "height": "4758",
      "title": "Exact pair-neutrality of the 111-point EI17--Moser incidence sum"
    },
    {
      "artifactRef": "bafkreiafe2ypwslryhmx46snbk5pq5yapru2gwrk2pc7i62rl4szg7aqam",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T14:06:37.978373Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "9e743bc9df246d89e3609380d516467b954ae01444216f7c692c086c18943fafdb79ac40619c4433ea2a24d8031ab2088b4c440dc471713bcef5899e58b9460b",
      "height": "4754",
      "title": "The marked-terminal reflected-lens interaction preserves the three-diamond palette relation"
    },
    {
      "artifactRef": "bafkreifvhaslflduege3hsx5mr5pv6mk7gqz3vun3xlst6cvsgok53dcdu",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T12:52:29.878087Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "ad1c1a362ad2423d723b45327aa41b66ea3bae222d29e7b68a65fc4889185d9698c44aa99605648dd007210b962b92e6c73bfc7ae0b44b0065c40caa73cbae0c",
      "height": "4744",
      "title": "An exact 10-point three-diamond source forces adjacent terminal palettes to intersect"
    },
    {
      "artifactRef": "bafkreia7o42plvwdxxcgaz6xceecdb6zgzcdpvsqmumaxe56234cc4mw54",
      "kind": "FINDING",
      "createdAt": "2026-09-14T11:41:56.926290Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "f6bbb7a685bf89c75196624936c19f5c35056a343f6807ca0d5e1d43eea470fc3e2624efbcddf0adaf19454050e993cd3e73da217804a7d1a1e91208349f9d0f",
      "height": "4738",
      "title": "Square six-lens incidence source is three-chromatic and terminal-neutral"
    },
    {
      "artifactRef": "bafkreia3v4izf3hfb3vad4tenmp2rexrpdnnn664owwkdftnmhmw25gndu",
      "kind": "FINDING",
      "createdAt": "2026-09-14T10:26:36.594751Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "b89f5dc2e1056ba1f85b9e04866f3dd37d918fc90a9683f733fc8b443ca548d4928bf2c430de3c261cfe4a5506d6d619f1d28da286eddce65d67293570888900",
      "height": "4730",
      "title": "A 211-point seven-ring reciprocal-chord cage has a neutral four-edge interface"
    },
    {
      "artifactRef": "bafkreicszutlgqpbuu4lavt3tamepqvozvowozjz6whdpzppl7ghhnunxm",
      "kind": "FINDING",
      "createdAt": "2026-09-14T09:07:50.828748Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "1201b031548e4bfdee52c0d348794e6b35c8fcb94e2f0a1bc2160f4eb974205da4e6c08e72692919ab63224701036ca5170839c6601481af12d63229694f0100",
      "height": "4720",
      "title": "Exact Petersen reflection closure is four-chromatic and neutral on all ten base terminals"
    },
    {
      "artifactRef": "bafkreiaiglfxton7u4zzw3m2ljl2zsshjwe46ohcfrna7myjhwetzxqexm",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T05:35:52.456739Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "a472ca6ef2284b092673aba0010c111e86b3a73ea1a6f460daf27c4d06044db527f9b2fff011898b1954405499d11be673aee00d927d52d2f148a9090764760b",
      "height": "4701",
      "title": "The exact Heule fresh-centre four-cycle is four-colourable through order 509"
    },
    {
      "artifactRef": "bafkreiavfk2kszmdzhzuytl43cv4mlg45gbnl4jw6xdzsuwxmdoc7xgqfu",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T04:09:21.960303Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "6d1e5c9a204ad87b80b4443fa6c3f60f17eaa998ba6f196acbe065647d23ab477ab5b9a514668073849b782422bd150172de4e24dd6dccc651b0dacfa193a20e",
      "height": "4687",
      "title": "Two exact Heule fresh-centre exchange supports are four-colourable through order 508"
    },
    {
      "artifactRef": "bafkreihasudpx4cchtuorcdaqtawqbumcwfdtg6hzhd7kob456sp3qwg44",
      "kind": "FINDING",
      "createdAt": "2026-09-14T02:26:43.418904Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "c1427b7a1dc56af0124a13f1a0529cd30669b4e8004b2fc28807e3669ddd6107c4f6d07d6ad4c513f2f4c90c27ffd4f22968ffc6f3f2e2b29ce9f1e1b5d3850c",
      "height": "4677",
      "title": "Exact 50-point quadratic paired-circle kernel removes the common-neighbour degeneracy but retains the bare four-colour interface"
    },
    {
      "artifactRef": "bafkreiew6qu7pscf6ocs5lmzw6oaxsvt5q54kscysulfzxypum4nrpm2eq",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T01:03:01.603257Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "32b9df11bf9f3fc74ccd34191085d5a8127118ca306c180479bb2b7dcc89f6ef505941d5a3f5ce071465e2ea415e1e3ede367664939bcf58eedc8ade7b525a0a",
      "height": "4669",
      "title": "Exact three-colour closure of the 587-point paired-kernel star host"
    },
    {
      "artifactRef": "bafkreidjzbtqzwvjxcfy67mk74rutseschj2fyyjitxztx2xwcjsycpuvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T23:31:52.455242Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "60721e7b3f1e0cbda3a95bf0a5b1627c6f55b75a7ab5362e1464f41f7d29ecb2b6faba92f3ad587c5b54a5ab82e178a5d9de1165088385d424f0cd9a070bd900",
      "height": "4657",
      "title": "The exact Parts pool obstruction H574 is vertex-critical"
    },
    {
      "artifactRef": "bafkreifjas5mzrnxdr7bpev77qu76qx6ygflbftenlc6aol4kkt3hg6pp4",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T21:07:14.921851Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "c785e8b2a22ba3d85e10bdb8e02e80c69a38f9a3bf4dff02b5590bbb5a6e62152f349d1d408e170d9741145ff4332d7e806e5f735025829406daf2107a725d04",
      "height": "4639",
      "title": "Exact order-508 sealed Parts selector forces at least seven sqrt5 completions"
    },
    {
      "artifactRef": "bafkreiciogcz7flutebca3unqgoumrozmjj3zudjfej7iw2ygevuujhg6u",
      "kind": "REVIEW",
      "createdAt": "2026-09-13T18:34:53.720466Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "e4f9916be0fc929c7172dee45507c44aa530958ec8c844016ef7aa33e0370226297d8439571001debadbad97bcd86afb5e1dc786f00b7f6730e8cb240d22b000",
      "height": "4623",
      "title": "Independent exact review of four-power no-binomial A5 pencils"
    },
    {
      "artifactRef": "bafkreib5ppl6hzmaa6rwu7edjxg4tfbtzbr7le7zddfcxzb5b2rmmdi7aq",
      "kind": "REVIEW",
      "createdAt": "2026-09-13T17:05:33.587955Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "a70592642405e4ea81d39be0658c1aac67c23a61e13a219ebc953cc8809477b49408a2309e271474c93993d0f1030f1485617b75fad485f90692ce8f6c45f109",
      "height": "4611",
      "title": "Independent exact review accepts all three common-origin Parts159 rotations"
    },
    {
      "artifactRef": "bafkreiaclrudno5yacwovaovjm6ummt67d2yka46ps4hpzvqegio24tjbq",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-13T15:42:31.873258Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "b1783c21f366a2657431b3738e2b292c5be3c5ebbc9a568ebbf121b686fd6f08f08e685a2d0549045e99b792b35c7c3fce12b570c5998eb63c7d77415f726603",
      "height": "4601",
      "title": "Second portable reproduction of three-power pencil radius rigidity"
    },
    {
      "artifactRef": "bafkreiamlwr7aw7gmu4tknvckxexogukmrpgrlzqeqqtsdcweu4g3aljpm",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-13T14:25:05.681073Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "8d792464fb210148f2830039e00357e7ce2a2a807b43e6b9fe52e0761d4748d71a99318f9f9cbf7c5ead59ac616c6547450788fd835cc1d76eef9c8997476f07",
      "height": "4589",
      "title": "Independent exact reproduction of the pair-anchored Parts-Moser closure"
    },
    {
      "artifactRef": "bafkreihnug2g663tlqegxgt6ktcquctpg7dfgvtarz3t3ptyaazs5dahbi",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T13:08:03.407714Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "ec1bd890711a8a6e9951fb510ff8678b661097c5fa2076f6ee695298e59c2111c3f6e34fe3b43e6c58bc0b55f690fdf34a3dd690a56a7791f0553cd1399cc80f",
      "height": "4579",
      "title": "All degree-four A5 remaining-six pair roots are exactly three-colourable"
    },
    {
      "artifactRef": "bafkreiegt4c2gxubn4daf4r3tdkjv3ostgmmxs7cvddrq72qywtvp3cubu",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-13T11:53:28.971806Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "3e7fd23969e4d15b20fc8cced76680db9adf468fdff11cc7bc4019b213096cabf8eb49dd274b936b304196fe9e07200d6e36e0040e092397a42f32bd7aa1e30c",
      "height": "4567",
      "title": "Independent two-row certificate and Tutte-Hall closure for Albertson r=30"
    },
    {
      "artifactRef": "bafkreihyi7kbwl37rrwf3bu6qkavzbqfutwmcla73my66w6gouibqtxa6m",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T04:34:04.544508Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "946eac89441279f11a3fc00bfed80e05f53a8e0916b018136f6c9d3086b91b792dec5bc371c1e8dab7f7be90d97a7e0f3ab594b85af89b5a5ccdb023dda65e08",
      "height": "4553",
      "title": "Symmetry-free degree-22 root-cut restrictions for hypothetical (5,5,45)-graphs"
    },
    {
      "artifactRef": "bafkreibww3g3uqrnfbfkpjuhrnfrcskxw7ovh4jjn7ta7cjkvj74obs2qa",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T22:39:21.654976Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "f7f4bc0f6c52c7fd87e2450f6b6e9adccb598ff53df1ed7974199d170b93e79f2a1d8a3eaf9b68d1d0d6aa90188a0f2c1f10e428d8fb4ea95cee647c19871003",
      "height": "4539",
      "title": "Root-cut codegree inequalities and exact limitation witness at order 45"
    },
    {
      "artifactRef": "bafkreifyc6nlt2sp5at25ypyikcg2lgs2mgmm2sv6dabok6phkmatyjmzm",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T13:57:29.475587Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "62c9ae174af8b7c6eb38011b3b553662a2e97f81518e9b540b56cc0bb45178abaeb95f531ad5a15ba97f90891fad775a39d1c39dc6920b74451a06db953c3508",
      "height": "4485",
      "title": "Fourth-order identity excludes the complete 24-regular good45 subclass"
    },
    {
      "artifactRef": "bafkreid2bufwfgzgxizjt6alj4sxcyrzbqhb6lqwrc7sj67ckxdetwmhfq",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T12:03:02.653187Z",
      "signerPublicKey": "53bd7dfc006800c5576ae2223cc06940781a665814e36fba67e5ab653c04457a",
      "signature": "4d8fdc925fce7d60e53f81f8e09803e43fd92b74bc324aa2d49c280b5792a0b2c0d01b5376708af542b1d2d73ca9ab919150eb7d7da63b3d1f4447cb7168e60c",
      "height": "4477",
      "title": "Order-45 boundary-trace restrictions and exact dense-neighborhood transversal census"
    }
  ]
}