@farmslot/recipe-runner 0.29.0 → 0.30.0

package/dist/evidence/claims.js

@@ -0,0 +1,201 @@
+import { digestRecipeDocument, normalizeRecipeClaimId, validateRecipeClaimDeclarations, } from '@farmslot/protocol';
+import { reachableNodes } from '../core/graph.js';
+import { executedProofIndices, qualifyProofNodeRef, } from './assertions.js';
+import { occurrenceRecordingCoverage } from './moments.js';
+const parentVerdictOrder = [
+    'failed',
+    'missing',
+    'weak',
+    'awaiting-review',
+    'untestable',
+];
+/** Successful actions/captures are evidence, never the assertion that proves a claim. */
+export function deriveRecipeClaims(input) {
+    const validation = validateRecipeClaimDeclarations(input.declarations);
+    if (validation.status !== 'valid')
+        throw new Error(validation.findings.map((finding) => finding.message).join('\n'));
+    const excluded = unselectedProofNodes(input.nodes, input.trace);
+    const claims = input.declarations.map((declaration) => {
+        const id = normalizeRecipeClaimId(declaration.id);
+        const recipeNodes = [...input.nodes]
+            .filter(([nodeId, node]) => !excluded.has(nodeId) &&
+            node.proves?.some((claim) => normalizeRecipeClaimId(claim) === id))
+            .map(([nodeId]) => nodeId);
+        // Only declared retry groups may replace an earlier result. Repeated ordinary
+        // occurrences remain required, so their failure cannot disappear.
+        const required = new Map();
+        for (const nodeId of recipeNodes) {
+            const node = input.nodes.get(nodeId);
+            const group = typeof node.retryGroup === 'string'
+                ? qualifyProofNodeRef(nodeId, `retry:${node.retryGroup}`)
+                : nodeId;
+            const occurrences = input.trace.flatMap((entry, index) => {
+                if ((entry.nodeId ?? entry.id) !== nodeId)
+                    return [];
+                const eligible = executedProofIndices(nodeId, input.nodes, input.trace, input.artifacts, index + 1);
+                return eligible.length ? eligible : [null];
+            });
+            const prior = required.get(group) ?? [];
+            required.set(group, [...prior, ...(occurrences.length ? occurrences : [null])]);
+        }
+        const indices = [...required].flatMap(([group, values]) => group.includes('retry:')
+            ? values.at(-1) === null
+                ? [null]
+                : [
+                    values
+                        .filter((index) => index !== null)
+                        .sort((a, b) => a - b)
+                        .at(-1) ?? null,
+                ]
+            : values);
+        const assertionIndices = [
+            ...new Set(indices.filter((index) => index !== null)),
+        ];
+        const uiProof = assertionIndices.some((index) => input.trace[index]?.action.startsWith('ui.')) ||
+            recipeNodes.some((nodeId) => [...input.nodes].some(([id, node]) => (id === nodeId || id.startsWith(`${nodeId}/`)) && node.action.startsWith('ui.')));
+        const proofMode = declaration.proofMode ?? (uiProof ? 'visual' : 'state');
+        const momentData = assertionIndices.map((traceIndex) => ({
+            traceIndex,
+            ...occurrenceRecordingCoverage(traceIndex, input.segments, input.timelines),
+        }));
+        const timing = !input.segments.length || momentData.some((moment) => moment.timing === 'outside-recording')
+            ? 'outside-recording'
+            : momentData.some((moment) => moment.timing === 'untimed')
+                ? 'untimed'
+                : 'measured';
+        let verdict;
+        if (assertionIndices.some((index) => input.trace[index]?.ok === false))
+            verdict = 'failed';
+        else if (!recipeNodes.length || indices.some((index) => index === null))
+            verdict = 'missing';
+        else if (proofMode !== 'state' && timing === 'outside-recording')
+            verdict = 'weak';
+        else
+            verdict = proofMode === 'state' ? 'proven' : 'awaiting-review';
+        const assertionNodes = new Set(assertionIndices.map((index) => input.trace[index]?.nodeId ?? input.trace[index]?.id));
+        const media = new Set(momentData.flatMap((moment) => moment.segments.map((segment) => segment.videoPath)));
+        const assertionFiles = new Set(recipeNodes.flatMap((nodeId) => typeof input.nodes.get(nodeId)?.path === 'string'
+            ? [String(input.nodes.get(nodeId).path)]
+            : []));
+        const evidence = input.artifacts
+            .filter((artifact) => media.has(artifact.path) ||
+            assertionFiles.has(artifact.path) ||
+            (artifact.nodeId !== undefined &&
+                (recipeNodes.includes(artifact.nodeId) || assertionNodes.has(artifact.nodeId))))
+            .map((artifact) => artifact.path);
+        const moments = momentData.flatMap(({ traceIndex, segments }) => segments.map((segment) => ({
+            recipeRunId: input.recipeRunId,
+            videoDigest: segment.videoDigest,
+            traceIndex,
+        })));
+        const judgment = input.judgments
+            ?.filter((entry) => normalizeRecipeClaimId(entry.claimId) === id)
+            .at(-1);
+        if (verdict === 'awaiting-review' && judgment) {
+            if (judgment.recipeRunId !== input.recipeRunId ||
+                !judgment.actor.trim() ||
+                !judgment.reason.trim() ||
+                !Number.isFinite(Date.parse(judgment.judgedAt)) ||
+                digestRecipeDocument(judgment.moments) !== digestRecipeDocument(moments))
+                throw new Error(`Visual judgment for ${id} does not bind these retained moments.`);
+            verdict = judgment.verdict === 'confirmed' ? 'proven' : 'failed';
+        }
+        return {
+            id,
+            text: declaration.claim,
+            kind: declaration.kind ?? 'acceptance',
+            ...(declaration.parentId ? { parentId: normalizeRecipeClaimId(declaration.parentId) } : {}),
+            proofMode,
+            verdict,
+            recipeNodes,
+            assertionIndices,
+            evidence: [...new Set(evidence)],
+            timing,
+            moments,
+            ...(verdict === 'missing' ? { note: 'A required executed expectation is missing.' } : {}),
+        };
+    });
+    const byId = new Map(claims.map((claim) => [claim.id, claim]));
+    const resolved = new Set();
+    function aggregate(id) {
+        const claim = byId.get(id);
+        if (resolved.has(id))
+            return claim;
+        const children = claims
+            .filter((child) => child.parentId === id)
+            .map((child) => aggregate(child.id));
+        if (children.length) {
+            const verdicts = children.map((child) => child.verdict);
+            if (claim.recipeNodes.length)
+                verdicts.push(claim.verdict);
+            claim.verdict = parentVerdictOrder.find((verdict) => verdicts.includes(verdict)) ?? 'proven';
+            claim.recipeNodes = [
+                ...new Set([...claim.recipeNodes, ...children.flatMap((child) => child.recipeNodes)]),
+            ];
+            claim.assertionIndices = [
+                ...new Set([
+                    ...claim.assertionIndices,
+                    ...children.flatMap((child) => child.assertionIndices),
+                ]),
+            ];
+            claim.evidence = [
+                ...new Set([...claim.evidence, ...children.flatMap((child) => child.evidence)]),
+            ];
+            claim.moments = [...claim.moments, ...children.flatMap((child) => child.moments)];
+            claim.timing = children.some((child) => child.timing === 'outside-recording')
+                ? 'outside-recording'
+                : children.some((child) => child.timing === 'untimed')
+                    ? 'untimed'
+                    : 'measured';
+            if (claim.verdict !== 'missing')
+                delete claim.note;
+        }
+        resolved.add(id);
+        return claim;
+    }
+    return claims.map((claim) => aggregate(claim.id));
+}
+/** Reuse the engine's graph traversal: an unselected branch is not a skipped required check. */
+function unselectedProofNodes(nodes, trace) {
+    const qualified = Object.fromEntries([...nodes].map(([id, node]) => [
+        id,
+        {
+            ...node,
+            ...(node.next ? { next: qualifyProofNodeRef(id, node.next) } : {}),
+            ...(node.default ? { default: qualifyProofNodeRef(id, node.default) } : {}),
+            ...(node.cases
+                ? {
+                    cases: Object.fromEntries(Object.entries(node.cases).map(([key, target]) => [
+                        key,
+                        qualifyProofNodeRef(id, target),
+                    ])),
+                }
+                : {}),
+        },
+    ]));
+    const excluded = new Set();
+    for (const entry of trace) {
+        const id = entry.nodeId ?? entry.id;
+        if (!id || !entry.next)
+            continue;
+        const node = qualified[id];
+        if (!node?.cases)
+            continue;
+        const selected = qualifyProofNodeRef(id, entry.next);
+        const selectedNodes = reachableNodes(qualified, selected);
+        const otherTargets = [...Object.values(node.cases), ...(node.default ? [node.default] : [])];
+        for (const target of otherTargets) {
+            if (target === selected)
+                continue;
+            for (const other of reachableNodes(qualified, target)) {
+                if (!selectedNodes.has(other))
+                    excluded.add(other);
+            }
+        }
+    }
+    for (const id of nodes.keys())
+        if ([...excluded].some((parent) => id.startsWith(`${parent}/`)))
+            excluded.add(id);
+    return excluded;
+}
+//# sourceMappingURL=claims.js.map

