@blxzer/pactile 0.5.0

package/dist/pactile/retrieval/evidence.js

@@ -0,0 +1,327 @@
+import { Buffer } from "node:buffer";
+import { PACTILE_INTENTS_V1, assuranceSatisfiesV1, fingerprintPactileContractV1, parseResolvedProviderV1, } from "@blxzer/pactile-core";
+import { RETRIEVAL_ABI_VERSION, RETRIEVAL_CORROBORATION_KINDS_V3, RETRIEVAL_PROVIDER_STATUSES_V3, RETRIEVAL_REASON_CODES_V3, } from "./types.js";
+import { snapshotPlainOwnDataRecordV3 } from "./boundary.js";
+import { planRetrievalV3 } from "./planner.js";
+const LOGICAL_REF = /^(artifact|evidence|source|git|test):\/\/([a-z0-9]+(?:[._-][a-z0-9]+)*(?:\/[a-z0-9]+(?:[._-][a-z0-9]+)*)*)$/;
+const LOGICAL_KIND = /^[a-z][a-z0-9]*(?:[._:-][a-z0-9]+)*$/;
+const SENSITIVE_REFERENCE_TERMS = new Set([
+    "credential",
+    "credentials",
+    "passwd",
+    "password",
+    "secret",
+    "token",
+]);
+function isSafeLogicalRef(value) {
+    if (value.length > 256)
+        return false;
+    const match = LOGICAL_REF.exec(value);
+    if (!match)
+        return false;
+    return !match[2]
+        .replaceAll("/", ".")
+        .split(/[_.-]/u)
+        .some((term) => SENSITIVE_REFERENCE_TERMS.has(term));
+}
+function utf8Compare(left, right) {
+    return Buffer.compare(Buffer.from(left, "utf8"), Buffer.from(right, "utf8"));
+}
+function normalizeRefs(values) {
+    if (!Array.isArray(values) || values.length > 1024)
+        return null;
+    const output = [];
+    for (const value of values) {
+        if (typeof value !== "string" || !isSafeLogicalRef(value))
+            return null;
+        output.push(value);
+    }
+    return [...new Set(output)].sort(utf8Compare);
+}
+function normalizeFacts(values) {
+    if (!Array.isArray(values) || values.length > 1024)
+        return null;
+    const output = [];
+    const seen = new Set();
+    for (const value of values) {
+        if (typeof value !== "object" ||
+            value === null ||
+            Array.isArray(value) ||
+            Object.getPrototypeOf(value) !== Object.prototype) {
+            return null;
+        }
+        const descriptors = Object.getOwnPropertyDescriptors(value);
+        const keys = Object.keys(descriptors).sort(utf8Compare);
+        if (keys.length !== 2 || keys[0] !== "kind" || keys[1] !== "ref")
+            return null;
+        if (!("value" in descriptors.kind) || !("value" in descriptors.ref))
+            return null;
+        const kind = descriptors.kind.value;
+        const ref = descriptors.ref.value;
+        if (typeof kind !== "string" ||
+            !LOGICAL_KIND.test(kind) ||
+            typeof ref !== "string" ||
+            !isSafeLogicalRef(ref)) {
+            return null;
+        }
+        const identity = `${kind}\0${ref}`;
+        if (!seen.has(identity)) {
+            seen.add(identity);
+            output.push({ kind, ref });
+        }
+    }
+    return output.sort((left, right) => {
+        const byKind = utf8Compare(left.kind, right.kind);
+        return byKind !== 0 ? byKind : utf8Compare(left.ref, right.ref);
+    });
+}
+function validatedPlan(planInput, intent) {
+    const record = snapshotPlainOwnDataRecordV3(planInput);
+    if (!record)
+        return null;
+    const allowed = new Set([
+        "schemaVersion",
+        "query",
+        "intents",
+        "scopeHints",
+        "minimumAssurance",
+        "requestedPolicy",
+        "requiredEvidenceKinds",
+        "budget",
+        "steps",
+        "verificationChain",
+        "stopReasons",
+        "fingerprint",
+    ]);
+    if (Object.keys(record).length !== allowed.size ||
+        Object.keys(record).some((key) => !allowed.has(key)) ||
+        !Array.isArray(record.intents) ||
+        !record.intents.includes(intent) ||
+        !Array.isArray(record.steps) ||
+        typeof record.fingerprint !== "string") {
+        return null;
+    }
+    const request = {
+        schemaVersion: record.schemaVersion,
+        query: record.query,
+        intents: record.intents,
+        scopeHints: record.scopeHints,
+        minimumAssurance: record.minimumAssurance,
+        requestedPolicy: record.requestedPolicy,
+        requiredEvidenceKinds: record.requiredEvidenceKinds,
+        budget: record.budget,
+    };
+    const providerAvailability = [];
+    for (const candidate of record.steps) {
+        const step = snapshotPlainOwnDataRecordV3(candidate);
+        if (!step)
+            return null;
+        const requirement = step.providerRequirement;
+        if (requirement === null)
+            continue;
+        const provider = snapshotPlainOwnDataRecordV3(requirement);
+        if (!provider)
+            return null;
+        if (!["semantic", "structural", "external"].includes(provider.intent) ||
+            !RETRIEVAL_PROVIDER_STATUSES_V3.includes(provider.status)) {
+            return null;
+        }
+        if (provider.status !== "resolution-required") {
+            const status = provider.status;
+            providerAvailability.push({
+                intent: provider.intent,
+                status,
+                readiness: status === "unsupported" ? "unavailable" : status,
+            });
+        }
+    }
+    const replanned = planRetrievalV3(request, { providerAvailability });
+    if (!replanned.success ||
+        fingerprintPactileContractV1(replanned.data) !==
+            fingerprintPactileContractV1(planInput)) {
+        return null;
+    }
+    return replanned.data;
+}
+const STRICT_RFC3339_TIMESTAMP = /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d{1,9}))?(?:Z|[+-](\d{2}):(\d{2}))$/;
+function isLeapYear(year) {
+    return year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0);
+}
+function isStrictRfc3339Timestamp(value) {
+    const match = STRICT_RFC3339_TIMESTAMP.exec(value);
+    if (!match)
+        return false;
+    const year = Number(match[1]);
+    const month = Number(match[2]);
+    const day = Number(match[3]);
+    const hour = Number(match[4]);
+    const minute = Number(match[5]);
+    const second = Number(match[6]);
+    const offsetHour = match[8] === undefined ? 0 : Number(match[8]);
+    const offsetMinute = match[9] === undefined ? 0 : Number(match[9]);
+    if (year < 1 ||
+        month < 1 ||
+        month > 12 ||
+        hour > 23 ||
+        minute > 59 ||
+        second > 59 ||
+        offsetHour > 23 ||
+        offsetMinute > 59) {
+        return false;
+    }
+    const daysInMonth = [
+        31,
+        isLeapYear(year) ? 29 : 28,
+        31,
+        30,
+        31,
+        30,
+        31,
+        31,
+        30,
+        31,
+        30,
+        31,
+    ];
+    return day >= 1 && day <= daysInMonth[month - 1];
+}
+function resolutionForPlan(plan, intent, resolutionInput) {
+    const parsed = parseResolvedProviderV1(resolutionInput);
+    if (!parsed.success)
+        return null;
+    const resolution = parsed.data;
+    if (resolution.intent !== intent ||
+        resolution.minimumAssurance !== plan.minimumAssurance ||
+        resolution.origin === "unsupported" ||
+        resolution.readiness !== "ready" ||
+        resolution.assurance === null ||
+        !assuranceSatisfiesV1(resolution.assurance, plan.minimumAssurance) ||
+        fingerprintPactileContractV1(resolution.requestedPolicy) !==
+            fingerprintPactileContractV1(plan.requestedPolicy) ||
+        (resolution.probedAt !== null &&
+            !isStrictRfc3339Timestamp(resolution.probedAt))) {
+        return null;
+    }
+    return resolution;
+}
+function sortedReasons(values) {
+    const rank = new Map(RETRIEVAL_REASON_CODES_V3.map((value, index) => [value, index]));
+    return [...new Set(values)].sort((left, right) => (rank.get(left) ?? 999) - (rank.get(right) ?? 999));
+}
+function rejected(intent, reasons, evidenceRefs = []) {
+    return {
+        schemaVersion: RETRIEVAL_ABI_VERSION,
+        intent,
+        accepted: false,
+        achievedAssurance: null,
+        evidenceRefs,
+        reasonCodes: sortedReasons(reasons),
+    };
+}
+function providerStepBlocks(plan, intent) {
+    const step = plan.steps.find((candidate) => candidate.intent === intent);
+    const status = step?.providerRequirement?.status;
+    if (status === "degraded")
+        return "provider-degraded";
+    if (status === "unavailable")
+        return "provider-unavailable";
+    if (status === "unsupported")
+        return "provider-unsupported";
+    return null;
+}
+function targetAssurance(requested, hasCorroboration, hasRepeatableTest) {
+    if (requested === "best-effort")
+        return "best-effort";
+    if (!hasCorroboration)
+        return null;
+    if (requested === "evidence-backed")
+        return "evidence-backed";
+    return hasRepeatableTest ? "verified" : null;
+}
+/**
+ * Assess whether collected facts satisfy a neutral V3 plan.
+ *
+ * `providerScore` is intentionally never read: ranking confidence is not
+ * evidence and cannot upgrade assurance.
+ */
+export function assessRetrievalClaimV3(input) {
+    let intent = "exact";
+    try {
+        const record = snapshotPlainOwnDataRecordV3(input);
+        if (!record) {
+            return rejected(intent, ["invalid-evidence"]);
+        }
+        const allowed = new Set([
+            "plan",
+            "intent",
+            "candidateRefs",
+            "corroboration",
+            "resolution",
+            "providerScore",
+        ]);
+        if (Object.keys(record).some((key) => !allowed.has(key))) {
+            return rejected(intent, ["invalid-evidence"]);
+        }
+        if (!PACTILE_INTENTS_V1.includes(record.intent)) {
+            return rejected(intent, ["invalid-evidence"]);
+        }
+        intent = record.intent;
+        const plan = validatedPlan(record.plan, intent);
+        if (!plan)
+            return rejected(intent, ["invalid-plan"]);
+        const candidateRefs = normalizeRefs(record.candidateRefs);
+        const facts = normalizeFacts(record.corroboration);
+        if (!candidateRefs || !facts)
+            return rejected(intent, ["invalid-evidence"]);
+        const evidenceRefs = [
+            ...new Set([...candidateRefs, ...facts.map((fact) => fact.ref)]),
+        ].sort(utf8Compare);
+        const reasons = [];
+        if (candidateRefs.length === 0)
+            reasons.push("candidate-missing");
+        const factKinds = new Set(facts.map((fact) => fact.kind));
+        for (const requiredKind of plan.requiredEvidenceKinds) {
+            if (!factKinds.has(requiredKind))
+                reasons.push("required-evidence-missing");
+        }
+        const hasCorroboration = facts.some((fact) => RETRIEVAL_CORROBORATION_KINDS_V3.includes(fact.kind));
+        const hasRepeatableTest = facts.some((fact) => fact.kind === "repeatable-test");
+        if (intent !== "exact" && !hasCorroboration)
+            reasons.push("corroboration-required");
+        const blockingStatus = providerStepBlocks(plan, intent);
+        if (blockingStatus)
+            reasons.push(blockingStatus);
+        let resolution = null;
+        if (intent !== "exact") {
+            resolution = resolutionForPlan(plan, intent, record.resolution);
+            if (!resolution)
+                reasons.push("minimum-assurance-not-met");
+        }
+        const achieved = targetAssurance(plan.minimumAssurance, hasCorroboration, hasRepeatableTest);
+        if (!achieved) {
+            reasons.push(plan.minimumAssurance === "verified"
+                ? "repeatable-verification-required"
+                : "minimum-assurance-not-met");
+        }
+        if (plan.minimumAssurance === "verified" &&
+            intent !== "exact" &&
+            resolution?.assurance !== "verified") {
+            reasons.push("verified-provider-proof-required");
+        }
+        if (reasons.length > 0 || achieved === null) {
+            return rejected(intent, reasons, evidenceRefs);
+        }
+        return {
+            schemaVersion: RETRIEVAL_ABI_VERSION,
+            intent,
+            accepted: true,
+            achievedAssurance: achieved,
+            evidenceRefs,
+            reasonCodes: [],
+        };
+    }
+    catch {
+        return rejected(intent, ["invalid-evidence"]);
+    }
+}
+//# sourceMappingURL=evidence.js.map

