eval-quality 0.2.0 → 0.5.0

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

@@ -161,7 +161,11 @@ export type CoverageGap = z.infer<typeof CoverageGap>;
 export declare const UncitedFindingGap: 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";
@@ -172,7 +176,8 @@ export declare const UncitedFindingGap: z.ZodObject<{
             stderr: "stderr";
             stdout: "stdout";
         }>;
-    }, z.core.$strict>>;
+        artifactId: z.ZodNull;
+    }, z.core.$strict>]>>;
     severity: z.ZodEnum<{
         critical: "critical";
         low: "low";
@@ -523,7 +528,11 @@ export declare const EvidenceArtifact: z.ZodDiscriminatedUnion<[z.ZodObject<{
     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";
@@ -534,7 +543,8 @@ export declare const EvidenceArtifact: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 stderr: "stderr";
                 stdout: "stdout";
             }>;
-        }, z.core.$strict>>;
+            artifactId: z.ZodNull;
+        }, z.core.$strict>]>>;
         severity: z.ZodEnum<{
             critical: "critical";
             low: "low";

package/dist/core/schemas/evidence-artifact.js

@@ -243,7 +243,7 @@ const evidenceCommonFields = {
         .describe('Every condition that fired, in AD-21 terms. Free text by design: the rungs are prose in AD-21 and assigning them identifiers would be minting a vocabulary that AD has not. Each member is non-empty, on the same reasoning that `InvalidatedAttempt.reason` is: a condition that names itself with nothing has not been recorded. An empty array is legal and is what a PASS with no firing condition carries.'),
     callerAttestedInputs: z
         .array(ScoringVersionInputName)
-        .describe('Which of the six scoring-version inputs were caller-attested rather than computed by this package. An enum over the six key names rather than free strings, because AD-32 requires the artifact to state *which* inputs were attested and an unconstrained string cannot be checked against anything. AD-11 names three of the six as caller-attested; the enum admits any subset so a stricter or looser integration stays representable.'),
+        .describe('Which of the six scoring-version inputs were caller-attested rather than computed by this package. An enum over the six key names rather than free strings, because AD-32 requires the artifact to state *which* inputs were attested and an unconstrained string cannot be checked against anything. AD-11 names three of the six as caller-attested; the enum admits any subset so a stricter or looser integration stays representable. `mode` is the one member that is not a choice: `ScoringVersionInputs.mode` is read from the sealed run record and never re-derived, so a list omitting it is a misdeclaration rather than a stricter integration. The schema admits that shape and the constraint ledger records why; `core/emit` always names it.'),
     trials: Trials,
     outcomes: z.array(Outcome),
     uncitedFindings: z