agent-hitch 0.2.7 → 0.2.8

package/dist/src/domain/verifier-evidence-validation.js

@@ -0,0 +1,214 @@
+import { assertVerifierScoreEvidenceConsistency, parseVerifierFeedback, parseVerifierProcessEvidence, parseVerifierScores, } from "./verifier-score-contract.js";
+import { asArray, asInteger, asRecord, asSha256, asString, validateEvalRunParent, validateRunObservation } from "./validation.js";
+const ARTIFACT_NAMES = new Set(["ctrf.json", "test-stdout.txt", "test-stderr.txt", "stdout.txt", "stderr.txt"]);
+const STATUSES = new Set(["complete", "result_only", "missing", "corrupt"]);
+export function validateVerifierEvidence(value) {
+    const record = asRecord(value, "verifier evidence");
+    exact(record, ["schema_version", "kind", "run_id", "parent", "observation", "verifier", "redactions"], "verifier evidence");
+    if (record.schema_version !== "1" || record.kind !== "verifier-evidence")
+        throw new TypeError("unsupported verifier evidence schema");
+    const runId = asString(record.run_id, "verifier evidence run_id");
+    if (!/^run_[a-f0-9]{32}$/.test(runId))
+        throw new TypeError("verifier evidence run_id is invalid");
+    const parentRecord = record.parent === undefined ? undefined : asRecord(record.parent, "verifier evidence parent");
+    if (parentRecord)
+        exact(parentRecord, ["eval_id", "trial_id", "attempt"], "verifier evidence parent");
+    const parent = parentRecord === undefined ? undefined : validateEvalRunParent({ kind: "eval", ...parentRecord });
+    if (parent && !/^eval_[a-f0-9]{32}$/.test(parent.eval_id))
+        throw new TypeError("verifier evidence parent eval_id is invalid");
+    const observation = record.observation === undefined ? undefined : validateRunObservation(record.observation);
+    const verifier = parseVerifier(record.verifier);
+    const redactions = record.redactions === undefined ? undefined : parseRedactions(record.redactions);
+    return {
+        schema_version: "1",
+        kind: "verifier-evidence",
+        run_id: runId,
+        ...(parent ? { parent: { eval_id: parent.eval_id, trial_id: parent.trial_id, attempt: parent.attempt } } : {}),
+        ...(observation ? { observation } : {}),
+        verifier,
+        ...(redactions ? { redactions } : {}),
+    };
+}
+function parseVerifier(value) {
+    const record = asRecord(value, "verifier evidence payload");
+    exact(record, ["status", "result", "result_sha256", "scores", "process", "feedback", "structured_artifacts", "diagnostics", "issues"], "verifier evidence payload");
+    const status = asString(record.status, "verifier evidence status");
+    if (!STATUSES.has(status))
+        throw new TypeError("verifier evidence status is invalid");
+    const result = record.result === undefined ? undefined : jsonValue(record.result, "verifier result");
+    const resultSha256 = record.result_sha256 === undefined ? undefined : asSha256(record.result_sha256, "verifier result digest");
+    const scores = record.scores === undefined ? undefined : parseScores(record.scores);
+    const process = record.process === undefined ? undefined : parseVerifierProcessEvidence(record.process);
+    const feedback = record.feedback === undefined ? undefined : parseVerifierFeedback(record.feedback, process);
+    const structuredArtifacts = record.structured_artifacts === undefined ? undefined : parseStructuredArtifacts(record.structured_artifacts);
+    const diagnostics = record.diagnostics === undefined ? undefined : parseDiagnostics(record.diagnostics);
+    const issues = record.issues === undefined ? undefined : asArray(record.issues, "verifier issues").map((issue) => {
+        const text = asString(issue, "verifier issue");
+        if (!text || text.length > 1024)
+            throw new TypeError("verifier issue is invalid");
+        return text;
+    });
+    if ((status === "complete" || status === "result_only") && (result === undefined || resultSha256 === undefined)) {
+        throw new TypeError(`${status} verifier evidence requires a result and digest`);
+    }
+    if (status === "complete" && !hasArtifactDiagnostics(diagnostics)) {
+        throw new TypeError("complete verifier evidence requires CTRF, stdout, or stderr diagnostics");
+    }
+    if (status === "result_only" && hasArtifactDiagnostics(diagnostics)) {
+        throw new TypeError("result_only verifier evidence must not include CTRF, stdout, or stderr diagnostics");
+    }
+    if (status === "missing" && result !== undefined)
+        throw new TypeError("missing verifier evidence must not include a result");
+    if (status !== "corrupt") {
+        const resultScores = parseVerifierScores(result);
+        if (JSON.stringify(resultScores) !== JSON.stringify(scores))
+            throw new TypeError("verifier scores do not match the result");
+        assertVerifierScoreEvidenceConsistency({
+            scores,
+            ...(process === undefined ? {} : { process }),
+            ...(feedback === undefined ? {} : { feedback }),
+        });
+        if ((process !== undefined) !== (structuredArtifacts?.process !== undefined)
+            || (feedback !== undefined) !== (structuredArtifacts?.feedback !== undefined)) {
+            throw new TypeError("structured verifier artifact metadata is incomplete");
+        }
+    }
+    return {
+        status: status,
+        ...(result === undefined ? {} : { result }),
+        ...(resultSha256 === undefined ? {} : { result_sha256: resultSha256 }),
+        ...(scores === undefined ? {} : { scores }),
+        ...(process === undefined ? {} : { process }),
+        ...(feedback === undefined ? {} : { feedback }),
+        ...(structuredArtifacts === undefined ? {} : { structured_artifacts: structuredArtifacts }),
+        ...(diagnostics === undefined ? {} : { diagnostics }),
+        ...(issues === undefined ? {} : { issues }),
+    };
+}
+function parseScores(value) {
+    const record = asRecord(value, "verifier scores");
+    exact(record, ["total_score", "process_score", "normalization"], "verifier scores");
+    const total = finite(record.total_score, "verifier total_score");
+    const process = record.process_score === undefined ? undefined : finite(record.process_score, "verifier process_score");
+    if (record.normalization !== "standard" && record.normalization !== "legacy-reward")
+        throw new TypeError("verifier score normalization is invalid");
+    if (record.normalization === "legacy-reward" && process !== undefined)
+        throw new TypeError("legacy verifier scores cannot include process_score");
+    return { total_score: total, ...(process === undefined ? {} : { process_score: process }), normalization: record.normalization };
+}
+function parseStructuredArtifacts(value) {
+    const record = asRecord(value, "structured verifier artifacts");
+    exact(record, ["process", "feedback"], "structured verifier artifacts");
+    const parse = (raw, name) => {
+        const artifact = asRecord(raw, `structured verifier ${name} artifact`);
+        exact(artifact, ["ref", "bytes", "sha256"], `structured verifier ${name} artifact`);
+        if (artifact.ref !== `verifier/${name}.json`)
+            throw new TypeError(`structured verifier ${name} ref is invalid`);
+        const bytes = asInteger(artifact.bytes, `structured verifier ${name} bytes`);
+        if (bytes < 0)
+            throw new TypeError(`structured verifier ${name} bytes are invalid`);
+        return {
+            ref: `verifier/${name}.json`,
+            bytes,
+            sha256: asSha256(artifact.sha256, `structured verifier ${name} digest`),
+        };
+    };
+    if (record.process === undefined && record.feedback === undefined)
+        throw new TypeError("structured verifier artifacts must not be empty");
+    return {
+        ...(record.process === undefined ? {} : { process: parse(record.process, "process") }),
+        ...(record.feedback === undefined ? {} : { feedback: parse(record.feedback, "feedback") }),
+    };
+}
+function finite(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value))
+        throw new TypeError(`${label} must be finite`);
+    return value;
+}
+function hasArtifactDiagnostics(diagnostics) {
+    return diagnostics?.ctrf !== undefined || Boolean(diagnostics?.stdout?.length) || Boolean(diagnostics?.stderr?.length);
+}
+function parseDiagnostics(value) {
+    const record = asRecord(value, "verifier diagnostics");
+    exact(record, ["ctrf", "stdout", "stderr", "infrastructure_error", "retry_history"], "verifier diagnostics");
+    const ctrf = record.ctrf === undefined ? undefined : parseArtifact(record.ctrf);
+    const stdout = record.stdout === undefined ? undefined : asArray(record.stdout, "verifier stdout").map(parseArtifact);
+    const stderr = record.stderr === undefined ? undefined : asArray(record.stderr, "verifier stderr").map(parseArtifact);
+    const infrastructureError = record.infrastructure_error === undefined
+        ? undefined : jsonValue(record.infrastructure_error, "verifier infrastructure error");
+    const retryHistory = record.retry_history === undefined
+        ? undefined : asArray(record.retry_history, "verifier retry history").map((entry) => jsonValue(entry, "verifier retry entry"));
+    if (!ctrf && !stdout?.length && !stderr?.length && infrastructureError === undefined && !retryHistory?.length) {
+        throw new TypeError("verifier diagnostics must not be empty");
+    }
+    return {
+        ...(ctrf ? { ctrf } : {}),
+        ...(stdout?.length ? { stdout } : {}),
+        ...(stderr?.length ? { stderr } : {}),
+        ...(infrastructureError === undefined ? {} : { infrastructure_error: infrastructureError }),
+        ...(retryHistory?.length ? { retry_history: retryHistory } : {}),
+    };
+}
+function parseArtifact(value) {
+    const record = asRecord(value, "verifier artifact excerpt");
+    exact(record, ["name", "media_type", "bytes", "sha256", "truncated", "json", "text"], "verifier artifact excerpt");
+    const name = asString(record.name, "verifier artifact name");
+    if (!ARTIFACT_NAMES.has(name))
+        throw new TypeError("verifier artifact name is invalid");
+    const mediaType = asString(record.media_type, "verifier artifact media_type");
+    if (mediaType !== (name === "ctrf.json" ? "application/json" : "text/plain"))
+        throw new TypeError("verifier artifact media_type is invalid");
+    const bytes = asInteger(record.bytes, "verifier artifact bytes");
+    if (bytes < 0 || typeof record.truncated !== "boolean")
+        throw new TypeError("verifier artifact size metadata is invalid");
+    const json = record.json === undefined ? undefined : jsonValue(record.json, "verifier artifact JSON");
+    const text = record.text === undefined ? undefined : asString(record.text, "verifier artifact text");
+    if ((json === undefined) === (text === undefined))
+        throw new TypeError("verifier artifact requires exactly one content representation");
+    if (json !== undefined && (mediaType !== "application/json" || record.truncated === true)) {
+        throw new TypeError("only complete JSON verifier artifacts may use json content");
+    }
+    return {
+        name: name,
+        media_type: mediaType,
+        bytes,
+        sha256: asSha256(record.sha256, "verifier artifact digest"),
+        truncated: record.truncated,
+        ...(json === undefined ? { text: text } : { json }),
+    };
+}
+function parseRedactions(value) {
+    const result = asArray(value, "verifier redactions").map((entry) => {
+        const record = asRecord(entry, "verifier redaction");
+        exact(record, ["rule_id", "count"], "verifier redaction");
+        const ruleId = asString(record.rule_id, "verifier redaction rule_id");
+        const count = asInteger(record.count, "verifier redaction count");
+        if (!/^[a-z0-9][a-z0-9._-]{0,127}$/.test(ruleId) || count < 1)
+            throw new TypeError("verifier redaction is invalid");
+        return { rule_id: ruleId, count };
+    });
+    const canonical = [...result].sort((left, right) => left.rule_id.localeCompare(right.rule_id));
+    if (new Set(result.map((entry) => entry.rule_id)).size !== result.length || JSON.stringify(canonical) !== JSON.stringify(result)) {
+        throw new TypeError("verifier redactions are not canonical");
+    }
+    return result;
+}
+function jsonValue(value, label) {
+    if (value === null || typeof value === "string" || typeof value === "boolean")
+        return value;
+    if (typeof value === "number" && Number.isFinite(value))
+        return value;
+    if (Array.isArray(value))
+        return value.map((entry) => jsonValue(entry, label));
+    if (value && typeof value === "object") {
+        return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, jsonValue(entry, label)]));
+    }
+    throw new TypeError(`${label} is not JSON data`);
+}
+function exact(record, allowed, label) {
+    const fields = new Set(allowed);
+    const unexpected = Object.keys(record).find((field) => !fields.has(field));
+    if (unexpected)
+        throw new TypeError(`${label} has unknown field: ${unexpected}`);
+}
+//# sourceMappingURL=verifier-evidence-validation.js.map

