类型别名 WorkspaceCardRefreshContext

WorkspaceCardRefreshContext: Omit<WorkspaceCardControllerContext, "network"> & {
    network?: {
        request: (
            input: { method: "GET"; url: string },
        ) => Promise<{ body: WorkspaceCardJson; status: number }>;
    };
}

静态类型收窄作者 API；运行期仍必须由 Extension 按触发来源重新校验。