{
  "schema": "semiagora.sky130-pv-checkpoint-replay.v1",
  "version": "2026-08-19-v77",
  "execution_mode": "precomputed_browser_csv_replay_only",
  "source_run": {
    "run_id": "20260819_135955",
    "evidence_path": "07_assets/factory_lab/daily/2026-08-19/20260819_135955/"
  },
  "counts": {
    "rows": 192,
    "design_blocks": 4,
    "issue_patterns": 4,
    "review_depths": 3,
    "checkpoint_stages": 4,
    "liveServerRuns": 0
  },
  "checkpoint_ladder": [
    {
      "stage": "drc_precheck",
      "checkpoint_index": 1,
      "teaching_focus": "record_rule_category_and_layout_context"
    },
    {
      "stage": "lvs_compare",
      "checkpoint_index": 2,
      "teaching_focus": "compare_pin_device_and_net_identity"
    },
    {
      "stage": "pex_extract",
      "checkpoint_index": 3,
      "teaching_focus": "attach_extraction_assumption_note"
    },
    {
      "stage": "timing_handoff",
      "checkpoint_index": 4,
      "teaching_focus": "tie_parasitic_delta_to_timing_context"
    }
  ],
  "summary": {
    "readiness_counts": {
      "hold": 122,
      "inspect": 60,
      "teaching_clear": 10
    },
    "highest_risk_rows": [
      {
        "case_id": "PV002-0013",
        "design_block": "inverter_cell",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "drc_precheck",
        "checkpoint_index": 1,
        "drc_marker_count_proxy": 11,
        "lvs_mismatch_count_proxy": 0,
        "extracted_cap_ff_proxy": "0.094",
        "extracted_res_ohm_proxy": "8.13",
        "timing_delta_ps_proxy": "1.04",
        "evidence_confidence": "0.151",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "record_rule_category_and_layout_context"
      },
      {
        "case_id": "PV002-0014",
        "design_block": "inverter_cell",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "lvs_compare",
        "checkpoint_index": 2,
        "drc_marker_count_proxy": 7,
        "lvs_mismatch_count_proxy": 1,
        "extracted_cap_ff_proxy": "0.164",
        "extracted_res_ohm_proxy": "14.22",
        "timing_delta_ps_proxy": "2.11",
        "evidence_confidence": "0.311",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "compare_pin_device_and_net_identity"
      },
      {
        "case_id": "PV002-0061",
        "design_block": "nand2_cell",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "drc_precheck",
        "checkpoint_index": 1,
        "drc_marker_count_proxy": 12,
        "lvs_mismatch_count_proxy": 0,
        "extracted_cap_ff_proxy": "0.175",
        "extracted_res_ohm_proxy": "13.12",
        "timing_delta_ps_proxy": "1.30",
        "evidence_confidence": "0.148",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "record_rule_category_and_layout_context"
      },
      {
        "case_id": "PV002-0062",
        "design_block": "nand2_cell",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "lvs_compare",
        "checkpoint_index": 2,
        "drc_marker_count_proxy": 7,
        "lvs_mismatch_count_proxy": 1,
        "extracted_cap_ff_proxy": "0.306",
        "extracted_res_ohm_proxy": "22.96",
        "timing_delta_ps_proxy": "2.63",
        "evidence_confidence": "0.308",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "compare_pin_device_and_net_identity"
      },
      {
        "case_id": "PV002-0109",
        "design_block": "sram_peripheral_proxy",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "drc_precheck",
        "checkpoint_index": 1,
        "drc_marker_count_proxy": 13,
        "lvs_mismatch_count_proxy": 0,
        "extracted_cap_ff_proxy": "0.603",
        "extracted_res_ohm_proxy": "33.47",
        "timing_delta_ps_proxy": "2.16",
        "evidence_confidence": "0.140",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "record_rule_category_and_layout_context"
      },
      {
        "case_id": "PV002-0110",
        "design_block": "sram_peripheral_proxy",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "lvs_compare",
        "checkpoint_index": 2,
        "drc_marker_count_proxy": 8,
        "lvs_mismatch_count_proxy": 2,
        "extracted_cap_ff_proxy": "1.055",
        "extracted_res_ohm_proxy": "58.57",
        "timing_delta_ps_proxy": "4.73",
        "evidence_confidence": "0.300",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "compare_pin_device_and_net_identity"
      },
      {
        "case_id": "PV002-0111",
        "design_block": "sram_peripheral_proxy",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "pex_extract",
        "checkpoint_index": 3,
        "drc_marker_count_proxy": 6,
        "lvs_mismatch_count_proxy": 2,
        "extracted_cap_ff_proxy": "3.013",
        "extracted_res_ohm_proxy": "167.35",
        "timing_delta_ps_proxy": "13.38",
        "evidence_confidence": "0.460",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "attach_extraction_assumption_note"
      },
      {
        "case_id": "PV002-0112",
        "design_block": "sram_peripheral_proxy",
        "issue_pattern": "spacing_bridge_risk",
        "review_depth": "quick",
        "checkpoint_stage": "timing_handoff",
        "checkpoint_index": 4,
        "drc_marker_count_proxy": 4,
        "lvs_mismatch_count_proxy": 1,
        "extracted_cap_ff_proxy": "3.013",
        "extracted_res_ohm_proxy": "167.35",
        "timing_delta_ps_proxy": "21.81",
        "evidence_confidence": "0.560",
        "fix_hypothesis_risk": "0.950",
        "release_readiness": "hold",
        "next_safe_check": "tie_parasitic_delta_to_timing_context"
      }
    ]
  },
  "public_boundary": [
    "This is original synthetic teaching data for report-literacy practice.",
    "No PDK rule deck, GDS, layout database, extracted netlist, tool log, or workshop file is redistributed.",
    "No live Magic, Netgen, OpenROAD, OpenLane, OpenSTA, SPICE, TCAD, or server-side compile flow runs on the public page.",
    "No tapeout readiness, foundry closure, product release, qualification, or signoff result is claimed.",
    "No account, file transfer, payment, comment, newsletter action, or job/event workflow is enabled."
  ],
  "methods": [
    "Generate a 192-row factorial teaching table over design block, issue pattern, review depth, and verification checkpoint stage.",
    "Map DRC markers, LVS mismatches, extracted-capacitance proxy, extracted-resistance proxy, timing-delta proxy, evidence confidence, and fix-hypothesis risk into one row.",
    "Use public repositories and official tool pages as vocabulary anchors only; all visible rows are original SemiAgora teaching proxies."
  ],
  "limitations": [
    "No live server solver or EDA flow is active; the public page only filters saved CSV rows.",
    "The rows are not real Magic, Netgen, OpenROAD, OpenLane, OpenSTA, or silicon results.",
    "The SRAM peripheral is a structural teaching proxy, not a compiler macro, foundry SRAM, or custom layout release.",
    "A real physical-verification package requires owned layout/source netlists, exact tool versions, PDK terms, rule-deck authority, extraction settings, and design-owner review."
  ],
  "sources": [
    {
      "label": "Physical Verification using SKY130",
      "url": "https://github.com/Mysha-Fathima/Physical-Verification-using-SKY130",
      "note": "Public training repository signal; SemiAgora does not mirror repository code, reports, decks, screenshots, or PDK collateral."
    },
    {
      "label": "Physical-Verification-using-SKY130 corroborating repo",
      "url": "https://github.com/MihaiHMO/Physical-Verification-using-SKY130",
      "note": "Second public workshop-style signal for DRC/LVS/PEX vocabulary; link-only source review."
    },
    {
      "label": "SkyWater SKY130 PDK",
      "url": "https://github.com/google/skywater-pdk",
      "note": "Rights-holder open PDK repository anchor; no PDK files, rules, models, or GDS are redistributed from this page."
    },
    {
      "label": "open_pdks",
      "url": "https://github.com/fossi-foundation/open-pdks",
      "note": "Open-source PDK setup reference for local study; not executed by the public website."
    },
    {
      "label": "Magic VLSI",
      "url": "https://opencircuitdesign.com/magic/",
      "note": "Official Magic tool page anchoring layout/DRC vocabulary."
    },
    {
      "label": "Netgen",
      "url": "https://opencircuitdesign.com/netgen/",
      "note": "Official Netgen page anchoring LVS comparison vocabulary."
    },
    {
      "label": "OpenROAD Flow Scripts",
      "url": "https://github.com/The-OpenROAD-Project/OpenROAD-flow-scripts",
      "note": "Official flow repository anchor for future reproducible open-flow report packages."
    }
  ]
}