package/dist/evidence/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../src/evidence/claims.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EAQtB,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EACL,oBAAoB,EAGpB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAa3D,MAAM,kBAAkB,GAAkC;IACxD,QAAQ;IACR,SAAS;IACT,MAAM;IACN,iBAAiB;IACjB,YAAY;CACb,CAAC;AAEF,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,MAAM,UAAU,GAAG,+BAA+B,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACvE,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO;QAC/B,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAuB,EAAE;QACzE,MAAM,EAAE,GAAG,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;aACjC,MAAM,CACL,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACjB,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CACrE;aACA,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QAC7B,8EAA8E;QAC9E,kEAAkE;QAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;QACtD,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;YACtC,MAAM,KAAK,GACT,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ;gBACjC,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,UAAU,EAAE,CAAC;gBACzD,CAAC,CAAC,MAAM,CAAC;YACb,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBACvD,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,MAAM;oBAAE,OAAO,EAAE,CAAC;gBACrD,MAAM,QAAQ,GAAG,oBAAoB,CACnC,MAAM,EACN,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,SAAS,EACf,KAAK,GAAG,CAAC,CACV,CAAC;gBACF,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CACxD,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACtB,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;gBACtB,CAAC,CAAC,CAAC,IAAI,CAAC;gBACR,CAAC,CAAC;oBACE,MAAM;yBACH,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;yBAClD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;yBACrB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI;iBAClB;YACL,CAAC,CAAC,MAAM,CACX,CAAC;QACF,MAAM,gBAAgB,GAAG;YACvB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;SACvE,CAAC;QACF,MAAM,OAAO,GACX,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9E,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1B,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACnB,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CACb,CAAC,EAAE,KAAK,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAClF,CACF,CAAC;QACJ,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACvD,UAAU;YACV,GAAG,2BAA2B,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;SAC5E,CAAC,CAAC,CAAC;QACJ,MAAM,MAAM,GACV,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,mBAAmB,CAAC;YAC1F,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC;gBACxD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,CAAC;QACnB,IAAI,OAA2B,CAAC;QAChC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,GAAG,QAAQ,CAAC;aACtF,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,OAAO,GAAG,SAAS,CAAC;aACxF,IAAI,SAAS,KAAK,OAAO,IAAI,MAAM,KAAK,mBAAmB;YAAE,OAAO,GAAG,MAAM,CAAC;;YAC9E,OAAO,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC;QACpE,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CACtF,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CACpF,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,QAAQ;YAC/C,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,EAAE,CACP,CACF,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS;aAC7B,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACxB,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjC,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;gBAC5B,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CACpF;aACA,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAC9D,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACzB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU;SACX,CAAC,CAAC,CACJ,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS;YAC9B,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;aAChE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACV,IAAI,OAAO,KAAK,iBAAiB,IAAI,QAAQ,EAAE,CAAC;YAC9C,IACE,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;gBAC1C,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE;gBACtB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;gBACvB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC/C,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,oBAAoB,CAAC,OAAO,CAAC;gBAExE,MAAM,IAAI,KAAK,CAAC,uBAAuB,EAAE,wCAAwC,CAAC,CAAC;YACrF,OAAO,GAAG,QAAQ,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnE,CAAC;QACD,OAAO;YACL,EAAE;YACF,IAAI,EAAE,WAAW,CAAC,KAAK;YACvB,IAAI,EAAE,WAAW,CAAC,IAAI,IAAI,YAAY;YACtC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,sBAAsB,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3F,SAAS;YACT,OAAO;YACP,WAAW;YACX,gBAAgB;YAChB,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,MAAM;YACN,OAAO;YACP,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,6CAA6C,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1F,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,SAAS,SAAS,CAAC,EAAU;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACnC,MAAM,QAAQ,GAAG,MAAM;aACpB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC;aACxC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3D,KAAK,CAAC,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;YAC7F,KAAK,CAAC,WAAW,GAAG;gBAClB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;aACtF,CAAC;YACF,KAAK,CAAC,gBAAgB,GAAG;gBACvB,GAAG,IAAI,GAAG,CAAC;oBACT,GAAG,KAAK,CAAC,gBAAgB;oBACzB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;iBACvD,CAAC;aACH,CAAC;YACF,KAAK,CAAC,QAAQ,GAAG;gBACf,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;aAChF,CAAC;YACF,KAAK,CAAC,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAClF,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,mBAAmB,CAAC;gBAC3E,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;oBACpD,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,UAAU,CAAC;YACjB,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QACrD,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,gGAAgG;AAChG,SAAS,oBAAoB,CAC3B,KAAqC,EACrC,KAAiC;IAEjC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAClC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC7B,EAAE;QACF;YACE,GAAG,IAAI;YACP,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,mBAAmB,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,IAAI,CAAC,KAAK;gBACZ,CAAC,CAAC;oBACE,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;wBAChD,GAAG;wBACH,mBAAmB,CAAC,EAAE,EAAE,MAAM,CAAC;qBAChC,CAAC,CACH;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC,CACH,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,EAAE,KAAK;YAAE,SAAS;QAC3B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;YAClC,IAAI,MAAM,KAAK,QAAQ;gBAAE,SAAS;YAClC,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;gBACtD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE;QAC3B,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpF,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/evidence/index.d.ts

