574 lines
14 KiB
JSON
574 lines
14 KiB
JSON
{
|
|
"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."
|
|
]
|
|
}
|