omk-protocol 0.96.0

package/README.md

@@ -0,0 +1,19 @@
+# `omk-protocol`
+
+Canonical contracts and pure reducers for the OMK Run Protocol.
+
+```text
+TaskSpec -> ExecutionAttempt -> Observation -> EvaluationResult -> RuntimeDecision
+```
+
+## API
+
+- `PROTOCOL_VERSION` (`omk.run.v1`)
+- `TaskSpec`, `ExecutionAttempt`, `Observation`, `ClaimPredicate`
+- `ClaimEvaluation`, `EvaluationResult`, `RuntimeDecision`, `WaiverRecord`
+- Runtime parsers for every top-level record
+- `evaluateTask()` and `reduceRuntimeDecision()`
+
+The package does not execute tools, persist records, schedule work, choose providers, or infer topology. Retry and failover counts are derived from attempt records rather than stored counters.
+
+See [OMK Run Protocol v1](https://github.com/dmae97/omk/blob/main/packages/coding-agent/docs/run-protocol.md) for evaluation rules, receipt bridging, migration status, and authority boundaries.

package/dist/decision.d.ts

@@ -0,0 +1,4 @@
+import { type RuntimeDecision, type RuntimeDecisionInput } from "./types.ts";
+/** Pure EvaluationResult -> RuntimeDecision reduction. */
+export declare function reduceRuntimeDecision(input: RuntimeDecisionInput): RuntimeDecision;
+//# sourceMappingURL=decision.d.ts.map

package/dist/decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwC,KAAK,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAQnH,0DAA0D;AAC1D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,oBAAoB,GAAG,eAAe,CAclF","sourcesContent":["import { PROTOCOL_VERSION, type RuntimeAction, type RuntimeDecision, type RuntimeDecisionInput } from \"./types.ts\";\nimport { parseEvaluationResult, parseRuntimeDecision } from \"./validation.ts\";\n\nfunction policyAction(input: RuntimeDecisionInput): RuntimeAction {\n\tif (input.evaluation.semanticVerdict === \"pass\") return \"stop\";\n\treturn input.evaluation.semanticVerdict === \"fail\" ? input.policy.onFail : input.policy.onInconclusive;\n}\n\n/** Pure EvaluationResult -> RuntimeDecision reduction. */\nexport function reduceRuntimeDecision(input: RuntimeDecisionInput): RuntimeDecision {\n\tparseEvaluationResult(input.evaluation);\n\treturn parseRuntimeDecision(\n\t\tObject.freeze({\n\t\t\tschemaVersion: PROTOCOL_VERSION,\n\t\t\tdecisionId: input.decisionId,\n\t\t\ttaskId: input.evaluation.taskId,\n\t\t\tattemptId: input.evaluation.attemptId,\n\t\t\tevaluationId: input.evaluation.evaluationId,\n\t\t\tdecidedAt: input.decidedAt,\n\t\t\taction: policyAction(input),\n\t\t\treasonCode: `evaluation.${input.evaluation.semanticVerdict}`,\n\t\t}),\n\t);\n}\n"]}

package/dist/decision.js

@@ -0,0 +1,22 @@
+import { PROTOCOL_VERSION } from "./types.js";
+import { parseEvaluationResult, parseRuntimeDecision } from "./validation.js";
+function policyAction(input) {
+    if (input.evaluation.semanticVerdict === "pass")
+        return "stop";
+    return input.evaluation.semanticVerdict === "fail" ? input.policy.onFail : input.policy.onInconclusive;
+}
+/** Pure EvaluationResult -> RuntimeDecision reduction. */
+export function reduceRuntimeDecision(input) {
+    parseEvaluationResult(input.evaluation);
+    return parseRuntimeDecision(Object.freeze({
+        schemaVersion: PROTOCOL_VERSION,
+        decisionId: input.decisionId,
+        taskId: input.evaluation.taskId,
+        attemptId: input.evaluation.attemptId,
+        evaluationId: input.evaluation.evaluationId,
+        decidedAt: input.decidedAt,
+        action: policyAction(input),
+        reasonCode: `evaluation.${input.evaluation.semanticVerdict}`,
+    }));
+}
+//# sourceMappingURL=decision.js.map

package/dist/decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.js","sourceRoot":"","sources":["../src/decision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAuE,MAAM,YAAY,CAAC;AACnH,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAE9E,SAAS,YAAY,CAAC,KAA2B,EAAiB;IACjE,IAAI,KAAK,CAAC,UAAU,CAAC,eAAe,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC/D,OAAO,KAAK,CAAC,UAAU,CAAC,eAAe,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC;AAAA,CACvG;AAED,0DAA0D;AAC1D,MAAM,UAAU,qBAAqB,CAAC,KAA2B,EAAmB;IACnF,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACxC,OAAO,oBAAoB,CAC1B,MAAM,CAAC,MAAM,CAAC;QACb,aAAa,EAAE,gBAAgB;QAC/B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;QAC/B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY;QAC3C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC;QAC3B,UAAU,EAAE,cAAc,KAAK,CAAC,UAAU,CAAC,eAAe,EAAE;KAC5D,CAAC,CACF,CAAC;AAAA,CACF","sourcesContent":["import { PROTOCOL_VERSION, type RuntimeAction, type RuntimeDecision, type RuntimeDecisionInput } from \"./types.ts\";\nimport { parseEvaluationResult, parseRuntimeDecision } from \"./validation.ts\";\n\nfunction policyAction(input: RuntimeDecisionInput): RuntimeAction {\n\tif (input.evaluation.semanticVerdict === \"pass\") return \"stop\";\n\treturn input.evaluation.semanticVerdict === \"fail\" ? input.policy.onFail : input.policy.onInconclusive;\n}\n\n/** Pure EvaluationResult -> RuntimeDecision reduction. */\nexport function reduceRuntimeDecision(input: RuntimeDecisionInput): RuntimeDecision {\n\tparseEvaluationResult(input.evaluation);\n\treturn parseRuntimeDecision(\n\t\tObject.freeze({\n\t\t\tschemaVersion: PROTOCOL_VERSION,\n\t\t\tdecisionId: input.decisionId,\n\t\t\ttaskId: input.evaluation.taskId,\n\t\t\tattemptId: input.evaluation.attemptId,\n\t\t\tevaluationId: input.evaluation.evaluationId,\n\t\t\tdecidedAt: input.decidedAt,\n\t\t\taction: policyAction(input),\n\t\t\treasonCode: `evaluation.${input.evaluation.semanticVerdict}`,\n\t\t}),\n\t);\n}\n"]}

package/dist/evaluation.d.ts

@@ -0,0 +1,7 @@
+import { type EvaluationInput, type EvaluationResult } from "./types.ts";
+export declare class ProtocolInvariantError extends Error {
+    constructor(message: string);
+}
+/** Pure TaskSpec -> Observation -> Evaluation reduction. */
+export declare function evaluateTask(input: EvaluationInput): EvaluationResult;
+//# sourceMappingURL=evaluation.d.ts.map

package/dist/evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../src/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAIN,KAAK,eAAe,EACpB,KAAK,gBAAgB,EAMrB,MAAM,YAAY,CAAC;AASpB,qBAAa,sBAAuB,SAAQ,KAAK;IAChD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACD;AAuHD,4DAA4D;AAC5D,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,gBAAgB,CAsCrE","sourcesContent":["import {\n\ttype ClaimCondition,\n\ttype ClaimEvaluation,\n\ttype ClaimResult,\n\ttype EvaluationInput,\n\ttype EvaluationResult,\n\ttype JsonValue,\n\ttype Observation,\n\tPROTOCOL_VERSION,\n\ttype SemanticVerdict,\n\ttype WaiverRecord,\n} from \"./types.ts\";\nimport {\n\tparseEvaluationResult,\n\tparseExecutionAttempt,\n\tparseObservation,\n\tparseTaskSpec,\n\tparseWaiverRecord,\n} from \"./validation.ts\";\n\nexport class ProtocolInvariantError extends Error {\n\tconstructor(message: string) {\n\t\tsuper(message);\n\t\tthis.name = \"ProtocolInvariantError\";\n\t}\n}\n\ninterface ConditionResult {\n\treadonly result: ClaimResult;\n\treadonly observationIds: readonly string[];\n}\n\nfunction isObject(value: JsonValue): value is { readonly [key: string]: JsonValue } {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction matchesExpected(actual: JsonValue | undefined, expected: JsonValue): boolean {\n\tif (Array.isArray(expected)) {\n\t\treturn (\n\t\t\tArray.isArray(actual) &&\n\t\t\tactual.length === expected.length &&\n\t\t\texpected.every((value, index) => matchesExpected(actual[index], value))\n\t\t);\n\t}\n\tif (isObject(expected)) {\n\t\treturn (\n\t\t\tactual !== undefined &&\n\t\t\tisObject(actual) &&\n\t\t\tObject.entries(expected).every(([key, value]) => matchesExpected(actual[key], value))\n\t\t);\n\t}\n\treturn Object.is(actual, expected);\n}\n\nfunction unique(values: readonly string[]): readonly string[] {\n\treturn [...new Set(values)];\n}\n\nfunction evaluateCondition(\n\tcondition: ClaimCondition,\n\tobservations: readonly Observation[],\n\tattemptId: string,\n): ConditionResult {\n\tif (condition.kind === \"observation\") {\n\t\tconst candidates = observations.filter(\n\t\t\t(observation) =>\n\t\t\t\tobservation.kind === condition.observationKind &&\n\t\t\t\t(condition.scope === \"task\" || observation.attemptId === attemptId),\n\t\t);\n\t\tif (candidates.length === 0) return { result: \"inconclusive\", observationIds: [] };\n\t\tconst matching = candidates.filter((observation) => matchesExpected(observation.facts, condition.facts));\n\t\treturn matching.length > 0\n\t\t\t? { result: \"satisfied\", observationIds: matching.map(({ observationId }) => observationId) }\n\t\t\t: { result: \"violated\", observationIds: candidates.map(({ observationId }) => observationId) };\n\t}\n\n\tif (condition.kind === \"not\") {\n\t\tconst child = evaluateCondition(condition.condition, observations, attemptId);\n\t\treturn {\n\t\t\tresult: child.result === \"satisfied\" ? \"violated\" : child.result === \"violated\" ? \"satisfied\" : \"inconclusive\",\n\t\t\tobservationIds: child.observationIds,\n\t\t};\n\t}\n\n\tconst children = condition.conditions.map((child) => evaluateCondition(child, observations, attemptId));\n\tif (condition.kind === \"all\") {\n\t\tconst result = children.some((child) => child.result === \"violated\")\n\t\t\t? \"violated\"\n\t\t\t: children.some((child) => child.result === \"inconclusive\")\n\t\t\t\t? \"inconclusive\"\n\t\t\t\t: \"satisfied\";\n\t\treturn { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };\n\t}\n\tconst result = children.some((child) => child.result === \"satisfied\")\n\t\t? \"satisfied\"\n\t\t: children.every((child) => child.result === \"violated\")\n\t\t\t? \"violated\"\n\t\t\t: \"inconclusive\";\n\treturn { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };\n}\n\nfunction reasonCode(result: ClaimResult): ClaimEvaluation[\"reasonCode\"] {\n\tif (result === \"satisfied\") return \"claim.satisfied\";\n\tif (result === \"violated\") return \"claim.violated\";\n\treturn \"claim.observation_missing\";\n}\n\nfunction validateWaivers(input: EvaluationInput, waivers: readonly WaiverRecord[]): ReadonlyMap<string, WaiverRecord> {\n\tconst claims = new Map(input.taskSpec.claims.map((claim) => [claim.claimId, claim]));\n\tconst byClaim = new Map<string, WaiverRecord>();\n\tfor (const waiver of waivers) {\n\t\tparseWaiverRecord(waiver);\n\t\tif (waiver.scope.taskId !== input.taskSpec.taskId) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} targets task ${waiver.scope.taskId}`);\n\t\t}\n\t\tconst claim = claims.get(waiver.scope.claimId);\n\t\tif (!claim) throw new ProtocolInvariantError(`${waiver.waiverId} targets unknown claim ${waiver.scope.claimId}`);\n\t\tif (claim.requirement !== \"required\") {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} cannot waive advisory claim ${claim.claimId}`);\n\t\t}\n\t\tif (waiver.scope.attemptId !== undefined && waiver.scope.attemptId !== input.attempt.attemptId) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} targets attempt ${waiver.scope.attemptId}`);\n\t\t}\n\t\tif (waiver.approvedAt > input.evaluatedAt) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} was approved after evaluation`);\n\t\t}\n\t\tif (waiver.expiresAt !== undefined && waiver.expiresAt <= input.evaluatedAt) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} is expired`);\n\t\t}\n\t\tif (byClaim.has(claim.claimId))\n\t\t\tthrow new ProtocolInvariantError(`multiple waivers target claim ${claim.claimId}`);\n\t\tbyClaim.set(claim.claimId, waiver);\n\t}\n\treturn byClaim;\n}\n\nfunction reduceVerdict(claims: readonly ClaimEvaluation[]): SemanticVerdict {\n\tconst required = claims.filter((claim) => claim.requirement === \"required\" && claim.waiverId === undefined);\n\tif (required.length === 0) return claims.some((claim) => claim.requirement === \"required\") ? \"pass\" : \"inconclusive\";\n\tif (required.some((claim) => claim.result === \"violated\")) return \"fail\";\n\tif (required.some((claim) => claim.result === \"inconclusive\")) return \"inconclusive\";\n\treturn \"pass\";\n}\n\n/** Pure TaskSpec -> Observation -> Evaluation reduction. */\nexport function evaluateTask(input: EvaluationInput): EvaluationResult {\n\tparseTaskSpec(input.taskSpec);\n\tparseExecutionAttempt(input.attempt);\n\tif (input.attempt.taskId !== input.taskSpec.taskId) {\n\t\tthrow new ProtocolInvariantError(`${input.attempt.attemptId} targets task ${input.attempt.taskId}`);\n\t}\n\tfor (const observation of input.observations) {\n\t\tparseObservation(observation);\n\t\tif (observation.taskId !== input.taskSpec.taskId) {\n\t\t\tthrow new ProtocolInvariantError(`${observation.observationId} targets task ${observation.taskId}`);\n\t\t}\n\t}\n\tconst waivers = validateWaivers(input, input.waivers ?? []);\n\tconst claims = Object.freeze(\n\t\tinput.taskSpec.claims.map((claim): ClaimEvaluation => {\n\t\t\tconst evaluated = evaluateCondition(claim.condition, input.observations, input.attempt.attemptId);\n\t\t\tconst waiver = evaluated.result === \"satisfied\" ? undefined : waivers.get(claim.claimId);\n\t\t\treturn Object.freeze({\n\t\t\t\tclaimId: claim.claimId,\n\t\t\t\trequirement: claim.requirement,\n\t\t\t\tresult: evaluated.result,\n\t\t\t\treasonCode: reasonCode(evaluated.result),\n\t\t\t\tobservationIds: Object.freeze([...evaluated.observationIds]),\n\t\t\t\t...(waiver ? { waiverId: waiver.waiverId } : {}),\n\t\t\t});\n\t\t}),\n\t);\n\treturn parseEvaluationResult(\n\t\tObject.freeze({\n\t\t\tschemaVersion: PROTOCOL_VERSION,\n\t\t\tevaluationId: input.evaluationId,\n\t\t\ttaskId: input.taskSpec.taskId,\n\t\t\tattemptId: input.attempt.attemptId,\n\t\t\tevaluatedAt: input.evaluatedAt,\n\t\t\tclaims,\n\t\t\tsemanticVerdict: reduceVerdict(claims),\n\t\t}),\n\t);\n}\n"]}