@@ -0,0 +1,4 @@
+/** Portable evidence validation; importing this entry does not load capture or filesystem code. */
+export { validateRecordedEvidencePackage } from './package.js';
+export type { RecordedEvidencePackageInput } from '@farmslot/protocol';
+//# sourceMappingURL=index.d.ts.map

package/dist/evidence/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evidence/index.ts"],"names":[],"mappings":"AAAA,mGAAmG;AACnG,OAAO,EAAE,+BAA+B,EAAE,MAAM,cAAc,CAAC;AAC/D,YAAY,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/evidence/index.js

@@ -0,0 +1,3 @@
+/** Portable evidence validation; importing this entry does not load capture or filesystem code. */
+export { validateRecordedEvidencePackage } from './package.js';
+//# sourceMappingURL=index.js.map

package/dist/evidence/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/evidence/index.ts"],"names":[],"mappings":"AAAA,mGAAmG;AACnG,OAAO,EAAE,+BAA+B,EAAE,MAAM,cAAc,CAAC"}

package/dist/evidence/moments.d.ts

@@ -0,0 +1,8 @@
+import type { RecipeRecordingTimelineDocument, RecordingSegmentRef } from '@farmslot/protocol';
+export interface OccurrenceRecordingCoverage {
+    timing: 'measured' | 'untimed' | 'outside-recording';
+    segments: RecordingSegmentRef[];
+}
+/** Reuse measured ranges and ordered originals. A gap never becomes seekable proof. */
+export declare function occurrenceRecordingCoverage(traceIndex: number, segments: readonly RecordingSegmentRef[], timelines?: ReadonlyMap<string, RecipeRecordingTimelineDocument>): OccurrenceRecordingCoverage;
+//# sourceMappingURL=moments.d.ts.map

