Interface SourcePatchEnvelope

Worker → host → caller source-patch envelope (§25). Closed + validated.

interface SourcePatchEnvelope {
    files: SourcePatchFile[];
    intentNote: string;
    kind: "source-patch";
    targetProjectId: string;
}

Index

Properties

files intentNote kind targetProjectId

Properties

files

files: SourcePatchFile[]

intentNote

intentNote: string

kind

kind: "source-patch"

targetProjectId

targetProjectId: string

MUST === callerProjectId (the host asserts).