package/dist/evaluation.js

@@ -0,0 +1,144 @@
+import { PROTOCOL_VERSION, } from "./types.js";
+import { parseEvaluationResult, parseExecutionAttempt, parseObservation, parseTaskSpec, parseWaiverRecord, } from "./validation.js";
+export class ProtocolInvariantError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ProtocolInvariantError";
+    }
+}
+function isObject(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function matchesExpected(actual, expected) {
+    if (Array.isArray(expected)) {
+        return (Array.isArray(actual) &&
+            actual.length === expected.length &&
+            expected.every((value, index) => matchesExpected(actual[index], value)));
+    }
+    if (isObject(expected)) {
+        return (actual !== undefined &&
+            isObject(actual) &&
+            Object.entries(expected).every(([key, value]) => matchesExpected(actual[key], value)));
+    }
+    return Object.is(actual, expected);
+}
+function unique(values) {
+    return [...new Set(values)];
+}
+function evaluateCondition(condition, observations, attemptId) {
+    if (condition.kind === "observation") {
+        const candidates = observations.filter((observation) => observation.kind === condition.observationKind &&
+            (condition.scope === "task" || observation.attemptId === attemptId));
+        if (candidates.length === 0)
+            return { result: "inconclusive", observationIds: [] };
+        const matching = candidates.filter((observation) => matchesExpected(observation.facts, condition.facts));
+        return matching.length > 0
+            ? { result: "satisfied", observationIds: matching.map(({ observationId }) => observationId) }
+            : { result: "violated", observationIds: candidates.map(({ observationId }) => observationId) };
+    }
+    if (condition.kind === "not") {
+        const child = evaluateCondition(condition.condition, observations, attemptId);
+        return {
+            result: child.result === "satisfied" ? "violated" : child.result === "violated" ? "satisfied" : "inconclusive",
+            observationIds: child.observationIds,
+        };
+    }
+    const children = condition.conditions.map((child) => evaluateCondition(child, observations, attemptId));
+    if (condition.kind === "all") {
+        const result = children.some((child) => child.result === "violated")
+            ? "violated"
+            : children.some((child) => child.result === "inconclusive")
+                ? "inconclusive"
+                : "satisfied";
+        return { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };
+    }
+    const result = children.some((child) => child.result === "satisfied")
+        ? "satisfied"
+        : children.every((child) => child.result === "violated")
+            ? "violated"
+            : "inconclusive";
+    return { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };
+}
+function reasonCode(result) {
+    if (result === "satisfied")
+        return "claim.satisfied";
+    if (result === "violated")
+        return "claim.violated";
+    return "claim.observation_missing";
+}
+function validateWaivers(input, waivers) {
+    const claims = new Map(input.taskSpec.claims.map((claim) => [claim.claimId, claim]));
+    const byClaim = new Map();
+    for (const waiver of waivers) {
+        parseWaiverRecord(waiver);
+        if (waiver.scope.taskId !== input.taskSpec.taskId) {
+            throw new ProtocolInvariantError(`${waiver.waiverId} targets task ${waiver.scope.taskId}`);
+        }
+        const claim = claims.get(waiver.scope.claimId);
+        if (!claim)
+            throw new ProtocolInvariantError(`${waiver.waiverId} targets unknown claim ${waiver.scope.claimId}`);
+        if (claim.requirement !== "required") {
+            throw new ProtocolInvariantError(`${waiver.waiverId} cannot waive advisory claim ${claim.claimId}`);
+        }
+        if (waiver.scope.attemptId !== undefined && waiver.scope.attemptId !== input.attempt.attemptId) {
+            throw new ProtocolInvariantError(`${waiver.waiverId} targets attempt ${waiver.scope.attemptId}`);
+        }
+        if (waiver.approvedAt > input.evaluatedAt) {
+            throw new ProtocolInvariantError(`${waiver.waiverId} was approved after evaluation`);
+        }
+        if (waiver.expiresAt !== undefined && waiver.expiresAt <= input.evaluatedAt) {
+            throw new ProtocolInvariantError(`${waiver.waiverId} is expired`);
+        }
+        if (byClaim.has(claim.claimId))
+            throw new ProtocolInvariantError(`multiple waivers target claim ${claim.claimId}`);
+        byClaim.set(claim.claimId, waiver);
+    }
+    return byClaim;
+}
+function reduceVerdict(claims) {
+    const required = claims.filter((claim) => claim.requirement === "required" && claim.waiverId === undefined);
+    if (required.length === 0)
+        return claims.some((claim) => claim.requirement === "required") ? "pass" : "inconclusive";
+    if (required.some((claim) => claim.result === "violated"))
+        return "fail";
+    if (required.some((claim) => claim.result === "inconclusive"))
+        return "inconclusive";
+    return "pass";
+}
+/** Pure TaskSpec -> Observation -> Evaluation reduction. */
+export function evaluateTask(input) {
+    parseTaskSpec(input.taskSpec);
+    parseExecutionAttempt(input.attempt);
+    if (input.attempt.taskId !== input.taskSpec.taskId) {
+        throw new ProtocolInvariantError(`${input.attempt.attemptId} targets task ${input.attempt.taskId}`);
+    }
+    for (const observation of input.observations) {
+        parseObservation(observation);
+        if (observation.taskId !== input.taskSpec.taskId) {
+            throw new ProtocolInvariantError(`${observation.observationId} targets task ${observation.taskId}`);
+        }
+    }
+    const waivers = validateWaivers(input, input.waivers ?? []);
+    const claims = Object.freeze(input.taskSpec.claims.map((claim) => {
+        const evaluated = evaluateCondition(claim.condition, input.observations, input.attempt.attemptId);
+        const waiver = evaluated.result === "satisfied" ? undefined : waivers.get(claim.claimId);
+        return Object.freeze({
+            claimId: claim.claimId,
+            requirement: claim.requirement,
+            result: evaluated.result,
+            reasonCode: reasonCode(evaluated.result),
+            observationIds: Object.freeze([...evaluated.observationIds]),
+            ...(waiver ? { waiverId: waiver.waiverId } : {}),
+        });
+    }));
+    return parseEvaluationResult(Object.freeze({
+        schemaVersion: PROTOCOL_VERSION,
+        evaluationId: input.evaluationId,
+        taskId: input.taskSpec.taskId,
+        attemptId: input.attempt.attemptId,
+        evaluatedAt: input.evaluatedAt,
+        claims,
+        semanticVerdict: reduceVerdict(claims),
+    }));
+}
+//# sourceMappingURL=evaluation.js.map

package/dist/evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../src/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAQN,gBAAgB,GAGhB,MAAM,YAAY,CAAC;AACpB,OAAO,EACN,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,GACjB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAChD,YAAY,OAAe,EAAE;QAC5B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IAAA,CACrC;CACD;AAOD,SAAS,QAAQ,CAAC,KAAgB,EAAkD;IACnF,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CAC5E;AAED,SAAS,eAAe,CAAC,MAA6B,EAAE,QAAmB,EAAW;IACrF,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACrB,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YACjC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CACvE,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,OAAO,CACN,MAAM,KAAK,SAAS;YACpB,QAAQ,CAAC,MAAM,CAAC;YAChB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CACrF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAAA,CACnC;AAED,SAAS,MAAM,CAAC,MAAyB,EAAqB;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAAA,CAC5B;AAED,SAAS,iBAAiB,CACzB,SAAyB,EACzB,YAAoC,EACpC,SAAiB,EACC;IAClB,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CACrC,CAAC,WAAW,EAAE,EAAE,CACf,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,eAAe;YAC9C,CAAC,SAAS,CAAC,KAAK,KAAK,MAAM,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,CAAC,CACpE,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;QACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACzG,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;YACzB,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE;YAC7F,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;IACjG,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QAC9E,OAAO;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc;YAC9G,cAAc,EAAE,KAAK,CAAC,cAAc;SACpC,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;IACxG,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;YACnE,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC;gBAC1D,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,WAAW,CAAC;QAChB,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC;QACpE,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;YACvD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,cAAc,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;AAAA,CACpG;AAED,SAAS,UAAU,CAAC,MAAmB,EAAiC;IACvE,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC;IACrD,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,gBAAgB,CAAC;IACnD,OAAO,2BAA2B,CAAC;AAAA,CACnC;AAED,SAAS,eAAe,CAAC,KAAsB,EAAE,OAAgC,EAAqC;IACrH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACnD,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,iBAAiB,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,0BAA0B,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjH,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YACtC,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,gCAAgC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;YAChG,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,oBAAoB,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC7E,MAAM,IAAI,sBAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,aAAa,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC7B,MAAM,IAAI,sBAAsB,CAAC,iCAAiC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACpF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,OAAO,CAAC;AAAA,CACf;AAED,SAAS,aAAa,CAAC,MAAkC,EAAmB;IAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAC5G,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC;IACrH,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IACzE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC;QAAE,OAAO,cAAc,CAAC;IACrF,OAAO,MAAM,CAAC;AAAA,CACd;AAED,4DAA4D;AAC5D,MAAM,UAAU,YAAY,CAAC,KAAsB,EAAoB;IACtE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9B,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpD,MAAM,IAAI,sBAAsB,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,iBAAiB,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC9C,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC9B,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAClD,MAAM,IAAI,sBAAsB,CAAC,GAAG,WAAW,CAAC,aAAa,iBAAiB,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;QACrG,CAAC;IACF,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAC3B,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClG,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzF,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;YACxC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;YAC5D,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,CAAC,CAAC;IAAA,CACH,CAAC,CACF,CAAC;IACF,OAAO,qBAAqB,CAC3B,MAAM,CAAC,MAAM,CAAC;QACb,aAAa,EAAE,gBAAgB;QAC/B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;QAC7B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;QAClC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM;QACN,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC;KACtC,CAAC,CACF,CAAC;AAAA,CACF","sourcesContent":["import {\n\ttype ClaimCondition,\n\ttype ClaimEvaluation,\n\ttype ClaimResult,\n\ttype EvaluationInput,\n\ttype EvaluationResult,\n\ttype JsonValue,\n\ttype Observation,\n\tPROTOCOL_VERSION,\n\ttype SemanticVerdict,\n\ttype WaiverRecord,\n} from \"./types.ts\";\nimport {\n\tparseEvaluationResult,\n\tparseExecutionAttempt,\n\tparseObservation,\n\tparseTaskSpec,\n\tparseWaiverRecord,\n} from \"./validation.ts\";\n\nexport class ProtocolInvariantError extends Error {\n\tconstructor(message: string) {\n\t\tsuper(message);\n\t\tthis.name = \"ProtocolInvariantError\";\n\t}\n}\n\ninterface ConditionResult {\n\treadonly result: ClaimResult;\n\treadonly observationIds: readonly string[];\n}\n\nfunction isObject(value: JsonValue): value is { readonly [key: string]: JsonValue } {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction matchesExpected(actual: JsonValue | undefined, expected: JsonValue): boolean {\n\tif (Array.isArray(expected)) {\n\t\treturn (\n\t\t\tArray.isArray(actual) &&\n\t\t\tactual.length === expected.length &&\n\t\t\texpected.every((value, index) => matchesExpected(actual[index], value))\n\t\t);\n\t}\n\tif (isObject(expected)) {\n\t\treturn (\n\t\t\tactual !== undefined &&\n\t\t\tisObject(actual) &&\n\t\t\tObject.entries(expected).every(([key, value]) => matchesExpected(actual[key], value))\n\t\t);\n\t}\n\treturn Object.is(actual, expected);\n}\n\nfunction unique(values: readonly string[]): readonly string[] {\n\treturn [...new Set(values)];\n}\n\nfunction evaluateCondition(\n\tcondition: ClaimCondition,\n\tobservations: readonly Observation[],\n\tattemptId: string,\n): ConditionResult {\n\tif (condition.kind === \"observation\") {\n\t\tconst candidates = observations.filter(\n\t\t\t(observation) =>\n\t\t\t\tobservation.kind === condition.observationKind &&\n\t\t\t\t(condition.scope === \"task\" || observation.attemptId === attemptId),\n\t\t);\n\t\tif (candidates.length === 0) return { result: \"inconclusive\", observationIds: [] };\n\t\tconst matching = candidates.filter((observation) => matchesExpected(observation.facts, condition.facts));\n\t\treturn matching.length > 0\n\t\t\t? { result: \"satisfied\", observationIds: matching.map(({ observationId }) => observationId) }\n\t\t\t: { result: \"violated\", observationIds: candidates.map(({ observationId }) => observationId) };\n\t}\n\n\tif (condition.kind === \"not\") {\n\t\tconst child = evaluateCondition(condition.condition, observations, attemptId);\n\t\treturn {\n\t\t\tresult: child.result === \"satisfied\" ? \"violated\" : child.result === \"violated\" ? \"satisfied\" : \"inconclusive\",\n\t\t\tobservationIds: child.observationIds,\n\t\t};\n\t}\n\n\tconst children = condition.conditions.map((child) => evaluateCondition(child, observations, attemptId));\n\tif (condition.kind === \"all\") {\n\t\tconst result = children.some((child) => child.result === \"violated\")\n\t\t\t? \"violated\"\n\t\t\t: children.some((child) => child.result === \"inconclusive\")\n\t\t\t\t? \"inconclusive\"\n\t\t\t\t: \"satisfied\";\n\t\treturn { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };\n\t}\n\tconst result = children.some((child) => child.result === \"satisfied\")\n\t\t? \"satisfied\"\n\t\t: children.every((child) => child.result === \"violated\")\n\t\t\t? \"violated\"\n\t\t\t: \"inconclusive\";\n\treturn { result, observationIds: unique(children.flatMap(({ observationIds }) => observationIds)) };\n}\n\nfunction reasonCode(result: ClaimResult): ClaimEvaluation[\"reasonCode\"] {\n\tif (result === \"satisfied\") return \"claim.satisfied\";\n\tif (result === \"violated\") return \"claim.violated\";\n\treturn \"claim.observation_missing\";\n}\n\nfunction validateWaivers(input: EvaluationInput, waivers: readonly WaiverRecord[]): ReadonlyMap<string, WaiverRecord> {\n\tconst claims = new Map(input.taskSpec.claims.map((claim) => [claim.claimId, claim]));\n\tconst byClaim = new Map<string, WaiverRecord>();\n\tfor (const waiver of waivers) {\n\t\tparseWaiverRecord(waiver);\n\t\tif (waiver.scope.taskId !== input.taskSpec.taskId) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} targets task ${waiver.scope.taskId}`);\n\t\t}\n\t\tconst claim = claims.get(waiver.scope.claimId);\n\t\tif (!claim) throw new ProtocolInvariantError(`${waiver.waiverId} targets unknown claim ${waiver.scope.claimId}`);\n\t\tif (claim.requirement !== \"required\") {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} cannot waive advisory claim ${claim.claimId}`);\n\t\t}\n\t\tif (waiver.scope.attemptId !== undefined && waiver.scope.attemptId !== input.attempt.attemptId) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} targets attempt ${waiver.scope.attemptId}`);\n\t\t}\n\t\tif (waiver.approvedAt > input.evaluatedAt) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} was approved after evaluation`);\n\t\t}\n\t\tif (waiver.expiresAt !== undefined && waiver.expiresAt <= input.evaluatedAt) {\n\t\t\tthrow new ProtocolInvariantError(`${waiver.waiverId} is expired`);\n\t\t}\n\t\tif (byClaim.has(claim.claimId))\n\t\t\tthrow new ProtocolInvariantError(`multiple waivers target claim ${claim.claimId}`);\n\t\tbyClaim.set(claim.claimId, waiver);\n\t}\n\treturn byClaim;\n}\n\nfunction reduceVerdict(claims: readonly ClaimEvaluation[]): SemanticVerdict {\n\tconst required = claims.filter((claim) => claim.requirement === \"required\" && claim.waiverId === undefined);\n\tif (required.length === 0) return claims.some((claim) => claim.requirement === \"required\") ? \"pass\" : \"inconclusive\";\n\tif (required.some((claim) => claim.result === \"violated\")) return \"fail\";\n\tif (required.some((claim) => claim.result === \"inconclusive\")) return \"inconclusive\";\n\treturn \"pass\";\n}\n\n/** Pure TaskSpec -> Observation -> Evaluation reduction. */\nexport function evaluateTask(input: EvaluationInput): EvaluationResult {\n\tparseTaskSpec(input.taskSpec);\n\tparseExecutionAttempt(input.attempt);\n\tif (input.attempt.taskId !== input.taskSpec.taskId) {\n\t\tthrow new ProtocolInvariantError(`${input.attempt.attemptId} targets task ${input.attempt.taskId}`);\n\t}\n\tfor (const observation of input.observations) {\n\t\tparseObservation(observation);\n\t\tif (observation.taskId !== input.taskSpec.taskId) {\n\t\t\tthrow new ProtocolInvariantError(`${observation.observationId} targets task ${observation.taskId}`);\n\t\t}\n\t}\n\tconst waivers = validateWaivers(input, input.waivers ?? []);\n\tconst claims = Object.freeze(\n\t\tinput.taskSpec.claims.map((claim): ClaimEvaluation => {\n\t\t\tconst evaluated = evaluateCondition(claim.condition, input.observations, input.attempt.attemptId);\n\t\t\tconst waiver = evaluated.result === \"satisfied\" ? undefined : waivers.get(claim.claimId);\n\t\t\treturn Object.freeze({\n\t\t\t\tclaimId: claim.claimId,\n\t\t\t\trequirement: claim.requirement,\n\t\t\t\tresult: evaluated.result,\n\t\t\t\treasonCode: reasonCode(evaluated.result),\n\t\t\t\tobservationIds: Object.freeze([...evaluated.observationIds]),\n\t\t\t\t...(waiver ? { waiverId: waiver.waiverId } : {}),\n\t\t\t});\n\t\t}),\n\t);\n\treturn parseEvaluationResult(\n\t\tObject.freeze({\n\t\t\tschemaVersion: PROTOCOL_VERSION,\n\t\t\tevaluationId: input.evaluationId,\n\t\t\ttaskId: input.taskSpec.taskId,\n\t\t\tattemptId: input.attempt.attemptId,\n\t\t\tevaluatedAt: input.evaluatedAt,\n\t\t\tclaims,\n\t\t\tsemanticVerdict: reduceVerdict(claims),\n\t\t}),\n\t);\n}\n"]}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { reduceRuntimeDecision } from "./decision.ts";
+export { evaluateTask, ProtocolInvariantError } from "./evaluation.ts";
+export type { AllCondition, AnyCondition, AttemptExecutor, AttemptOutcome, AttemptTrigger, ClaimCondition, ClaimEvaluation, ClaimPredicate, ClaimReasonCode, ClaimResult, EvaluationInput, EvaluationResult, ExecutionAttempt, JsonObject, JsonPrimitive, JsonValue, NotCondition, Observation, ObservationCondition, ProtocolVersion, RequirementLevel, RuntimeAction, RuntimeDecision, RuntimeDecisionInput, RuntimeDecisionPolicy, RuntimeDecisionReason, SemanticVerdict, TaskSpec, WaiverRecord, } from "./types.ts";
+export { PROTOCOL_VERSION } from "./types.ts";
+export { ProtocolValidationError, parseEvaluationResult, parseExecutionAttempt, parseObservation, parseRuntimeDecision, parseTaskSpec, parseWaiverRecord, } from "./validation.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACvE,YAAY,EACX,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,eAAe,EACf,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,SAAS,EACT,YAAY,EACZ,WAAW,EACX,oBAAoB,EACpB,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,QAAQ,EACR,YAAY,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACN,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,iBAAiB,GACjB,MAAM,iBAAiB,CAAC","sourcesContent":["export { reduceRuntimeDecision } from \"./decision.ts\";\nexport { evaluateTask, ProtocolInvariantError } from \"./evaluation.ts\";\nexport type {\n\tAllCondition,\n\tAnyCondition,\n\tAttemptExecutor,\n\tAttemptOutcome,\n\tAttemptTrigger,\n\tClaimCondition,\n\tClaimEvaluation,\n\tClaimPredicate,\n\tClaimReasonCode,\n\tClaimResult,\n\tEvaluationInput,\n\tEvaluationResult,\n\tExecutionAttempt,\n\tJsonObject,\n\tJsonPrimitive,\n\tJsonValue,\n\tNotCondition,\n\tObservation,\n\tObservationCondition,\n\tProtocolVersion,\n\tRequirementLevel,\n\tRuntimeAction,\n\tRuntimeDecision,\n\tRuntimeDecisionInput,\n\tRuntimeDecisionPolicy,\n\tRuntimeDecisionReason,\n\tSemanticVerdict,\n\tTaskSpec,\n\tWaiverRecord,\n} from \"./types.ts\";\nexport { PROTOCOL_VERSION } from \"./types.ts\";\nexport {\n\tProtocolValidationError,\n\tparseEvaluationResult,\n\tparseExecutionAttempt,\n\tparseObservation,\n\tparseRuntimeDecision,\n\tparseTaskSpec,\n\tparseWaiverRecord,\n} from \"./validation.ts\";\n"]}

