eval-quality 1.2.0 → 1.3.0

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

@@ -828,7 +828,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                 legId: z.ZodString;
                 interfaceId: z.ZodString;
                 operationId: 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>;
@@ -838,7 +838,20 @@ 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>>;
         }, z.core.$strict>;
         readonly priorArt: 'eval-contract';
@@ -1404,7 +1417,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     legId: z.ZodString;
                     interfaceId: z.ZodString;
                     operationId: 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>;
@@ -1414,7 +1427,20 @@ 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>]>;
                     relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
                 }, z.core.$strict>>;
             }, z.core.$strict>>;
@@ -1587,7 +1613,7 @@ export declare const INTERCHANGE_ARTIFACTS: {
                     legId: z.ZodString;
                     interfaceId: z.ZodString;
                     operationId: 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>;
@@ -1597,7 +1623,20 @@ 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>]>;
                     relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
                 }, z.core.$strict>>;
             }, z.core.$strict>>;

package/dist/core/schemas/eval-contract.d.ts

@@ -924,7 +924,7 @@ export declare const EvalContract: z.ZodObject<{
         legId: z.ZodString;
         interfaceId: z.ZodString;
         operationId: 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>;
@@ -934,7 +934,20 @@ export declare const EvalContract: z.ZodObject<{
             }, 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>>;
 }, z.core.$strict>;
 export type EvalContract = z.infer<typeof EvalContract>;

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

@@ -42,7 +42,7 @@ export declare const Defect: z.ZodObject<{
         legId: z.ZodString;
         interfaceId: z.ZodString;
         operationId: 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>;
@@ -52,7 +52,20 @@ export declare const Defect: z.ZodObject<{
             }, 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>]>;
         relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
@@ -234,7 +247,7 @@ export declare const Probe: z.ZodDiscriminatedUnion<[z.ZodObject<{
             legId: z.ZodString;
             interfaceId: z.ZodString;
             operationId: 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>;
@@ -244,7 +257,20 @@ export declare const Probe: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }, 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>]>;
             relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
@@ -417,7 +443,7 @@ export declare const Probe: z.ZodDiscriminatedUnion<[z.ZodObject<{
             legId: z.ZodString;
             interfaceId: z.ZodString;
             operationId: 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>;
@@ -427,7 +453,20 @@ export declare const Probe: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }, 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>]>;
             relation: z.ZodType<import("./expression.ts").Expression, unknown, z.core.$ZodTypeInternals<import("./expression.ts").Expression, unknown>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;

package/dist/core/schemas/sensitivity-witness.d.ts

@@ -197,12 +197,23 @@ export type SensitivityWitness = z.infer<typeof SensitivityWitness>;
  * A different mechanism from AD-40's DEFECT SIGNATURE, which matches a
  * scoring-side finding against an observation. This one never enters a score; it
  * makes "every declared seeded fault observed to fire" decidable at pre-flight.
+ *
+ * `inputs` is the same union a sensitivity leg takes. It was `ApiWitnessInputs`
+ * alone, which made a seeded defect against a command-line system under test
+ * unrepresentable in both directions: command channels failed the `Probe`
+ * parse, and transport channels reached `requestOf` and threw
+ * `undeclared-mandatory-input` for supplying transport channels to an operation
+ * that runs behind a command. A `null` witness parses, so the only way through
+ * was to declare the defect unobservable, which pre-flight records as a failed
+ * `seeded-fault-fired` check. Every `defect` and `zero-action` probe against a
+ * command was therefore unscoreable. 0.3.0 widened the contract side and left
+ * this one and `FixtureReset` behind.
  */
 export declare const ManifestationWitness: z.ZodObject<{
     legId: z.ZodString;
     interfaceId: z.ZodString;
     operationId: 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>;
@@ -212,7 +223,20 @@ export declare const ManifestationWitness: z.ZodObject<{
         }, 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>]>;
     relation: z.ZodType<Expression, unknown, z.core.$ZodTypeInternals<Expression, unknown>>;
 }, z.core.$strict>;
 export type ManifestationWitness = z.infer<typeof ManifestationWitness>;