package/dist/src/domain/verifier-evidence-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-evidence-validation.js","sourceRoot":"","sources":["../../../src/domain/verifier-evidence-validation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,sCAAsC,EACtC,qBAAqB,EACrB,4BAA4B,EAC5B,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAElI,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;AAChH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAE5E,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IACpD,KAAK,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC5H,IAAI,MAAM,CAAC,cAAc,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IACtI,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAClE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAClG,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IACnH,IAAI,YAAY;QAAE,KAAK,CAAC,YAAY,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,0BAA0B,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC;IACjH,IAAI,MAAM,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IAC9H,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC9G,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpG,OAAO;QACL,cAAc,EAAE,GAAG;QACnB,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,KAAK;QACb,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9G,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,QAAQ;QACR,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC;IAC5D,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,sBAAsB,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACpK,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACrG,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,wBAAwB,CAAC,CAAC;IAC/H,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,4BAA4B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxG,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7G,MAAM,mBAAmB,GAAG,MAAM,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAC1I,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/G,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,aAAa,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,CAAC,EAAE,CAAC;QAChH,MAAM,IAAI,SAAS,CAAC,GAAG,MAAM,iDAAiD,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,MAAM,KAAK,UAAU,IAAI,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,MAAM,KAAK,aAAa,IAAI,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,SAAS,CAAC,oFAAoF,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7H,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QAC5H,sCAAsC,CAAC;YACrC,MAAM;YACN,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YAC7C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;SAChD,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,mBAAmB,EAAE,OAAO,KAAK,SAAS,CAAC;eACvE,CAAC,QAAQ,KAAK,SAAS,CAAC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;YAChF,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAuD;QAC/D,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC;QACtE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;QAC3F,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAClD,KAAK,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,eAAe,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,wBAAwB,CAAC,CAAC;IACxH,IAAI,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,MAAM,CAAC,aAAa,KAAK,eAAe;QAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACpJ,IAAI,MAAM,CAAC,aAAa,KAAK,eAAe,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAClJ,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;AACnI,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,+BAA+B,CAAC,CAAC;IAChE,KAAK,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,+BAA+B,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,CAAC,GAAY,EAAE,IAA4B,EAAE,EAAE;QAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,EAAE,uBAAuB,IAAI,WAAW,CAAC,CAAC;QACvE,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,uBAAuB,IAAI,WAAW,CAAC,CAAC;QACpF,IAAI,QAAQ,CAAC,GAAG,KAAK,YAAY,IAAI,OAAO;YAAE,MAAM,IAAI,SAAS,CAAC,uBAAuB,IAAI,iBAAiB,CAAC,CAAC;QAChH,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,uBAAuB,IAAI,QAAQ,CAAC,CAAC;QAC7E,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,uBAAuB,IAAI,oBAAoB,CAAC,CAAC;QACpF,OAAO;YACL,GAAG,EAAE,YAAY,IAAI,OAA6D;YAClF,KAAK;YACL,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,IAAI,SAAS,CAAC;SACxE,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;IAC1I,OAAO;QACL,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC;IACzG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,WAA+D;IAC7F,OAAO,WAAW,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACzH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IACvD,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,sBAAsB,EAAE,eAAe,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC7G,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACtH,MAAM,mBAAmB,GAAG,MAAM,CAAC,oBAAoB,KAAK,SAAS;QACnE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,oBAAoB,EAAE,+BAA+B,CAAC,CAAC;IACxF,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,KAAK,SAAS;QACrD,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC;IACjI,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,mBAAmB,KAAK,SAAS,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAC9G,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO;QACL,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;QAC3F,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC;IAC5D,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACnH,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IACxF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAC;IAC9E,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAC7I,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAC;IACjE,IAAI,KAAK,GAAG,CAAC,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IAC1H,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IACrG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACxI,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,KAAK,kBAAkB,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;IACpF,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAyC;QAC/C,UAAU,EAAE,SAAS;QACrB,KAAK;QACL,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC;QAC3D,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAc,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACjC,CAAC;AACjC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACrD,KAAK,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,oBAAoB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,4BAA4B,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QAClE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACpH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/F,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACjI,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/E,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,KAAK,CAAC,MAA+B,EAAE,OAA0B,EAAE,KAAa;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,IAAI,UAAU;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,uBAAuB,UAAU,EAAE,CAAC,CAAC;AACnF,CAAC"}