package/dist/index.js

@@ -0,0 +1,5 @@
+export { reduceRuntimeDecision } from "./decision.js";
+export { evaluateTask, ProtocolInvariantError } from "./evaluation.js";
+export { PROTOCOL_VERSION } from "./types.js";
+export { ProtocolValidationError, parseEvaluationResult, parseExecutionAttempt, parseObservation, parseRuntimeDecision, parseTaskSpec, parseWaiverRecord, } from "./validation.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAgCvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACN,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,iBAAiB,GACjB,MAAM,iBAAiB,CAAC","sourcesContent":["export { reduceRuntimeDecision } from \"./decision.ts\";\nexport { evaluateTask, ProtocolInvariantError } from \"./evaluation.ts\";\nexport type {\n\tAllCondition,\n\tAnyCondition,\n\tAttemptExecutor,\n\tAttemptOutcome,\n\tAttemptTrigger,\n\tClaimCondition,\n\tClaimEvaluation,\n\tClaimPredicate,\n\tClaimReasonCode,\n\tClaimResult,\n\tEvaluationInput,\n\tEvaluationResult,\n\tExecutionAttempt,\n\tJsonObject,\n\tJsonPrimitive,\n\tJsonValue,\n\tNotCondition,\n\tObservation,\n\tObservationCondition,\n\tProtocolVersion,\n\tRequirementLevel,\n\tRuntimeAction,\n\tRuntimeDecision,\n\tRuntimeDecisionInput,\n\tRuntimeDecisionPolicy,\n\tRuntimeDecisionReason,\n\tSemanticVerdict,\n\tTaskSpec,\n\tWaiverRecord,\n} from \"./types.ts\";\nexport { PROTOCOL_VERSION } from \"./types.ts\";\nexport {\n\tProtocolValidationError,\n\tparseEvaluationResult,\n\tparseExecutionAttempt,\n\tparseObservation,\n\tparseRuntimeDecision,\n\tparseTaskSpec,\n\tparseWaiverRecord,\n} from \"./validation.ts\";\n"]}

