ISPO SDK
    Preparing search index...

    Interface EditSessionResultEnvelope

    Markdown

    Worker → host → caller edit-session envelope (§25). An object-scoped files.editSession.* session the worker drove; the host verifies the session's editor is the worker and its scope is a single object (never a library grant).

    interface EditSessionResultEnvelope {
        kind: "edit-session";
        sessionId: string;
        status?: "closed" | "saved" | "conflict";
    }
    Index
    kind: "edit-session"
    sessionId: string
    status?: "closed" | "saved" | "conflict"