Exact-proof example · PGLib-OPF IEEE 30 test case (CC BY 4.0) · three baseline cut-set claims replayed by the separate exact-rational verifier · full JSON evidence
MWCLEAR
Connected N-1 thermal pre-screen
BASELINE_VIOLATION
Normal-operation headroom

Unavailable

Firm connected N-1 headroom

Unavailable

The optimized zero-request dispatch already violates a connected N-1 thermal limit; candidate-specific firm headroom is not available.

Candidate: load at bus 5 · request 50.0 MW · Q not supplied

CALCULATED · DC SCREEN
What binds firstNot available — no candidate decision
Triggering outageNot available — no candidate decision
Zero-request N-0 loading85%
Worst zero-request N-1 loading140%
Screened / islanding38 / 3
Flexible statusUnavailable · baseline violation
Maximum candidate curtailmentUnavailable
AC confidence layerNot run
Exact proof layerProven · baseline infeasibility
Model coverageComplete

Exact baseline cut-set certificates

These exact-rational certificates prove specific zero-request transport cut-set deficits under the recorded outages. They do not certify AC feasibility or candidate hosting capacity.

OutageRated cut element(s)Proven deficitSeparate exact replay
row 1row 4: 3–454.0 MWVERIFIED
row 2row 1: 1–253.4 MWVERIFIED
row 4row 1: 1–251.0 MWVERIFIED

Conditional connection actions

OutageMaximum candidate MWRequired curtailmentBinding element
Unavailable: Unavailable · baseline violation.

Smallest modeled rating-relief set

ElementTotal +MVARequest-attributable +MVADriving outage
Unavailable: Unavailable · baseline violation.

Better connection points

BusN-1 thermal headroomDecision
Ranking is blocked until the zero-request N-1 violation is fixed.
Traceability, scope and assumptions

Analysis ID: bf547f5425c115b3b6ef
Engine: MWClear 0.6.0
Engine source SHA-256: 22051e119f9ccb721d851d8f965d521e28cbe34d0bdef349ccb18a5524e2d1b9
Input SHA-256: cae3290639d989731d32428aacf30c0b918bc91db73bc54791f3aa62d3f76c70
Rating policy: RATE_A is applied to both N-0 and connected N-1 states
Selected monitored/outage rows: 41 / 41
Recorded model omissions: None recorded

Fast DC/PTDF/LODF screen using RATE_A and generator limits. Recorded preventive-dispatch policy: generator-bounds-constrained preventive dispatch minimizing the worst normal and connected N-1 branch utilization, followed by a strictly convex least-squares tie-break anchored to supplied generator PG. Candidate transfers use bounded proportional generator participation. Redispatch remains idealized within PMIN/PMAX: ramp limits, reserves, costs, and area interchange constraints are not modeled. It also excludes dynamics, protection, constructability, cost, schedule, outage probability, and 3 selected islanding outages. The optional AC badge covers only the snapshots explicitly listed in result.json. “+MVA” is a mathematical rating delta, not a construction design or price. Use this to choose where to study next, not as an interconnection approval.