package/dist/evidence/moments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"moments.d.ts","sourceRoot":"","sources":["../../src/evidence/moments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,+BAA+B,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE/F,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,mBAAmB,CAAC;IACrD,QAAQ,EAAE,mBAAmB,EAAE,CAAC;CACjC;AAED,uFAAuF;AACvF,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,+BAA+B,CAAC,GAC/D,2BAA2B,CA4B7B"}

package/dist/evidence/moments.js

@@ -0,0 +1,26 @@
+/** Reuse measured ranges and ordered originals. A gap never becomes seekable proof. */
+export function occurrenceRecordingCoverage(traceIndex, segments, timelines) {
+    const spans = segments.flatMap((segment, index) => {
+        const timeline = timelines?.get(segment.videoDigest);
+        const marker = timeline?.markers.find((entry) => entry.traceIndex === traceIndex);
+        return timeline &&
+            marker &&
+            marker.endRangeMs[1] >= 0 &&
+            marker.startRangeMs[0] <= timeline.durationMs
+            ? [{ segment, index, timeline, marker }]
+            : [];
+    });
+    const first = spans[0];
+    const last = spans.at(-1);
+    if (first &&
+        last &&
+        first.marker.startRangeMs[0] >= 0 &&
+        last.marker.endRangeMs[1] <= last.timeline.durationMs &&
+        spans.every((span, index) => index === 0 || (!span.segment.gapBefore && span.index === spans[index - 1].index + 1)))
+        return { timing: 'measured', segments: spans.map((span) => span.segment) };
+    const untimed = segments.filter((segment) => !timelines?.has(segment.videoDigest));
+    return untimed.length
+        ? { timing: 'untimed', segments: untimed }
+        : { timing: 'outside-recording', segments: [] };
+}
+//# sourceMappingURL=moments.js.map

package/dist/evidence/moments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"moments.js","sourceRoot":"","sources":["../../src/evidence/moments.ts"],"names":[],"mappings":"AAOA,uFAAuF;AACvF,MAAM,UAAU,2BAA2B,CACzC,UAAkB,EAClB,QAAwC,EACxC,SAAgE;IAEhE,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAChD,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QAClF,OAAO,QAAQ;YACb,MAAM;YACN,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YACzB,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,UAAU;YAC7C,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YACxC,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,IACE,KAAK;QACL,IAAI;QACJ,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU;QACrD,KAAK,CAAC,KAAK,CACT,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CACzF;QAED,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7E,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACnF,OAAO,OAAO,CAAC,MAAM;QACnB,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE;QAC1C,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC"}

package/dist/evidence/package.d.ts

@@ -0,0 +1,4 @@
+import { type RecipeValidationResult, type RecordedEvidencePackageInput } from '@farmslot/protocol';
+/** Validate actual package identities before consumers derive a moment or publish evidence. */
+export declare function validateRecordedEvidencePackage(input: RecordedEvidencePackageInput): RecipeValidationResult;
+//# sourceMappingURL=package.d.ts.map

package/dist/evidence/package.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"package.d.ts","sourceRoot":"","sources":["../../src/evidence/package.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EAIlC,MAAM,oBAAoB,CAAC;AAM5B,+FAA+F;AAC/F,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,4BAA4B,GAClC,sBAAsB,CA4KxB"}

package/dist/evidence/package.js