package/dist/types.d.ts

@@ -0,0 +1,149 @@
+export declare const PROTOCOL_VERSION: "omk.run.v1";
+export type ProtocolVersion = typeof PROTOCOL_VERSION;
+export type JsonPrimitive = boolean | number | string | null;
+export type JsonValue = JsonPrimitive | JsonObject | readonly JsonValue[];
+export interface JsonObject {
+    readonly [key: string]: JsonValue;
+}
+export type RequirementLevel = "required" | "advisory";
+export type SemanticVerdict = "pass" | "fail" | "inconclusive";
+export type ClaimResult = "satisfied" | "violated" | "inconclusive";
+export type RuntimeAction = "continue" | "retry" | "failover" | "stop";
+export interface ObservationCondition {
+    readonly kind: "observation";
+    readonly observationKind: string;
+    readonly scope: "attempt" | "task";
+    readonly facts: JsonObject;
+}
+export interface AllCondition {
+    readonly kind: "all";
+    readonly conditions: readonly ClaimCondition[];
+}
+export interface AnyCondition {
+    readonly kind: "any";
+    readonly conditions: readonly ClaimCondition[];
+}
+export interface NotCondition {
+    readonly kind: "not";
+    readonly condition: ClaimCondition;
+}
+export type ClaimCondition = ObservationCondition | AllCondition | AnyCondition | NotCondition;
+export interface ClaimPredicate {
+    readonly claimId: string;
+    readonly statement: string;
+    readonly requirement: RequirementLevel;
+    readonly condition: ClaimCondition;
+}
+export interface TaskSpec {
+    readonly schemaVersion: ProtocolVersion;
+    readonly taskId: string;
+    readonly goal: string;
+    readonly createdAt: string;
+    readonly claims: readonly ClaimPredicate[];
+}
+export type AttemptTrigger = "initial" | "retry" | "failover" | "resume";
+export interface AttemptExecutor {
+    readonly kind: string;
+    readonly provider?: string;
+    readonly model?: string;
+}
+export type AttemptOutcome = {
+    readonly kind: "completed";
+} | {
+    readonly kind: "failed";
+    readonly code: string;
+    readonly message?: string;
+} | {
+    readonly kind: "cancelled";
+    readonly code: string;
+};
+/** One completed execution. Retry and failover counts are derived from these records. */
+export interface ExecutionAttempt {
+    readonly schemaVersion: ProtocolVersion;
+    readonly attemptId: string;
+    readonly taskId: string;
+    readonly sequence: number;
+    readonly trigger: AttemptTrigger;
+    readonly previousAttemptId?: string;
+    readonly startedAt: string;
+    readonly finishedAt: string;
+    readonly executor: AttemptExecutor;
+    readonly outcome: AttemptOutcome;
+}
+/** Immutable execution facts. Semantic pass/fail belongs only in ClaimEvaluation. */
+export interface Observation {
+    readonly schemaVersion: ProtocolVersion;
+    readonly observationId: string;
+    readonly taskId: string;
+    readonly attemptId: string;
+    readonly observedAt: string;
+    readonly kind: string;
+    readonly source: {
+        readonly kind: string;
+        readonly id: string;
+    };
+    readonly facts: JsonObject;
+    readonly evidenceRefs: readonly string[];
+}
+export interface WaiverRecord {
+    readonly schemaVersion: ProtocolVersion;
+    readonly waiverId: string;
+    readonly scope: {
+        readonly taskId: string;
+        readonly claimId: string;
+        readonly attemptId?: string;
+    };
+    readonly approvedBy: string;
+    readonly approvedAt: string;
+    readonly expiresAt?: string;
+    readonly rationale: string;
+    readonly evidenceRefs: readonly string[];
+}
+export type ClaimReasonCode = "claim.satisfied" | "claim.violated" | "claim.observation_missing";
+export interface ClaimEvaluation {
+    readonly claimId: string;
+    readonly requirement: RequirementLevel;
+    readonly result: ClaimResult;
+    readonly reasonCode: ClaimReasonCode;
+    readonly observationIds: readonly string[];
+    readonly waiverId?: string;
+}
+export interface EvaluationResult {
+    readonly schemaVersion: ProtocolVersion;
+    readonly evaluationId: string;
+    readonly taskId: string;
+    readonly attemptId: string;
+    readonly evaluatedAt: string;
+    readonly claims: readonly ClaimEvaluation[];
+    readonly semanticVerdict: SemanticVerdict;
+}
+export interface EvaluationInput {
+    readonly evaluationId: string;
+    readonly evaluatedAt: string;
+    readonly taskSpec: TaskSpec;
+    readonly attempt: ExecutionAttempt;
+    readonly observations: readonly Observation[];
+    readonly waivers?: readonly WaiverRecord[];
+}
+export interface RuntimeDecisionPolicy {
+    readonly onFail: RuntimeAction;
+    readonly onInconclusive: RuntimeAction;
+}
+export type RuntimeDecisionReason = "evaluation.pass" | "evaluation.fail" | "evaluation.inconclusive";
+export interface RuntimeDecision {
+    readonly schemaVersion: ProtocolVersion;
+    readonly decisionId: string;
+    readonly taskId: string;
+    readonly attemptId: string;
+    readonly evaluationId: string;
+    readonly decidedAt: string;
+    readonly action: RuntimeAction;
+    readonly reasonCode: RuntimeDecisionReason;
+}
+export interface RuntimeDecisionInput {
+    readonly decisionId: string;
+    readonly decidedAt: string;
+    readonly evaluation: EvaluationResult;
+    readonly policy: RuntimeDecisionPolicy;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,gBAAgB,cAAwB,CAAC;AAEtD,MAAM,MAAM,eAAe,GAAG,OAAO,gBAAgB,CAAC;AACtD,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAC7D,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,SAAS,EAAE,CAAC;AAC1E,MAAM,WAAW,UAAU;IAC1B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAClC;AAED,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,UAAU,CAAC;AACvD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAC/D,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,cAAc,CAAC;AACpE,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;AAEvE,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACnC;AAED,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,YAAY,GAAG,YAAY,GAAG,YAAY,CAAC;AAE/F,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACnC;AAED,MAAM,WAAW,QAAQ;IACxB,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAEzE,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,cAAc,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,yFAAyF;AACzF,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CACjC;AAED,qFAAqF;AACrF,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE;QAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,2BAA2B,CAAC;AAEjG,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;CAC1C;AAED,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;CACvC;AAED,MAAM,MAAM,qBAAqB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,yBAAyB,CAAC;AAEtG,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC3C;AAED,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACvC","sourcesContent":["export const PROTOCOL_VERSION = \"omk.run.v1\" as const;\n\nexport type ProtocolVersion = typeof PROTOCOL_VERSION;\nexport type JsonPrimitive = boolean | number | string | null;\nexport type JsonValue = JsonPrimitive | JsonObject | readonly JsonValue[];\nexport interface JsonObject {\n\treadonly [key: string]: JsonValue;\n}\n\nexport type RequirementLevel = \"required\" | \"advisory\";\nexport type SemanticVerdict = \"pass\" | \"fail\" | \"inconclusive\";\nexport type ClaimResult = \"satisfied\" | \"violated\" | \"inconclusive\";\nexport type RuntimeAction = \"continue\" | \"retry\" | \"failover\" | \"stop\";\n\nexport interface ObservationCondition {\n\treadonly kind: \"observation\";\n\treadonly observationKind: string;\n\treadonly scope: \"attempt\" | \"task\";\n\treadonly facts: JsonObject;\n}\n\nexport interface AllCondition {\n\treadonly kind: \"all\";\n\treadonly conditions: readonly ClaimCondition[];\n}\n\nexport interface AnyCondition {\n\treadonly kind: \"any\";\n\treadonly conditions: readonly ClaimCondition[];\n}\n\nexport interface NotCondition {\n\treadonly kind: \"not\";\n\treadonly condition: ClaimCondition;\n}\n\nexport type ClaimCondition = ObservationCondition | AllCondition | AnyCondition | NotCondition;\n\nexport interface ClaimPredicate {\n\treadonly claimId: string;\n\treadonly statement: string;\n\treadonly requirement: RequirementLevel;\n\treadonly condition: ClaimCondition;\n}\n\nexport interface TaskSpec {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly taskId: string;\n\treadonly goal: string;\n\treadonly createdAt: string;\n\treadonly claims: readonly ClaimPredicate[];\n}\n\nexport type AttemptTrigger = \"initial\" | \"retry\" | \"failover\" | \"resume\";\n\nexport interface AttemptExecutor {\n\treadonly kind: string;\n\treadonly provider?: string;\n\treadonly model?: string;\n}\n\nexport type AttemptOutcome =\n\t| { readonly kind: \"completed\" }\n\t| { readonly kind: \"failed\"; readonly code: string; readonly message?: string }\n\t| { readonly kind: \"cancelled\"; readonly code: string };\n\n/** One completed execution. Retry and failover counts are derived from these records. */\nexport interface ExecutionAttempt {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly attemptId: string;\n\treadonly taskId: string;\n\treadonly sequence: number;\n\treadonly trigger: AttemptTrigger;\n\treadonly previousAttemptId?: string;\n\treadonly startedAt: string;\n\treadonly finishedAt: string;\n\treadonly executor: AttemptExecutor;\n\treadonly outcome: AttemptOutcome;\n}\n\n/** Immutable execution facts. Semantic pass/fail belongs only in ClaimEvaluation. */\nexport interface Observation {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly observationId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly observedAt: string;\n\treadonly kind: string;\n\treadonly source: {\n\t\treadonly kind: string;\n\t\treadonly id: string;\n\t};\n\treadonly facts: JsonObject;\n\treadonly evidenceRefs: readonly string[];\n}\n\nexport interface WaiverRecord {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly waiverId: string;\n\treadonly scope: {\n\t\treadonly taskId: string;\n\t\treadonly claimId: string;\n\t\treadonly attemptId?: string;\n\t};\n\treadonly approvedBy: string;\n\treadonly approvedAt: string;\n\treadonly expiresAt?: string;\n\treadonly rationale: string;\n\treadonly evidenceRefs: readonly string[];\n}\n\nexport type ClaimReasonCode = \"claim.satisfied\" | \"claim.violated\" | \"claim.observation_missing\";\n\nexport interface ClaimEvaluation {\n\treadonly claimId: string;\n\treadonly requirement: RequirementLevel;\n\treadonly result: ClaimResult;\n\treadonly reasonCode: ClaimReasonCode;\n\treadonly observationIds: readonly string[];\n\treadonly waiverId?: string;\n}\n\nexport interface EvaluationResult {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly evaluationId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly evaluatedAt: string;\n\treadonly claims: readonly ClaimEvaluation[];\n\treadonly semanticVerdict: SemanticVerdict;\n}\n\nexport interface EvaluationInput {\n\treadonly evaluationId: string;\n\treadonly evaluatedAt: string;\n\treadonly taskSpec: TaskSpec;\n\treadonly attempt: ExecutionAttempt;\n\treadonly observations: readonly Observation[];\n\treadonly waivers?: readonly WaiverRecord[];\n}\n\nexport interface RuntimeDecisionPolicy {\n\treadonly onFail: RuntimeAction;\n\treadonly onInconclusive: RuntimeAction;\n}\n\nexport type RuntimeDecisionReason = \"evaluation.pass\" | \"evaluation.fail\" | \"evaluation.inconclusive\";\n\nexport interface RuntimeDecision {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly decisionId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly evaluationId: string;\n\treadonly decidedAt: string;\n\treadonly action: RuntimeAction;\n\treadonly reasonCode: RuntimeDecisionReason;\n}\n\nexport interface RuntimeDecisionInput {\n\treadonly decisionId: string;\n\treadonly decidedAt: string;\n\treadonly evaluation: EvaluationResult;\n\treadonly policy: RuntimeDecisionPolicy;\n}\n"]}