package/dist/pactile/retrieval/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/pactile/retrieval/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,4BAA4B,EAC5B,uBAAuB,GAIxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,qBAAqB,EACrB,gCAAgC,EAChC,8BAA8B,EAC9B,yBAAyB,GAQ1B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,WAAW,GACf,6GAA6G,CAAC;AAChH,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAC5D,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,YAAY;IACZ,aAAa;IACb,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,KAAa;IACrC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;SACb,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;SACpB,KAAK,CAAC,QAAQ,CAAC;SACf,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,aAAa,CAAC,MAA0B;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,cAAc,CACrB,MAA0C;IAE1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IACE,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACpB,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,EACjD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;YAC9D,OAAO,IAAI,CAAC;QACd,IAAI,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC;YACjE,OAAO,IAAI,CAAC;QACd,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QACpC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QAClC,IACE,OAAO,IAAI,KAAK,QAAQ;YACxB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YACxB,OAAO,GAAG,KAAK,QAAQ;YACvB,CAAC,gBAAgB,CAAC,GAAG,CAAC,EACtB,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,IAAI,KAAK,GAAG,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACjC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,SAAkB,EAClB,MAAuB;IAEvB,MAAM,MAAM,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACtB,eAAe;QACf,OAAO;QACP,SAAS;QACT,YAAY;QACZ,kBAAkB;QAClB,iBAAiB;QACjB,uBAAuB;QACvB,QAAQ;QACR,OAAO;QACP,mBAAmB;QACnB,aAAa;QACb,aAAa;KACd,CAAC,CAAC;IACH,IACE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI;QAC3C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;QAC9B,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QAChC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;QAC5B,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,EACtC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG;QACd,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;IACF,MAAM,oBAAoB,GAAsC,EAAE,CAAC;IACnE,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC;QAC7C,IAAI,WAAW,KAAK,IAAI;YAAE,SAAS;QACnC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,IACE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAC9C,QAAQ,CAAC,MAAgB,CAC1B;YACD,CAAC,8BAA8B,CAAC,QAAQ,CACtC,QAAQ,CAAC,MAAyD,CACnE,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAGvB,CAAC;YACF,oBAAoB,CAAC,IAAI,CAAC;gBACxB,MAAM,EAAE,QAAQ,CAAC,MAA2C;gBAC5D,MAAM;gBACN,SAAS,EAAE,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACrE,IACE,CAAC,SAAS,CAAC,OAAO;QAClB,4BAA4B,CAAC,SAAS,CAAC,IAAI,CAAC;YAC1C,4BAA4B,CAAC,SAAS,CAAC,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC;AACxB,CAAC;AAED,MAAM,wBAAwB,GAC5B,4FAA4F,CAAC;AAE/F,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAa;IAC7C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,IACE,IAAI,GAAG,CAAC;QACR,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,EAAE;QACV,IAAI,GAAG,EAAE;QACT,MAAM,GAAG,EAAE;QACX,MAAM,GAAG,EAAE;QACX,UAAU,GAAG,EAAE;QACf,YAAY,GAAG,EAAE,EACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG;QAClB,EAAE;QACF,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC1B,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;QACF,EAAE;KACH,CAAC;IACF,OAAO,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,WAAW,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAqB,EACrB,MAAyC,EACzC,eAAwB;IAExB,MAAM,MAAM,GAAG,uBAAuB,CAAC,eAAe,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC/B,IACE,UAAU,CAAC,MAAM,KAAK,MAAM;QAC5B,UAAU,CAAC,gBAAgB,KAAK,IAAI,CAAC,gBAAgB;QACrD,UAAU,CAAC,MAAM,KAAK,aAAa;QACnC,UAAU,CAAC,SAAS,KAAK,OAAO;QAChC,UAAU,CAAC,SAAS,KAAK,IAAI;QAC7B,CAAC,oBAAoB,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC;QAClE,4BAA4B,CAAC,UAAU,CAAC,eAAe,CAAC;YACtD,4BAA4B,CAAC,IAAI,CAAC,eAAe,CAAC;QACpD,CAAC,UAAU,CAAC,QAAQ,KAAK,IAAI;YAC3B,CAAC,wBAAwB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CACpB,MAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,yBAAyB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAChE,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,MAAuB,EACvB,OAAyC,EACzC,eAAkC,EAAE;IAEpC,OAAO;QACL,aAAa,EAAE,qBAAqB;QACpC,MAAM;QACN,QAAQ,EAAE,KAAK;QACf,iBAAiB,EAAE,IAAI;QACvB,YAAY;QACZ,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAqB,EACrB,MAAuB;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC;IACjD,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,mBAAmB,CAAC;IACtD,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,sBAAsB,CAAC;IAC5D,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,sBAAsB,CAAC;IAC5D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,SAA2B,EAC3B,gBAAyB,EACzB,iBAA0B;IAE1B,IAAI,SAAS,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACtD,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,SAAS,KAAK,iBAAiB;QAAE,OAAO,iBAAiB,CAAC;IAC9D,OAAO,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAsC;IAEtC,IAAI,MAAM,GAAoB,OAAO,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;YACtB,MAAM;YACN,QAAQ;YACR,eAAe;YACf,eAAe;YACf,YAAY;YACZ,eAAe;SAChB,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACzD,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAyB,CAAC,EAAE,CAAC;YACnE,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,MAAyB,CAAC;QAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI;YAAE,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QAErD,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,aAAsB,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,aAAsB,CAAC,CAAC;QAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK;YAAE,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAC5E,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;SACjE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpB,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAElE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;YACtD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC;gBAC9B,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,gCAAgC,CAAC,QAAQ,CACvC,IAAI,CAAC,IAAyD,CAC/D,CACF,CAAC;QACF,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAC1C,CAAC;QACF,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,gBAAgB;YACzC,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAEzC,MAAM,cAAc,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,cAAc;YAAE,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAEjD,IAAI,UAAU,GAA8B,IAAI,CAAC;QACjD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YAChE,IAAI,CAAC,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,CAC9B,IAAI,CAAC,gBAAgB,EACrB,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;QACF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CACV,IAAI,CAAC,gBAAgB,KAAK,UAAU;gBAClC,CAAC,CAAC,kCAAkC;gBACpC,CAAC,CAAC,2BAA2B,CAChC,CAAC;QACJ,CAAC;QACD,IACE,IAAI,CAAC,gBAAgB,KAAK,UAAU;YACpC,MAAM,KAAK,OAAO;YAClB,UAAU,EAAE,SAAS,KAAK,UAAU,EACpC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC5C,OAAO,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QACjD,CAAC;QACD,OAAO;YACL,aAAa,EAAE,qBAAqB;YACpC,MAAM;YACN,QAAQ,EAAE,IAAI;YACd,iBAAiB,EAAE,QAAQ;YAC3B,YAAY;YACZ,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}

