@colophon-claims/verify 0.0.0 → 0.2.0

package/dist/schema.d.ts

@@ -0,0 +1,380 @@
+import { z } from "zod";
+export declare const BUNDLE_TRUST_FORMAT: "benchmark-product-public-trust/2";
+export declare const BUNDLE_EVIDENCE_FORMAT: "benchmark-product-evidence-catalog/2";
+export declare const BUNDLE_VERDICTS_FORMAT: "benchmark-product-verdict-catalog/2";
+export declare const BUNDLE_ASSEMBLY_FORMAT: "benchmark-product-assembly/2";
+export declare const BUNDLE_V4_TRUST_FORMAT: "benchmark-product-public-trust/4";
+export declare const BUNDLE_V4_EVIDENCE_FORMAT: "benchmark-product-evidence-catalog/4";
+export declare const BUNDLE_QUALIFICATION_FORMAT: "benchmark-product-binary-qualification/1";
+export declare const BUNDLE_V4_EVIDENCE_ROLES: readonly ["task", "runtime-selection", "evaluation-spec", "admission-receipt", "solve-submission", "run-pinning-evidence", "evaluation-submission", "solve-delivery", "solve-output", "evaluation-task", "evaluation-delivery", "verdict", "item-bank", "source-manifest", "admission-index", "admission-manifest", "replacement-ledger", "source-item", "judge-instrument", "analysis-context", "label-resolution", "human-review-evaluation-spec", "human-review-form", "human-review-packet", "human-review-response", "human-review-verdict", "reviewer-roster", "review-visibility-receipt", "review-reveal-receipt", "operator-assertion", "snapshot-probe", "screening-table", "screening-reveal-receipt", "screening-instrument", "screening-sampling-script", "screening-raw-outputs", "screening-prompt", "screening-procedure", "screening-pool", "screening-sample-commitment", "screening-transcript"];
+export type BundleV4EvidenceRole = (typeof BUNDLE_V4_EVIDENCE_ROLES)[number];
+export declare const BUNDLE_V4_ADMISSION_EVIDENCE_ROLES: readonly ["admission-manifest", "replacement-ledger", "source-item", "label-resolution", "analysis-context", "human-review-evaluation-spec", "human-review-form", "human-review-packet", "human-review-response", "human-review-verdict", "reviewer-roster", "review-visibility-receipt", "review-reveal-receipt", "operator-assertion", "screening-table", "screening-reveal-receipt", "screening-instrument", "screening-sampling-script", "screening-raw-outputs", "screening-prompt", "screening-procedure", "screening-pool", "screening-sample-commitment", "screening-transcript"];
+export declare const BundleTrustSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-public-trust/2">;
+    selfRun: z.ZodObject<{
+        custody: z.ZodLiteral<"workspace-minted">;
+        evaluatorDistinctness: z.ZodLiteral<"agent-distinctness-only">;
+        partyIndependence: z.ZodLiteral<"not-established">;
+    }, z.core.$strip>;
+    report: z.ZodObject<{
+        keyId: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+        spkiDerBase64: z.ZodString;
+        author: z.ZodString;
+        didKey: z.ZodString;
+        validFrom: z.ZodString;
+    }, z.core.$strip>;
+    evaluators: z.ZodArray<z.ZodObject<{
+        keyId: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+        spkiDerBase64: z.ZodString;
+        evaluator: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type BundleTrust = z.infer<typeof BundleTrustSchema>;
+export declare const BundleV4TrustSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-public-trust/4">;
+    selfRun: z.ZodObject<{
+        custody: z.ZodLiteral<"workspace-minted">;
+        evaluatorDistinctness: z.ZodLiteral<"agent-distinctness-only">;
+        partyIndependence: z.ZodLiteral<"not-established">;
+    }, z.core.$strict>;
+    report: z.ZodObject<{
+        keyId: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+        spkiDerBase64: z.ZodString;
+        author: z.ZodString;
+        didKey: z.ZodString;
+        validFrom: z.ZodString;
+    }, z.core.$strict>;
+    evaluators: z.ZodArray<z.ZodObject<{
+        keyId: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+        spkiDerBase64: z.ZodString;
+        evaluator: z.ZodString;
+    }, z.core.$strict>>;
+    admission: z.ZodObject<{
+        reviewers: z.ZodArray<z.ZodObject<{
+            evaluator: z.ZodString;
+            keyId: z.ZodString;
+        }, z.core.$strict>>;
+        authorities: z.ZodArray<z.ZodObject<{
+            role: z.ZodEnum<{
+                "roster-attestor": "roster-attestor";
+                "truth-reveal-attestor": "truth-reveal-attestor";
+                "operator-truth-attestor": "operator-truth-attestor";
+            }>;
+            keyId: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type BundleV4Trust = z.infer<typeof BundleV4TrustSchema>;
+export declare const BUNDLE_EVIDENCE_ROLES: readonly ["task", "runtime-selection", "evaluation-spec", "admission-receipt", "solve-submission", "run-pinning-evidence", "evaluation-submission", "solve-delivery", "solve-output", "evaluation-task", "evaluation-delivery", "verdict", "judge-instrument", "analysis-context", "label-resolution"];
+export type BundleEvidenceRole = (typeof BUNDLE_EVIDENCE_ROLES)[number];
+export declare const BundleEvidenceCatalogSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-evidence-catalog/2">;
+    records: z.ZodArray<z.ZodObject<{
+        sha256: z.ZodString;
+        roles: z.ZodArray<z.ZodEnum<{
+            verdict: "verdict";
+            task: "task";
+            "runtime-selection": "runtime-selection";
+            "evaluation-spec": "evaluation-spec";
+            "admission-receipt": "admission-receipt";
+            "solve-submission": "solve-submission";
+            "run-pinning-evidence": "run-pinning-evidence";
+            "evaluation-submission": "evaluation-submission";
+            "solve-delivery": "solve-delivery";
+            "solve-output": "solve-output";
+            "evaluation-task": "evaluation-task";
+            "evaluation-delivery": "evaluation-delivery";
+            "judge-instrument": "judge-instrument";
+            "analysis-context": "analysis-context";
+            "label-resolution": "label-resolution";
+        }>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type BundleEvidenceCatalog = z.infer<typeof BundleEvidenceCatalogSchema>;
+export declare const BundleV4EvidenceCatalogSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-evidence-catalog/4">;
+    records: z.ZodArray<z.ZodObject<{
+        sha256: z.ZodString;
+        roles: z.ZodArray<z.ZodEnum<{
+            verdict: "verdict";
+            task: "task";
+            "runtime-selection": "runtime-selection";
+            "evaluation-spec": "evaluation-spec";
+            "admission-receipt": "admission-receipt";
+            "solve-submission": "solve-submission";
+            "run-pinning-evidence": "run-pinning-evidence";
+            "evaluation-submission": "evaluation-submission";
+            "solve-delivery": "solve-delivery";
+            "solve-output": "solve-output";
+            "evaluation-task": "evaluation-task";
+            "evaluation-delivery": "evaluation-delivery";
+            "item-bank": "item-bank";
+            "source-manifest": "source-manifest";
+            "admission-index": "admission-index";
+            "admission-manifest": "admission-manifest";
+            "replacement-ledger": "replacement-ledger";
+            "source-item": "source-item";
+            "judge-instrument": "judge-instrument";
+            "analysis-context": "analysis-context";
+            "label-resolution": "label-resolution";
+            "human-review-evaluation-spec": "human-review-evaluation-spec";
+            "human-review-form": "human-review-form";
+            "human-review-packet": "human-review-packet";
+            "human-review-response": "human-review-response";
+            "human-review-verdict": "human-review-verdict";
+            "reviewer-roster": "reviewer-roster";
+            "review-visibility-receipt": "review-visibility-receipt";
+            "review-reveal-receipt": "review-reveal-receipt";
+            "operator-assertion": "operator-assertion";
+            "snapshot-probe": "snapshot-probe";
+            "screening-table": "screening-table";
+            "screening-reveal-receipt": "screening-reveal-receipt";
+            "screening-instrument": "screening-instrument";
+            "screening-sampling-script": "screening-sampling-script";
+            "screening-raw-outputs": "screening-raw-outputs";
+            "screening-prompt": "screening-prompt";
+            "screening-procedure": "screening-procedure";
+            "screening-pool": "screening-pool";
+            "screening-sample-commitment": "screening-sample-commitment";
+            "screening-transcript": "screening-transcript";
+        }>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type BundleV4EvidenceCatalog = z.infer<typeof BundleV4EvidenceCatalogSchema>;
+export declare const BundleQualificationSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-binary-qualification/1">;
+    claimSchema: z.ZodLiteral<"benchmark-product.claim-package/2">;
+    sourceManifestSha256: z.ZodString;
+    admissionManifestSha256: z.ZodString;
+    publicationGrade: z.ZodBoolean;
+    truthAdmission: z.ZodEnum<{
+        "two-human-unanimous": "two-human-unanimous";
+        "operator-only": "operator-only";
+        "screened-operator-sampled": "screened-operator-sampled";
+    }>;
+    candidateClasses: z.ZodArray<z.ZodString>;
+    strata: z.ZodArray<z.ZodString>;
+    arms: z.ZodArray<z.ZodObject<{
+        armId: z.ZodString;
+        instrumentSha256: z.ZodString;
+    }, z.core.$strict>>;
+    items: z.ZodArray<z.ZodObject<{
+        taskSha256: z.ZodString;
+        itemSha256: z.ZodString;
+        labelResolutionSha256: z.ZodString;
+        analysisContextSha256: z.ZodString;
+    }, z.core.$strict>>;
+    exclusions: z.ZodArray<z.ZodObject<{
+        itemSha256: z.ZodString;
+        replacementItemSha256: z.ZodString;
+        reason: z.ZodEnum<{
+            "review-disagreement": "review-disagreement";
+            "review-indeterminate": "review-indeterminate";
+            "review-incomplete": "review-incomplete";
+            "screening-disagreement": "screening-disagreement";
+            "screening-indeterminate": "screening-indeterminate";
+            "screening-hand-excluded": "screening-hand-excluded";
+        }>;
+    }, z.core.$strict>>;
+    admissionRecords: z.ZodArray<z.ZodObject<{
+        sha256: z.ZodString;
+        roles: z.ZodArray<z.ZodEnum<{
+            "admission-manifest": "admission-manifest";
+            "replacement-ledger": "replacement-ledger";
+            "source-item": "source-item";
+            "analysis-context": "analysis-context";
+            "label-resolution": "label-resolution";
+            "human-review-evaluation-spec": "human-review-evaluation-spec";
+            "human-review-form": "human-review-form";
+            "human-review-packet": "human-review-packet";
+            "human-review-response": "human-review-response";
+            "human-review-verdict": "human-review-verdict";
+            "reviewer-roster": "reviewer-roster";
+            "review-visibility-receipt": "review-visibility-receipt";
+            "review-reveal-receipt": "review-reveal-receipt";
+            "operator-assertion": "operator-assertion";
+            "screening-table": "screening-table";
+            "screening-reveal-receipt": "screening-reveal-receipt";
+            "screening-instrument": "screening-instrument";
+            "screening-sampling-script": "screening-sampling-script";
+            "screening-raw-outputs": "screening-raw-outputs";
+            "screening-prompt": "screening-prompt";
+            "screening-procedure": "screening-procedure";
+            "screening-pool": "screening-pool";
+            "screening-sample-commitment": "screening-sample-commitment";
+            "screening-transcript": "screening-transcript";
+        }>>;
+    }, z.core.$strict>>;
+    reachableSha256s: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type BundleQualification = z.infer<typeof BundleQualificationSchema>;
+export declare const BundleVerdictCatalogSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-verdict-catalog/2">;
+    verdicts: z.ZodArray<z.ZodObject<{
+        sha256: z.ZodString;
+        evaluator: z.ZodString;
+        keyId: z.ZodString;
+        cellKeys: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type BundleVerdictCatalog = z.infer<typeof BundleVerdictCatalogSchema>;
+export declare const BundleAssemblyHeaderSchema: z.ZodObject<{
+    format: z.ZodLiteral<"benchmark-product-assembly/2">;
+    kind: z.ZodLiteral<"run">;
+    runCancelled: z.ZodBoolean;
+    draftId: z.ZodString;
+    assurancePreset: z.ZodString;
+    rehearsal: z.ZodOptional<z.ZodObject<{
+        previewCount: z.ZodNumber;
+        timestamps: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+    graph: z.ZodObject<{
+        admissions: z.ZodArray<z.ZodObject<{
+            taskSha256: z.ZodString;
+            receiptSha256: z.ZodString;
+        }, z.core.$strip>>;
+        solveSubmissions: z.ZodArray<z.ZodObject<{
+            cellKey: z.ZodString;
+            dispatch: z.ZodNumber;
+            sha256: z.ZodString;
+            pinningEvidenceSha256: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        evaluationSubmissions: z.ZodArray<z.ZodObject<{
+            cellKey: z.ZodString;
+            dispatch: z.ZodNumber;
+            evalIndex: z.ZodNumber;
+            evaluationAttempt: z.ZodOptional<z.ZodNumber>;
+            evaluator: z.ZodString;
+            evalTaskSha256: z.ZodString;
+            sha256: z.ZodString;
+        }, z.core.$strip>>;
+        solveDeliveries: z.ZodArray<z.ZodObject<{
+            cellKey: z.ZodString;
+            dispatch: z.ZodNumber;
+            attempt: z.ZodString;
+            sha256: z.ZodString;
+            outputs: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                sha256: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        evaluations: z.ZodArray<z.ZodObject<{
+            cellKey: z.ZodString;
+            evalIndex: z.ZodNumber;
+            evaluationAttempt: z.ZodOptional<z.ZodNumber>;
+            relationship: z.ZodOptional<z.ZodEnum<{
+                "same-execution-scorer": "same-execution-scorer";
+                "separate-log-verifier": "separate-log-verifier";
+            }>>;
+            evaluator: z.ZodOptional<z.ZodString>;
+            evalTaskSha256: z.ZodOptional<z.ZodString>;
+            evalSubmissionSha256: z.ZodOptional<z.ZodString>;
+            evalAttempt: z.ZodOptional<z.ZodString>;
+            evalDeliverySha256: z.ZodOptional<z.ZodString>;
+            verdictSha256: z.ZodOptional<z.ZodString>;
+            evaluationTerminal: z.ZodOptional<z.ZodLiteral<"could-not-grade">>;
+            failureCategory: z.ZodOptional<z.ZodEnum<{
+                "invalid-document": "invalid-document";
+                "unsupported-profile": "unsupported-profile";
+                "unsupported-requirement": "unsupported-requirement";
+                "unsupported-capability": "unsupported-capability";
+                "invalid-reference": "invalid-reference";
+                "content-corruption": "content-corruption";
+                "access-denied": "access-denied";
+                "submission-conflict": "submission-conflict";
+                "attempt-not-found": "attempt-not-found";
+                "dependency-unavailable": "dependency-unavailable";
+                "backend-unavailable": "backend-unavailable";
+                "operation-aborted": "operation-aborted";
+                "deadline-exceeded": "deadline-exceeded";
+                "transport-failure": "transport-failure";
+                "result-unavailable": "result-unavailable";
+                "protocol-violation": "protocol-violation";
+            }>>;
+        }, z.core.$strip>>;
+        evaluationRetries: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            cellKey: z.ZodString;
+            dispatch: z.ZodNumber;
+            evalIndex: z.ZodNumber;
+            evaluationAttempt: z.ZodNumber;
+            evaluator: z.ZodString;
+            evalTaskSha256: z.ZodOptional<z.ZodString>;
+            evalSubmissionSha256: z.ZodOptional<z.ZodString>;
+            evalAttempt: z.ZodOptional<z.ZodString>;
+            failureCategory: z.ZodEnum<{
+                "invalid-document": "invalid-document";
+                "unsupported-profile": "unsupported-profile";
+                "unsupported-requirement": "unsupported-requirement";
+                "unsupported-capability": "unsupported-capability";
+                "invalid-reference": "invalid-reference";
+                "content-corruption": "content-corruption";
+                "access-denied": "access-denied";
+                "submission-conflict": "submission-conflict";
+                "attempt-not-found": "attempt-not-found";
+                "dependency-unavailable": "dependency-unavailable";
+                "backend-unavailable": "backend-unavailable";
+                "operation-aborted": "operation-aborted";
+                "deadline-exceeded": "deadline-exceeded";
+                "transport-failure": "transport-failure";
+                "result-unavailable": "result-unavailable";
+                "protocol-violation": "protocol-violation";
+            }>;
+            recoveryAdvice: z.ZodLiteral<"new-attempt-required">;
+            detail: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type BundleAssemblyHeader = z.infer<typeof BundleAssemblyHeaderSchema>;
+export declare const BundleAssemblyCellSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"cell">;
+    cellKey: z.ZodString;
+    armId: z.ZodString;
+    replicate: z.ZodNumber;
+    taskDigest: z.ZodString;
+    dispatches: z.ZodNumber;
+    accounted: z.ZodOptional<z.ZodNumber>;
+    submissionSha256: z.ZodOptional<z.ZodString>;
+    pinningEvidenceSha256: z.ZodOptional<z.ZodString>;
+    attempt: z.ZodOptional<z.ZodString>;
+    deliverySha256: z.ZodOptional<z.ZodString>;
+    solveOutputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        sha256: z.ZodString;
+    }, z.core.$strip>>>;
+    evaluationSpecSha256: z.ZodOptional<z.ZodString>;
+    evaluationTerminal: z.ZodOptional<z.ZodLiteral<"could-not-grade">>;
+    admission: z.ZodOptional<z.ZodObject<{
+        zeroReplayVariance: z.ZodBoolean;
+        externalCapabilities: z.ZodBoolean;
+    }, z.core.$strip>>;
+    admissionReceiptSha256: z.ZodOptional<z.ZodString>;
+    verdicts: z.ZodArray<z.ZodObject<{
+        sha256: z.ZodString;
+        relationship: z.ZodOptional<z.ZodEnum<{
+            "same-execution-scorer": "same-execution-scorer";
+            "separate-log-verifier": "separate-log-verifier";
+        }>>;
+        evalTaskSha256: z.ZodOptional<z.ZodString>;
+        evalSubmissionSha256: z.ZodOptional<z.ZodString>;
+        evalDeliverySha256: z.ZodOptional<z.ZodString>;
+        evalAttempt: z.ZodOptional<z.ZodString>;
+        evalIndex: z.ZodNumber;
+        evaluator: z.ZodString;
+        verdict: z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+            inconclusive: "inconclusive";
+        }>;
+        evaluationSpecSha256: z.ZodString;
+        measurements: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type BundleAssemblyCell = z.infer<typeof BundleAssemblyCellSchema>;
+export declare const BundleCancelMarkerSchema: z.ZodObject<{
+    requestedAt: z.ZodString;
+    principal: z.ZodString;
+}, z.core.$strip>;