OpenSpec Coverage Report -- secured-party-state
===============================================
Spec: secured-party-state
Scenarios:
  [OK] filings-with-state-populated     -> filingsWithStatePopulated
  [OK] historical-filings-null-state    -> historicalFilingsNullState
  [OK] filter-by-state                  -> filterByState
Coverage: 3 / 3 scenarios   (100%)
Status: VERIFIED
