{
  "schema": "semiagora.standard-cell-report-literacy.v1",
  "version": "2026-08-22-v87",
  "experiment_id": "SA-EDA-STDCELL-001",
  "slug": "standard-cell-delay-area-pin-cap-report-replay",
  "route": "/simulations/standard-cell-delay-area-pin-cap-report-replay",
  "lesson_route": "/learn/standard-cell-timing-area-report-literacy",
  "lab_route": "/labs/standard-cell-timing-area-report-literacy",
  "title": "Standard-cell delay, area, and pin-cap report replay",
  "execution_mode": "precomputed_browser_csv_replay_only",
  "counts": {
    "rows": 3456,
    "cell_archetypes": 6,
    "drive_strengths": 4,
    "input_slew_bins": 3,
    "output_load_bins": 4,
    "report_stages": 4,
    "optimization_goals": 3,
    "liveServerRuns": 0
  },
  "source_summary": "Official public OpenROAD, OpenLane, and Yosys documentation was used link-first for vocabulary only. SemiAgora generated original synthetic teaching rows and did not copy Liberty tables, standard-cell libraries, report bodies, command transcripts, design files, PDKs, or tool outputs.",
  "sources": [
    {
      "label": "OpenROAD OpenSTA documentation",
      "url": "https://openroad.readthedocs.io/en/latest/main/src/sta/README.html",
      "note": "Official source for OpenSTA, Verilog, Liberty, SDC, SPEF, SDF, VCD/SAIF, timing checks, delay calculation, and timing-report vocabulary."
    },
    {
      "label": "OpenROAD Gate Resizer documentation",
      "url": "https://openroad.readthedocs.io/en/latest/main/src/rsz/README.html",
      "note": "Official source for repair timing, buffer/gate sizing, max capacitance, max slew, report design area, and utilization vocabulary."
    },
    {
      "label": "OpenLane timing closure guide",
      "url": "https://openlane2.readthedocs.io/en/latest/usage/timing_closure/index.html",
      "note": "Official source for timing closure, STA, load capacitance, input slew, setup/hold, and SDC vocabulary."
    },
    {
      "label": "OpenROAD Flow Scripts tutorial",
      "url": "https://openroad-flow-scripts.readthedocs.io/en/latest/tutorials/FlowTutorial.html",
      "note": "Official tutorial source for GUI timing report, setup/hold path, path segment, slew, load, and report-navigation vocabulary."
    },
    {
      "label": "Yosys mapping to cell libraries",
      "url": "https://yosyshq.readthedocs.io/projects/yosys/en/latest/using_yosys/synthesis/cell_libs.html",
      "note": "Official Yosys source for ASIC cell-library mapping vocabulary without copying the example library or netlist bodies."
    },
    {
      "label": "Yosys abc command documentation",
      "url": "https://yosyshq.readthedocs.io/projects/yosys/en/latest/cmd/abc.html",
      "note": "Official Yosys command source for ABC mapping vocabulary and library-bound synthesis context."
    }
  ],
  "axes": {
    "cell_archetypes": [
      {
        "id": "inv",
        "label": "Inverter"
      },
      {
        "id": "nand2",
        "label": "2-input NAND"
      },
      {
        "id": "nor2",
        "label": "2-input NOR"
      },
      {
        "id": "aoi21",
        "label": "AOI21 compound"
      },
      {
        "id": "mux2",
        "label": "2:1 mux"
      },
      {
        "id": "dff",
        "label": "D flip-flop"
      }
    ],
    "drive_strengths": [
      {
        "id": "x1",
        "label": "X1"
      },
      {
        "id": "x2",
        "label": "X2"
      },
      {
        "id": "x4",
        "label": "X4"
      },
      {
        "id": "x8",
        "label": "X8"
      }
    ],
    "input_slew_bins": [
      {
        "id": "fast",
        "label": "Fast input slew"
      },
      {
        "id": "nominal",
        "label": "Nominal input slew"
      },
      {
        "id": "slow",
        "label": "Slow input slew"
      }
    ],
    "output_load_bins": [
      {
        "id": "light",
        "label": "Light load",
        "fanoutLabel": "FO1-ish"
      },
      {
        "id": "nominal",
        "label": "Nominal load",
        "fanoutLabel": "FO3-ish"
      },
      {
        "id": "heavy",
        "label": "Heavy load",
        "fanoutLabel": "FO6-ish"
      },
      {
        "id": "overloaded",
        "label": "Overloaded net",
        "fanoutLabel": "max-cap watch"
      }
    ],
    "report_stages": [
      {
        "id": "synthesis_ideal",
        "label": "Synthesis ideal-wire report"
      },
      {
        "id": "placement_estimate",
        "label": "Placed estimated-RC report"
      },
      {
        "id": "global_route_proxy",
        "label": "Global-route parasitic proxy"
      },
      {
        "id": "post_route_replay",
        "label": "Post-route report replay"
      }
    ],
    "optimization_goals": [
      {
        "id": "setup_closure",
        "label": "Setup closure"
      },
      {
        "id": "hold_safety",
        "label": "Hold safety"
      },
      {
        "id": "area_power_recovery",
        "label": "Area/power recovery"
      }
    ]
  },
  "decision_gate_counts": {
    "bounded_report_candidate": 1545,
    "max_cap_slew_review": 1245,
    "routed_evidence_needed": 338,
    "hold_timing_review": 66,
    "area_power_recovery_candidate": 262
  },
  "shortlist_examples": [
    {
      "case_id": "inv__x1__fast__light__synthesis_ideal__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "4.385",
      "fanout_ratio": "3.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "8.543",
      "total_cell_delay_ps": "24.432",
      "output_slew_ps": "19.783",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "2.124",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "114.568",
      "hold_slack_proxy_ps": "15.432",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__synthesis_ideal__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "4.385",
      "fanout_ratio": "3.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "8.543",
      "total_cell_delay_ps": "24.432",
      "output_slew_ps": "19.783",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "2.124",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "139.568",
      "hold_slack_proxy_ps": "15.432",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__synthesis_ideal__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "4.385",
      "fanout_ratio": "3.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "8.543",
      "total_cell_delay_ps": "24.432",
      "output_slew_ps": "19.783",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "2.124",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "164.568",
      "hold_slack_proxy_ps": "15.432",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__placement_estimate__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "placement_estimate",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "7.385",
      "fanout_ratio": "6.714",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "14.387",
      "total_cell_delay_ps": "34.254",
      "output_slew_ps": "33.735",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "3.204",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "119.746",
      "hold_slack_proxy_ps": "16.611",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.760",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__placement_estimate__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "placement_estimate",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "7.385",
      "fanout_ratio": "6.714",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "14.387",
      "total_cell_delay_ps": "34.254",
      "output_slew_ps": "33.735",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "3.204",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "144.746",
      "hold_slack_proxy_ps": "16.611",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.760",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__placement_estimate__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "placement_estimate",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "7.385",
      "fanout_ratio": "6.714",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "14.387",
      "total_cell_delay_ps": "34.254",
      "output_slew_ps": "33.735",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "3.204",
      "max_cap_slew_risk": "0.000",
      "setup_slack_proxy_ps": "169.746",
      "hold_slack_proxy_ps": "16.611",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.760",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__global_route_proxy__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "global_route_proxy",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "11.385",
      "fanout_ratio": "10.350",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "22.180",
      "total_cell_delay_ps": "48.774",
      "output_slew_ps": "54.926",
      "area_units": "1.000",
      "leakage_proxy": "0.942",
      "dynamic_energy_proxy_fj": "4.644",
      "max_cap_slew_risk": "0.508",
      "setup_slack_proxy_ps": "107.082",
      "hold_slack_proxy_ps": "18.353",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.809",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "global_route_proxy_evidence",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    },
    {
      "case_id": "inv__x1__fast__light__global_route_proxy__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "global_route_proxy",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "11.385",
      "fanout_ratio": "10.350",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "22.180",
      "total_cell_delay_ps": "48.774",
      "output_slew_ps": "54.926",
      "area_units": "1.000",
      "leakage_proxy": "0.942",
      "dynamic_energy_proxy_fj": "4.644",
      "max_cap_slew_risk": "0.508",
      "setup_slack_proxy_ps": "132.082",
      "hold_slack_proxy_ps": "18.353",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.809",
      "decision_gate": "bounded_report_candidate",
      "evidence_state": "global_route_proxy_evidence",
      "next_safe_check": "Compare WNS/TNS, max-slew, max-cap, area, and source stage together before reusing the row."
    }
  ],
  "risk_examples": [
    {
      "case_id": "inv__x1__fast__light__post_route_replay__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "post_route_replay",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "15.385",
      "fanout_ratio": "13.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "29.972",
      "total_cell_delay_ps": "64.791",
      "output_slew_ps": "77.168",
      "area_units": "1.000",
      "leakage_proxy": "0.947",
      "dynamic_energy_proxy_fj": "6.084",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "89.209",
      "hold_slack_proxy_ps": "16.275",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.840",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "post_route_report_like_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__light__post_route_replay__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "post_route_replay",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "15.385",
      "fanout_ratio": "13.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "29.972",
      "total_cell_delay_ps": "64.791",
      "output_slew_ps": "77.168",
      "area_units": "1.000",
      "leakage_proxy": "0.947",
      "dynamic_energy_proxy_fj": "6.084",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "114.209",
      "hold_slack_proxy_ps": "16.275",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.840",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "post_route_report_like_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__light__post_route_replay__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "light",
      "report_stage": "post_route_replay",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "15.385",
      "fanout_ratio": "13.986",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "29.972",
      "total_cell_delay_ps": "64.791",
      "output_slew_ps": "77.168",
      "area_units": "1.000",
      "leakage_proxy": "0.947",
      "dynamic_energy_proxy_fj": "6.084",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "139.209",
      "hold_slack_proxy_ps": "16.275",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.840",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "post_route_report_like_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__synthesis_ideal__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "13.385",
      "fanout_ratio": "12.168",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "26.076",
      "total_cell_delay_ps": "39.511",
      "output_slew_ps": "43.422",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "5.364",
      "max_cap_slew_risk": "0.678",
      "setup_slack_proxy_ps": "87.291",
      "hold_slack_proxy_ps": "17.241",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.458",
      "decision_gate": "routed_evidence_needed",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Do not stop at ideal-wire synthesis; require placed/routed parasitic evidence for the claim."
    },
    {
      "case_id": "inv__x1__fast__nominal__synthesis_ideal__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "13.385",
      "fanout_ratio": "12.168",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "26.076",
      "total_cell_delay_ps": "39.511",
      "output_slew_ps": "43.422",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "5.364",
      "max_cap_slew_risk": "0.678",
      "setup_slack_proxy_ps": "112.291",
      "hold_slack_proxy_ps": "17.241",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.458",
      "decision_gate": "routed_evidence_needed",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Do not stop at ideal-wire synthesis; require placed/routed parasitic evidence for the claim."
    },
    {
      "case_id": "inv__x1__fast__nominal__synthesis_ideal__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "synthesis_ideal",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "13.385",
      "fanout_ratio": "12.168",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "26.076",
      "total_cell_delay_ps": "39.511",
      "output_slew_ps": "43.422",
      "area_units": "1.000",
      "leakage_proxy": "0.931",
      "dynamic_energy_proxy_fj": "5.364",
      "max_cap_slew_risk": "0.678",
      "setup_slack_proxy_ps": "137.291",
      "hold_slack_proxy_ps": "17.241",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.458",
      "decision_gate": "routed_evidence_needed",
      "evidence_state": "synthesis_only_needs_routed_replacement",
      "next_safe_check": "Do not stop at ideal-wire synthesis; require placed/routed parasitic evidence for the claim."
    },
    {
      "case_id": "inv__x1__fast__nominal__placement_estimate__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "placement_estimate",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "16.385",
      "fanout_ratio": "14.895",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "31.920",
      "total_cell_delay_ps": "51.788",
      "output_slew_ps": "62.563",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "6.444",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "84.212",
      "hold_slack_proxy_ps": "18.715",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__placement_estimate__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "placement_estimate",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "16.385",
      "fanout_ratio": "14.895",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "31.920",
      "total_cell_delay_ps": "51.788",
      "output_slew_ps": "62.563",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "6.444",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "109.212",
      "hold_slack_proxy_ps": "18.715",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__placement_estimate__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "placement_estimate",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "16.385",
      "fanout_ratio": "14.895",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "31.920",
      "total_cell_delay_ps": "51.788",
      "output_slew_ps": "62.563",
      "area_units": "1.000",
      "leakage_proxy": "0.936",
      "dynamic_energy_proxy_fj": "6.444",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "134.212",
      "hold_slack_proxy_ps": "18.715",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.580",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "placed_estimated_rc_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__global_route_proxy__setup_closure",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "global_route_proxy",
      "optimization_goal": "setup_closure",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "20.385",
      "fanout_ratio": "18.532",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "39.713",
      "total_cell_delay_ps": "69.113",
      "output_slew_ps": "88.943",
      "area_units": "1.000",
      "leakage_proxy": "0.942",
      "dynamic_energy_proxy_fj": "7.884",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "77.887",
      "hold_slack_proxy_ps": "20.794",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.720",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "global_route_proxy_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__global_route_proxy__hold_safety",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "global_route_proxy",
      "optimization_goal": "hold_safety",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "20.385",
      "fanout_ratio": "18.532",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "39.713",
      "total_cell_delay_ps": "69.113",
      "output_slew_ps": "88.943",
      "area_units": "1.000",
      "leakage_proxy": "0.942",
      "dynamic_energy_proxy_fj": "7.884",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "102.887",
      "hold_slack_proxy_ps": "20.794",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.720",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "global_route_proxy_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    },
    {
      "case_id": "inv__x1__fast__nominal__global_route_proxy__area_power_recovery",
      "cell_archetype": "inv",
      "cell_label": "Inverter",
      "drive_strength": "x1",
      "input_slew_bin": "fast",
      "output_load_bin": "nominal",
      "report_stage": "global_route_proxy",
      "optimization_goal": "area_power_recovery",
      "pin_cap_ff": "1.100",
      "load_cap_ff": "20.385",
      "fanout_ratio": "18.532",
      "intrinsic_delay_ps": "18.504",
      "load_delay_ps": "39.713",
      "total_cell_delay_ps": "69.113",
      "output_slew_ps": "88.943",
      "area_units": "1.000",
      "leakage_proxy": "0.942",
      "dynamic_energy_proxy_fj": "7.884",
      "max_cap_slew_risk": "1.000",
      "setup_slack_proxy_ps": "127.887",
      "hold_slack_proxy_ps": "20.794",
      "area_pressure": "0.000",
      "timing_evidence_score": "0.720",
      "decision_gate": "max_cap_slew_review",
      "evidence_state": "global_route_proxy_evidence",
      "next_safe_check": "Inspect driven load, fanout, output slew, and max-cap evidence before upsizing or buffering."
    }
  ],
  "role_views": [
    {
      "role": "RTL / synthesis",
      "reads": [
        "cell_archetype",
        "drive_strength",
        "area_units",
        "setup_slack_proxy_ps"
      ],
      "question": "Did mapping and sizing create a plausible starting point, or is it only an ideal-wire hint?"
    },
    {
      "role": "STA / timing",
      "reads": [
        "total_cell_delay_ps",
        "output_slew_ps",
        "setup_slack_proxy_ps",
        "hold_slack_proxy_ps"
      ],
      "question": "Which path is setup-limited, hold-sensitive, slew-limited, or max-cap limited?"
    },
    {
      "role": "physical implementation",
      "reads": [
        "report_stage",
        "load_cap_ff",
        "fanout_ratio",
        "max_cap_slew_risk"
      ],
      "question": "Does placed/routed parasitic evidence change the conclusion from synthesis?"
    },
    {
      "role": "PPA / signoff boundary",
      "reads": [
        "area_pressure",
        "leakage_proxy",
        "dynamic_energy_proxy_fj",
        "timing_evidence_score"
      ],
      "question": "Can area/power be recovered without turning a teaching row into a signoff claim?"
    }
  ],
  "public_boundary": [
    "No Liberty table, standard-cell library, LEF/DEF/GDS/SPEF/SDC, OpenROAD report body, command transcript, or PDK/rule deck is copied.",
    "No live OpenROAD, OpenLane, OpenSTA, Yosys, ABC, PEX, SPICE, or server-side EDA execution is active.",
    "No uploaded design, uploaded report, timing-closure claim, tapeout claim, product claim, foundry claim, or signoff authority is enabled.",
    "Rows are synthetic teaching proxies and require owned design, library, constraint, parasitic, and signoff evidence before engineering reuse."
  ]
}