@@ -0,0 +1,140 @@
+import { digestRecipeDocument, isRecord, validateAcceptanceStatusLedger, validateRecipeArtifactPackage, validateRecipeRecordingTimelineBinding, } from '@farmslot/protocol';
+import { deriveRecipeClaims } from './claims.js';
+import { planRecipeEvidence } from './plan.js';
+/** Validate actual package identities before consumers derive a moment or publish evidence. */
+export function validateRecordedEvidencePackage(input) {
+    const base = validateRecipeArtifactPackage(input);
+    const findings = [...base.findings];
+    const issue = (path, message, severity = 'error') => findings.push({ severity, code: 'recorded_evidence.invalid', path, message });
+    const indexed = isRecord(input.manifest) && Array.isArray(input.manifest.artifacts)
+        ? input.manifest.artifacts.filter(isRecord)
+        : [];
+    const recipeRunId = isRecord(input.summary) && typeof input.summary.recipeRunId === 'string'
+        ? input.summary.recipeRunId
+        : undefined;
+    if (input.claims) {
+        if (!input.recipe)
+            issue('recipe.json', 'The retained root recipe must be supplied for claim derivation.');
+        if (!recipeRunId)
+            issue('summary.json.recipeRunId', 'Recorded package has no retained execution identity.');
+        if (input.recipeRunId && input.recipeRunId !== recipeRunId)
+            issue('recipeRunId', 'Retained execution differs from the requested execution.');
+        if (!isRecord(input.invocation) || input.invocation.recipeRunId !== recipeRunId)
+            issue('recipe-invocation.json.recipeRunId', 'Invocation belongs to another execution.');
+    }
+    else if (indexed.some((artifact) => artifact.path === 'acceptance-status.json') ||
+        recipeRunId) {
+        issue('acceptance-status.json', 'The retained claim package must be supplied for validation.');
+    }
+    else {
+        issue('acceptance-status.json', 'Legacy package has no automatic claim identity; media remains explicitly untimed.', 'warning');
+    }
+    if (input.claims && validateAcceptanceStatusLedger(input.claims).length === 0) {
+        if (input.claims.recipeRunId !== recipeRunId)
+            issue('acceptance-status.json', 'Claims belong to another execution.');
+        for (const claim of input.claims.criteria) {
+            for (const moment of claim.moments) {
+                const segment = input.claims.recording.segments.find((entry) => entry.videoDigest === moment.videoDigest);
+                if (!segment ||
+                    input.artifactDigests[segment.videoPath]?.replace(/^sha256:/u, '') !==
+                        moment.videoDigest.slice(7))
+                    issue(`claims.${claim.id}.moments`, 'Moment does not reference retained video bytes.');
+                const timeline = segment?.timelinePath ? input.timelines[segment.timelinePath] : undefined;
+                if (timeline && !timeline.markers.some((marker) => marker.traceIndex === moment.traceIndex))
+                    issue(`claims.${claim.id}.moments`, 'Moment does not reference a retained occurrence.');
+            }
+        }
+        if (base.status === 'valid' && input.recipe && isRecord(input.manifest)) {
+            try {
+                const resolution = input.recipeResolution;
+                const documents = new Map(resolution.dependencies.map((dependency) => [
+                    dependency.ref,
+                    input.resolvedRecipes[dependency.digest],
+                ]));
+                const registered = isRecord(input.invocation) && Array.isArray(input.invocation.claims)
+                    ? input.invocation.claims
+                    : undefined;
+                if (input.invocation &&
+                    (!isRecord(input.summary) ||
+                        input.summary.invocationDigest !== digestRecipeDocument(input.invocation)))
+                    issue('recipe-invocation.json', 'Claim registration does not match the retained execution inputs.');
+                const plan = planRecipeEvidence(input.recipe, documents, registered);
+                const trace = Array.isArray(input.trace)
+                    ? input.trace
+                    : isRecord(input.trace) && Array.isArray(input.trace.entries)
+                        ? input.trace.entries
+                        : [];
+                const derived = deriveRecipeClaims({
+                    recipeRunId: recipeRunId ?? input.claims.recipeRunId,
+                    ...plan,
+                    trace: trace,
+                    artifacts: input.manifest.artifacts,
+                    segments: input.claims.recording.segments,
+                    judgments: input.claims.judgments,
+                    timelines: new Map(Object.values(input.timelines).map((timeline) => [timeline.videoDigest, timeline])),
+                });
+                for (const actual of derived) {
+                    if (!input.claims.criteria.some((claim) => claim.id === actual.id))
+                        issue(`claims.${actual.id}`, 'Registered claim is missing from the stored ledger.');
+                }
+                for (const claim of input.claims.criteria) {
+                    const actual = derived.find((entry) => entry.id === claim.id);
+                    if (!actual || actual.verdict !== claim.verdict)
+                        issue(`claims.${claim.id}.verdict`, 'Stored verdict does not match the executed expectations.');
+                    if (actual &&
+                        (digestRecipeDocument(actual.assertionIndices) !==
+                            digestRecipeDocument(claim.assertionIndices) ||
+                            digestRecipeDocument(actual.moments) !== digestRecipeDocument(claim.moments)))
+                        issue(`claims.${claim.id}.moments`, 'Stored assertion/moment references do not match execution.');
+                }
+            }
+            catch (error) {
+                issue('acceptance-status.json', `Cannot bind claim evidence: ${error instanceof Error ? error.message : String(error)}`);
+            }
+        }
+    }
+    else if (input.claims) {
+        for (const message of validateAcceptanceStatusLedger(input.claims))
+            issue('acceptance-status.json', message);
+    }
+    const artifacts = isRecord(input.manifest) && Array.isArray(input.manifest.artifacts)
+        ? input.manifest.artifacts.filter(isRecord)
+        : [];
+    for (const artifact of artifacts) {
+        if (artifact.type !== 'video' || typeof artifact.path !== 'string')
+            continue;
+        const actual = input.artifactDigests[artifact.path];
+        if (!actual) {
+            issue(artifact.path, 'Video bytes were not hashed by the package reader.');
+            continue;
+        }
+        const digest = actual.startsWith('sha256:') ? actual : `sha256:${actual}`;
+        if (typeof artifact.sha256 === 'string' &&
+            artifact.sha256.replace(/^sha256:/u, '') !== digest.slice(7))
+            issue(artifact.path, 'Artifact index belongs to different video bytes.');
+        if (typeof artifact.timelinePath !== 'string') {
+            issue(artifact.path, 'Recording moment is untimed: no measured timeline is retained.', 'warning');
+            continue;
+        }
+        const timeline = input.timelines[artifact.timelinePath];
+        if (!timeline) {
+            issue(artifact.timelinePath, 'Declared recording timeline is missing.');
+            continue;
+        }
+        findings.push(...validateRecipeRecordingTimelineBinding(timeline, {
+            videoPath: artifact.path,
+            videoDigest: digest,
+            trace: input.trace,
+        }).findings);
+    }
+    const errors = findings.filter((finding) => finding.severity === 'error').length;
+    return {
+        status: errors ? 'invalid' : 'valid',
+        findings,
+        summary: {
+            errors,
+            warnings: findings.filter((finding) => finding.severity === 'warning').length,
+        },
+    };
+}
+//# sourceMappingURL=package.js.map

