{
  "date": "2026-09-29",
  "base": {
    "sha256": "544820c5024cf6d56e012db6d1bec3ddfcef5d833691b890baa64b26c5c2ee5a",
    "bytes": 223672,
    "gzip9": 57375
  },
  "pruned": {
    "sha256": "e69b91ead027927d977a065d27d9e27629110122df20aa470eab877e23f77ac7",
    "bytes": 224559,
    "gzip9": 57744
  },
  "validation": {
    "regression": "PASS",
    "kernelCount": 19,
    "variantSyntax": "PASS",
    "interiorGateRandom": {
      "cases": 240,
      "gateFalse": 160,
      "falseNeg": 0,
      "totalProofInFalseNeg": 0
    },
    "fastCoverageSemantic": {
      "cases": 200,
      "casesWithHoles": 0
    }
  },
  "structural": {
    "cpuFrameRgbaRemoved": true,
    "fastCoverageRepairRemoved": true,
    "idleColorAutoSnapshotRemoved": true,
    "exactInteriorSpatialGate": true,
    "conditionalNumericHistory": true,
    "lazyExportAaSamples": true,
    "exportWorkspaceReleased": true,
    "recolorNumericHistorySeparated": true,
    "prePrimaryUnknownStatsRemoved": true,
    "deadFastMode2ParamWriteRemoved": true
  },
  "priorABEvidence": {
    "fastCoverageCases": [
      {
        "w": 965,
        "h": 543,
        "iter": 350,
        "mirror": false,
        "tileW": 965,
        "initialRows": 142,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 965,
        "h": 543,
        "iter": 350,
        "mirror": true,
        "tileW": 965,
        "initialRows": 142,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 965,
        "h": 543,
        "iter": 4096,
        "mirror": false,
        "tileW": 965,
        "initialRows": 12,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 965,
        "h": 543,
        "iter": 4096,
        "mirror": true,
        "tileW": 965,
        "initialRows": 12,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 965,
        "h": 543,
        "iter": 16384,
        "mirror": false,
        "tileW": 965,
        "initialRows": 3,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 965,
        "h": 543,
        "iter": 16384,
        "mirror": true,
        "tileW": 965,
        "initialRows": 3,
        "holes": 0,
        "repairThreads": 526592,
        "minimumMetaReadBytes": 2095980
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 350,
        "mirror": false,
        "tileW": 1365,
        "initialRows": 100,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 350,
        "mirror": true,
        "tileW": 1365,
        "initialRows": 100,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 4096,
        "mirror": false,
        "tileW": 1365,
        "initialRows": 8,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 4096,
        "mirror": true,
        "tileW": 1365,
        "initialRows": 8,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 16384,
        "mirror": false,
        "tileW": 1365,
        "initialRows": 2,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1365,
        "h": 768,
        "iter": 16384,
        "mirror": true,
        "tileW": 1365,
        "initialRows": 2,
        "holes": 0,
        "repairThreads": 1050624,
        "minimumMetaReadBytes": 4193280
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 350,
        "mirror": false,
        "tileW": 1024,
        "initialRows": 133,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 350,
        "mirror": true,
        "tileW": 1024,
        "initialRows": 133,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 4096,
        "mirror": false,
        "tileW": 1024,
        "initialRows": 11,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 4096,
        "mirror": true,
        "tileW": 1024,
        "initialRows": 11,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 16384,
        "mirror": false,
        "tileW": 1024,
        "initialRows": 2,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 1024,
        "h": 768,
        "iter": 16384,
        "mirror": true,
        "tileW": 1024,
        "initialRows": 2,
        "holes": 0,
        "repairThreads": 786432,
        "minimumMetaReadBytes": 3145728
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 350,
        "mirror": false,
        "tileW": 2731,
        "initialRows": 50,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 350,
        "mirror": true,
        "tileW": 2731,
        "initialRows": 50,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 4096,
        "mirror": false,
        "tileW": 2731,
        "initialRows": 4,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 4096,
        "mirror": true,
        "tileW": 2731,
        "initialRows": 4,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 16384,
        "mirror": false,
        "tileW": 2731,
        "initialRows": 1,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2731,
        "h": 1536,
        "iter": 16384,
        "mirror": true,
        "tileW": 2731,
        "initialRows": 1,
        "holes": 0,
        "repairThreads": 4202496,
        "minimumMetaReadBytes": 16779264
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 350,
        "mirror": false,
        "tileW": 2048,
        "initialRows": 66,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 350,
        "mirror": true,
        "tileW": 2048,
        "initialRows": 66,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 4096,
        "mirror": false,
        "tileW": 2048,
        "initialRows": 5,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 4096,
        "mirror": true,
        "tileW": 2048,
        "initialRows": 5,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 16384,
        "mirror": false,
        "tileW": 2048,
        "initialRows": 1,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 2048,
        "h": 2048,
        "iter": 16384,
        "mirror": true,
        "tileW": 2048,
        "initialRows": 1,
        "holes": 0,
        "repairThreads": 4194304,
        "minimumMetaReadBytes": 16777216
      },
      {
        "w": 513,
        "h": 511,
        "iter": 350,
        "mirror": false,
        "tileW": 513,
        "initialRows": 267,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      },
      {
        "w": 513,
        "h": 511,
        "iter": 350,
        "mirror": true,
        "tileW": 513,
        "initialRows": 267,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      },
      {
        "w": 513,
        "h": 511,
        "iter": 4096,
        "mirror": false,
        "tileW": 513,
        "initialRows": 22,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      },
      {
        "w": 513,
        "h": 511,
        "iter": 4096,
        "mirror": true,
        "tileW": 513,
        "initialRows": 22,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      },
      {
        "w": 513,
        "h": 511,
        "iter": 16384,
        "mirror": false,
        "tileW": 513,
        "initialRows": 5,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      },
      {
        "w": 513,
        "h": 511,
        "iter": 16384,
        "mirror": true,
        "tileW": 513,
        "initialRows": 5,
        "holes": 0,
        "repairThreads": 266240,
        "minimumMetaReadBytes": 1048572
      }
    ],
    "numericHistory": [
      {
        "name": "1920x1080-fast",
        "cssW": 1920,
        "cssH": 1080,
        "w": 965,
        "h": 543,
        "hits": 2,
        "total": 1000,
        "hitRate": 0.002,
        "meanReuseRatio": 0.8,
        "reducedScaleDenominator": 384,
        "policyEligible": false,
        "aResidentBytes": 4191960,
        "bResidentBytes": 0
      },
      {
        "name": "1920x1080-standard",
        "cssW": 1920,
        "cssH": 1080,
        "w": 1365,
        "h": 768,
        "hits": 6,
        "total": 1000,
        "hitRate": 0.006,
        "meanReuseRatio": 0.8666666666666667,
        "reducedScaleDenominator": 128,
        "policyEligible": false,
        "aResidentBytes": 8386560,
        "bResidentBytes": 0
      },
      {
        "name": "1920x1080-high",
        "cssW": 1920,
        "cssH": 1080,
        "w": 2731,
        "h": 1536,
        "hits": 0,
        "total": 1000,
        "hitRate": 0,
        "meanReuseRatio": 0,
        "reducedScaleDenominator": 1920,
        "policyEligible": false,
        "aResidentBytes": 33558528,
        "bResidentBytes": 0
      },
      {
        "name": "1024x768-standard",
        "cssW": 1024,
        "cssH": 768,
        "w": 1024,
        "h": 768,
        "hits": 1000,
        "total": 1000,
        "hitRate": 1,
        "meanReuseRatio": 0.75537109375,
        "reducedScaleDenominator": 1,
        "policyEligible": true,
        "aResidentBytes": 6291456,
        "bResidentBytes": 6291456
      },
      {
        "name": "1024x768-dpr2",
        "cssW": 1024,
        "cssH": 768,
        "w": 2048,
        "h": 1536,
        "hits": 1000,
        "total": 1000,
        "hitRate": 1,
        "meanReuseRatio": 0.75537109375,
        "reducedScaleDenominator": 1,
        "policyEligible": true,
        "aResidentBytes": 25165824,
        "bResidentBytes": 25165824
      }
    ],
    "memoryTraffic": {
      "rows": [
        {
          "preset": "fast",
          "pixels": 524288,
          "recolorNumericCopyA": 4194304,
          "recolorNumericCopyB": 0,
          "cpuRgbaRetainedA": 2097152,
          "cpuRgbaRetainedB": 0,
          "idleColorSnapshotA": 6291456,
          "idleColorSnapshotB": 0,
          "unknownPrepassMetaReadA": 2097152,
          "unknownPrepassMetaReadB": 0,
          "fastRepairMetaReadA": 2097152,
          "fastRepairMetaReadB": 0
        },
        {
          "preset": "standard",
          "pixels": 1048576,
          "recolorNumericCopyA": 8388608,
          "recolorNumericCopyB": 0,
          "cpuRgbaRetainedA": 4194304,
          "cpuRgbaRetainedB": 0,
          "idleColorSnapshotA": 12582912,
          "idleColorSnapshotB": 0,
          "unknownPrepassMetaReadA": 4194304,
          "unknownPrepassMetaReadB": 0,
          "fastRepairMetaReadA": 4194304,
          "fastRepairMetaReadB": 0
        },
        {
          "preset": "high",
          "pixels": 4194304,
          "recolorNumericCopyA": 33554432,
          "recolorNumericCopyB": 0,
          "cpuRgbaRetainedA": 16777216,
          "cpuRgbaRetainedB": 0,
          "idleColorSnapshotA": 50331648,
          "idleColorSnapshotB": 0,
          "unknownPrepassMetaReadA": 16777216,
          "unknownPrepassMetaReadB": 0,
          "fastRepairMetaReadA": 16777216,
          "fastRepairMetaReadB": 0
        }
      ],
      "export": {
        "retainedA": 25165824,
        "retainedB": 0,
        "reallocationSlotsB": 3
      }
    }
  },
  "notes": [
    "Real WebGPU frame-time p50/p95 remains unavailable in this container.",
    "Adaptive initial-iteration probe was retained because blanket removal regressed 3/48 survey views.",
    "Strict periodicity-state updates were retained because CPU A/B did not establish a speed win.",
    "Continuation replay and deep-workspace lifetime were not changed because they require redesign or real-GPU allocation measurements rather than safe deletion."
  ]
}