{
  "verification_id": "REPRO-G-B9-REV0-20260915-001",
  "verification_date": "2026-09-15",
  "result": "PASS",
  "method": "Regenerate all G-B9 analytical registries, report, QA, workbook and manifest from an empty output directory using the packaged scripts and the two hash-pinned inputs; compare deterministic analytical files and rendered workbook views before final packaging.",
  "source_inputs": {
    "fdb_0025_sha256": "1a474643e11a6ffb0650557ada0d2106f2c8f022b22844757bb0a73d8928c1b8",
    "execution_instruction_sha256": "fa3860d15339926d9c984e4ff58d6550d9b91479b1bb5107dc86de1c190ac6b7"
  },
  "verified_counts": {
    "optimization_scenarios": 81,
    "optimization_outputs": 1539,
    "candidate_directions": 6
  },
  "comparison_result": {
    "all_non_workbook_non_manifest_files_byte_identical": true,
    "deterministic_non_workbook_non_manifest_file_count": 18,
    "rendered_workbook_views_compared": 16,
    "all_rendered_workbook_views_byte_identical": true,
    "workbook_formula_error_matches": 0,
    "expected_workbook_sheets": 16,
    "xlsx_semantic_content_and_format_members_identical": true,
    "xlsx_container_generated_relationship_members_excluded_from_byte_identity": [
      "_rels/.rels",
      "xl/_rels/workbook.xml.rels",
      "xl/workbook.xml"
    ],
    "expected_sheet_names": [
      "Summary",
      "Candidate Directions",
      "Pareto",
      "Trade-Offs",
      "Search Space",
      "Scenario Outputs",
      "Variable Screen",
      "Objectives",
      "Constraints",
      "Lever Priority",
      "Optimization Envelope",
      "Uncertainty",
      "Traceability",
      "Calibration",
      "QA",
      "Read Me"
    ]
  },
  "scope_note": "Producer reproducibility evidence only. It is not an independent audit, physical validation, freeze decision or FDB-0026 authorization."
}