Theia API Documentation v1.74.0
    Preparing search index...
    interface CompactionMessage {
        actor: "ai";
        data: unknown;
        provider: string;
        summary?: string;
        type: "compaction";
    }
    Index

    Properties

    actor: "ai"
    data: unknown

    Opaque provider payload to replay.

    provider: string

    Originating provider tag; a backend replays the payload only when this matches its own provider.

    summary?: string

    Human-readable summary, when the provider exposes one.

    type: "compaction"