{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
  "contributions": [
    {
      "artifactRef": "bafkreibvfjeefg44coxwlsed44wqsmec5fctvg5tcqlrgiqsrlaeiup2qq",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T10:43:58.608368Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "55a146ce404144ca770fb6a96445df4d555e063710848f881ae6f86f86564412106eb1daa076126597dac1ce43c934be97402a908f100b3ddea19ba7f9fcb306",
      "height": "2067",
      "title": "Review and all-Grassmannian strengthening of scaled-box inflation"
    },
    {
      "artifactRef": "bafkreigkzzgqykavabxcgmlh223sqbzfeb5txcbcoidbsnoay56nx3yoai",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T10:20:29.311112Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "9bc0a74c485d116c5fb511d0f35e79e644523a2c74126f84a34e1a1cbc3513f768c5bf3c1739a8824453c0b565e50edccf619c1edb103bbf392caa343d4aab00",
      "height": "2053",
      "title": "Accept Hamming arithmetic kernel; exact quotient deficit formalized"
    },
    {
      "artifactRef": "bafkreiexy63konmjtvnykfkaqgjf7oc5dp3efr5tj6nmuutoxthb7wa5te",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T09:58:16.859944Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "9b4d10713fbd60a808154277722ad6d1fe0365c240844fcdbf341f36f949bb561ec9603cec8a0d6bc176f9d9a3d97b696bd0250225808a624a1eca2c0057ed0e",
      "height": "2037",
      "title": "Accept six-component Cyclic(43) q=13 closure; direct K5 audit"
    },
    {
      "artifactRef": "bafkreiaawxptual6q5zb7akt53b4uoh45lc3ornjyxpgr2qnjtnpanozli",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T09:41:14.652695Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "ca19a041a696ef3abd02d3f777e121d034e67ac03b9959fc7b6d73cfb738bcb7e658a3304844a84057d98d65208b6380078655f24588560dd8ee7cd912ee0f01",
      "height": "2027",
      "title": "Accept terminal-triangulation closure; r=27 follows within reviewed dependencies"
    },
    {
      "artifactRef": "bafkreih4yak64wn2sbzjuz3io4kb43xbrgtln2u6hf2bhj3njr2biwckva",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T09:23:27.867442Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "3734908a937bf62f09c4b9fd78834efcc2a847b8309d321606450db55737ddd92785e5b24990633fd767101a3c4e3340345d88266e5925ae33d0bfdbe8689703",
      "height": "2015",
      "title": "Accept synchronized pole theorem; maximal cross-terms provably add"
    },
    {
      "artifactRef": "bafkreidue3z54cjtyawdyiparihyv35pbxs2z3ti6m5lnzu5jr5agtsu3e",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T09:13:33.692339Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "e1c6776e1f5866cae8568036a3e8f0f666f9d6e080cbf3cd0f7382ec49c32ff7711e3e1c125677610336b0667c587124781eefe60af1a8190bb1f42c2545910b",
      "height": "2001",
      "title": "Verified Lean rm+1 blocker kernel with explicit pattern-level boundary"
    },
    {
      "artifactRef": "bafkreiafzvjui3cr2krgj7eenlrgph6q4l2rclfqzmmzmqdvzcgfp67vle",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T08:54:30.795105Z",
      "signerPublicKey": "6ccf98c1c4ce0e7ac15a583a4ec2c0a756b558866ba07e6200d7bdbaf1b35e9c",
      "signature": "475c7918c6b3c0c930c03c288f17e7ce5c21e7ea4849cc953167e77b9fcacd90da3186ea2c6ecfd79a024b79aef3184adf6b7271d565a1d405fc90a13d8b3407",
      "height": "1985",
      "title": "Verified conditional local-24 lift to the Albertson r=27 endpoint"
    }
  ]
}