eval-quality 0.2.0 → 0.5.0

package/dist/core/preflight/witness-evidence.js

@@ -4,6 +4,7 @@
  * unchanged. This module supplies the `Observation` shape they read and a
  * collection predicate scoped to one operation.
  */
+import { descriptorArtifactOf, descriptorChannelOf, } from '../declared-inputs.js';
 import { makeResolveOperand } from '../evaluate/evidence-resolution.js';
 import { resolveCheck, } from '../evaluate/resolution.js';
 import { decodeTail, parseEvidenceTarget } from '../seal/plan-index.js';
@@ -17,17 +18,46 @@ const asJsonObject = (value) => value !== null && typeof value === 'object' && !
     ? value
     : null;
 /**
- * `ObservedCallInputs` is narrower than `WitnessInputs`, so `body` loses
+ * `ObservedCallInputs` is narrower than `ApiWitnessInputs`, so `body` loses
  * information here: an absent body and a non-object JSON body both map to
  * `null`, and a relation addressing `/interactions/{legId}/call-inputs/body` on
  * such a leg resolves `ABSENT`.
  */
-const callInputsOf = (inputs) => ({
-    path: inputs.path,
-    query: inputs.query,
-    header: inputs.header,
-    body: inputs.body.kind === 'json' ? asJsonObject(inputs.body.value) : null,
-});
+const ABSENT_CHANNEL = { kind: 'absent' };
+const bodyValue = (body) => body.kind === 'absent' ? null : body.value;
+/**
+ * The leg's supplied inputs as the record spells them: every channel the leg
+ * did not use is `null` rather than absent, which is the observation's own
+ * convention for an unused channel.
+ */
+const callInputsOf = (inputs) => {
+    const empty = {
+        path: null,
+        query: null,
+        header: null,
+        body: null,
+        argument: null,
+        option: null,
+        environment: null,
+        stdin: null,
+    };
+    if ('body' in inputs) {
+        return {
+            ...empty,
+            path: inputs.path,
+            query: inputs.query,
+            header: inputs.header,
+            body: inputs.body.kind === 'json' ? asJsonObject(inputs.body.value) : null,
+        };
+    }
+    return {
+        ...empty,
+        argument: inputs.argument,
+        option: inputs.option,
+        environment: inputs.environment,
+        stdin: inputs.stdin.kind === 'json' ? asJsonObject(inputs.stdin.value) : null,
+    };
+};
 /**
  * One leg as the `Observation` `makeResolveOperand` takes. The relation reads the
  * **projected** body, which is AD-10's "evaluated over that operation's response
@@ -35,8 +65,10 @@ const callInputsOf = (inputs) => ({
  * the projection does not carry. `provenance` is `baseline`: a pre-flight leg is
  * pre-canned by definition.
  */
-export function evidenceOf(projected, observation, inputs) {
+export function evidenceOf(projected, observation, inputs, operation) {
     const { body } = projected;
+    const descriptorChannel = descriptorChannelOf(operation);
+    const describedArtifact = descriptorArtifactOf(operation);
     return {
         observationId: projected.legId,
         // A synthetic, single-observation shape built fresh per leg and never
@@ -51,17 +83,28 @@ export function evidenceOf(projected, observation, inputs) {
         sequence: 1,
         operationId: projected.operationId,
         provenance: 'baseline',
+        // A pre-flight leg is issued by this package rather than by a harness
+        // acting as a declared account, so it names no principal.
+        principal: null,
         callInputs: callInputsOf(inputs),
-        responseBody: body.kind === 'json'
-            ? body.value
-            : body.kind === 'text'
-                ? body.value
-                : null,
-        responseHeaders: observation.headers,
-        responseStatus: observation.status,
-        stdout: null,
-        stderr: null,
-        exitCode: null,
+        // The projected body is whichever channel the operation's descriptor
+        // describes, so it lands on the channel a relation addresses. Both are
+        // filled from the same projection rather than one being derived from
+        // the other, and every channel the leg did not observe is written down
+        // as unobserved rather than left to a default.
+        responseBody: observation.kind === 'api' ? bodyValue(body) : null,
+        responseHeaders: observation.kind === 'api' ? observation.headers : null,
+        responseStatus: observation.kind === 'api' ? observation.status : null,
+        stdout: observation.kind === 'api' || descriptorChannel !== 'stdout'
+            ? ABSENT_CHANNEL
+            : body,
+        stderr: observation.kind === 'api' || descriptorChannel !== 'stderr'
+            ? ABSENT_CHANNEL
+            : body,
+        exitCode: observation.kind === 'api' ? null : observation.exitCode,
+        artifacts: observation.kind === 'api' || describedArtifact === null
+            ? {}
+            : { [describedArtifact]: body },
     };
 }
 /** the contract's declared reference sets in the shape the resolver wants. */
@@ -93,6 +136,6 @@ export function makeWitnessPointerDenotesCollection(operation) {
     };
 }
 /** Resolves one witness relation over the legs it addresses. */
-export function resolveWitnessRelation(relation, legEvidence, operation, referenceSets, artifactPath) {
-    return resolveCheck(relation, makeResolveOperand(legEvidence, referenceSets), makeWitnessPointerDenotesCollection(operation), PREFLIGHT_REGEX_MATCH_STEP_BUDGET, artifactPath);
+export function resolveWitnessRelation(relation, legEvidence, operation, referenceSets, referenceSetKeys, artifactPath) {
+    return resolveCheck(relation, makeResolveOperand(legEvidence, referenceSets), makeWitnessPointerDenotesCollection(operation), referenceSetKeys, PREFLIGHT_REGEX_MATCH_STEP_BUDGET, artifactPath);
 }