IFClite TypeScript API
    Preparing search index...

    Interface ProposalView

    interface ProposalView {
        costUsd?: number;
        counts: {
            batches: number;
            errors: number;
            ops: number;
            selected: number;
            selectedOps: number;
        };
        documentBatches: BatchRow[];
        model: string;
        questions: AskedQuestion[];
        specs: SpecRow[];
        status: AgentRunStatus;
        stoppedBecause?: string;
        summary: string;
        tokens: { complete: boolean; input: number; output: number };
        unresolved: UnresolvedStatement[];
    }
    Index
    costUsd?: number
    counts: {
        batches: number;
        errors: number;
        ops: number;
        selected: number;
        selectedOps: number;
    }
    documentBatches: BatchRow[]

    Batches that touch no specification (document info, custom declarations).

    model: string
    questions: AskedQuestion[]
    specs: SpecRow[]
    stoppedBecause?: string

    Why the run stopped early, in words; absent for a completed run.

    summary: string
    tokens: { complete: boolean; input: number; output: number }
    unresolved: UnresolvedStatement[]