package/dist/src/domain/verifier-evidence.js

@@ -0,0 +1,3 @@
+export const MAX_VERIFIER_PROCESS_BYTES = 4 * 1024 * 1024;
+export const MAX_VERIFIER_FEEDBACK_BYTES = 1024 * 1024;
+//# sourceMappingURL=verifier-evidence.js.map

package/dist/src/domain/verifier-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-evidence.js","sourceRoot":"","sources":["../../../src/domain/verifier-evidence.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC1D,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,GAAG,IAAI,CAAC"}

package/dist/src/domain/verifier-score-contract.js

@@ -0,0 +1,232 @@
+const SCORE_EPSILON = 1e-12;
+/** Parse the Harbor verifier result into the benchmark-neutral score channels. */
+export function parseVerifierScores(value) {
+    if (!isRecord(value))
+        return undefined;
+    const rewards = value.rewards;
+    if (!isRecord(rewards))
+        return undefined;
+    if (rewards.total_score === undefined) {
+        if (rewards.process_score !== undefined)
+            throw new TypeError("process_score requires total_score");
+        const reward = optionalFinite(rewards.reward, "reward");
+        return reward === undefined ? undefined : { total_score: reward, normalization: "legacy-reward" };
+    }
+    const reward = finite(rewards.reward, "reward");
+    const totalScore = finite(rewards.total_score, "total_score");
+    if (!sameScore(reward, totalScore))
+        throw new TypeError("reward must equal total_score");
+    const processScore = optionalFinite(rewards.process_score, "process_score");
+    return {
+        total_score: totalScore,
+        ...(processScore === undefined ? {} : { process_score: processScore }),
+        normalization: "standard",
+    };
+}
+export function parseVerifierProcessEvidence(value) {
+    const record = object(value, "process evidence");
+    exact(record, ["schema_version", "metric", "score", "detail_status", "passed", "total", "excluded", "components"], "process evidence");
+    if (record.schema_version !== "1")
+        throw new TypeError("unsupported process evidence schema");
+    const metric = identifier(record.metric, "process metric");
+    const score = finite(record.score, "process score");
+    if (record.detail_status !== "components" && record.detail_status !== "aggregate-only") {
+        throw new TypeError("process detail_status is invalid");
+    }
+    if (record.detail_status === "aggregate-only") {
+        if (record.passed !== undefined || record.total !== undefined || record.excluded !== undefined || record.components !== undefined) {
+            throw new TypeError("aggregate-only process evidence must omit components and counts");
+        }
+        return { schema_version: "1", metric, score, detail_status: "aggregate-only" };
+    }
+    const passed = nonNegativeInteger(record.passed, "process passed");
+    const total = nonNegativeInteger(record.total, "process total");
+    const excluded = nonNegativeInteger(record.excluded, "process excluded");
+    if (passed > total)
+        throw new TypeError("process passed exceeds total");
+    if (!Array.isArray(record.components))
+        throw new TypeError("component process evidence requires components");
+    const components = record.components.map((component, index) => parseComponent(component, index));
+    if (new Set(components.map((component) => component.id)).size !== components.length) {
+        throw new TypeError("process component IDs must be unique");
+    }
+    const actualPassed = components.filter((component) => component.status === "passed").length;
+    const actualTotal = components.filter((component) => component.status !== "excluded").length;
+    const actualExcluded = components.length - actualTotal;
+    if (passed !== actualPassed || total !== actualTotal || excluded !== actualExcluded) {
+        throw new TypeError("process component counts are inconsistent");
+    }
+    const denominator = components
+        .filter((component) => component.status !== "excluded")
+        .reduce((sum, component) => sum + component.weight, 0);
+    const numerator = components
+        .filter((component) => component.status === "passed")
+        .reduce((sum, component) => sum + component.weight, 0);
+    const aggregate = denominator === 0 ? 0 : numerator / denominator;
+    if (!sameScore(score, aggregate))
+        throw new TypeError("process score does not match component weights");
+    return { schema_version: "1", metric, score, detail_status: "components", passed, total, excluded, components };
+}
+export function parseVerifierFeedback(value, process) {
+    const record = object(value, "verifier feedback");
+    exact(record, ["schema_version", "items"], "verifier feedback");
+    if (record.schema_version !== "1" || !Array.isArray(record.items))
+        throw new TypeError("verifier feedback schema is invalid");
+    const componentIds = new Set(process?.components?.map((component) => component.id) ?? []);
+    const items = record.items.map((item, index) => {
+        const entry = object(item, `verifier feedback item ${index}`);
+        exact(entry, ["code", "severity", "message", "component_ids", "trajectory_refs"], `verifier feedback item ${index}`);
+        const code = identifier(entry.code, `verifier feedback item ${index} code`);
+        if (entry.severity !== "info" && entry.severity !== "warning" && entry.severity !== "error") {
+            throw new TypeError(`verifier feedback item ${index} severity is invalid`);
+        }
+        const message = boundedString(entry.message, `verifier feedback item ${index} message`, 16 * 1024);
+        const ids = entry.component_ids === undefined ? undefined : stringArray(entry.component_ids, `verifier feedback item ${index} component_ids`);
+        if (ids?.some((id) => !componentIds.has(id)))
+            throw new TypeError("verifier feedback contains an unknown component reference");
+        const refs = entry.trajectory_refs === undefined ? undefined : trajectoryRefs(entry.trajectory_refs, `verifier feedback item ${index}`);
+        return {
+            code,
+            severity: entry.severity,
+            message,
+            ...(ids === undefined ? {} : { component_ids: ids }),
+            ...(refs === undefined ? {} : { trajectory_refs: refs }),
+        };
+    });
+    return { schema_version: "1", items };
+}
+export function assertVerifierScoreEvidenceConsistency(input) {
+    if (!input.scores) {
+        if (input.process || input.feedback)
+            throw new TypeError("structured verifier evidence requires a score result");
+        return;
+    }
+    if (input.scores.process_score === undefined && input.process !== undefined) {
+        throw new TypeError("process.json requires process_score");
+    }
+    if (input.scores.process_score !== undefined && input.process === undefined) {
+        throw new TypeError("process_score requires process.json");
+    }
+    if (input.process && !sameScore(input.process.score, input.scores.process_score)) {
+        throw new TypeError("process.json score differs from process_score");
+    }
+    if (input.scores.normalization === "legacy-reward" && (input.process || input.feedback)) {
+        throw new TypeError("legacy reward results cannot attach standard structured evidence");
+    }
+}
+function parseComponent(value, index) {
+    const record = object(value, `process component ${index}`);
+    exact(record, ["id", "category", "status", "weight", "code", "public_details", "private_details_ref", "trajectory_refs"], `process component ${index}`);
+    const id = identifier(record.id, `process component ${index} id`);
+    const category = identifier(record.category, `process component ${index} category`);
+    if (record.status !== "passed" && record.status !== "failed" && record.status !== "excluded") {
+        throw new TypeError(`process component ${index} status is invalid`);
+    }
+    const weight = finite(record.weight, `process component ${index} weight`);
+    if (weight <= 0)
+        throw new TypeError(`process component ${index} weight must be positive`);
+    const code = record.code === undefined ? undefined : identifier(record.code, `process component ${index} code`);
+    const publicDetails = record.public_details === undefined ? undefined : jsonObject(record.public_details, `process component ${index} public_details`);
+    const privateDetailsRef = record.private_details_ref === undefined
+        ? undefined : relativeRef(record.private_details_ref, `process component ${index} private_details_ref`);
+    const refs = record.trajectory_refs === undefined ? undefined : trajectoryRefs(record.trajectory_refs, `process component ${index}`);
+    return {
+        id,
+        category,
+        status: record.status,
+        weight,
+        ...(code === undefined ? {} : { code }),
+        ...(publicDetails === undefined ? {} : { public_details: publicDetails }),
+        ...(privateDetailsRef === undefined ? {} : { private_details_ref: privateDetailsRef }),
+        ...(refs === undefined ? {} : { trajectory_refs: refs }),
+    };
+}
+function trajectoryRefs(value, label) {
+    if (!Array.isArray(value))
+        throw new TypeError(`${label} trajectory_refs must be an array`);
+    return value.map((raw, index) => {
+        const record = object(raw, `${label} trajectory ref ${index}`);
+        exact(record, ["run_id", "seq_start", "seq_end"], `${label} trajectory ref ${index}`);
+        const runId = boundedString(record.run_id, `${label} trajectory ref ${index} run_id`, 256);
+        if (!/^run_[a-f0-9]{32}$/.test(runId))
+            throw new TypeError(`${label} trajectory ref ${index} run_id is invalid`);
+        const start = record.seq_start === undefined ? undefined : nonNegativeInteger(record.seq_start, `${label} trajectory ref ${index} seq_start`);
+        const end = record.seq_end === undefined ? undefined : nonNegativeInteger(record.seq_end, `${label} trajectory ref ${index} seq_end`);
+        if (start !== undefined && end !== undefined && end < start)
+            throw new TypeError(`${label} trajectory ref ${index} range is invalid`);
+        return { run_id: runId, ...(start === undefined ? {} : { seq_start: start }), ...(end === undefined ? {} : { seq_end: end }) };
+    });
+}
+function jsonObject(value, label) {
+    const record = object(value, label);
+    return Object.fromEntries(Object.entries(record).map(([key, entry]) => [key, json(entry, `${label}.${key}`)]));
+}
+function json(value, label) {
+    if (value === null || typeof value === "string" || typeof value === "boolean")
+        return value;
+    if (typeof value === "number" && Number.isFinite(value))
+        return value;
+    if (Array.isArray(value))
+        return value.map((entry) => json(entry, label));
+    if (isRecord(value))
+        return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, json(entry, `${label}.${key}`)]));
+    throw new TypeError(`${label} is not JSON data`);
+}
+function object(value, label) {
+    if (!isRecord(value))
+        throw new TypeError(`${label} must be an object`);
+    return value;
+}
+function isRecord(value) {
+    return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function exact(record, fields, label) {
+    const allowed = new Set(fields);
+    const extra = Object.keys(record).find((field) => !allowed.has(field));
+    if (extra)
+        throw new TypeError(`${label} has unknown field: ${extra}`);
+}
+function finite(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value))
+        throw new TypeError(`${label} must be a finite number`);
+    return value;
+}
+function optionalFinite(value, label) {
+    return value === undefined ? undefined : finite(value, label);
+}
+function nonNegativeInteger(value, label) {
+    if (!Number.isSafeInteger(value) || Number(value) < 0)
+        throw new TypeError(`${label} must be a non-negative integer`);
+    return Number(value);
+}
+function identifier(value, label) {
+    const result = boundedString(value, label, 256);
+    if (!/^[A-Za-z0-9][A-Za-z0-9._:-]*$/.test(result))
+        throw new TypeError(`${label} is invalid`);
+    return result;
+}
+function boundedString(value, label, max) {
+    if (typeof value !== "string" || value.length === 0 || Buffer.byteLength(value, "utf8") > max) {
+        throw new TypeError(`${label} is invalid`);
+    }
+    return value;
+}
+function relativeRef(value, label) {
+    const result = boundedString(value, label, 1024);
+    if (result.startsWith("/") || result.includes("\\") || result.split("/").some((part) => !part || part === "." || part === "..")) {
+        throw new TypeError(`${label} must be a contained relative path`);
+    }
+    return result;
+}
+function stringArray(value, label) {
+    if (!Array.isArray(value))
+        throw new TypeError(`${label} must be an array`);
+    const result = value.map((entry, index) => identifier(entry, `${label}[${index}]`));
+    if (new Set(result).size !== result.length)
+        throw new TypeError(`${label} must not contain duplicates`);
+    return result;
+}
+function sameScore(left, right) {
+    return Math.abs(left - right) <= SCORE_EPSILON;
+}
+//# sourceMappingURL=verifier-score-contract.js.map

