eval-quality 0.2.0 → 0.5.0

package/dist/core/schemas/artifact.d.ts

@@ -105,29 +105,441 @@ export declare const INTERCHANGE_ARTIFACTS: {
                 approval: z.ZodNullable<z.ZodString>;
                 expiresAt: z.ZodNullable<z.ZodISODateTime>;
             }, z.core.$strict>>;
-            permittedInterfaces: z.ZodArray<z.ZodObject<{
+            permittedInterfaces: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                logicalId: z.ZodString;
+                kind: z.ZodLiteral<"api">;
+                operations: z.ZodArray<z.ZodObject<{
+                    operationId: z.ZodString;
+                    method: z.ZodEnum<{
+                        DELETE: "DELETE";
+                        GET: "GET";
+                        HEAD: "HEAD";
+                        OPTIONS: "OPTIONS";
+                        PATCH: "PATCH";
+                        POST: "POST";
+                        PUT: "PUT";
+                    }>;
+                    pathTemplate: z.ZodString;
+                    stateChangeMarker: z.ZodBoolean;
+                    requestShape: z.ZodObject<{
+                        path: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        query: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        header: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        body: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>;
+                    responseDescriptor: z.ZodObject<{
+                        requiredKeys: z.ZodArray<z.ZodString>;
+                        permittedKeys: z.ZodArray<z.ZodString>;
+                        types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                            array: "array";
+                            boolean: "boolean";
+                            null: "null";
+                            number: "number";
+                            object: "object";
+                            string: "string";
+                        }>>>;
+                        successIndicator: z.ZodNullable<z.ZodString>;
+                        channelRoles: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                            collection: "collection";
+                            diagnostic: "diagnostic";
+                            payload: "payload";
+                            "success-indicator": "success-indicator";
+                        }>>>;
+                        collectionLocations: z.ZodNullable<z.ZodArray<z.ZodObject<{
+                            pointer: z.ZodString;
+                            expectedCardinality: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"exact">;
+                                count: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"at-most">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"page-bounded">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>], "mode">;
+                            referenceSet: z.ZodNullable<z.ZodString>;
+                        }, z.core.$strict>>>;
+                    }, z.core.$strict>;
+                    volatilePointers: z.ZodArray<z.ZodString>;
+                    sensitivityWitness: z.ZodNullable<z.ZodObject<{
+                        witnessId: z.ZodString;
+                        channel: z.ZodEnum<{
+                            argument: "argument";
+                            body: "body";
+                            environment: "environment";
+                            option: "option";
+                            path: "path";
+                            query: "query";
+                            stdin: "stdin";
+                        }>;
+                        legs: z.ZodArray<z.ZodObject<{
+                            legId: z.ZodString;
+                            inputs: z.ZodUnion<readonly [z.ZodObject<{
+                                path: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                query: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                header: z.ZodRecord<z.ZodString, z.ZodString>;
+                                body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                argument: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                option: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                environment: z.ZodRecord<z.ZodString, z.ZodString>;
+                                stdin: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"text">;
+                                    value: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>]>;
+                        }, z.core.$strict>>;
+                        relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
+                logicalId: z.ZodString;
+                kind: z.ZodLiteral<"web">;
+                operations: z.ZodArray<z.ZodObject<{
+                    operationId: z.ZodString;
+                    method: z.ZodEnum<{
+                        DELETE: "DELETE";
+                        GET: "GET";
+                        HEAD: "HEAD";
+                        OPTIONS: "OPTIONS";
+                        PATCH: "PATCH";
+                        POST: "POST";
+                        PUT: "PUT";
+                    }>;
+                    pathTemplate: z.ZodString;
+                    stateChangeMarker: z.ZodBoolean;
+                    requestShape: z.ZodObject<{
+                        path: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        query: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        header: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        body: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>;
+                    responseDescriptor: z.ZodObject<{
+                        requiredKeys: z.ZodArray<z.ZodString>;
+                        permittedKeys: z.ZodArray<z.ZodString>;
+                        types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                            array: "array";
+                            boolean: "boolean";
+                            null: "null";
+                            number: "number";
+                            object: "object";
+                            string: "string";
+                        }>>>;
+                        successIndicator: z.ZodNullable<z.ZodString>;
+                        channelRoles: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                            collection: "collection";
+                            diagnostic: "diagnostic";
+                            payload: "payload";
+                            "success-indicator": "success-indicator";
+                        }>>>;
+                        collectionLocations: z.ZodNullable<z.ZodArray<z.ZodObject<{
+                            pointer: z.ZodString;
+                            expectedCardinality: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"exact">;
+                                count: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"at-most">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"page-bounded">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>], "mode">;
+                            referenceSet: z.ZodNullable<z.ZodString>;
+                        }, z.core.$strict>>>;
+                    }, z.core.$strict>;
+                    volatilePointers: z.ZodArray<z.ZodString>;
+                    sensitivityWitness: z.ZodNullable<z.ZodObject<{
+                        witnessId: z.ZodString;
+                        channel: z.ZodEnum<{
+                            argument: "argument";
+                            body: "body";
+                            environment: "environment";
+                            option: "option";
+                            path: "path";
+                            query: "query";
+                            stdin: "stdin";
+                        }>;
+                        legs: z.ZodArray<z.ZodObject<{
+                            legId: z.ZodString;
+                            inputs: z.ZodUnion<readonly [z.ZodObject<{
+                                path: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                query: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                header: z.ZodRecord<z.ZodString, z.ZodString>;
+                                body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                argument: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                option: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                environment: z.ZodRecord<z.ZodString, z.ZodString>;
+                                stdin: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"text">;
+                                    value: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>]>;
+                        }, z.core.$strict>>;
+                        relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
+                logicalId: z.ZodString;
+                kind: z.ZodLiteral<"mcp">;
+                operations: z.ZodArray<z.ZodObject<{
+                    operationId: z.ZodString;
+                    method: z.ZodEnum<{
+                        DELETE: "DELETE";
+                        GET: "GET";
+                        HEAD: "HEAD";
+                        OPTIONS: "OPTIONS";
+                        PATCH: "PATCH";
+                        POST: "POST";
+                        PUT: "PUT";
+                    }>;
+                    pathTemplate: z.ZodString;
+                    stateChangeMarker: z.ZodBoolean;
+                    requestShape: z.ZodObject<{
+                        path: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        query: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        header: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                        body: z.ZodObject<{
+                            requiredKeys: z.ZodArray<z.ZodString>;
+                            permittedKeys: z.ZodArray<z.ZodString>;
+                            types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                                array: "array";
+                                boolean: "boolean";
+                                null: "null";
+                                number: "number";
+                                object: "object";
+                                string: "string";
+                            }>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>;
+                    responseDescriptor: z.ZodObject<{
+                        requiredKeys: z.ZodArray<z.ZodString>;
+                        permittedKeys: z.ZodArray<z.ZodString>;
+                        types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
+                            array: "array";
+                            boolean: "boolean";
+                            null: "null";
+                            number: "number";
+                            object: "object";
+                            string: "string";
+                        }>>>;
+                        successIndicator: z.ZodNullable<z.ZodString>;
+                        channelRoles: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                            collection: "collection";
+                            diagnostic: "diagnostic";
+                            payload: "payload";
+                            "success-indicator": "success-indicator";
+                        }>>>;
+                        collectionLocations: z.ZodNullable<z.ZodArray<z.ZodObject<{
+                            pointer: z.ZodString;
+                            expectedCardinality: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                mode: z.ZodLiteral<"exact">;
+                                count: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"at-most">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>, z.ZodObject<{
+                                mode: z.ZodLiteral<"page-bounded">;
+                                max: z.ZodInt;
+                            }, z.core.$strict>], "mode">;
+                            referenceSet: z.ZodNullable<z.ZodString>;
+                        }, z.core.$strict>>>;
+                    }, z.core.$strict>;
+                    volatilePointers: z.ZodArray<z.ZodString>;
+                    sensitivityWitness: z.ZodNullable<z.ZodObject<{
+                        witnessId: z.ZodString;
+                        channel: z.ZodEnum<{
+                            argument: "argument";
+                            body: "body";
+                            environment: "environment";
+                            option: "option";
+                            path: "path";
+                            query: "query";
+                            stdin: "stdin";
+                        }>;
+                        legs: z.ZodArray<z.ZodObject<{
+                            legId: z.ZodString;
+                            inputs: z.ZodUnion<readonly [z.ZodObject<{
+                                path: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                query: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                header: z.ZodRecord<z.ZodString, z.ZodString>;
+                                body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                argument: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                option: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                environment: z.ZodRecord<z.ZodString, z.ZodString>;
+                                stdin: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"text">;
+                                    value: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>]>;
+                        }, z.core.$strict>>;
+                        relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
                 logicalId: z.ZodString;
-                kind: z.ZodEnum<{
-                    api: "api";
-                    cli: "cli";
-                    mcp: "mcp";
-                    web: "web";
-                }>;
+                kind: z.ZodLiteral<"cli">;
                 operations: z.ZodArray<z.ZodObject<{
                     operationId: z.ZodString;
-                    method: z.ZodEnum<{
-                        DELETE: "DELETE";
-                        GET: "GET";
-                        HEAD: "HEAD";
-                        OPTIONS: "OPTIONS";
-                        PATCH: "PATCH";
-                        POST: "POST";
-                        PUT: "PUT";
-                    }>;
-                    pathTemplate: z.ZodString;
+                    invocation: z.ZodObject<{
+                        executable: z.ZodString;
+                        subcommandPath: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>;
                     stateChangeMarker: z.ZodBoolean;
                     requestShape: z.ZodObject<{
-                        path: z.ZodObject<{
+                        argument: z.ZodObject<{
                             requiredKeys: z.ZodArray<z.ZodString>;
                             permittedKeys: z.ZodArray<z.ZodString>;
                             types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
@@ -139,7 +551,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                                 string: "string";
                             }>>>;
                         }, z.core.$strict>;
-                        query: z.ZodObject<{
+                        option: z.ZodObject<{
                             requiredKeys: z.ZodArray<z.ZodString>;
                             permittedKeys: z.ZodArray<z.ZodString>;
                             types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
@@ -151,7 +563,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                                 string: "string";
                             }>>>;
                         }, z.core.$strict>;
-                        header: z.ZodObject<{
+                        environment: z.ZodObject<{
                             requiredKeys: z.ZodArray<z.ZodString>;
                             permittedKeys: z.ZodArray<z.ZodString>;
                             types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
@@ -163,7 +575,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                                 string: "string";
                             }>>>;
                         }, z.core.$strict>;
-                        body: z.ZodObject<{
+                        stdin: z.ZodObject<{
                             requiredKeys: z.ZodArray<z.ZodString>;
                             permittedKeys: z.ZodArray<z.ZodString>;
                             types: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodEnum<{
@@ -176,6 +588,17 @@ export declare const INTERCHANGE_ARTIFACTS: {
                             }>>>;
                         }, z.core.$strict>;
                     }, z.core.$strict>;
+                    artifacts: z.ZodArray<z.ZodString>;
+                    descriptorChannel: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"stream">;
+                        channel: z.ZodEnum<{
+                            stderr: "stderr";
+                            stdout: "stdout";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"artifact">;
+                        artifactId: z.ZodString;
+                    }, z.core.$strict>], "kind">;
                     responseDescriptor: z.ZodObject<{
                         requiredKeys: z.ZodArray<z.ZodString>;
                         permittedKeys: z.ZodArray<z.ZodString>;
@@ -213,13 +636,17 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     sensitivityWitness: z.ZodNullable<z.ZodObject<{
                         witnessId: z.ZodString;
                         channel: z.ZodEnum<{
+                            argument: "argument";
                             body: "body";
+                            environment: "environment";
+                            option: "option";
                             path: "path";
                             query: "query";
+                            stdin: "stdin";
                         }>;
                         legs: z.ZodArray<z.ZodObject<{
                             legId: z.ZodString;
-                            inputs: z.ZodObject<{
+                            inputs: z.ZodUnion<readonly [z.ZodObject<{
                                 path: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
                                 query: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
                                 header: z.ZodRecord<z.ZodString, z.ZodString>;
@@ -229,12 +656,25 @@ export declare const INTERCHANGE_ARTIFACTS: {
                                 }, z.core.$strict>, z.ZodObject<{
                                     kind: z.ZodLiteral<"absent">;
                                 }, z.core.$strict>], "kind">;
-                            }, z.core.$strict>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                argument: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                option: z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>;
+                                environment: z.ZodRecord<z.ZodString, z.ZodString>;
+                                stdin: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    kind: z.ZodLiteral<"json">;
+                                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"text">;
+                                    value: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    kind: z.ZodLiteral<"absent">;
+                                }, z.core.$strict>], "kind">;
+                            }, z.core.$strict>]>;
                         }, z.core.$strict>>;
                         relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
                     }, z.core.$strict>>;
                 }, z.core.$strict>>;
-            }, z.core.$strict>>;
+            }, z.core.$strict>], "kind">>;
             referenceSets: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodObject<{
                 keys: z.ZodArray<z.ZodString>;
                 members: z.ZodArray<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
@@ -247,7 +687,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
             interactionPlan: z.ZodArray<z.ZodObject<{
                 stepId: z.ZodString;
                 operationId: z.ZodString;
-                inputBinding: z.ZodObject<{
+                inputBinding: z.ZodUnion<readonly [z.ZodObject<{
                     path: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
                         literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
                     }, z.core.$strict>, z.ZodObject<{
@@ -296,7 +736,56 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     }, z.core.$strict>, z.ZodObject<{
                         principal: z.ZodString;
                     }, z.core.$strict>]>>>;
-                }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    argument: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                        literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        matcher: z.ZodEnum<{
+                            any: "any";
+                            "type-violating": "type-violating";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        captured: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        principal: z.ZodString;
+                    }, z.core.$strict>]>>>;
+                    option: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                        literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        matcher: z.ZodEnum<{
+                            any: "any";
+                            "type-violating": "type-violating";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        captured: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        principal: z.ZodString;
+                    }, z.core.$strict>]>>>;
+                    environment: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                        literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        matcher: z.ZodEnum<{
+                            any: "any";
+                            "type-violating": "type-violating";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        captured: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        principal: z.ZodString;
+                    }, z.core.$strict>]>>>;
+                    stdin: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                        literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        matcher: z.ZodEnum<{
+                            any: "any";
+                            "type-violating": "type-violating";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        captured: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        principal: z.ZodString;
+                    }, z.core.$strict>]>>>;
+                }, z.core.$strict>]>;
                 after: z.ZodNullable<z.ZodString>;
                 cardinality: z.ZodEnum<{
                     any: "any";
@@ -488,7 +977,11 @@ export declare const INTERCHANGE_ARTIFACTS: {
                 }, z.core.$strict>], "storage">>;
                 findingType: z.ZodLiteral<"defect">;
                 observationIds: z.ZodArray<z.ZodString>;