package/dist/evidence/package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package.js","sourceRoot":"","sources":["../../src/evidence/package.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,QAAQ,EAOR,8BAA8B,EAC9B,6BAA6B,EAC7B,sCAAsC,GACvC,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE/C,+FAA+F;AAC/F,MAAM,UAAU,+BAA+B,CAC7C,KAAmC;IAEnC,MAAM,IAAI,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,QAAQ,GAA8B,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,WAAgC,OAAO,EAAE,EAAE,CACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAChF,MAAM,OAAO,GACX,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACjE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3C,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,WAAW,GACf,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,QAAQ;QACtE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW;QAC3B,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC,KAAK,CAAC,MAAM;YACf,KAAK,CAAC,aAAa,EAAE,iEAAiE,CAAC,CAAC;QAC1F,IAAI,CAAC,WAAW;YACd,KAAK,CAAC,0BAA0B,EAAE,sDAAsD,CAAC,CAAC;QAC5F,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,KAAK,WAAW;YACxD,KAAK,CAAC,aAAa,EAAE,0DAA0D,CAAC,CAAC;QACnF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,KAAK,WAAW;YAC7E,KAAK,CAAC,oCAAoC,EAAE,0CAA0C,CAAC,CAAC;IAC5F,CAAC;SAAM,IACL,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,wBAAwB,CAAC;QACtE,WAAW,EACX,CAAC;QACD,KAAK,CAAC,wBAAwB,EAAE,6DAA6D,CAAC,CAAC;IACjG,CAAC;SAAM,CAAC;QACN,KAAK,CACH,wBAAwB,EACxB,mFAAmF,EACnF,SAAS,CACV,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,IAAI,8BAA8B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,WAAW;YAC1C,KAAK,CAAC,wBAAwB,EAAE,qCAAqC,CAAC,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC1C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAClD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CACpD,CAAC;gBACF,IACE,CAAC,OAAO;oBACR,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;wBAChE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;oBAE7B,KAAK,CAAC,UAAU,KAAK,CAAC,EAAE,UAAU,EAAE,iDAAiD,CAAC,CAAC;gBACzF,MAAM,QAAQ,GAAG,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,CAAC;oBACzF,KAAK,CAAC,UAAU,KAAK,CAAC,EAAE,UAAU,EAAE,kDAAkD,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC;gBACH,MAAM,UAAU,GAAG,KAAK,CAAC,gBAA4C,CAAC;gBACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;oBAC1C,UAAU,CAAC,GAAG;oBACd,KAAK,CAAC,eAAgB,CAAC,UAAU,CAAC,MAAM,CAAkB;iBAC3D,CAAC,CACH,CAAC;gBACF,MAAM,UAAU,GACd,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;oBAClE,CAAC,CAAE,KAAK,CAAC,UAAU,CAAC,MAAmC;oBACvD,CAAC,CAAC,SAAS,CAAC;gBAChB,IACE,KAAK,CAAC,UAAU;oBAChB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;wBACvB,KAAK,CAAC,OAAO,CAAC,gBAAgB,KAAK,oBAAoB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;oBAE5E,KAAK,CACH,wBAAwB,EACxB,kEAAkE,CACnE,CAAC;gBACJ,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAuB,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACtF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;oBACtC,CAAC,CAAC,KAAK,CAAC,KAAK;oBACb,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC3D,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO;wBACrB,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,OAAO,GAAG,kBAAkB,CAAC;oBACjC,WAAW,EAAE,WAAW,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW;oBACpD,GAAG,IAAI;oBACP,KAAK,EAAE,KAA0B;oBACjC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,SAA0C;oBACpE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ;oBACzC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;oBACjC,SAAS,EAAE,IAAI,GAAG,CAChB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CACnF;iBACF,CAAC,CAAC;gBACH,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC;wBAChE,KAAK,CAAC,UAAU,MAAM,CAAC,EAAE,EAAE,EAAE,qDAAqD,CAAC,CAAC;gBACxF,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC9D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;wBAC7C,KAAK,CACH,UAAU,KAAK,CAAC,EAAE,UAAU,EAC5B,0DAA0D,CAC3D,CAAC;oBACJ,IACE,MAAM;wBACN,CAAC,oBAAoB,CAAC,MAAM,CAAC,gBAAgB,CAAC;4BAC5C,oBAAoB,CAAC,KAAK,CAAC,gBAAgB,CAAC;4BAC5C,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;wBAE/E,KAAK,CACH,UAAU,KAAK,CAAC,EAAE,UAAU,EAC5B,4DAA4D,CAC7D,CAAC;gBACN,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,KAAK,CACH,wBAAwB,EACxB,+BAA+B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,OAAO,IAAI,8BAA8B,CAAC,KAAK,CAAC,MAAM,CAAC;YAChE,KAAK,CAAC,wBAAwB,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,SAAS,GACb,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACjE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3C,CAAC,CAAC,EAAE,CAAC;IACT,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,oDAAoD,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,EAAE,CAAC;QAC1E,IACE,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;YACnC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAE5D,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;QAC3E,IAAI,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC9C,KAAK,CACH,QAAQ,CAAC,IAAI,EACb,gEAAgE,EAChE,SAAS,CACV,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,yCAAyC,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CACX,GAAG,sCAAsC,CAAC,QAAQ,EAAE;YAClD,SAAS,EAAE,QAAQ,CAAC,IAAI;YACxB,WAAW,EAAE,MAAM;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC,QAAQ,CACZ,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACjF,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QACpC,QAAQ;QACR,OAAO,EAAE;YACP,MAAM;YACN,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;SAC9E;KACF,CAAC;AACJ,CAAC"}