package/dist/types.js

@@ -0,0 +1,2 @@
+export const PROTOCOL_VERSION = "omk.run.v1";
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,gBAAgB,GAAG,YAAqB,CAAC","sourcesContent":["export const PROTOCOL_VERSION = \"omk.run.v1\" as const;\n\nexport type ProtocolVersion = typeof PROTOCOL_VERSION;\nexport type JsonPrimitive = boolean | number | string | null;\nexport type JsonValue = JsonPrimitive | JsonObject | readonly JsonValue[];\nexport interface JsonObject {\n\treadonly [key: string]: JsonValue;\n}\n\nexport type RequirementLevel = \"required\" | \"advisory\";\nexport type SemanticVerdict = \"pass\" | \"fail\" | \"inconclusive\";\nexport type ClaimResult = \"satisfied\" | \"violated\" | \"inconclusive\";\nexport type RuntimeAction = \"continue\" | \"retry\" | \"failover\" | \"stop\";\n\nexport interface ObservationCondition {\n\treadonly kind: \"observation\";\n\treadonly observationKind: string;\n\treadonly scope: \"attempt\" | \"task\";\n\treadonly facts: JsonObject;\n}\n\nexport interface AllCondition {\n\treadonly kind: \"all\";\n\treadonly conditions: readonly ClaimCondition[];\n}\n\nexport interface AnyCondition {\n\treadonly kind: \"any\";\n\treadonly conditions: readonly ClaimCondition[];\n}\n\nexport interface NotCondition {\n\treadonly kind: \"not\";\n\treadonly condition: ClaimCondition;\n}\n\nexport type ClaimCondition = ObservationCondition | AllCondition | AnyCondition | NotCondition;\n\nexport interface ClaimPredicate {\n\treadonly claimId: string;\n\treadonly statement: string;\n\treadonly requirement: RequirementLevel;\n\treadonly condition: ClaimCondition;\n}\n\nexport interface TaskSpec {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly taskId: string;\n\treadonly goal: string;\n\treadonly createdAt: string;\n\treadonly claims: readonly ClaimPredicate[];\n}\n\nexport type AttemptTrigger = \"initial\" | \"retry\" | \"failover\" | \"resume\";\n\nexport interface AttemptExecutor {\n\treadonly kind: string;\n\treadonly provider?: string;\n\treadonly model?: string;\n}\n\nexport type AttemptOutcome =\n\t| { readonly kind: \"completed\" }\n\t| { readonly kind: \"failed\"; readonly code: string; readonly message?: string }\n\t| { readonly kind: \"cancelled\"; readonly code: string };\n\n/** One completed execution. Retry and failover counts are derived from these records. */\nexport interface ExecutionAttempt {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly attemptId: string;\n\treadonly taskId: string;\n\treadonly sequence: number;\n\treadonly trigger: AttemptTrigger;\n\treadonly previousAttemptId?: string;\n\treadonly startedAt: string;\n\treadonly finishedAt: string;\n\treadonly executor: AttemptExecutor;\n\treadonly outcome: AttemptOutcome;\n}\n\n/** Immutable execution facts. Semantic pass/fail belongs only in ClaimEvaluation. */\nexport interface Observation {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly observationId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly observedAt: string;\n\treadonly kind: string;\n\treadonly source: {\n\t\treadonly kind: string;\n\t\treadonly id: string;\n\t};\n\treadonly facts: JsonObject;\n\treadonly evidenceRefs: readonly string[];\n}\n\nexport interface WaiverRecord {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly waiverId: string;\n\treadonly scope: {\n\t\treadonly taskId: string;\n\t\treadonly claimId: string;\n\t\treadonly attemptId?: string;\n\t};\n\treadonly approvedBy: string;\n\treadonly approvedAt: string;\n\treadonly expiresAt?: string;\n\treadonly rationale: string;\n\treadonly evidenceRefs: readonly string[];\n}\n\nexport type ClaimReasonCode = \"claim.satisfied\" | \"claim.violated\" | \"claim.observation_missing\";\n\nexport interface ClaimEvaluation {\n\treadonly claimId: string;\n\treadonly requirement: RequirementLevel;\n\treadonly result: ClaimResult;\n\treadonly reasonCode: ClaimReasonCode;\n\treadonly observationIds: readonly string[];\n\treadonly waiverId?: string;\n}\n\nexport interface EvaluationResult {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly evaluationId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly evaluatedAt: string;\n\treadonly claims: readonly ClaimEvaluation[];\n\treadonly semanticVerdict: SemanticVerdict;\n}\n\nexport interface EvaluationInput {\n\treadonly evaluationId: string;\n\treadonly evaluatedAt: string;\n\treadonly taskSpec: TaskSpec;\n\treadonly attempt: ExecutionAttempt;\n\treadonly observations: readonly Observation[];\n\treadonly waivers?: readonly WaiverRecord[];\n}\n\nexport interface RuntimeDecisionPolicy {\n\treadonly onFail: RuntimeAction;\n\treadonly onInconclusive: RuntimeAction;\n}\n\nexport type RuntimeDecisionReason = \"evaluation.pass\" | \"evaluation.fail\" | \"evaluation.inconclusive\";\n\nexport interface RuntimeDecision {\n\treadonly schemaVersion: ProtocolVersion;\n\treadonly decisionId: string;\n\treadonly taskId: string;\n\treadonly attemptId: string;\n\treadonly evaluationId: string;\n\treadonly decidedAt: string;\n\treadonly action: RuntimeAction;\n\treadonly reasonCode: RuntimeDecisionReason;\n}\n\nexport interface RuntimeDecisionInput {\n\treadonly decisionId: string;\n\treadonly decidedAt: string;\n\treadonly evaluation: EvaluationResult;\n\treadonly policy: RuntimeDecisionPolicy;\n}\n"]}

package/dist/validation.d.ts