-                quotedEvidence: z.ZodArray<z.ZodObject<{
+                quotedEvidence: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+                    quote: z.ZodString;
+                    channel: z.ZodLiteral<"artifact">;
+                    artifactId: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
                     quote: z.ZodString;
                     channel: z.ZodEnum<{
                         "call-inputs": "call-inputs";
@@ -499,7 +992,8 @@ export declare const INTERCHANGE_ARTIFACTS: {
                         stderr: "stderr";
                         stdout: "stdout";
                     }>;
-                }, z.core.$strict>>;
+                    artifactId: z.ZodNull;
+                }, z.core.$strict>]>>;
             }, z.core.$strict>, z.ZodObject<{
                 findingId: z.ZodString;
                 oracleId: z.ZodNullable<z.ZodString>;
@@ -559,18 +1053,48 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     baseline: "baseline";
                     "evaluator-chosen": "evaluator-chosen";
                 }>;
+                principal: z.ZodNullable<z.ZodString>;
                 callInputs: z.ZodObject<{
                     path: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
                     query: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
                     header: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
                     body: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
+                    argument: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
+                    option: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
+                    environment: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
+                    stdin: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
                 }, z.core.$strict>;
                 responseBody: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>>;
                 responseHeaders: z.ZodNullable<z.ZodType<import("./primitives.ts").JsonObject, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonObject, unknown>>>;
                 responseStatus: z.ZodNullable<z.ZodInt>;