package/dist/evidence/plan.d.ts

@@ -0,0 +1,9 @@
+import { type RecipeClaimDeclaration } from '@farmslot/protocol';
+import { type ProofDocument, type ProofNode } from './assertions.js';
+export interface RecipeEvidencePlan {
+    declarations: RecipeClaimDeclaration[];
+    nodes: Map<string, ProofNode>;
+}
+/** The resolved call path is the identity, even when the same library is called twice. */
+export declare function planRecipeEvidence(root: ProofDocument, documents: ReadonlyMap<string, ProofDocument>, registered?: readonly RecipeClaimDeclaration[]): RecipeEvidencePlan;
+//# sourceMappingURL=plan.d.ts.map

package/dist/evidence/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../src/evidence/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,sBAAsB,EAE5B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iBAAiB,CAAC;AAEzB,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,sBAAsB,EAAE,CAAC;IACvC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAC/B;AAED,0FAA0F;AAC1F,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,aAAa,EACnB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,CAAC,EAAE,SAAS,sBAAsB,EAAE,GAC7C,kBAAkB,CAwFpB"}

package/dist/evidence/plan.js

@@ -0,0 +1,87 @@
+import { normalizeRecipeClaimId, normalizeRecipeRef, validateRecipeClaimDeclarations, } from '@farmslot/protocol';
+import { collectProofNodes, potentiallyEligibleProof, } from './assertions.js';
+/** The resolved call path is the identity, even when the same library is called twice. */
+export function planRecipeEvidence(root, documents, registered) {
+    const nodes = collectProofNodes(root, documents);
+    const declarations = new Map();
+    const register = (claim, taskProjection = false) => {
+        const previous = declarations.get(claim.id);
+        if (previous && !taskProjection)
+            throw new Error(`Duplicate qualified claim ${claim.id}.`);
+        if (previous &&
+            (previous.claim !== claim.claim ||
+                (previous.kind ?? 'acceptance') !== (claim.kind ?? 'acceptance') ||
+                (previous.proofMode && claim.proofMode && previous.proofMode !== claim.proofMode)))
+            throw new Error(`Conflicting claim declaration ${claim.id}.`);
+        declarations.set(claim.id, { ...previous, ...claim });
+    };
+    if (registered) {
+        const validation = validateRecipeClaimDeclarations(registered);
+        if (validation.status !== 'valid')
+            throw new Error(validation.findings.map((finding) => finding.message).join('\n'));
+    }
+    const taskClaims = new Map(registered?.map((claim) => [normalizeRecipeClaimId(claim.id), claim]));
+    for (const claim of taskClaims.values())
+        register({ ...claim, id: normalizeRecipeClaimId(claim.id) });
+    function visit(document, prefix = '', bindings = {}) {
+        const local = (document.proofTargets ?? []);
+        const validation = validateRecipeClaimDeclarations(local);
+        if (validation.status !== 'valid')
+            throw new Error(validation.findings.map((finding) => finding.message).join('\n'));
+        const ids = new Map(local.map((claim) => {
+            const id = normalizeRecipeClaimId(claim.id);
+            return [id, bindings[id] ?? `${prefix}${id}`];
+        }));
+        for (const id of Object.keys(bindings))
+            if (!ids.has(id))
+                throw new Error(`Unknown child claim binding ${prefix}${id}.`);
+        for (const claim of local) {
+            const id = ids.get(normalizeRecipeClaimId(claim.id));
+            const bound = bindings[normalizeRecipeClaimId(claim.id)];
+            const task = !prefix ? taskClaims.get(id) : undefined;
+            if (!prefix && registered && (claim.kind ?? 'acceptance') === 'acceptance' && !task)
+                throw new Error(`Claim ${id} is not registered by the task.`);
+            if (task && task.claim !== claim.claim)
+                throw new Error(`Claim ${id} conflicts with the task expectation.`);
+            if (!bound)
+                register({
+                    ...claim,
+                    id,
+                    ...(claim.parentId
+                        ? { parentId: ids.get(normalizeRecipeClaimId(claim.parentId)) }
+                        : {}),
+                }, Boolean(task));
+            else if (!declarations.has(bound))
+                throw new Error(`Unknown parent claim binding ${bound}.`);
+        }
+        for (const [localId, node] of Object.entries(document.workflow.nodes)) {
+            const id = prefix + localId;
+            const qualified = nodes.get(id);
+            qualified.proves = node.proves?.map((claim) => {
+                const mapped = ids.get(normalizeRecipeClaimId(claim));
+                if (!mapped)
+                    throw new Error(`Unknown claim ${claim} at ${id}.`);
+                return mapped;
+            });
+            if (node.action !== 'call' || !node.ref)
+                continue;
+            const child = documents.get(normalizeRecipeRef(node.ref));
+            if (!child)
+                throw new Error(`Missing resolved recipe ${node.ref}.`);
+            const raw = node.claimBindings;
+            const childBindings = Object.fromEntries(Object.entries(raw ?? {}).map(([childId, parentId]) => {
+                const parent = ids.get(normalizeRecipeClaimId(parentId));
+                if (!parent)
+                    throw new Error(`Unknown claim binding ${parentId} at ${id}.`);
+                return [normalizeRecipeClaimId(childId), parent];
+            }));
+            visit(child, `${id}/`, childBindings);
+        }
+    }
+    visit(root);
+    for (const [id, node] of nodes)
+        if (node.proves?.length && !potentiallyEligibleProof(id, nodes))
+            throw new Error(`Node ${id} declares proof without an observation-bound expectation.`);
+    return { declarations: [...declarations.values()], nodes };
+}
+//# sourceMappingURL=plan.js.map

