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