-                stdout: z.ZodNullable<z.ZodString>;
-                stderr: z.ZodNullable<z.ZodString>;
+                stdout: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"json">;
+                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"text">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"absent">;
+                }, z.core.$strict>], "kind">;
+                stderr: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"json">;
+                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"text">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"absent">;
+                }, z.core.$strict>], "kind">;
                 exitCode: z.ZodNullable<z.ZodInt>;
+                artifacts: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"json">;
+                    value: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"text">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"absent">;
+                }, z.core.$strict>], "kind">>;
             }, z.core.$strict>>;
             judgeResults: z.ZodArray<z.ZodObject<{
                 rubricId: z.ZodString;
@@ -1077,10 +1601,90 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
                 }, z.core.$strict>>;
             }, z.core.$strict>>;
-            defectSignature: z.ZodNullable<z.ZodObject<{
+            defectSignature: z.ZodNullable<z.ZodUnion<readonly [z.ZodObject<{
+                observableChannel: z.ZodEnum<{
+                    artifact: "artifact";
+                    "call-inputs": "call-inputs";
+                    "exit-code": "exit-code";
+                    "response-body": "response-body";
+                    "response-headers": "response-headers";
+                    "response-status": "response-status";
+                    stderr: "stderr";
+                    stdout: "stdout";
+                }>;
+                condition: z.ZodObject<{
+                    selector: z.ZodObject<{
+                        inputBinding: z.ZodObject<{
+                            path: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            query: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            header: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            body: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            argument: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            option: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            environment: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            stdin: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>;
+                    predicate: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
+                }, z.core.$strict>;
                 interfaceKind: z.ZodEnum<{
                     api: "api";
-                    cli: "cli";
                     mcp: "mcp";
                     web: "web";
                 }>;
@@ -1094,7 +1698,9 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     PUT: "PUT";
                 }>;
                 pathTemplate: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
                 observableChannel: z.ZodEnum<{
+                    artifact: "artifact";
                     "call-inputs": "call-inputs";
                     "exit-code": "exit-code";
                     "response-body": "response-body";
@@ -1138,11 +1744,48 @@ export declare const INTERCHANGE_ARTIFACTS: {
                                     "type-violating": "type-violating";
                                 }>;
                             }, z.core.$strict>]>>>;
+                            argument: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            option: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            environment: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
+                            stdin: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+                                literal: z.ZodType<import("./primitives.ts").JsonValue, unknown, z.core.$ZodTypeInternals<import("./primitives.ts").JsonValue, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                matcher: z.ZodEnum<{
+                                    any: "any";
+                                    "type-violating": "type-violating";
+                                }>;
+                            }, z.core.$strict>]>>>;
                         }, z.core.$strict>;
                     }, z.core.$strict>;
                     predicate: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
                 }, z.core.$strict>;
