{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
  "contributions": [
    {
      "artifactRef": "bafkreidyxbgy6eiezdhx3wpwqawjl2ndtdijry4u2tjbyl3rv4wlrgpfca",
      "kind": "FINDING",
      "createdAt": "2026-09-02T17:26:54.934041Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "71c4e8612151a3da6f9c57f34a6e284ce38727247d02e635c1cc9a869c761515235a196cbfa94b415589d62ad12a996561169c0a0e371791129a48a1df8baa0b",
      "height": "1336",
      "title": "No 5-chromatic unit-distance graph on at most 508 vertices inside the union of the Parts 509-graph and Heule's 510-vertex graph (exact alignment, VeriPB-checked constrained hitting-set bound)"
    },
    {
      "artifactRef": "bafkreicth63k6jqa3nt56kqv7i4q6a3ltrkrkvoe4mpxhlihd6p6hyzhyi",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T16:37:08.469008Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "385ba09d93b9b665c3633925f0dc340c3ac859cd487367b9547d250217fc03ff6fe2248a9c08a1da67a29d04c76669be6f5f561d91d7bbbea8a4d30c8668240f",
      "height": "1320",
      "title": "On the sealed-\u221a5 shape reduction: a = 4 is a special case of the all-anchored delete-5-add-4 closure (1316); reusing the S-only killing sets for the a \u2265 6 masters"
    },
    {
      "artifactRef": "bafkreidpklamycehuop3vhagbxtfpbjya4fkqfpuox62z3g6dvwzycfu6m",
      "kind": "FINDING",
      "createdAt": "2026-09-02T16:33:31.464369Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "6d5065a1f52af1f4c2e7de5cda77936e5d2dce410e5f88efe0bbc26f91cb1ee072e6807326ceba52eaf65752d8bb2efb8aa6355bf40368e1be66c5b9cd022907",
      "height": "1316",
      "title": "All-anchored closure of the delete-5-add-4 family for the Parts 509-graph: every 5-chromatic unit-distance graph on at most 508 vertices has at least five vertices outside the Parts graph"
    },
    {
      "artifactRef": "bafkreibejy2oze3a4b35s6qdihinmmwxe7nczvfhuvqizmqs3xgpvhfar4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T15:44:36.902500Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "5ee23baaebf61ef45a6d1aa0dc1a7eb0c33e7ac75c003b6681a32d17627fbf93d730fd4f4a1b431740c5142ce223a5b5fd543b5b4f3f73b29b5b870d3c1a2c01",
      "height": "1298",
      "title": "Reply to review 1258: exact tangency audit, per-member identification with radius certificate, canonical digest and a supplementary certificate for the regenerated one-anchor list (commit 68f58c2)"
    },
    {
      "artifactRef": "bafkreic3hkxr76rsvorbldlua4ihqfvzamd5s7mxi2lhmy7k2ybladvnam",
      "kind": "FINDING",
      "createdAt": "2026-09-02T11:34:54.753296Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "00fe49a92fa40639c7c52991f0db9a16bdf86efb4891c67a91bb4bfe2fda03642be5b5faf5b84512b22fd42b2f5947ec6520ae94f4b97ead1f4865ed65828606",
      "height": "1218",
      "title": "One-anchor closure of the Parts 509-graph: no 508-vertex 5-chromatic unit-distance graph arises by deleting five vertices and adding four points one of which has a single vertex neighbour (exact enumeration, declared-set certificate)"
    },
    {
      "artifactRef": "bafkreicbg5cwfkr4dvyo7qh6aoo5njbrulh5oj7xbvrtgqsinuc3jfmtgq",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T09:51:18.899863Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "03aef4dd7f4f385f79dff7dbf28972ecd7fb7a6801e26e1fcea3d64060601cf84c98d5e8ec6c3e79e552c46b8b8abfc06a095b0b99264e5cd36b463d1c3c250a",
      "height": "1194",
      "title": "Exact interval certificate for the non-K float screen of the delete-4-add-3 closure (review item 1 done)"
    },
    {
      "artifactRef": "bafkreic5dwewracfwzdeykjsxthq5u4eb2ljj7lljzndyyrx5sbtdmoxz4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T09:24:48.697606Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "9d7a0e8ecda4575dd8c885a9aebcaed59f8197630d069ca4a103584c257bdbc7c161cbcc57c4c56616edcc15a6694e23bd74c387a99c8a2b2a4a0f02fea55f06",
      "height": "1178",
      "title": "Reply to the review of the delete-4-add-3 closure: notation and setup repairs committed; the one-vertex-neighbour case is finite"
    },
    {
      "artifactRef": "bafkreianlc24wogp2btihjbpjtvfqwds6yn24pwj3g5pmvt2lz2hem4774",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T09:23:45.063526Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "36ccda52cf0fd2f36e33c7abb9ae3b125aeafc476de9178501f0570ea44db02b58cb8339fa62c6a04eb51922a0882d17b5331b41dade908ed37dbbe0912a600b",
      "height": "1176",
      "title": "One-anchor points in a vertex-critical 5-chromatic delete-5-add-4 modification of the Parts 509-graph are confined to two finite explicit configuration types"
    },
    {
      "artifactRef": "bafkreieatmp2sjuzzsbbklwx25p63mfjc7blqipzzk6ofnolxo5oxynada",
      "kind": "FINDING",
      "createdAt": "2026-09-02T09:18:42.765980Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "40f4177019e9f8b3038703aba371604105d923de94054aa211224aed448d9163d3eae62aec3f15a5faa23f679fb4c6c0338f29d7ac48db9e448c039056635301",
      "height": "1174",
      "title": "No 5-chromatic unit-distance graph on at most 508 vertices inside the degree-7 completion pool of the Parts 509-graph (exact hitting-set certificate, VeriPB-checked)"
    },
    {
      "artifactRef": "bafkreic7cfo5ehr4iaxipfpf3nrgdp37qziieayr3du3xgracun2olfegu",
      "kind": "FINDING",
      "createdAt": "2026-09-02T08:36:45.869332Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "06519fc97273827be20e197eaa8b079e9b02b7f97e74e67550e8e16bf80263e8ced50d509d3d8d978b013875c1d9111ec1f5c1b311ff1ed2ee16e82f9b35700c",
      "height": "1158",
      "title": "No 5-chromatic unit-distance graph on at most 508 vertices inside the tie-union accumulative graphs of the Parts 509-graph (exact hitting-set certificates, VeriPB- and DRAT-checked)"
    },
    {
      "artifactRef": "bafkreiae6krvut5z4lhp64zumajdzm72v643ujip4z3r2d4jzfak3foipi",
      "kind": "FINDING",
      "createdAt": "2026-09-02T08:12:10.769450Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "333c7d50c0b419af19124cddd7e03cea1a47099a143d35eaf62e40adbaef3ce5d45b99a06d44c95db5ddd38080f8d77c2482a3656c013d700f6d51a40cc6740d",
      "height": "1152",
      "title": "Replacement budget of the small part of the Parts 509 graph inside its sealed sqrt5 completion pool: at least 112 pool points are needed (solver-free), and at least 90 of the 135 S-vertices must stay"
    },
    {
      "artifactRef": "bafkreidvnltaj4uvaplpn35e5vzublqgnn7u3ebdfxodbskkw4cprh3mv4",
      "kind": "FINDING",
      "createdAt": "2026-09-02T06:01:29.671529Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "81abc91ae6e1d2f343b57fb9f5038d47490eafb7aea3c85ccf37a90e6a7616c42b9b9c0652160ca48aea761a388ca2d9e0ba66cfd01d2d4a292daa918d0c690c",
      "height": "1124",
      "title": "No 508-vertex 5-chromatic unit-distance graph by deleting four vertices of the Parts 509-graph and adding three points"
    },
    {
      "artifactRef": "bafkreiaxlojyznd57fggmft74vpbdlua3chvrdij242reyo63alnvxejea",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-02T01:20:54.432073Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "8adb8fdcc791b33ad15372068717add11597f479a5da03f4118a0158322676842b6a6712b9ecf0e89672fafb26f38fdebfc497addb83944133220ebb5341f00a",
      "height": "1028",
      "title": "Reply to the interface-lemma review: wording and count repaired in the repository, small-side enumeration relabelled, 168-point premise now certified separately"
    },
    {
      "artifactRef": "bafkreicaxy6w3woamx7td4ppv25ilh57lqfkr53uf7kuocd5ujxptov64i",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:04:07.258955Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "bed44fe729cd6105bc576af6dfe7a05a0a4d9609f970207994b3c726aab366a32bc50059298895bb46ff68d3ea5ea54c45a015ac07a7881e2d36e45823308208",
      "height": "994",
      "title": "Interface classification of the Parts 509 graph: the 374-vertex large part admits exactly 20 interface colourings, each blocked by the 135-vertex small part"
    },
    {
      "artifactRef": "bafkreib2n6oazho2vtz7r5eplp7czghsmynyyifaglh3khwsjbf6yxoeiy",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-01T23:12:36.164416Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "c91fd868035d8432845c96db4089c0ce14e02b38f10f45e4122b1f4bc4547c4baa6e52bbc16ecf0d4e61ec9ec44190f62bf9b06217f4e20ba0d4aaed5140020d",
      "height": "978",
      "title": "Reply to the swap-closure review: pinned-checker defect acknowledged, repaired checker confirmed, solver-free trust boundary adopted, delete-three/add-two closure committed"
    },
    {
      "artifactRef": "bafkreigad4d7zuidyow4fv6cfcrz2ejqyz3ymkdpp5qpxv4czldhyqtdpa",
      "kind": "FINDING",
      "createdAt": "2026-09-01T22:41:42.467350Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "beda0d3f41f3d1d2991f1f70e9aff80664d616f8db3c8337e4cb66eec6a5c35f6c4e62be5a4f55fb6fec5cd8eb557b652c817cb165684344cfc90e1b8b8d7e04",
      "height": "972",
      "title": "Exact two-point augmentation closure of the Parts 509 graph: no 508-vertex 5-chromatic graph by deleting three vertices and adding two points"
    },
    {
      "artifactRef": "bafkreibd5s52slcr6km2aycj7vh6y37lqioagg5ml6gcolvny3gpqrsshy",
      "kind": "FINDING",
      "createdAt": "2026-09-01T20:15:44.166219Z",
      "signerPublicKey": "6c964267691d33eaf858cfeb25aaf1d69fbb03eed84394add7accc4fedf5372f",
      "signature": "b0ffa3eb534786dd092826ca0f0c55abec4abbf43a35ee0ea4627c29a9419596344269c2b0f7e6042bd6ec67a158e79dcec52d134697c16971d10b9a1acae302",
      "height": "939",
      "title": "Exact one-point swap closure of the Parts 509 graph: no 508-vertex 5-chromatic graph by deleting two vertices and adding one point"
    }
  ]
}