package/dist/pactile/retrieval/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./types.js";
+export * from "./planner.js";
+export * from "./evidence.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/pactile/retrieval/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/pactile/retrieval/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC"}

package/dist/pactile/retrieval/index.js

@@ -0,0 +1,4 @@
+export * from "./types.js";
+export * from "./planner.js";
+export * from "./evidence.js";
+//# sourceMappingURL=index.js.map

package/dist/pactile/retrieval/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/pactile/retrieval/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC"}

package/dist/pactile/retrieval/planner.d.ts

@@ -0,0 +1,23 @@
+import { type AssuranceLevelV1, type PactileIntentV1, type PolicyCeilingV1 } from "@blxzer/pactile-core";
+import { type RetrievalBudgetV3, type RetrievalParseResultV3, type RetrievalPlanV3, type RetrievalPlanningContextV3, type RetrievalRequestV3, type RetrievalValidationIssueV3 } from "./types.js";
+export declare const DEFAULT_RETRIEVAL_BUDGET_V3: RetrievalBudgetV3;
+export declare const DEFAULT_RETRIEVAL_POLICY_V3: PolicyCeilingV1;
+export interface BuildRetrievalRequestV3Input {
+    readonly query: string;
+    readonly intents?: readonly PactileIntentV1[];
+    readonly scopeHints?: readonly string[];
+    readonly minimumAssurance?: AssuranceLevelV1;
+    readonly requestedPolicy?: PolicyCeilingV1;
+    readonly requiredEvidenceKinds?: readonly string[];
+    readonly budget?: RetrievalBudgetV3;
+}
+export declare class RetrievalRequestValidationError extends Error {
+    readonly issues: readonly RetrievalValidationIssueV3[];
+    constructor(issues: readonly RetrievalValidationIssueV3[]);
+}
+export declare function parseRetrievalRequestV3(input: unknown): RetrievalParseResultV3<RetrievalRequestV3>;
+export declare function classifyRetrievalIntentsV3(query: string): readonly PactileIntentV1[];
+export declare function buildRetrievalRequestV3(input: BuildRetrievalRequestV3Input): RetrievalRequestV3;
+export declare function planRetrievalV3(input: unknown, context?: RetrievalPlanningContextV3): RetrievalParseResultV3<RetrievalPlanV3>;
+export declare function createRetrievalPlanV3(request: RetrievalRequestV3, context?: RetrievalPlanningContextV3): RetrievalPlanV3;
+//# sourceMappingURL=planner.d.ts.map