package/dist/src/domain/verifier-score-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-score-contract.js","sourceRoot":"","sources":["../../../src/domain/verifier-score-contract.ts"],"names":[],"mappings":"AASA,MAAM,aAAa,GAAG,KAAK,CAAC;AAE5B,kFAAkF;AAClF,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QACnG,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,CAAC;IACpG,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACzF,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAC5E,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC;QACtE,aAAa,EAAE,UAAU;KAC1B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACjD,KAAK,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACvI,IAAI,MAAM,CAAC,cAAc,KAAK,GAAG;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY,IAAI,MAAM,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvF,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClI,MAAM,IAAI,SAAS,CAAC,iEAAiE,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IACzE,IAAI,MAAM,GAAG,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACxE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IAC7G,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACjG,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QACpF,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IAC5F,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAC7F,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC;IACvD,IAAI,MAAM,KAAK,YAAY,IAAI,KAAK,KAAK,WAAW,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;QACpF,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,WAAW,GAAG,UAAU;SAC3B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC;SACtD,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,UAAU;SACzB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC;SACpD,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW,CAAC;IAClE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACxG,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,OAAmC;IAEnC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAClD,KAAK,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,cAAc,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC9H,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,0BAA0B,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,iBAAiB,CAAC,EAAE,0BAA0B,KAAK,EAAE,CAAC,CAAC;QACrH,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,0BAA0B,KAAK,OAAO,CAAC,CAAC;QAC5E,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC5F,MAAM,IAAI,SAAS,CAAC,0BAA0B,KAAK,sBAAsB,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,0BAA0B,KAAK,UAAU,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;QACnG,MAAM,GAAG,GAAG,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,aAAa,EAAE,0BAA0B,KAAK,gBAAgB,CAAC,CAAC;QAC9I,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;QAC/H,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,eAAe,EAAE,0BAA0B,KAAK,EAAE,CAAC,CAAC;QACxI,OAAO;YACL,IAAI;YACJ,QAAQ,EAAE,KAAK,CAAC,QAAwC;YACxD,OAAO;YACP,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,KAItD;IACC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;QACjH,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,aAAuB,CAAC,EAAE,CAAC;QAC3F,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,eAAe,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,SAAS,CAAC,kEAAkE,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,qBAAqB,KAAK,EAAE,CAAC,CAAC;IAC3D,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,iBAAiB,CAAC,EAAE,qBAAqB,KAAK,EAAE,CAAC,CAAC;IACxJ,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,qBAAqB,KAAK,KAAK,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,qBAAqB,KAAK,WAAW,CAAC,CAAC;IACpF,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC7F,MAAM,IAAI,SAAS,CAAC,qBAAqB,KAAK,oBAAoB,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,KAAK,SAAS,CAAC,CAAC;IAC1E,IAAI,MAAM,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qBAAqB,KAAK,0BAA0B,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,KAAK,OAAO,CAAC,CAAC;IAChH,MAAM,aAAa,GAAG,MAAM,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,EAAE,qBAAqB,KAAK,iBAAiB,CAAC,CAAC;IACvJ,MAAM,iBAAiB,GAAG,MAAM,CAAC,mBAAmB,KAAK,SAAS;QAChE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,KAAK,sBAAsB,CAAC,CAAC;IAC1G,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,eAAe,EAAE,qBAAqB,KAAK,EAAE,CAAC,CAAC;IACrI,OAAO;QACL,EAAE;QACF,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM;QACN,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;QACzE,GAAG,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,CAAC;QACtF,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,mBAAmB,KAAK,EAAE,CAAC,CAAC;QAC/D,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,GAAG,KAAK,mBAAmB,KAAK,EAAE,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,mBAAmB,KAAK,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3F,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,KAAK,oBAAoB,CAAC,CAAC;QACjH,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,KAAK,mBAAmB,KAAK,YAAY,CAAC,CAAC;QAC9I,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,KAAK,mBAAmB,KAAK,UAAU,CAAC,CAAC;QACtI,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,KAAK;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,KAAK,mBAAmB,CAAC,CAAC;QACtI,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACjI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,KAAa;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnI,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,KAAK,CAAC,MAA+B,EAAE,MAAyB,EAAE,KAAa;IACtF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,IAAI,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,uBAAuB,KAAK,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;IAClH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAAa;IACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;IACtH,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa,EAAE,GAAW;IAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAC9F,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAChI,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;IACxG,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,KAAa;IAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,aAAa,CAAC;AACjD,CAAC"}