@@ -0,0 +1,11 @@
+import { type EvaluationResult, type ExecutionAttempt, type Observation, type RuntimeDecision, type TaskSpec, type WaiverRecord } from "./types.ts";
+export declare class ProtocolValidationError extends Error {
+    constructor(message: string);
+}
+export declare function parseTaskSpec(value: unknown): TaskSpec;
+export declare function parseExecutionAttempt(value: unknown): ExecutionAttempt;
+export declare function parseObservation(value: unknown): Observation;
+export declare function parseWaiverRecord(value: unknown): WaiverRecord;
+export declare function parseEvaluationResult(value: unknown): EvaluationResult;
+export declare function parseRuntimeDecision(value: unknown): RuntimeDecision;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEN,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EAGrB,KAAK,WAAW,EAEhB,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,MAAM,YAAY,CAAC;AAKpB,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACD;AAkFD,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAoBtD;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CA6BtE;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAc5D;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAc9D;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CA2BtE;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAepE","sourcesContent":["import {\n\ttype ClaimCondition,\n\ttype EvaluationResult,\n\ttype ExecutionAttempt,\n\ttype JsonObject,\n\ttype JsonValue,\n\ttype Observation,\n\tPROTOCOL_VERSION,\n\ttype RuntimeDecision,\n\ttype TaskSpec,\n\ttype WaiverRecord,\n} from \"./types.ts\";\n\nconst ISO_TIMESTAMP = /^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$/;\nconst MAX_CONDITION_DEPTH = 32;\n\nexport class ProtocolValidationError extends Error {\n\tconstructor(message: string) {\n\t\tsuper(message);\n\t\tthis.name = \"ProtocolValidationError\";\n\t}\n}\n\nfunction record(value: unknown, path: string): Record<string, unknown> {\n\tif (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n\t\tthrow new ProtocolValidationError(`${path} must be an object`);\n\t}\n\treturn value as Record<string, unknown>;\n}\n\nfunction string(value: unknown, path: string): string {\n\tif (typeof value !== \"string\" || value.trim().length === 0) {\n\t\tthrow new ProtocolValidationError(`${path} must be a non-empty string`);\n\t}\n\treturn value;\n}\n\nfunction timestamp(value: unknown, path: string): string {\n\tconst parsed = string(value, path);\n\tif (!ISO_TIMESTAMP.test(parsed) || Number.isNaN(Date.parse(parsed))) {\n\t\tthrow new ProtocolValidationError(`${path} must be an ISO 8601 UTC timestamp`);\n\t}\n\treturn parsed;\n}\n\nfunction version(value: Record<string, unknown>, path: string): void {\n\tif (value.schemaVersion !== PROTOCOL_VERSION) {\n\t\tthrow new ProtocolValidationError(`${path}.schemaVersion must be ${PROTOCOL_VERSION}`);\n\t}\n}\n\nfunction stringArray(value: unknown, path: string): readonly string[] {\n\tif (!Array.isArray(value)) throw new ProtocolValidationError(`${path} must be an array`);\n\treturn value.map((item, index) => string(item, `${path}[${index}]`));\n}\n\nfunction jsonValue(value: unknown, path: string, depth = 0): asserts value is JsonValue {\n\tif (depth > MAX_CONDITION_DEPTH) throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);\n\tif (value === null || typeof value === \"string\" || typeof value === \"boolean\") return;\n\tif (typeof value === \"number\" && Number.isFinite(value)) return;\n\tif (Array.isArray(value)) {\n\t\tvalue.forEach((item, index) => {\n\t\t\tjsonValue(item, `${path}[${index}]`, depth + 1);\n\t\t});\n\t\treturn;\n\t}\n\tconst object = record(value, path);\n\tfor (const [key, item] of Object.entries(object)) jsonValue(item, `${path}.${key}`, depth + 1);\n}\n\nfunction jsonObject(value: unknown, path: string): asserts value is JsonObject {\n\trecord(value, path);\n\tjsonValue(value, path);\n}\n\nfunction condition(value: unknown, path: string, depth = 0): asserts value is ClaimCondition {\n\tif (depth > MAX_CONDITION_DEPTH) throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);\n\tconst input = record(value, path);\n\tswitch (input.kind) {\n\t\tcase \"observation\":\n\t\t\tstring(input.observationKind, `${path}.observationKind`);\n\t\t\tif (input.scope !== \"attempt\" && input.scope !== \"task\") {\n\t\t\t\tthrow new ProtocolValidationError(`${path}.scope must be attempt or task`);\n\t\t\t}\n\t\t\tjsonObject(input.facts, `${path}.facts`);\n\t\t\treturn;\n\t\tcase \"all\":\n\t\tcase \"any\":\n\t\t\tif (!Array.isArray(input.conditions) || input.conditions.length === 0) {\n\t\t\t\tthrow new ProtocolValidationError(`${path}.conditions must be a non-empty array`);\n\t\t\t}\n\t\t\tinput.conditions.forEach((item, index) => {\n\t\t\t\tcondition(item, `${path}.conditions[${index}]`, depth + 1);\n\t\t\t});\n\t\t\treturn;\n\t\tcase \"not\":\n\t\t\tcondition(input.condition, `${path}.condition`, depth + 1);\n\t\t\treturn;\n\t\tdefault:\n\t\t\tthrow new ProtocolValidationError(`${path}.kind is unsupported`);\n\t}\n}\n\nexport function parseTaskSpec(value: unknown): TaskSpec {\n\tconst input = record(value, \"taskSpec\");\n\tversion(input, \"taskSpec\");\n\tstring(input.taskId, \"taskSpec.taskId\");\n\tstring(input.goal, \"taskSpec.goal\");\n\ttimestamp(input.createdAt, \"taskSpec.createdAt\");\n\tif (!Array.isArray(input.claims)) throw new ProtocolValidationError(\"taskSpec.claims must be an array\");\n\tconst claimIds = new Set<string>();\n\tfor (const [index, rawClaim] of input.claims.entries()) {\n\t\tconst claim = record(rawClaim, `taskSpec.claims[${index}]`);\n\t\tconst claimId = string(claim.claimId, `taskSpec.claims[${index}].claimId`);\n\t\tif (claimIds.has(claimId)) throw new ProtocolValidationError(`duplicate claimId ${claimId}`);\n\t\tclaimIds.add(claimId);\n\t\tstring(claim.statement, `taskSpec.claims[${index}].statement`);\n\t\tif (claim.requirement !== \"required\" && claim.requirement !== \"advisory\") {\n\t\t\tthrow new ProtocolValidationError(`taskSpec.claims[${index}].requirement is unsupported`);\n\t\t}\n\t\tcondition(claim.condition, `taskSpec.claims[${index}].condition`);\n\t}\n\treturn value as TaskSpec;\n}\n\nexport function parseExecutionAttempt(value: unknown): ExecutionAttempt {\n\tconst input = record(value, \"attempt\");\n\tversion(input, \"attempt\");\n\tstring(input.attemptId, \"attempt.attemptId\");\n\tstring(input.taskId, \"attempt.taskId\");\n\tif (!Number.isSafeInteger(input.sequence) || (input.sequence as number) < 1) {\n\t\tthrow new ProtocolValidationError(\"attempt.sequence must be a positive integer\");\n\t}\n\tif (![\"initial\", \"retry\", \"failover\", \"resume\"].includes(input.trigger as string)) {\n\t\tthrow new ProtocolValidationError(\"attempt.trigger is unsupported\");\n\t}\n\tif (input.previousAttemptId !== undefined) string(input.previousAttemptId, \"attempt.previousAttemptId\");\n\tconst startedAt = timestamp(input.startedAt, \"attempt.startedAt\");\n\tconst finishedAt = timestamp(input.finishedAt, \"attempt.finishedAt\");\n\tif (finishedAt < startedAt) throw new ProtocolValidationError(\"attempt.finishedAt precedes startedAt\");\n\tconst executor = record(input.executor, \"attempt.executor\");\n\tstring(executor.kind, \"attempt.executor.kind\");\n\tif (executor.provider !== undefined) string(executor.provider, \"attempt.executor.provider\");\n\tif (executor.model !== undefined) string(executor.model, \"attempt.executor.model\");\n\tconst outcome = record(input.outcome, \"attempt.outcome\");\n\tif (outcome.kind === \"failed\") {\n\t\tstring(outcome.code, \"attempt.outcome.code\");\n\t\tif (outcome.message !== undefined) string(outcome.message, \"attempt.outcome.message\");\n\t} else if (outcome.kind === \"cancelled\") {\n\t\tstring(outcome.code, \"attempt.outcome.code\");\n\t} else if (outcome.kind !== \"completed\") {\n\t\tthrow new ProtocolValidationError(\"attempt.outcome.kind is unsupported\");\n\t}\n\treturn value as ExecutionAttempt;\n}\n\nexport function parseObservation(value: unknown): Observation {\n\tconst input = record(value, \"observation\");\n\tversion(input, \"observation\");\n\tstring(input.observationId, \"observation.observationId\");\n\tstring(input.taskId, \"observation.taskId\");\n\tstring(input.attemptId, \"observation.attemptId\");\n\ttimestamp(input.observedAt, \"observation.observedAt\");\n\tstring(input.kind, \"observation.kind\");\n\tconst source = record(input.source, \"observation.source\");\n\tstring(source.kind, \"observation.source.kind\");\n\tstring(source.id, \"observation.source.id\");\n\tjsonObject(input.facts, \"observation.facts\");\n\tstringArray(input.evidenceRefs, \"observation.evidenceRefs\");\n\treturn value as Observation;\n}\n\nexport function parseWaiverRecord(value: unknown): WaiverRecord {\n\tconst input = record(value, \"waiver\");\n\tversion(input, \"waiver\");\n\tstring(input.waiverId, \"waiver.waiverId\");\n\tconst scope = record(input.scope, \"waiver.scope\");\n\tstring(scope.taskId, \"waiver.scope.taskId\");\n\tstring(scope.claimId, \"waiver.scope.claimId\");\n\tif (scope.attemptId !== undefined) string(scope.attemptId, \"waiver.scope.attemptId\");\n\tstring(input.approvedBy, \"waiver.approvedBy\");\n\ttimestamp(input.approvedAt, \"waiver.approvedAt\");\n\tif (input.expiresAt !== undefined) timestamp(input.expiresAt, \"waiver.expiresAt\");\n\tstring(input.rationale, \"waiver.rationale\");\n\tstringArray(input.evidenceRefs, \"waiver.evidenceRefs\");\n\treturn value as WaiverRecord;\n}\n\nexport function parseEvaluationResult(value: unknown): EvaluationResult {\n\tconst input = record(value, \"evaluation\");\n\tversion(input, \"evaluation\");\n\tstring(input.evaluationId, \"evaluation.evaluationId\");\n\tstring(input.taskId, \"evaluation.taskId\");\n\tstring(input.attemptId, \"evaluation.attemptId\");\n\ttimestamp(input.evaluatedAt, \"evaluation.evaluatedAt\");\n\tif (!Array.isArray(input.claims)) throw new ProtocolValidationError(\"evaluation.claims must be an array\");\n\tfor (const [index, rawClaim] of input.claims.entries()) {\n\t\tconst claim = record(rawClaim, `evaluation.claims[${index}]`);\n\t\tstring(claim.claimId, `evaluation.claims[${index}].claimId`);\n\t\tif (claim.requirement !== \"required\" && claim.requirement !== \"advisory\") {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].requirement is unsupported`);\n\t\t}\n\t\tif (![\"satisfied\", \"violated\", \"inconclusive\"].includes(claim.result as string)) {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].result is unsupported`);\n\t\t}\n\t\tif (![\"claim.satisfied\", \"claim.violated\", \"claim.observation_missing\"].includes(claim.reasonCode as string)) {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].reasonCode is unsupported`);\n\t\t}\n\t\tstringArray(claim.observationIds, `evaluation.claims[${index}].observationIds`);\n\t\tif (claim.waiverId !== undefined) string(claim.waiverId, `evaluation.claims[${index}].waiverId`);\n\t}\n\tif (![\"pass\", \"fail\", \"inconclusive\"].includes(input.semanticVerdict as string)) {\n\t\tthrow new ProtocolValidationError(\"evaluation.semanticVerdict is unsupported\");\n\t}\n\treturn value as EvaluationResult;\n}\n\nexport function parseRuntimeDecision(value: unknown): RuntimeDecision {\n\tconst input = record(value, \"decision\");\n\tversion(input, \"decision\");\n\tstring(input.decisionId, \"decision.decisionId\");\n\tstring(input.taskId, \"decision.taskId\");\n\tstring(input.attemptId, \"decision.attemptId\");\n\tstring(input.evaluationId, \"decision.evaluationId\");\n\ttimestamp(input.decidedAt, \"decision.decidedAt\");\n\tif (![\"continue\", \"retry\", \"failover\", \"stop\"].includes(input.action as string)) {\n\t\tthrow new ProtocolValidationError(\"decision.action is unsupported\");\n\t}\n\tif (![\"evaluation.pass\", \"evaluation.fail\", \"evaluation.inconclusive\"].includes(input.reasonCode as string)) {\n\t\tthrow new ProtocolValidationError(\"decision.reasonCode is unsupported\");\n\t}\n\treturn value as RuntimeDecision;\n}\n"]}

package/dist/validation.js

