Deterministic classification of inputs you declare. Record a declared locate (source, list date, on-list flag) against a declared short-sale order, and carry the declared short-sale price restriction (SSR) flag through to the verdict. Every order fact, locate fact, and flag here is yours: the page holds no borrow lists, no SSR tapes, no cutoff feeds, and no clock.
This checker classifies short-sale locates only: a side other than sell_short is refused fail-closed, never reinterpreted.
The source and date are the documentation you declare, recorded pre-order. Nothing is fetched: the on-list flag is asserted by you, and the classification follows it.
The short-sale price-test state is carried exactly as you declare it. The price test itself (at-or-below pricing while the flag is active) belongs to your own feeds and venue controls; this page never runs it.