package/dist/evidence/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/evidence/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAElB,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,iBAAiB,EACjB,wBAAwB,GAGzB,MAAM,iBAAiB,CAAC;AAOzB,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,SAA6C,EAC7C,UAA8C;IAE9C,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC/D,MAAM,QAAQ,GAAG,CAAC,KAA6B,EAAE,cAAc,GAAG,KAAK,EAAE,EAAE;QACzE,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,QAAQ,IAAI,CAAC,cAAc;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3F,IACE,QAAQ;YACR,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;gBAC7B,CAAC,QAAQ,CAAC,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC;gBAChE,CAAC,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC;YAEpF,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAChE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC;IACF,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,+BAA+B,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO;YAC/B,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE;QACrC,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,SAAS,KAAK,CACZ,QAAuB,EACvB,MAAM,GAAG,EAAE,EACX,WAA6C,EAAE;QAE/C,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAA6B,CAAC;QACxE,MAAM,UAAU,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO;YAC/B,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,MAAM,GAAG,GAAG,IAAI,GAAG,CACjB,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAClB,MAAM,EAAE,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5C,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,EAAE,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC,CACH,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACpC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC;QACnF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAE,CAAC;YACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACtD,IAAI,CAAC,MAAM,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC,KAAK,YAAY,IAAI,CAAC,IAAI;gBACjF,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,iCAAiC,CAAC,CAAC;YAChE,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;gBACpC,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,uCAAuC,CAAC,CAAC;YACtE,IAAI,CAAC,KAAK;gBACR,QAAQ,CACN;oBACE,GAAG,KAAK;oBACR,EAAE;oBACF,GAAG,CAAC,KAAK,CAAC,QAAQ;wBAChB,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAE,EAAE;wBAChE,CAAC,CAAC,EAAE,CAAC;iBACR,EACD,OAAO,CAAC,IAAI,CAAC,CACd,CAAC;iBACC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,GAAG,CAAC,CAAC;QAC/F,CAAC;QACD,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACtE,MAAM,EAAE,GAAG,MAAM,GAAG,OAAO,CAAC;YAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YACjC,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,IAAI,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,OAAO,EAAE,GAAG,CAAC,CAAC;gBACjE,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG;gBAAE,SAAS;YAClD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACpE,MAAM,GAAG,GAAG,IAAI,CAAC,aAAmD,CAAC;YACrE,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CACtC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE;gBACpD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,QAAQ,OAAO,EAAE,GAAG,CAAC,CAAC;gBAC5E,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;YACnD,CAAC,CAAC,CACH,CAAC;YACF,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,KAAK;QAC5B,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,wBAAwB,CAAC,EAAE,EAAE,KAAK,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,2DAA2D,CAAC,CAAC;IAC3F,OAAO,EAAE,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}

package/dist/evidence/read-package.d.ts

@@ -0,0 +1,14 @@
+import { type RecordedEvidencePackageInput } from '@farmslot/protocol';
+export interface RecordedEvidencePackageReadCheck {
+    id: string;
+    status: 'pass' | 'fail';
+    message: string;
+}
+export interface RecordedEvidencePackageReadResult {
+    input: RecordedEvidencePackageInput;
+    /** Consumers must refuse failed reads as well as invalid package validation. */
+    checks: RecordedEvidencePackageReadCheck[];
+}
+/** Read retained files and hash actual bytes before canonical package validation. */
+export declare function readRecordedEvidencePackage(artifactDir: string): Promise<RecordedEvidencePackageReadResult>;
+//# sourceMappingURL=read-package.d.ts.map

package/dist/evidence/read-package.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-package.d.ts","sourceRoot":"","sources":["../../src/evidence/read-package.ts"],"names":[],"mappings":"AAGA,OAAO,EAEL,KAAK,4BAA4B,EAElC,MAAM,oBAAoB,CAAC;AAK5B,MAAM,WAAW,gCAAgC;IAC/C,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iCAAiC;IAChD,KAAK,EAAE,4BAA4B,CAAC;IACpC,gFAAgF;IAChF,MAAM,EAAE,gCAAgC,EAAE,CAAC;CAC5C;AA6CD,qFAAqF;AACrF,wBAAsB,2BAA2B,CAC/C,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,iCAAiC,CAAC,CAiJ5C"}