package/dist/pactile/retrieval/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/pactile/retrieval/planner.ts"],"names":[],"mappings":"AAEA,OAAO,EAYL,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAKL,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,eAAe,EACpB,KAAK,0BAA0B,EAG/B,KAAK,kBAAkB,EAEvB,KAAK,0BAA0B,EAEhC,MAAM,YAAY,CAAC;AAUpB,eAAO,MAAM,2BAA2B,EAAE,iBAGxC,CAAC;AAEH,eAAO,MAAM,2BAA2B,EAAE,eASxC,CAAC;AAEH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED,qBAAa,+BAAgC,SAAQ,KAAK;IACxD,QAAQ,CAAC,MAAM,EAAE,SAAS,0BAA0B,EAAE,CAAC;gBAE3C,MAAM,EAAE,SAAS,0BAA0B,EAAE;CAK1D;AAmcD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,GACb,sBAAsB,CAAC,kBAAkB,CAAC,CA2H5C;AA0ED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,GACZ,SAAS,eAAe,EAAE,CAsB5B;AASD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,4BAA4B,GAClC,kBAAkB,CAsDpB;AAiQD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,0BAA+B,GACvC,sBAAsB,CAAC,eAAe,CAAC,CAMzC;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,GAAE,0BAA+B,GACvC,eAAe,CAKjB"}