@@ -0,0 +1,226 @@
+import { PROTOCOL_VERSION, } from "./types.js";
+const ISO_TIMESTAMP = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/;
+const MAX_CONDITION_DEPTH = 32;
+export class ProtocolValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ProtocolValidationError";
+    }
+}
+function record(value, path) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new ProtocolValidationError(`${path} must be an object`);
+    }
+    return value;
+}
+function string(value, path) {
+    if (typeof value !== "string" || value.trim().length === 0) {
+        throw new ProtocolValidationError(`${path} must be a non-empty string`);
+    }
+    return value;
+}
+function timestamp(value, path) {
+    const parsed = string(value, path);
+    if (!ISO_TIMESTAMP.test(parsed) || Number.isNaN(Date.parse(parsed))) {
+        throw new ProtocolValidationError(`${path} must be an ISO 8601 UTC timestamp`);
+    }
+    return parsed;
+}
+function version(value, path) {
+    if (value.schemaVersion !== PROTOCOL_VERSION) {
+        throw new ProtocolValidationError(`${path}.schemaVersion must be ${PROTOCOL_VERSION}`);
+    }
+}
+function stringArray(value, path) {
+    if (!Array.isArray(value))
+        throw new ProtocolValidationError(`${path} must be an array`);
+    return value.map((item, index) => string(item, `${path}[${index}]`));
+}
+function jsonValue(value, path, depth = 0) {
+    if (depth > MAX_CONDITION_DEPTH)
+        throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);
+    if (value === null || typeof value === "string" || typeof value === "boolean")
+        return;
+    if (typeof value === "number" && Number.isFinite(value))
+        return;
+    if (Array.isArray(value)) {
+        value.forEach((item, index) => {
+            jsonValue(item, `${path}[${index}]`, depth + 1);
+        });
+        return;
+    }
+    const object = record(value, path);
+    for (const [key, item] of Object.entries(object))
+        jsonValue(item, `${path}.${key}`, depth + 1);
+}
+function jsonObject(value, path) {
+    record(value, path);
+    jsonValue(value, path);
+}
+function condition(value, path, depth = 0) {
+    if (depth > MAX_CONDITION_DEPTH)
+        throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);
+    const input = record(value, path);
+    switch (input.kind) {
+        case "observation":
+            string(input.observationKind, `${path}.observationKind`);
+            if (input.scope !== "attempt" && input.scope !== "task") {
+                throw new ProtocolValidationError(`${path}.scope must be attempt or task`);
+            }
+            jsonObject(input.facts, `${path}.facts`);
+            return;
+        case "all":
+        case "any":
+            if (!Array.isArray(input.conditions) || input.conditions.length === 0) {
+                throw new ProtocolValidationError(`${path}.conditions must be a non-empty array`);
+            }
+            input.conditions.forEach((item, index) => {
+                condition(item, `${path}.conditions[${index}]`, depth + 1);
+            });
+            return;
+        case "not":
+            condition(input.condition, `${path}.condition`, depth + 1);
+            return;
+        default:
+            throw new ProtocolValidationError(`${path}.kind is unsupported`);
+    }
+}
+export function parseTaskSpec(value) {
+    const input = record(value, "taskSpec");
+    version(input, "taskSpec");
+    string(input.taskId, "taskSpec.taskId");
+    string(input.goal, "taskSpec.goal");
+    timestamp(input.createdAt, "taskSpec.createdAt");
+    if (!Array.isArray(input.claims))
+        throw new ProtocolValidationError("taskSpec.claims must be an array");
+    const claimIds = new Set();
+    for (const [index, rawClaim] of input.claims.entries()) {
+        const claim = record(rawClaim, `taskSpec.claims[${index}]`);
+        const claimId = string(claim.claimId, `taskSpec.claims[${index}].claimId`);
+        if (claimIds.has(claimId))
+            throw new ProtocolValidationError(`duplicate claimId ${claimId}`);
+        claimIds.add(claimId);
+        string(claim.statement, `taskSpec.claims[${index}].statement`);
+        if (claim.requirement !== "required" && claim.requirement !== "advisory") {
+            throw new ProtocolValidationError(`taskSpec.claims[${index}].requirement is unsupported`);
+        }
+        condition(claim.condition, `taskSpec.claims[${index}].condition`);
+    }
+    return value;
+}
+export function parseExecutionAttempt(value) {
+    const input = record(value, "attempt");
+    version(input, "attempt");
+    string(input.attemptId, "attempt.attemptId");
+    string(input.taskId, "attempt.taskId");
+    if (!Number.isSafeInteger(input.sequence) || input.sequence < 1) {
+        throw new ProtocolValidationError("attempt.sequence must be a positive integer");
+    }
+    if (!["initial", "retry", "failover", "resume"].includes(input.trigger)) {
+        throw new ProtocolValidationError("attempt.trigger is unsupported");
+    }
+    if (input.previousAttemptId !== undefined)
+        string(input.previousAttemptId, "attempt.previousAttemptId");
+    const startedAt = timestamp(input.startedAt, "attempt.startedAt");
+    const finishedAt = timestamp(input.finishedAt, "attempt.finishedAt");
+    if (finishedAt < startedAt)
+        throw new ProtocolValidationError("attempt.finishedAt precedes startedAt");
+    const executor = record(input.executor, "attempt.executor");
+    string(executor.kind, "attempt.executor.kind");
+    if (executor.provider !== undefined)
+        string(executor.provider, "attempt.executor.provider");
+    if (executor.model !== undefined)
+        string(executor.model, "attempt.executor.model");
+    const outcome = record(input.outcome, "attempt.outcome");
+    if (outcome.kind === "failed") {
+        string(outcome.code, "attempt.outcome.code");
+        if (outcome.message !== undefined)
+            string(outcome.message, "attempt.outcome.message");
+    }
+    else if (outcome.kind === "cancelled") {
+        string(outcome.code, "attempt.outcome.code");
+    }
+    else if (outcome.kind !== "completed") {
+        throw new ProtocolValidationError("attempt.outcome.kind is unsupported");
+    }
+    return value;
+}
+export function parseObservation(value) {
+    const input = record(value, "observation");
+    version(input, "observation");
+    string(input.observationId, "observation.observationId");
+    string(input.taskId, "observation.taskId");
+    string(input.attemptId, "observation.attemptId");
+    timestamp(input.observedAt, "observation.observedAt");
+    string(input.kind, "observation.kind");
+    const source = record(input.source, "observation.source");
+    string(source.kind, "observation.source.kind");
+    string(source.id, "observation.source.id");
+    jsonObject(input.facts, "observation.facts");
+    stringArray(input.evidenceRefs, "observation.evidenceRefs");
+    return value;
+}
+export function parseWaiverRecord(value) {
+    const input = record(value, "waiver");
+    version(input, "waiver");
+    string(input.waiverId, "waiver.waiverId");
+    const scope = record(input.scope, "waiver.scope");
+    string(scope.taskId, "waiver.scope.taskId");
+    string(scope.claimId, "waiver.scope.claimId");
+    if (scope.attemptId !== undefined)
+        string(scope.attemptId, "waiver.scope.attemptId");
+    string(input.approvedBy, "waiver.approvedBy");
+    timestamp(input.approvedAt, "waiver.approvedAt");
+    if (input.expiresAt !== undefined)
+        timestamp(input.expiresAt, "waiver.expiresAt");
+    string(input.rationale, "waiver.rationale");
+    stringArray(input.evidenceRefs, "waiver.evidenceRefs");
+    return value;
+}
+export function parseEvaluationResult(value) {
+    const input = record(value, "evaluation");
+    version(input, "evaluation");
+    string(input.evaluationId, "evaluation.evaluationId");
+    string(input.taskId, "evaluation.taskId");
+    string(input.attemptId, "evaluation.attemptId");
+    timestamp(input.evaluatedAt, "evaluation.evaluatedAt");
+    if (!Array.isArray(input.claims))
+        throw new ProtocolValidationError("evaluation.claims must be an array");
+    for (const [index, rawClaim] of input.claims.entries()) {
+        const claim = record(rawClaim, `evaluation.claims[${index}]`);
+        string(claim.claimId, `evaluation.claims[${index}].claimId`);
+        if (claim.requirement !== "required" && claim.requirement !== "advisory") {
+            throw new ProtocolValidationError(`evaluation.claims[${index}].requirement is unsupported`);
+        }
+        if (!["satisfied", "violated", "inconclusive"].includes(claim.result)) {
+            throw new ProtocolValidationError(`evaluation.claims[${index}].result is unsupported`);
+        }
+        if (!["claim.satisfied", "claim.violated", "claim.observation_missing"].includes(claim.reasonCode)) {
+            throw new ProtocolValidationError(`evaluation.claims[${index}].reasonCode is unsupported`);
+        }
+        stringArray(claim.observationIds, `evaluation.claims[${index}].observationIds`);
+        if (claim.waiverId !== undefined)
+            string(claim.waiverId, `evaluation.claims[${index}].waiverId`);
+    }
+    if (!["pass", "fail", "inconclusive"].includes(input.semanticVerdict)) {
+        throw new ProtocolValidationError("evaluation.semanticVerdict is unsupported");
+    }
+    return value;
+}
+export function parseRuntimeDecision(value) {
+    const input = record(value, "decision");
+    version(input, "decision");
+    string(input.decisionId, "decision.decisionId");
+    string(input.taskId, "decision.taskId");
+    string(input.attemptId, "decision.attemptId");
+    string(input.evaluationId, "decision.evaluationId");
+    timestamp(input.decidedAt, "decision.decidedAt");
+    if (!["continue", "retry", "failover", "stop"].includes(input.action)) {
+        throw new ProtocolValidationError("decision.action is unsupported");
+    }
+    if (!["evaluation.pass", "evaluation.fail", "evaluation.inconclusive"].includes(input.reasonCode)) {
+        throw new ProtocolValidationError("decision.reasonCode is unsupported");
+    }
+    return value;
+}
+//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAON,gBAAgB,GAIhB,MAAM,YAAY,CAAC;AAEpB,MAAM,aAAa,GAAG,+CAA+C,CAAC;AACtE,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACjD,YAAY,OAAe,EAAE;QAC5B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IAAA,CACtC;CACD;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY,EAA2B;IACtE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAgC,CAAC;AAAA,CACxC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY,EAAU;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,6BAA6B,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY,EAAU;IACxD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,oCAAoC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC;AAAA,CACd;AAED,SAAS,OAAO,CAAC,KAA8B,EAAE,IAAY,EAAQ;IACpE,IAAI,KAAK,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC9C,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,0BAA0B,gBAAgB,EAAE,CAAC,CAAC;IACxF,CAAC;AAAA,CACD;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,IAAY,EAAqB;IACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACzF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;AAAA,CACrE;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY,EAAE,KAAK,GAAG,CAAC,EAA8B;IACvF,IAAI,KAAK,GAAG,mBAAmB;QAAE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,gCAAgC,CAAC,CAAC;IAC5G,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO;IACtF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAAA,CAChD,CAAC,CAAC;QACH,OAAO;IACR,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AAAA,CAC/F;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAY,EAA+B;IAC9E,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpB,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAAA,CACvB;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY,EAAE,KAAK,GAAG,CAAC,EAAmC;IAC5F,IAAI,KAAK,GAAG,mBAAmB;QAAE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,gCAAgC,CAAC,CAAC;IAC5G,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,aAAa;YACjB,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,IAAI,kBAAkB,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;gBACzD,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,gCAAgC,CAAC,CAAC;YAC5E,CAAC;YACD,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;YACzC,OAAO;QACR,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,uCAAuC,CAAC,CAAC;YACnF,CAAC;YACD,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBACzC,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,eAAe,KAAK,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAAA,CAC3D,CAAC,CAAC;YACH,OAAO;QACR,KAAK,KAAK;YACT,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC3D,OAAO;QACR;YACC,MAAM,IAAI,uBAAuB,CAAC,GAAG,IAAI,sBAAsB,CAAC,CAAC;IACnE,CAAC;AAAA,CACD;AAED,MAAM,UAAU,aAAa,CAAC,KAAc,EAAY;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACpC,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,kCAAkC,CAAC,CAAC;IACxG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,mBAAmB,KAAK,GAAG,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,mBAAmB,KAAK,WAAW,CAAC,CAAC;QAC3E,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,uBAAuB,CAAC,qBAAqB,OAAO,EAAE,CAAC,CAAC;QAC7F,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,mBAAmB,KAAK,aAAa,CAAC,CAAC;QAC/D,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YAC1E,MAAM,IAAI,uBAAuB,CAAC,mBAAmB,KAAK,8BAA8B,CAAC,CAAC;QAC3F,CAAC;QACD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,mBAAmB,KAAK,aAAa,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAiB,CAAC;AAAA,CACzB;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc,EAAoB;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC1B,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAK,KAAK,CAAC,QAAmB,GAAG,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,uBAAuB,CAAC,6CAA6C,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAiB,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,uBAAuB,CAAC,gCAAgC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,CAAC,iBAAiB,EAAE,2BAA2B,CAAC,CAAC;IACxG,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;IACrE,IAAI,UAAU,GAAG,SAAS;QAAE,MAAM,IAAI,uBAAuB,CAAC,uCAAuC,CAAC,CAAC;IACvG,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAC5D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;IAC5F,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;IACvF,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,uBAAuB,CAAC,qCAAqC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAyB,CAAC;AAAA,CACjC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAe;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,2BAA2B,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;IACjD,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;IAC/C,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,uBAAuB,CAAC,CAAC;IAC3C,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAC7C,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,0BAA0B,CAAC,CAAC;IAC5D,OAAO,KAAoB,CAAC;AAAA,CAC5B;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAgB;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACzB,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAClD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;IACrF,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;IAC9C,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAClF,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAC5C,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,qBAAqB,CAAC,CAAC;IACvD,OAAO,KAAqB,CAAC;AAAA,CAC7B;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc,EAAoB;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC1C,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,yBAAyB,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAChD,SAAS,CAAC,KAAK,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,oCAAoC,CAAC,CAAC;IAC1G,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,qBAAqB,KAAK,GAAG,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,qBAAqB,KAAK,WAAW,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YAC1E,MAAM,IAAI,uBAAuB,CAAC,qBAAqB,KAAK,8BAA8B,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAgB,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,uBAAuB,CAAC,qBAAqB,KAAK,yBAAyB,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,2BAA2B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAoB,CAAC,EAAE,CAAC;YAC9G,MAAM,IAAI,uBAAuB,CAAC,qBAAqB,KAAK,6BAA6B,CAAC,CAAC;QAC5F,CAAC;QACD,WAAW,CAAC,KAAK,CAAC,cAAc,EAAE,qBAAqB,KAAK,kBAAkB,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,qBAAqB,KAAK,YAAY,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAyB,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,uBAAuB,CAAC,2CAA2C,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAyB,CAAC;AAAA,CACjC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc,EAAmB;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IAChD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAC9C,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;IACpD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAgB,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,uBAAuB,CAAC,gCAAgC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAoB,CAAC,EAAE,CAAC;QAC7G,MAAM,IAAI,uBAAuB,CAAC,oCAAoC,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,KAAwB,CAAC;AAAA,CAChC","sourcesContent":["import {\n\ttype ClaimCondition,\n\ttype EvaluationResult,\n\ttype ExecutionAttempt,\n\ttype JsonObject,\n\ttype JsonValue,\n\ttype Observation,\n\tPROTOCOL_VERSION,\n\ttype RuntimeDecision,\n\ttype TaskSpec,\n\ttype WaiverRecord,\n} from \"./types.ts\";\n\nconst ISO_TIMESTAMP = /^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$/;\nconst MAX_CONDITION_DEPTH = 32;\n\nexport class ProtocolValidationError extends Error {\n\tconstructor(message: string) {\n\t\tsuper(message);\n\t\tthis.name = \"ProtocolValidationError\";\n\t}\n}\n\nfunction record(value: unknown, path: string): Record<string, unknown> {\n\tif (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n\t\tthrow new ProtocolValidationError(`${path} must be an object`);\n\t}\n\treturn value as Record<string, unknown>;\n}\n\nfunction string(value: unknown, path: string): string {\n\tif (typeof value !== \"string\" || value.trim().length === 0) {\n\t\tthrow new ProtocolValidationError(`${path} must be a non-empty string`);\n\t}\n\treturn value;\n}\n\nfunction timestamp(value: unknown, path: string): string {\n\tconst parsed = string(value, path);\n\tif (!ISO_TIMESTAMP.test(parsed) || Number.isNaN(Date.parse(parsed))) {\n\t\tthrow new ProtocolValidationError(`${path} must be an ISO 8601 UTC timestamp`);\n\t}\n\treturn parsed;\n}\n\nfunction version(value: Record<string, unknown>, path: string): void {\n\tif (value.schemaVersion !== PROTOCOL_VERSION) {\n\t\tthrow new ProtocolValidationError(`${path}.schemaVersion must be ${PROTOCOL_VERSION}`);\n\t}\n}\n\nfunction stringArray(value: unknown, path: string): readonly string[] {\n\tif (!Array.isArray(value)) throw new ProtocolValidationError(`${path} must be an array`);\n\treturn value.map((item, index) => string(item, `${path}[${index}]`));\n}\n\nfunction jsonValue(value: unknown, path: string, depth = 0): asserts value is JsonValue {\n\tif (depth > MAX_CONDITION_DEPTH) throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);\n\tif (value === null || typeof value === \"string\" || typeof value === \"boolean\") return;\n\tif (typeof value === \"number\" && Number.isFinite(value)) return;\n\tif (Array.isArray(value)) {\n\t\tvalue.forEach((item, index) => {\n\t\t\tjsonValue(item, `${path}[${index}]`, depth + 1);\n\t\t});\n\t\treturn;\n\t}\n\tconst object = record(value, path);\n\tfor (const [key, item] of Object.entries(object)) jsonValue(item, `${path}.${key}`, depth + 1);\n}\n\nfunction jsonObject(value: unknown, path: string): asserts value is JsonObject {\n\trecord(value, path);\n\tjsonValue(value, path);\n}\n\nfunction condition(value: unknown, path: string, depth = 0): asserts value is ClaimCondition {\n\tif (depth > MAX_CONDITION_DEPTH) throw new ProtocolValidationError(`${path} exceeds maximum nesting depth`);\n\tconst input = record(value, path);\n\tswitch (input.kind) {\n\t\tcase \"observation\":\n\t\t\tstring(input.observationKind, `${path}.observationKind`);\n\t\t\tif (input.scope !== \"attempt\" && input.scope !== \"task\") {\n\t\t\t\tthrow new ProtocolValidationError(`${path}.scope must be attempt or task`);\n\t\t\t}\n\t\t\tjsonObject(input.facts, `${path}.facts`);\n\t\t\treturn;\n\t\tcase \"all\":\n\t\tcase \"any\":\n\t\t\tif (!Array.isArray(input.conditions) || input.conditions.length === 0) {\n\t\t\t\tthrow new ProtocolValidationError(`${path}.conditions must be a non-empty array`);\n\t\t\t}\n\t\t\tinput.conditions.forEach((item, index) => {\n\t\t\t\tcondition(item, `${path}.conditions[${index}]`, depth + 1);\n\t\t\t});\n\t\t\treturn;\n\t\tcase \"not\":\n\t\t\tcondition(input.condition, `${path}.condition`, depth + 1);\n\t\t\treturn;\n\t\tdefault:\n\t\t\tthrow new ProtocolValidationError(`${path}.kind is unsupported`);\n\t}\n}\n\nexport function parseTaskSpec(value: unknown): TaskSpec {\n\tconst input = record(value, \"taskSpec\");\n\tversion(input, \"taskSpec\");\n\tstring(input.taskId, \"taskSpec.taskId\");\n\tstring(input.goal, \"taskSpec.goal\");\n\ttimestamp(input.createdAt, \"taskSpec.createdAt\");\n\tif (!Array.isArray(input.claims)) throw new ProtocolValidationError(\"taskSpec.claims must be an array\");\n\tconst claimIds = new Set<string>();\n\tfor (const [index, rawClaim] of input.claims.entries()) {\n\t\tconst claim = record(rawClaim, `taskSpec.claims[${index}]`);\n\t\tconst claimId = string(claim.claimId, `taskSpec.claims[${index}].claimId`);\n\t\tif (claimIds.has(claimId)) throw new ProtocolValidationError(`duplicate claimId ${claimId}`);\n\t\tclaimIds.add(claimId);\n\t\tstring(claim.statement, `taskSpec.claims[${index}].statement`);\n\t\tif (claim.requirement !== \"required\" && claim.requirement !== \"advisory\") {\n\t\t\tthrow new ProtocolValidationError(`taskSpec.claims[${index}].requirement is unsupported`);\n\t\t}\n\t\tcondition(claim.condition, `taskSpec.claims[${index}].condition`);\n\t}\n\treturn value as TaskSpec;\n}\n\nexport function parseExecutionAttempt(value: unknown): ExecutionAttempt {\n\tconst input = record(value, \"attempt\");\n\tversion(input, \"attempt\");\n\tstring(input.attemptId, \"attempt.attemptId\");\n\tstring(input.taskId, \"attempt.taskId\");\n\tif (!Number.isSafeInteger(input.sequence) || (input.sequence as number) < 1) {\n\t\tthrow new ProtocolValidationError(\"attempt.sequence must be a positive integer\");\n\t}\n\tif (![\"initial\", \"retry\", \"failover\", \"resume\"].includes(input.trigger as string)) {\n\t\tthrow new ProtocolValidationError(\"attempt.trigger is unsupported\");\n\t}\n\tif (input.previousAttemptId !== undefined) string(input.previousAttemptId, \"attempt.previousAttemptId\");\n\tconst startedAt = timestamp(input.startedAt, \"attempt.startedAt\");\n\tconst finishedAt = timestamp(input.finishedAt, \"attempt.finishedAt\");\n\tif (finishedAt < startedAt) throw new ProtocolValidationError(\"attempt.finishedAt precedes startedAt\");\n\tconst executor = record(input.executor, \"attempt.executor\");\n\tstring(executor.kind, \"attempt.executor.kind\");\n\tif (executor.provider !== undefined) string(executor.provider, \"attempt.executor.provider\");\n\tif (executor.model !== undefined) string(executor.model, \"attempt.executor.model\");\n\tconst outcome = record(input.outcome, \"attempt.outcome\");\n\tif (outcome.kind === \"failed\") {\n\t\tstring(outcome.code, \"attempt.outcome.code\");\n\t\tif (outcome.message !== undefined) string(outcome.message, \"attempt.outcome.message\");\n\t} else if (outcome.kind === \"cancelled\") {\n\t\tstring(outcome.code, \"attempt.outcome.code\");\n\t} else if (outcome.kind !== \"completed\") {\n\t\tthrow new ProtocolValidationError(\"attempt.outcome.kind is unsupported\");\n\t}\n\treturn value as ExecutionAttempt;\n}\n\nexport function parseObservation(value: unknown): Observation {\n\tconst input = record(value, \"observation\");\n\tversion(input, \"observation\");\n\tstring(input.observationId, \"observation.observationId\");\n\tstring(input.taskId, \"observation.taskId\");\n\tstring(input.attemptId, \"observation.attemptId\");\n\ttimestamp(input.observedAt, \"observation.observedAt\");\n\tstring(input.kind, \"observation.kind\");\n\tconst source = record(input.source, \"observation.source\");\n\tstring(source.kind, \"observation.source.kind\");\n\tstring(source.id, \"observation.source.id\");\n\tjsonObject(input.facts, \"observation.facts\");\n\tstringArray(input.evidenceRefs, \"observation.evidenceRefs\");\n\treturn value as Observation;\n}\n\nexport function parseWaiverRecord(value: unknown): WaiverRecord {\n\tconst input = record(value, \"waiver\");\n\tversion(input, \"waiver\");\n\tstring(input.waiverId, \"waiver.waiverId\");\n\tconst scope = record(input.scope, \"waiver.scope\");\n\tstring(scope.taskId, \"waiver.scope.taskId\");\n\tstring(scope.claimId, \"waiver.scope.claimId\");\n\tif (scope.attemptId !== undefined) string(scope.attemptId, \"waiver.scope.attemptId\");\n\tstring(input.approvedBy, \"waiver.approvedBy\");\n\ttimestamp(input.approvedAt, \"waiver.approvedAt\");\n\tif (input.expiresAt !== undefined) timestamp(input.expiresAt, \"waiver.expiresAt\");\n\tstring(input.rationale, \"waiver.rationale\");\n\tstringArray(input.evidenceRefs, \"waiver.evidenceRefs\");\n\treturn value as WaiverRecord;\n}\n\nexport function parseEvaluationResult(value: unknown): EvaluationResult {\n\tconst input = record(value, \"evaluation\");\n\tversion(input, \"evaluation\");\n\tstring(input.evaluationId, \"evaluation.evaluationId\");\n\tstring(input.taskId, \"evaluation.taskId\");\n\tstring(input.attemptId, \"evaluation.attemptId\");\n\ttimestamp(input.evaluatedAt, \"evaluation.evaluatedAt\");\n\tif (!Array.isArray(input.claims)) throw new ProtocolValidationError(\"evaluation.claims must be an array\");\n\tfor (const [index, rawClaim] of input.claims.entries()) {\n\t\tconst claim = record(rawClaim, `evaluation.claims[${index}]`);\n\t\tstring(claim.claimId, `evaluation.claims[${index}].claimId`);\n\t\tif (claim.requirement !== \"required\" && claim.requirement !== \"advisory\") {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].requirement is unsupported`);\n\t\t}\n\t\tif (![\"satisfied\", \"violated\", \"inconclusive\"].includes(claim.result as string)) {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].result is unsupported`);\n\t\t}\n\t\tif (![\"claim.satisfied\", \"claim.violated\", \"claim.observation_missing\"].includes(claim.reasonCode as string)) {\n\t\t\tthrow new ProtocolValidationError(`evaluation.claims[${index}].reasonCode is unsupported`);\n\t\t}\n\t\tstringArray(claim.observationIds, `evaluation.claims[${index}].observationIds`);\n\t\tif (claim.waiverId !== undefined) string(claim.waiverId, `evaluation.claims[${index}].waiverId`);\n\t}\n\tif (![\"pass\", \"fail\", \"inconclusive\"].includes(input.semanticVerdict as string)) {\n\t\tthrow new ProtocolValidationError(\"evaluation.semanticVerdict is unsupported\");\n\t}\n\treturn value as EvaluationResult;\n}\n\nexport function parseRuntimeDecision(value: unknown): RuntimeDecision {\n\tconst input = record(value, \"decision\");\n\tversion(input, \"decision\");\n\tstring(input.decisionId, \"decision.decisionId\");\n\tstring(input.taskId, \"decision.taskId\");\n\tstring(input.attemptId, \"decision.attemptId\");\n\tstring(input.evaluationId, \"decision.evaluationId\");\n\ttimestamp(input.decidedAt, \"decision.decidedAt\");\n\tif (![\"continue\", \"retry\", \"failover\", \"stop\"].includes(input.action as string)) {\n\t\tthrow new ProtocolValidationError(\"decision.action is unsupported\");\n\t}\n\tif (![\"evaluation.pass\", \"evaluation.fail\", \"evaluation.inconclusive\"].includes(input.reasonCode as string)) {\n\t\tthrow new ProtocolValidationError(\"decision.reasonCode is unsupported\");\n\t}\n\treturn value as RuntimeDecision;\n}\n"]}

package/package.json

@@ -0,0 +1,45 @@
+{
+	"name": "omk-protocol",
+	"version": "0.96.0",
+	"description": "Canonical OMK Run Protocol contracts and pure semantic reducers",
+	"type": "module",
+	"main": "./dist/index.js",
+	"types": "./dist/index.d.ts",
+	"exports": {
+		".": {
+			"types": "./dist/index.d.ts",
+			"import": "./dist/index.js"
+		},
+		"./package.json": "./package.json"
+	},
+	"files": [
+		"dist",
+		"README.md"
+	],
+	"scripts": {
+		"clean": "shx rm -rf dist",
+		"build": "tsgo -p tsconfig.build.json",
+		"test": "vitest --run",
+		"prepublishOnly": "npm run clean && npm run build"
+	},
+	"keywords": [
+		"omk",
+		"protocol",
+		"orchestration"
+	],
+	"license": "MIT",
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/dmae97/omk.git",
+		"directory": "packages/protocol"
+	},
+	"engines": {
+		"node": ">=22.19.0"
+	},
+	"devDependencies": {
+		"@types/node": "24.12.4",
+		"shx": "0.4.0",
+		"typescript": "5.9.3",
+		"vitest": "3.2.6"
+	}
+}