@@ -225,7 +249,7 @@ export declare const FixtureReset: z.ZodObject<{
     legId: z.ZodString;
     interfaceId: z.ZodString;
     operationId: 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>;
@@ -235,6 +259,19 @@ export declare const FixtureReset: z.ZodObject<{
         }, 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>;
 export type FixtureReset = z.infer<typeof FixtureReset>;

package/dist/core/schemas/sensitivity-witness.js

@@ -121,12 +121,23 @@ export const SensitivityWitness = z.strictObject({
  * A different mechanism from AD-40's DEFECT SIGNATURE, which matches a
  * scoring-side finding against an observation. This one never enters a score; it
  * makes "every declared seeded fault observed to fire" decidable at pre-flight.
+ *
+ * `inputs` is the same union a sensitivity leg takes. It was `ApiWitnessInputs`
+ * alone, which made a seeded defect against a command-line system under test
+ * unrepresentable in both directions: command channels failed the `Probe`
+ * parse, and transport channels reached `requestOf` and threw
+ * `undeclared-mandatory-input` for supplying transport channels to an operation
+ * that runs behind a command. A `null` witness parses, so the only way through
+ * was to declare the defect unobservable, which pre-flight records as a failed
+ * `seeded-fault-fired` check. Every `defect` and `zero-action` probe against a
+ * command was therefore unscoreable. 0.3.0 widened the contract side and left
+ * this one and `FixtureReset` behind.
  */
 export const ManifestationWitness = z.strictObject({
     legId: Identifier,
     interfaceId: Identifier,
     operationId: Identifier,
-    inputs: ApiWitnessInputs,
+    inputs: WitnessInputs,
     relation: Expression,
 });
 /**
@@ -138,5 +149,5 @@ export const FixtureReset = z.strictObject({
     legId: Identifier,
     interfaceId: Identifier,
     operationId: Identifier,
-    inputs: ApiWitnessInputs,
+    inputs: WitnessInputs,
 });

package/dist/index.d.ts

@@ -12,4 +12,4 @@ export type { ScoringPolicy } from './core/schemas/scoring-policy.ts';
 export type { SealedEvaluatorBrief } from './core/schemas/sealed-evaluator-brief.ts';
 export type { SealedRunRecord } from './core/schemas/sealed-run-record.ts';
 export type { FixtureReset, ManifestationWitness, SensitivityWitness, SensitivityWitnessLeg, WitnessChannel, WitnessInputs, } from './core/schemas/sensitivity-witness.ts';
-export declare const VERSION = "1.2.0";
+export declare const VERSION = "1.3.0";

package/dist/index.js

@@ -19,4 +19,4 @@
 // subpath, where AD-37 puts the conformance definition an adapter author
 // reads; the reference adapters stay at `eval-quality/adapters`.
 export * from './application/index.js';
-export const VERSION = '1.2.0';
+export const VERSION = '1.3.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eval-quality",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "description": "Compile disciplined Behavioral Evaluation Contracts and score their ability to catch known defects.",
   "author": "Murat Ozcan",
   "license": "Apache-2.0",

package/schemas/eval-contract.schema.json

@@ -1566,7 +1566,102 @@
               "description": "A kebab-case slug. Excludes \"/\" and \"~\" so an identifier can be embedded in an interaction-rooted pointer without escaping."
             },
             "inputs": {
-              "$ref": "#/$defs/WitnessInputs"
+              "anyOf": [
+                {
+                  "$ref": "#/$defs/WitnessInputs"
+                },
+                {
+                  "type": "object",
+                  "properties": {
+                    "argument": {
+                      "type": "object",
+                      "propertyNames": {
+                        "type": "string"
+                      },
+                      "additionalProperties": {
+                        "$ref": "#/$defs/JsonValue"
+                      }
+                    },
+                    "option": {
+                      "type": "object",
+                      "propertyNames": {
+                        "type": "string"
+                      },
+                      "additionalProperties": {
+                        "$ref": "#/$defs/JsonValue"
+                      }
+                    },
+                    "environment": {
+                      "type": "object",
+                      "propertyNames": {
+                        "type": "string",
+                        "minLength": 1
+                      },
+                      "additionalProperties": {
+                        "type": "string"
+                      }
+                    },
+                    "stdin": {
+                      "oneOf": [
+                        {
+                          "type": "object",
+                          "properties": {
+                            "kind": {
+                              "type": "string",
+                              "const": "json"
+                            },
+                            "value": {
+                              "$ref": "#/$defs/JsonValue"
+                            }
+                          },
+                          "required": [
+                            "kind",
+                            "value"
+                          ],
+                          "additionalProperties": false
+                        },
+                        {
+                          "type": "object",
+                          "properties": {
+                            "kind": {
+                              "type": "string",
+                              "const": "text"
+                            },
+                            "value": {
+                              "type": "string"
+                            }
+                          },
+                          "required": [
+                            "kind",
+                            "value"
+                          ],
+                          "additionalProperties": false
+                        },
+                        {
+                          "type": "object",
+                          "properties": {
+                            "kind": {
+                              "type": "string",
+                              "const": "absent"
+                            }
+                          },
+                          "required": [
+                            "kind"
+                          ],
+                          "additionalProperties": false
+                        }
+                      ]
+                    }
+                  },
+                  "required": [
+                    "argument",
+                    "option",
+                    "environment",
+                    "stdin"
+                  ],
+                  "additionalProperties": false
+                }
+              ]
             }
           },
           "required": [

package/schemas/probe.schema.json

@@ -308,7 +308,102 @@
                         "description": "A kebab-case slug. Excludes \"/\" and \"~\" so an identifier can be embedded in an interaction-rooted pointer without escaping."
                       },
                       "inputs": {
-                        "$ref": "#/$defs/WitnessInputs"
+                        "anyOf": [
+                          {
+                            "$ref": "#/$defs/WitnessInputs"
+                          },
+                          {
+                            "type": "object",
+                            "properties": {
+                              "argument": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string"
+                                },
+                                "additionalProperties": {
+                                  "$ref": "#/$defs/JsonValue"
+                                }
+                              },
+                              "option": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string"
+                                },
+                                "additionalProperties": {
+                                  "$ref": "#/$defs/JsonValue"
+                                }
+                              },
+                              "environment": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string",
+                                  "minLength": 1
+                                },
+                                "additionalProperties": {
+                                  "type": "string"
+                                }
+                              },
+                              "stdin": {
+                                "oneOf": [
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "json"
+                                      },
+                                      "value": {
+                                        "$ref": "#/$defs/JsonValue"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind",
+                                      "value"
+                                    ],
+                                    "additionalProperties": false
+                                  },
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "text"
+                                      },
+                                      "value": {
+                                        "type": "string"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind",
+                                      "value"
+                                    ],
+                                    "additionalProperties": false
+                                  },
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "absent"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind"
+                                    ],
+                                    "additionalProperties": false
+                                  }
+                                ]
+                              }
+                            },
+                            "required": [
+                              "argument",
+                              "option",
+                              "environment",
+                              "stdin"
+                            ],
+                            "additionalProperties": false
+                          }
+                        ]
                       },
                       "relation": {
                         "$ref": "#/$defs/Expression"
@@ -668,7 +763,102 @@
                         "description": "A kebab-case slug. Excludes \"/\" and \"~\" so an identifier can be embedded in an interaction-rooted pointer without escaping."
                       },
                       "inputs": {
-                        "$ref": "#/$defs/WitnessInputs"
+                        "anyOf": [
+                          {
+                            "$ref": "#/$defs/WitnessInputs"
+                          },
+                          {
+                            "type": "object",
+                            "properties": {
+                              "argument": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string"
+                                },
+                                "additionalProperties": {
+                                  "$ref": "#/$defs/JsonValue"
+                                }
+                              },
+                              "option": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string"
+                                },
+                                "additionalProperties": {
+                                  "$ref": "#/$defs/JsonValue"
+                                }
+                              },
+                              "environment": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "type": "string",
+                                  "minLength": 1
+                                },
+                                "additionalProperties": {
+                                  "type": "string"
+                                }
+                              },
+                              "stdin": {
+                                "oneOf": [
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "json"
+                                      },
+                                      "value": {
+                                        "$ref": "#/$defs/JsonValue"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind",
+                                      "value"
+                                    ],
+                                    "additionalProperties": false
+                                  },
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "text"
+                                      },
+                                      "value": {
+                                        "type": "string"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind",
+                                      "value"
+                                    ],
+                                    "additionalProperties": false
+                                  },
+                                  {
+                                    "type": "object",
+                                    "properties": {
+                                      "kind": {
+                                        "type": "string",
+                                        "const": "absent"
+                                      }
+                                    },
+                                    "required": [
+                                      "kind"
+                                    ],
+                                    "additionalProperties": false
+                                  }
+                                ]
+                              }
+                            },
+                            "required": [
+                              "argument",
+                              "option",
+                              "environment",
+                              "stdin"
+                            ],
+                            "additionalProperties": false
+                          }
+                        ]
                       },
                       "relation": {
                         "$ref": "#/$defs/Expression"