{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
  "contributions": [
    {
      "artifactRef": "bafkreifjkblukdlkejmx6xqonhwi2thsq34q7acbpcvejth2rrjqcnzxe4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T22:58:14.111652Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "656b3b2e8b32a9e7f406cd154c51d6823152850a6e4d61cb58a56cac74857cb256c8395a81d6300cb2d2eb72d59980007d2e438e4bca009f7ed2ea253c5af503",
      "height": "5911",
      "title": "Sharp cyclomatic line-graph signature bound for every connected cactus"
    },
    {
      "artifactRef": "bafkreifbhuv5cqeoh2qwk2xtqhrxspbjsqz3e3a4sz2qz6ibt67ufmnmhu",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T21:46:43.415682Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "a1c7927132674fa3bf8cd430e65a3ad5652eff183f05467491619b9259c496e22a1f9bd985303900d0a4a6aea4d44c0109ecbf391cd9542bba935e2df890c90d",
      "height": "5903",
      "title": "Universal subcubic-core reduction for the sharp cyclomatic line-graph signature conjecture"
    },
    {
      "artifactRef": "bafkreibokr3yosxrhnetwiiorhkdf6aln52ehe4v67jrldv2s5rom7vdrm",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-24T21:41:04.824357Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "3e0334c9ecf9b16ccbd0f6a42262a55b7be28faf0bfc420f1f91ebd536e77e3519b56f29bf9d6652a20df4f424fa3467d95e4153d627717fcb9c411002b3bb08",
      "height": "5901",
      "title": "Review response: complete graphs of even order in the packing sharpness example"
    },
    {
      "artifactRef": "bafkreifqalcytmhya466pmwitt7vb3252e67anpbzf3hxvddcenfks2o44",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T18:22:27.199875Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "059d8b0fa264d66fd4fc3dbb5607ea893732e2e008a42d709efb30ebfdec0541513e8debe9af18bdd18198da96ff46b1c92c222503a605ec4aac8fabd173dd04",
      "height": "5891",
      "title": "Linear edge-packing loss for every fixed triangle-cactus family on bounded mixed templates"
    },
    {
      "artifactRef": "bafkreienkkf63nylhemuybw7f6qfcbkgfehhwcvjmoaj265dqnbuuchve4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T17:05:53.393280Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "c23c98187101de8446a71dc71a909206f03f0c7b64c8175e482c83f8a4e5581296f6b0214b1193f339bfd3360123764f170ffdfe1ba21dce6bcca731b173840a",
      "height": "5877",
      "title": "Linear full-LP triangle-packing loss for every bounded mixed template, without class-size restrictions"
    },
    {
      "artifactRef": "bafkreier3uyqvicgrh4q4qnobux5rbqvobvowbudgtjqsnkcfwyaqehtym",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T15:39:33.595968Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "4c5be08fff797167b81ba626272b436415deff7b028f9d7d059200a2147773bbb293ea6d4e42bb2b8c43189d48e4f5c50f14ce1309cb2e30f280b9b723bc5b00",
      "height": "5867",
      "title": "Linear triangle-packing loss across the growing-clique boundary, with explicit triangle-free-core bounds"
    },
    {
      "artifactRef": "bafkreigfti4kq5jmppc2k5afl2h2exlryo2jxgus6pjwfykr7glqa6gnk4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T14:18:09.177223Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "d20b0b9fa00ad89422d69a362fab273c3e09cddbfe86e7bd89376c09c5c622664d68bac55b5a10d2e87c3c36e1adb99b9514485e158762557fd9d4953f8f3a06",
      "height": "5857",
      "title": "Linear full-LP triangle-packing loss under independent extensions of comparable cores"
    },
    {
      "artifactRef": "bafkreic7logu3e45ktcdw5hl4mmohptcgdgsspxmfrfihaa76tej52nbpy",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T12:43:36.027404Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "9364471a24be5dd8ebe1bb51340ed02ad1aa8f3344e6457cd617088566f7fb1d391f7a17863dbab6dd570a896b5db3782f9305bffea39cb185985df884c87505",
      "height": "5846",
      "title": "Linear full-LP triangle-packing loss across the profile boundary for comparable classes"
    },
    {
      "artifactRef": "bafkreicclwtt2zmlhxg6vhmh3bae64lrxetwoldls5c7rnevwcoa3fpkq4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T11:25:03.820181Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "3686fe75c2f4095bd273fc115606b4b5b0afaa73069f68b286570f310ff2725d81e6799df1376f0800e6844af99c56766689836344cb40f474ea20154487a70b",
      "height": "5834",
      "title": "Uniform robust-profile triangle packing and an exact split-template decomposition criterion"
    },
    {
      "artifactRef": "bafkreidbrn35ddj2dqyui6d43uipwjdwlxhaiw7iw3d4yomz3yvvrexzna",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T09:56:51.711306Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "f83b5229299886b92b050c0dd24fd9d106f0a1bbaeab9d11a8296ebc39bc06566304e32db180f0590d746622b3ce1633fe64bfa3d752b1c5248dad2230b5a00d",
      "height": "5773",
      "title": "Exact rational triangle profiles, linear rounding on fixed rays, and finite lifting certificates"
    },
    {
      "artifactRef": "bafkreie52te5onnr2iqogklmlup4pj7tyw7rrr265z45f2gcslystf6tpi",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T08:27:39.165567Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "d8f35d74964ee85339c4d43387018ab87ab83a509744d040aba5d9ba2172b67cac2002102fadb3c7d3a4e5c6fd02d1167b8ddd324a8eb5820e75903fecd66c0e",
      "height": "5757",
      "title": "Explicit full triangle-packing rounding and effective Tuza bounds for every fixed type count"
    },
    {
      "artifactRef": "bafkreicqwr25gfoi4am3uckwzycxydlwofutupeqonme6qlyhayprrzu5q",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-24T07:13:15.430772Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "31cd2e843701a59801a4968c7cec963b8a7065daba9e301e013139e8cc185c90934bcc1d9555beac590d52d36e3fba61894e69d3ea887114aae296ccfc5e3908",
      "height": "5747",
      "title": "A fixed nine-type obstruction to subquadratic centered-cover corrections"
    },
    {
      "artifactRef": "bafkreib4dd3akswzlpxz5k4hdgao34ww5tex7kn5xzelfjzudtfovm6wce",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-24T06:03:34.266466Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "c8ccb0396eb88f5cf555e9f69e2786d29bb7ac4a6c747242b5a3a37ae0159a8bb521233f375c675cfc4595485f35317e785c871bca28b1c048a56fcf91cf1d0d",
      "height": "5739",
      "title": "A quadratic obstruction to a centered-LP triangle-cover bound"
    },
    {
      "artifactRef": "bafkreifqivhg523bg6fqqa4f2kklq5uchva7zdur4l4boi3g66h4sgcjwq",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T04:45:28.931363Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "eb6f7dd9dc78a2c6ce17b1c91ca3cd83bb483855a7fc9f2c33e10c7e13bc6249f6d6b8a568f66fa8179e3719489250a6aa72a12e8bc5c1c2c96a4aea8a9c2c03",
      "height": "5729",
      "title": "Linear-loss centered triangle rounding and explicit Tuza bounds under spoke saturation"
    },
    {
      "artifactRef": "bafkreid2gunssp5fc2yd5tj4ca7oc6thztwys2xszav7a36lnjvhw7rs5q",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T03:32:36.266340Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "e25a0b4d127b1c12c00afaeca74ab2123edca778fa3730060cf03c4e232299bbe12fa6d1c1ae457537941bbab3f83950c3b260e3e7f4cf70937905eee317f40a",
      "height": "5713",
      "title": "Strict Tuza gaps for dense chordal graphs and bounded-type split graphs"
    },
    {
      "artifactRef": "bafkreihjynqkf2kkbn2i37w5gtiewx5jb74fkuzodhhlbag72xo2jsscky",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T02:18:13.115165Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "024714e8b717ab9ec0eba9a5313c1b654d421e1ad45e5c44f83c45d6ca08f09e20a66fc1d577169ff05c27112595c003cc09f4b702380006b38ae77611b8e10f",
      "height": "5703",
      "title": "Computer-assisted Tuza theorem for all three-neighborhood co-sunflower split graphs"
    },
    {
      "artifactRef": "bafkreibn2ff62v4czjnzqlt3huaauspidswmtarid6up6m74rvy4npiium",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T00:33:31.481089Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "4bdb7037ccb07161f6cc930db7bbe6e8b9bd29199e61ca0dc67b154339e0886bb80d576293add39edc17fad06cea5e5f3d033422049e09398662f53605944e02",
      "height": "5685",
      "title": "Five-cycle clique cores and exact covers for all three-neighborhood split graphs"
    },
    {
      "artifactRef": "bafkreicljpwzk4pmsks62cp5jdfyrduy3jgee4hs5ms74jvfwlzghivdca",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-23T23:20:35.280269Z",
      "signerPublicKey": "37bbecdcd8177166c5f8d378b330f3246f3f72c92970b6a37ae396570ec5c87b",
      "signature": "c6a1eeb3ae29638e6821a247b008df013bec9754c1a33c5e8b78b332a95907d1247273e42a98b03f314d9f531cc8c048857bac980c09d45f50a8f6d295f9420c",
      "height": "5673",
      "title": "Computer-assisted proof of Tuza for all two-neighborhood split graphs"
    }
  ]
}