{
  "schema_version": 1,
  "status": "all_selected_cases_verified",
  "cases": [
    {
      "id": "HT21-C1P3",
      "name": "C1P3",
      "family": "ht21",
      "pieces": 16,
      "sheets": 1,
      "utilization_percent": 100.0,
      "lower_bound_sheets": 1,
      "badges": [
        "可证最优",
        "零废料"
      ],
      "image": "/cases1/HT21-C1P3.svg",
      "layout": "/cases1/HT21-C1P3.json",
      "budget_s": 30,
      "seed": 1,
      "seeds": null,
      "stability_sheets": [
        1,
        1,
        1
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；零刀缝、零修边；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "4fff37a78f006f6bd6d3c5939799e31847321f1c3996dc61424209ebb4b10431",
      "layout_sha256": "5ef075e167ad7e9978eb958fecd91a6ee20fa14228e161be39d45633e8ea356d",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "proof": "零件完整铺满1张原片，利用率100%；完整用板数达到面积下界1张。",
      "reproduction_config": {
        "budget_s": 30,
        "seed": 1,
        "seeds": null,
        "split_s": null,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/HT21-C1P3-order.csv",
      "stocks_csv": "/cases1/HT21-C1P3-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 20,
            "h": 20
          }
        ],
        "kerf_mm": 0,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 30
      }
    },
    {
      "id": "HT21-C2P3",
      "name": "C2P3",
      "family": "ht21",
      "pieces": 25,
      "sheets": 1,
      "utilization_percent": 100.0,
      "lower_bound_sheets": 1,
      "badges": [
        "可证最优",
        "零废料"
      ],
      "image": "/cases1/HT21-C2P3.svg",
      "layout": "/cases1/HT21-C2P3.json",
      "budget_s": 30,
      "seed": 1,
      "seeds": null,
      "stability_sheets": [
        1,
        1,
        1
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；零刀缝、零修边；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "0ed4a4be93c8d9d0a360c298ee4c1c7df147168015c165946f77cfe6b7fd9a1f",
      "layout_sha256": "6254563f60e41446a63f3eef514c00e49864f1d893dab5e130277d186ac8dc6c",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "proof": "零件完整铺满1张原片，利用率100%；完整用板数达到面积下界1张。",
      "reproduction_config": {
        "budget_s": 30,
        "seed": 1,
        "seeds": null,
        "split_s": null,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/HT21-C2P3-order.csv",
      "stocks_csv": "/cases1/HT21-C2P3-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 40,
            "h": 15
          }
        ],
        "kerf_mm": 0,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 30
      }
    },
    {
      "id": "HT21-C3P3",
      "name": "C3P3",
      "family": "ht21",
      "pieces": 28,
      "sheets": 1,
      "utilization_percent": 100.0,
      "lower_bound_sheets": 1,
      "badges": [
        "可证最优",
        "零废料"
      ],
      "image": "/cases1/HT21-C3P3.svg",
      "layout": "/cases1/HT21-C3P3.json",
      "budget_s": 30,
      "seed": 1,
      "seeds": null,
      "stability_sheets": [
        1,
        1,
        1
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；零刀缝、零修边；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "17328bbdaf4c9b2bd7d153c94cc93f619135a8b16c8dc616487c23781f093678",
      "layout_sha256": "204ed4a04bae5c7489ea0bacf905f75f17d40b1fb624f9351809ddbb6d9cbe6b",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "proof": "零件完整铺满1张原片，利用率100%；完整用板数达到面积下界1张。",
      "reproduction_config": {
        "budget_s": 30,
        "seed": 1,
        "seeds": null,
        "split_s": null,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/HT21-C3P3-order.csv",
      "stocks_csv": "/cases1/HT21-C3P3-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 60,
            "h": 30
          }
        ],
        "kerf_mm": 0,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 30
      }
    },
    {
      "id": "RECT-001",
      "name": "大批混配 · 4mm",
      "family": "rectangle",
      "pieces": 325,
      "sheets": 29,
      "utilization_percent": 97.25698140130693,
      "lower_bound_sheets": 27,
      "badges": [],
      "image": "/cases1/RECT-001.svg",
      "layout": "/cases1/RECT-001.json",
      "budget_s": 60,
      "seed": null,
      "seeds": [
        11,
        31
      ],
      "stability_sheets": [
        29,
        29,
        29
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；刀缝1 mm；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "f8e9f24e0f392776ec3b7cab971e25a5a4ba1652ab3263add7059e08fb3b3ecb",
      "layout_sha256": "46e6a433c7817874890e2ef8c8c992e619c43ed1a52310bc4c7e268719473206",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "reproduction_config": {
        "budget_s": 60,
        "seed": null,
        "seeds": [
          11,
          31
        ],
        "split_s": 28,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/RECT-001-order.csv",
      "stocks_csv": "/cases1/RECT-001-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 3660,
            "h": 2440
          },
          {
            "w": 3660,
            "h": 2200
          }
        ],
        "kerf_mm": 1,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 60
      }
    },
    {
      "id": "RECT-008",
      "name": "大批混配 · 5mm",
      "family": "rectangle",
      "pieces": 271,
      "sheets": 31,
      "utilization_percent": 97.06589083781627,
      "lower_bound_sheets": 29,
      "badges": [],
      "image": "/cases1/RECT-008.svg",
      "layout": "/cases1/RECT-008.json",
      "budget_s": 60,
      "seed": null,
      "seeds": [
        11,
        31
      ],
      "stability_sheets": [
        31,
        31,
        31
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；刀缝1 mm；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "0dceaa8c6b0d63631b2132fba1a4effbb18b114c0a03ca1dd26f7cc82ce1e39b",
      "layout_sha256": "5c4620b4c6cc34c8822c17452a341b9382094236f4b3d7dfd6bf0d39b77c63a4",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "reproduction_config": {
        "budget_s": 60,
        "seed": null,
        "seeds": [
          11,
          31
        ],
        "split_s": 28,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/RECT-008-order.csv",
      "stocks_csv": "/cases1/RECT-008-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 3660,
            "h": 2440
          },
          {
            "w": 3660,
            "h": 2200
          }
        ],
        "kerf_mm": 1,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 60
      }
    },
    {
      "id": "RECT-013",
      "name": "整单高密 · 5mm",
      "family": "rectangle",
      "pieces": 263,
      "sheets": 22,
      "utilization_percent": 96.67365754485607,
      "lower_bound_sheets": 21,
      "badges": [],
      "image": "/cases1/RECT-013.svg",
      "layout": "/cases1/RECT-013.json",
      "budget_s": 60,
      "seed": null,
      "seeds": [
        11,
        31
      ],
      "stability_sheets": [
        22,
        22,
        22
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "矩形一刀切；刀缝1 mm；允许90°旋转",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "276cc96e681681a05f8b81fa8f565e3d959711effe009a7be8d4af379ad78e83",
      "layout_sha256": "d304a9d2a8960dcb1f28d3d401c1d936fdaaee9abf3b681cf0f8bafcfba60144",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "reproduction_config": {
        "budget_s": 60,
        "seed": null,
        "seeds": [
          11,
          31
        ],
        "split_s": 28,
        "angle_step": 90,
        "constructor": null,
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "proof_scope": "矩形一刀切约束；完整用板数及全原片面积利用率。",
      "order_csv": "/cases1/RECT-013-order.csv",
      "stocks_csv": "/cases1/RECT-013-stocks.csv",
      "optimization_metrics": {
        "stock_specs": [
          {
            "w": 3660,
            "h": 2440
          },
          {
            "w": 3660,
            "h": 2200
          }
        ],
        "kerf_mm": 1,
        "trim_mm": 0,
        "angle_step_deg": 90,
        "time_budget_s": 60
      }
    },
    {
      "id": "J40",
      "name": "J40",
      "family": "nesting",
      "pieces": 40,
      "sheets": 7,
      "utilization_percent": 86.84457103298224,
      "lower_bound_sheets": 7,
      "badges": [
        "可证最优"
      ],
      "image": "/cases1/J40.svg",
      "layout": "/cases1/J40.json",
      "budget_s": 300,
      "seed": 1,
      "seeds": null,
      "stability_sheets": [
        7,
        7,
        7
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "多边形研究排样；角度步长90°；零刀缝、零修边、零掰边距；一刀切分离核验未通过",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "8fe89cc09d8990ef8a1cfd845049d40f3eecbf78b57e7dc80221706cc4a98a58",
      "layout_sha256": "d48e016a70aeb5c130025cd749ad1fbde19849b248c11413df55a23d820c8e60",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "proof": "零件总面积要求至少7张，合法布局使用7张。",
      "reproduction_config": {
        "budget_s": 300,
        "seed": 1,
        "seeds": null,
        "split_s": null,
        "angle_step": 90,
        "constructor": "sheetvalue",
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "native_binary_sha256": "3cd599add5a9f708546995267af005d937bc6426a2d54245d9cca602bb33f57f",
      "proof_scope": "零刀缝多边形研究排样；完整用板数；一刀切分离核验未通过。"
    },
    {
      "id": "H80",
      "name": "H80",
      "family": "nesting",
      "pieces": 80,
      "sheets": 10,
      "utilization_percent": 81.62398407753548,
      "lower_bound_sheets": 9,
      "badges": [
        "公开文献持平"
      ],
      "image": "/cases1/H80.svg",
      "layout": "/cases1/H80.json",
      "budget_s": 300,
      "seed": 1,
      "seeds": null,
      "stability_sheets": [
        10,
        10,
        10
      ],
      "stability_runs": 3,
      "geometry_verified": true,
      "scope": "多边形研究排样；角度步长90°；零刀缝、零修边、零掰边距；一刀切分离核验未通过",
      "utilization_basis": "实际零件面积 / 实际投入原片完整面积",
      "image_sha256": "dcd781b3290b971784e089ab0d72716fd694984ea57d32d5861220c967d24bd7",
      "layout_sha256": "7a1785479e96b2e9d681d77b1e18107edf7217e85b5ee74e80a8ac7a72b482e2",
      "asset_origin": "已合流正式档案；固定参数复跑仅用于一致性核验",
      "proof": "与公开文献最好成绩一致；仅指完整用板数10张，面积下界为9张。工艺条件与文献不同，当前布局的一刀切分离核验未通过。",
      "literature_source": "https://eprints.whiterose.ac.uk/id/eprint/134687/1/Cabo_etal_EJORS_2018.pdf",
      "literature_table": "Table 1，单一原片规格，H80完整用板数10张；文献允许自由旋转和镜像并要求一刀切，本站为90°多边形研究排样。",
      "reproduction_config": {
        "budget_s": 300,
        "seed": 1,
        "seeds": null,
        "split_s": null,
        "angle_step": 90,
        "constructor": "sheetvalue",
        "blas_threads": 1,
        "omp_threads": 1,
        "column_wave": 8,
        "column_workers": 2
      },
      "native_binary_sha256": "3cd599add5a9f708546995267af005d937bc6426a2d54245d9cca602bb33f57f",
      "proof_scope": "零刀缝多边形研究排样；完整用板数；一刀切分离核验未通过。"
    }
  ],
  "verified_runs": 24,
  "public_scope": "固定参数三次复跑的张数一致；图与布局取自既有正式档案。"
}