ordspv
    Preparing search index...

    Type Alias RefusalClassName

    RefusalClassName:
        | "CustodyUnsupportedError"
        | "EnvelopeIndexUnprovenError"
        | "CoinbaseHeightUnprovenError"
        | "SatFundingIncompleteError"
        | "SatStepLimitError"
        | "CustodyHopLimitError"
        | "WitnessSectionUnavailableError"

    The refusal classes whose build-time facts the loops read. SatPositionError is deliberately not here, because both loops rotate on it by name beside the predicate below rather than through it. It does carry a CLI row of its own, which the CLI keys on a union of this one plus that name: what a class asserts is a presentation question, and this table answers a different one.