{
  "verification_id": "REPRO-G-C1-REV0-20260917-001",
  "stage": "STAGE G-C1",
  "revision": "REV0",
  "verification_date": "2026-09-17",
  "result": "PASS",
  "source_inputs": {
    "fdb_0025_sha256": "1a474643e11a6ffb0650557ada0d2106f2c8f022b22844757bb0a73d8928c1b8",
    "gb8_rev1_sha256": "657257a5a13c63d58f79ce454d643f1643441cd8359fd4a5161c05365dedcafb",
    "gb9_rev0_sha256": "24b3b7accd68728d0c0e35222da86bf55e015cc4e2369d97f455399a1662f8cf",
    "gb10_rev0_sha256": "473b9d23605d8e35043a02e7215afd86897c101e48f81c75d1d7b7cc39343e13"
  },
  "method": {
    "generator": "scripts/generate_gc1_designs.py",
    "workbook_builder": "scripts/build_gc1_workbook.mjs",
    "sequence": [
      "Generate registries, report, QA and manifest from the four hashed inputs",
      "Build and render the Excel workbook",
      "Regenerate the manifest after workbook creation",
      "Compare deterministic files, rendered sheets and XLSX archive members"
    ]
  },
  "verified_counts": {
    "design_requirements": 12,
    "engineering_candidates": 6,
    "candidate_parameters": 162,
    "candidate_predictions": 78,
    "candidate_tradeoffs": 24,
    "candidate_risks": 36,
    "candidate_selections": 6,
    "prototype_interfaces": 6,
    "uncertainty_rows": 6,
    "traceability_rows": 336,
    "producer_qa_pass": 52
  },
  "comparison_result": {
    "deterministic_csv_and_report_files_identical": "12/12",
    "rendered_workbook_views_identical": "13/13",
    "workbook_formula_error_matches": 0,
    "xlsx_member_count": 20,
    "xlsx_semantic_content_and_format_identical": true,
    "xlsx_differing_generated_relationship_members": [
      "_rels/.rels",
      "xl/_rels/workbook.xml.rels",
      "xl/workbook.xml"
    ],
    "relationship_member_note": "The three differing members contain generated workbook relationship identifiers. All 13 rendered views and all substantive workbook members are identical."
  },
  "evidence_boundary": {
    "data_class": "MODEL_DERIVED",
    "empirical_status": "NOT_EMPIRICAL",
    "physical_validation": "NOT_COMPLETED",
    "measured_data_created": false,
    "actual_data_created": false,
    "new_fdb_created": false,
    "freeze_action": "NONE"
  }
}