-            }, z.core.$strict>>;
+                interfaceKind: z.ZodLiteral<"cli">;
+                invocation: z.ZodObject<{
+                    executable: z.ZodString;
+                    subcommandPath: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>;
+            }, z.core.$strict>]>>;
         }, z.core.$strict>], "expectedClean">;
         readonly priorArt: 'h0-ground-truth';
         readonly carriesLineage: true;
@@ -1491,7 +2134,11 @@ export declare const INTERCHANGE_ARTIFACTS: {
             uncitedFindingGaps: z.ZodArray<z.ZodObject<{
                 findingId: z.ZodString;
                 observationIds: z.ZodArray<z.ZodString>;
-                quotedEvidence: z.ZodArray<z.ZodObject<{
+                quotedEvidence: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+                    quote: z.ZodString;
+                    channel: z.ZodLiteral<"artifact">;
+                    artifactId: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
                     quote: z.ZodString;
                     channel: z.ZodEnum<{
                         "call-inputs": "call-inputs";
@@ -1502,7 +2149,8 @@ export declare const INTERCHANGE_ARTIFACTS: {
                         stderr: "stderr";
                         stdout: "stdout";
                     }>;
-                }, z.core.$strict>>;
+                    artifactId: z.ZodNull;
+                }, z.core.$strict>]>>;
                 severity: z.ZodEnum<{
                     critical: "critical";
                     low: "low";