/**
 * CLI command: tryassay stream-verify
 * Verify a code file with Bayesian Anomaly Scoring.
 * Uses BAS to adaptively focus formal checks where hallucination is most likely.
 *
 * For static files (no logprobs available), runs formal checks on all code.
 * The BAS scoring layer activates during streaming generation when logprobs
 * are present (see `tryassay watch` and `tryassay bas-score`).
 */
export declare function streamVerifyCommand(file: string, options: {
    green?: string;
    red?: string;
    bas?: boolean;
    language?: string;
    json?: boolean;
}): Promise<void>;