@blxzer/pactile 0.5.0 → 0.6.0-beta.2

package/dist/core/pactile/provider.d.ts

@@ -0,0 +1,81 @@
+import { PACTILE_CONTRACT_SCHEMA_VERSION, type ContractDecoderV1, type PactileContractParseResultV1 } from "./validation.js";
+export declare const PACTILE_INTENTS_V1: readonly ["exact", "semantic", "structural", "external"];
+export type PactileIntentV1 = (typeof PACTILE_INTENTS_V1)[number];
+export declare const ASSURANCE_LEVELS_V1: readonly ["best-effort", "evidence-backed", "verified"];
+export type Assurance = (typeof ASSURANCE_LEVELS_V1)[number];
+export type AssuranceLevelV1 = Assurance;
+export declare const PROVIDER_ORIGINS_V1: readonly ["native", "provider", "heuristic", "unsupported"];
+export type ProviderOriginV1 = (typeof PROVIDER_ORIGINS_V1)[number];
+export type SupportedProviderOriginV1 = Exclude<ProviderOriginV1, "unsupported">;
+export declare const PROVIDER_READINESS_V1: readonly ["ready", "degraded", "unavailable"];
+export type ProviderReadinessV1 = (typeof PROVIDER_READINESS_V1)[number];
+export declare const FILESYSTEM_CEILINGS_V1: readonly ["none", "read", "write"];
+export type FilesystemCeilingV1 = (typeof FILESYSTEM_CEILINGS_V1)[number];
+export declare const PROCESS_CEILINGS_V1: readonly ["none", "execute"];
+export type ProcessCeilingV1 = (typeof PROCESS_CEILINGS_V1)[number];
+export declare const NETWORK_CEILINGS_V1: readonly ["forbidden", "project-authorized"];
+export type NetworkCeilingV1 = (typeof NETWORK_CEILINGS_V1)[number];
+export declare const CREDENTIAL_CEILINGS_V1: readonly ["forbidden", "project-authorized"];
+export type CredentialCeilingV1 = (typeof CREDENTIAL_CEILINGS_V1)[number];
+export declare const PRIVACY_CEILINGS_V1: readonly ["local-only", "project-approved-egress", "external"];
+export type PrivacyCeilingV1 = (typeof PRIVACY_CEILINGS_V1)[number];
+export declare const TELEMETRY_CEILINGS_V1: readonly ["forbidden", "local-only", "project-authorized"];
+export type TelemetryCeilingV1 = (typeof TELEMETRY_CEILINGS_V1)[number];
+export declare const COST_CEILINGS_V1: readonly ["none", "free", "low", "medium", "high"];
+export type CostCeilingV1 = (typeof COST_CEILINGS_V1)[number];
+export interface PolicyCeilingV1 {
+    readonly filesystem: FilesystemCeilingV1;
+    readonly process: ProcessCeilingV1;
+    readonly network: NetworkCeilingV1;
+    readonly credentials: CredentialCeilingV1;
+    readonly privacy: PrivacyCeilingV1;
+    readonly egressDestinations: readonly string[];
+    readonly telemetry: TelemetryCeilingV1;
+    readonly cost: CostCeilingV1;
+}
+export interface ProviderProbePolicyV1 {
+    readonly supported: boolean;
+    readonly maxAgeSeconds: number | null;
+}
+export interface ProviderManifestV1 {
+    readonly schemaVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly id: string;
+    readonly version: string;
+    readonly origin: SupportedProviderOriginV1;
+    readonly intents: readonly PactileIntentV1[];
+    readonly capabilityIds: readonly string[];
+    readonly maximumAssurance: AssuranceLevelV1;
+    readonly policyCeiling: PolicyCeilingV1;
+    readonly evidenceKinds: readonly string[];
+    readonly probe: ProviderProbePolicyV1;
+}
+export declare const PROVIDER_FRESHNESS_V1: readonly ["fresh", "stale", "unknown", "not-applicable"];
+export type ProviderFreshnessV1 = (typeof PROVIDER_FRESHNESS_V1)[number];
+export declare const PROVIDER_PROBE_RESULTS_V1: readonly ["passed", "failed", "not-run"];
+export type ProviderProbeResultV1 = (typeof PROVIDER_PROBE_RESULTS_V1)[number];
+export interface ResolvedProviderV1 {
+    readonly schemaVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly intent: PactileIntentV1;
+    readonly minimumAssurance: AssuranceLevelV1;
+    readonly origin: ProviderOriginV1;
+    readonly providerId: string | null;
+    readonly providerVersion: string | null;
+    readonly assurance: AssuranceLevelV1 | null;
+    readonly readiness: ProviderReadinessV1;
+    readonly requestedPolicy: PolicyCeilingV1;
+    readonly effectivePolicy: PolicyCeilingV1 | null;
+    readonly evidenceRefs: readonly string[];
+    readonly freshness: ProviderFreshnessV1;
+    readonly probedAt: string | null;
+    readonly probeResult: ProviderProbeResultV1;
+    readonly fallbackFromProviderId: string | null;
+}
+export declare function assuranceSatisfiesV1(actual: AssuranceLevelV1, minimum: AssuranceLevelV1): boolean;
+/** True when every requested capability stays at or below the policy ceiling. */
+export declare function policyWithinCeilingV1(requested: PolicyCeilingV1, ceiling: PolicyCeilingV1): boolean;
+export declare function decodePolicyCeilingV1(value: unknown, decoder: ContractDecoderV1, path: string): PolicyCeilingV1;
+export declare const providerManifestV1Schema: import("./validation.js").PactileContractSchemaV1<ProviderManifestV1>;
+export declare const resolvedProviderV1Schema: import("./validation.js").PactileContractSchemaV1<ResolvedProviderV1>;
+export declare function parseProviderManifestV1(input: unknown): PactileContractParseResultV1<ProviderManifestV1>;
+export declare function parseResolvedProviderV1(input: unknown): PactileContractParseResultV1<ResolvedProviderV1>;
+//# sourceMappingURL=provider.d.ts.map

package/dist/core/pactile/provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../../../src/core/pactile/provider.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,4BAA4B,EAOlC,MAAM,iBAAiB,CAAC;AAEzB,eAAO,MAAM,kBAAkB,0DAKrB,CAAC;AACX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,eAAO,MAAM,mBAAmB,yDAItB,CAAC;AACX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7D,MAAM,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAEzC,eAAO,MAAM,mBAAmB,6DAKtB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AACpE,MAAM,MAAM,yBAAyB,GAAG,OAAO,CAC7C,gBAAgB,EAChB,aAAa,CACd,CAAC;AAEF,eAAO,MAAM,qBAAqB,+CAIxB,CAAC;AACX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,eAAO,MAAM,sBAAsB,oCAAqC,CAAC;AACzE,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E,eAAO,MAAM,mBAAmB,8BAA+B,CAAC;AAChE,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,mBAAmB,8CAGtB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,sBAAsB,8CAGzB,CAAC;AACX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E,eAAO,MAAM,mBAAmB,gEAItB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,qBAAqB,4DAIxB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE,eAAO,MAAM,gBAAgB,oDAMnB,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;CACvC;AAED,eAAO,MAAM,qBAAqB,0DAKxB,CAAC;AACX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,eAAO,MAAM,yBAAyB,0CAI5B,CAAC;AACX,MAAM,MAAM,qBAAqB,GAC/B,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD;AAKD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,gBAAgB,EACxB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAET;AAED,iFAAiF;AACjF,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,eAAe,EAC1B,OAAO,EAAE,eAAe,GACvB,OAAO,CAoBT;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,iBAAiB,EAC1B,IAAI,EAAE,MAAM,GACX,eAAe,CAqFjB;AA2YD,eAAO,MAAM,wBAAwB,uEAGpC,CAAC;AAEF,eAAO,MAAM,wBAAwB,uEAGpC,CAAC;AAEF,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,GACb,4BAA4B,CAAC,kBAAkB,CAAC,CAElD;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,GACb,4BAA4B,CAAC,kBAAkB,CAAC,CAElD"}

package/dist/core/pactile/provider.js

@@ -0,0 +1,313 @@
+import { childPathV1, decodeLogicalIdV1, decodeNullableTimestampV1, decodeSchemaVersionV1, decodeSemverV1, definePactileContractSchemaV1, } from "./validation.js";
+export const PACTILE_INTENTS_V1 = [
+    "exact",
+    "semantic",
+    "structural",
+    "external",
+];
+export const ASSURANCE_LEVELS_V1 = [
+    "best-effort",
+    "evidence-backed",
+    "verified",
+];
+export const PROVIDER_ORIGINS_V1 = [
+    "native",
+    "provider",
+    "heuristic",
+    "unsupported",
+];
+export const PROVIDER_READINESS_V1 = [
+    "ready",
+    "degraded",
+    "unavailable",
+];
+export const FILESYSTEM_CEILINGS_V1 = ["none", "read", "write"];
+export const PROCESS_CEILINGS_V1 = ["none", "execute"];
+export const NETWORK_CEILINGS_V1 = [
+    "forbidden",
+    "project-authorized",
+];
+export const CREDENTIAL_CEILINGS_V1 = [
+    "forbidden",
+    "project-authorized",
+];
+export const PRIVACY_CEILINGS_V1 = [
+    "local-only",
+    "project-approved-egress",
+    "external",
+];
+export const TELEMETRY_CEILINGS_V1 = [
+    "forbidden",
+    "local-only",
+    "project-authorized",
+];
+export const COST_CEILINGS_V1 = [
+    "none",
+    "free",
+    "low",
+    "medium",
+    "high",
+];
+export const PROVIDER_FRESHNESS_V1 = [
+    "fresh",
+    "stale",
+    "unknown",
+    "not-applicable",
+];
+export const PROVIDER_PROBE_RESULTS_V1 = [
+    "passed",
+    "failed",
+    "not-run",
+];
+const rank = (values, value) => values.indexOf(value);
+export function assuranceSatisfiesV1(actual, minimum) {
+    return rank(ASSURANCE_LEVELS_V1, actual) >= rank(ASSURANCE_LEVELS_V1, minimum);
+}
+/** True when every requested capability stays at or below the policy ceiling. */
+export function policyWithinCeilingV1(requested, ceiling) {
+    return (rank(FILESYSTEM_CEILINGS_V1, requested.filesystem) <=
+        rank(FILESYSTEM_CEILINGS_V1, ceiling.filesystem) &&
+        rank(PROCESS_CEILINGS_V1, requested.process) <=
+            rank(PROCESS_CEILINGS_V1, ceiling.process) &&
+        rank(NETWORK_CEILINGS_V1, requested.network) <=
+            rank(NETWORK_CEILINGS_V1, ceiling.network) &&
+        rank(CREDENTIAL_CEILINGS_V1, requested.credentials) <=
+            rank(CREDENTIAL_CEILINGS_V1, ceiling.credentials) &&
+        rank(PRIVACY_CEILINGS_V1, requested.privacy) <=
+            rank(PRIVACY_CEILINGS_V1, ceiling.privacy) &&
+        requested.egressDestinations.every((destination) => ceiling.egressDestinations.includes(destination)) &&
+        rank(TELEMETRY_CEILINGS_V1, requested.telemetry) <=
+            rank(TELEMETRY_CEILINGS_V1, ceiling.telemetry) &&
+        rank(COST_CEILINGS_V1, requested.cost) <=
+            rank(COST_CEILINGS_V1, ceiling.cost));
+}
+export function decodePolicyCeilingV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "filesystem",
+        "process",
+        "network",
+        "credentials",
+        "privacy",
+        "egressDestinations",
+        "telemetry",
+        "cost",
+    ]);
+    const policy = {
+        filesystem: decoder.enumValue(decoder.required(record, "filesystem", path), FILESYSTEM_CEILINGS_V1, childPathV1(path, "filesystem")),
+        process: decoder.enumValue(decoder.required(record, "process", path), PROCESS_CEILINGS_V1, childPathV1(path, "process")),
+        network: decoder.enumValue(decoder.required(record, "network", path), NETWORK_CEILINGS_V1, childPathV1(path, "network")),
+        credentials: decoder.enumValue(decoder.required(record, "credentials", path), CREDENTIAL_CEILINGS_V1, childPathV1(path, "credentials")),
+        privacy: decoder.enumValue(decoder.required(record, "privacy", path), PRIVACY_CEILINGS_V1, childPathV1(path, "privacy")),
+        egressDestinations: decoder.stringArray(decoder.required(record, "egressDestinations", path), childPathV1(path, "egressDestinations"), { nonEmptyItems: true, unique: true }),
+        telemetry: decoder.enumValue(decoder.required(record, "telemetry", path), TELEMETRY_CEILINGS_V1, childPathV1(path, "telemetry")),
+        cost: decoder.enumValue(decoder.required(record, "cost", path), COST_CEILINGS_V1, childPathV1(path, "cost")),
+    };
+    if (policy.network === "forbidden" &&
+        (policy.privacy !== "local-only" || policy.egressDestinations.length > 0)) {
+        decoder.issue("policy-violation", childPathV1(path, "privacy"), "network-forbidden policy cannot permit egress privacy levels or destinations");
+    }
+    if (policy.network === "project-authorized" &&
+        policy.privacy !== "local-only" &&
+        policy.egressDestinations.length === 0) {
+        decoder.issue("required", childPathV1(path, "egressDestinations"), "must declare allowed destinations when external egress is permitted");
+    }
+    if (policy.network === "forbidden" &&
+        policy.telemetry === "project-authorized") {
+        decoder.issue("policy-violation", childPathV1(path, "telemetry"), "network-forbidden policy cannot permit remote telemetry");
+    }
+    return policy;
+}
+function decodeProviderProbePolicyV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["supported", "maxAgeSeconds"]);
+    const supported = decoder.boolean(decoder.required(record, "supported", path), childPathV1(path, "supported"));
+    const maxAgeValue = decoder.required(record, "maxAgeSeconds", path);
+    let maxAgeSeconds;
+    if (maxAgeValue === null) {
+        maxAgeSeconds = null;
+    }
+    else {
+        maxAgeSeconds = decoder.integer(maxAgeValue, childPathV1(path, "maxAgeSeconds"), { min: 1 });
+    }
+    if (supported && maxAgeSeconds === null) {
+        decoder.issue("required", childPathV1(path, "maxAgeSeconds"), "is required when probe support is enabled");
+    }
+    if (!supported && maxAgeSeconds !== null) {
+        decoder.issue("conflict", childPathV1(path, "maxAgeSeconds"), "must be null when probe support is disabled");
+    }
+    return { supported, maxAgeSeconds };
+}
+function decodeProviderManifestV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "schemaVersion",
+        "id",
+        "version",
+        "origin",
+        "intents",
+        "capabilityIds",
+        "maximumAssurance",
+        "policyCeiling",
+        "evidenceKinds",
+        "probe",
+    ]);
+    const intents = decoder.array(decoder.required(record, "intents", path), childPathV1(path, "intents"), (item, itemPath) => decoder.enumValue(item, PACTILE_INTENTS_V1, itemPath));
+    decoder.unique(intents, (intent) => intent, childPathV1(path, "intents"), "intent");
+    if (intents.length === 0) {
+        decoder.issue("invalid-value", childPathV1(path, "intents"), "must declare at least one intent");
+    }
+    const maximumAssurance = decoder.enumValue(decoder.required(record, "maximumAssurance", path), ASSURANCE_LEVELS_V1, childPathV1(path, "maximumAssurance"));
+    const evidenceKinds = decoder.stringArray(decoder.required(record, "evidenceKinds", path), childPathV1(path, "evidenceKinds"), { nonEmptyItems: true, unique: true });
+    const probe = decodeProviderProbePolicyV1(decoder.required(record, "probe", path), decoder, childPathV1(path, "probe"));
+    if (assuranceSatisfiesV1(maximumAssurance, "evidence-backed") &&
+        evidenceKinds.length === 0) {
+        decoder.issue("policy-violation", childPathV1(path, "evidenceKinds"), "evidence-backed or verified providers must declare evidence kinds");
+    }
+    if (maximumAssurance === "verified" && !probe.supported) {
+        decoder.issue("policy-violation", childPathV1(path, "probe"), "verified capability requires a freshness-bounded probe");
+    }
+    return {
+        schemaVersion: decodeSchemaVersionV1(record, decoder, path),
+        id: decodeLogicalIdV1(decoder.required(record, "id", path), decoder, childPathV1(path, "id")),
+        version: decodeSemverV1(decoder.required(record, "version", path), decoder, childPathV1(path, "version")),
+        origin: decoder.enumValue(decoder.required(record, "origin", path), ["native", "provider", "heuristic"], childPathV1(path, "origin")),
+        intents,
+        capabilityIds: decoder.stringArray(decoder.required(record, "capabilityIds", path), childPathV1(path, "capabilityIds"), {
+            nonEmptyItems: true,
+            unique: true,
+            pattern: /^[a-z][a-z0-9]*(?:[._:-][a-z0-9]+)*$/,
+            patternDescription: "a lowercase logical capability id",
+        }),
+        maximumAssurance,
+        policyCeiling: decodePolicyCeilingV1(decoder.required(record, "policyCeiling", path), decoder, childPathV1(path, "policyCeiling")),
+        evidenceKinds,
+        probe,
+    };
+}
+function decodeNullableLogicalIdV1(value, decoder, path) {
+    if (value === null)
+        return null;
+    return decodeLogicalIdV1(value, decoder, path);
+}
+function decodeNullableSemverV1(value, decoder, path) {
+    if (value === null)
+        return null;
+    return decodeSemverV1(value, decoder, path);
+}
+function decodeNullableAssuranceV1(value, decoder, path) {
+    if (value === null)
+        return null;
+    return decoder.enumValue(value, ASSURANCE_LEVELS_V1, path);
+}
+function decodeNullablePolicyV1(value, decoder, path) {
+    if (value === null)
+        return null;
+    return decodePolicyCeilingV1(value, decoder, path);
+}
+function decodeResolvedProviderV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "schemaVersion",
+        "intent",
+        "minimumAssurance",
+        "origin",
+        "providerId",
+        "providerVersion",
+        "assurance",
+        "readiness",
+        "requestedPolicy",
+        "effectivePolicy",
+        "evidenceRefs",
+        "freshness",
+        "probedAt",
+        "probeResult",
+        "fallbackFromProviderId",
+    ]);
+    const origin = decoder.enumValue(decoder.required(record, "origin", path), PROVIDER_ORIGINS_V1, childPathV1(path, "origin"));
+    const providerId = decodeNullableLogicalIdV1(decoder.required(record, "providerId", path), decoder, childPathV1(path, "providerId"));
+    const providerVersion = decodeNullableSemverV1(decoder.required(record, "providerVersion", path), decoder, childPathV1(path, "providerVersion"));
+    const minimumAssurance = decoder.enumValue(decoder.required(record, "minimumAssurance", path), ASSURANCE_LEVELS_V1, childPathV1(path, "minimumAssurance"));
+    const assurance = decodeNullableAssuranceV1(decoder.required(record, "assurance", path), decoder, childPathV1(path, "assurance"));
+    const readiness = decoder.enumValue(decoder.required(record, "readiness", path), PROVIDER_READINESS_V1, childPathV1(path, "readiness"));
+    const requestedPolicy = decodePolicyCeilingV1(decoder.required(record, "requestedPolicy", path), decoder, childPathV1(path, "requestedPolicy"));
+    const effectivePolicy = decodeNullablePolicyV1(decoder.required(record, "effectivePolicy", path), decoder, childPathV1(path, "effectivePolicy"));
+    const evidenceRefs = decoder.stringArray(decoder.required(record, "evidenceRefs", path), childPathV1(path, "evidenceRefs"), { nonEmptyItems: true, unique: true });
+    const freshness = decoder.enumValue(decoder.required(record, "freshness", path), PROVIDER_FRESHNESS_V1, childPathV1(path, "freshness"));
+    const probedAt = decodeNullableTimestampV1(decoder.required(record, "probedAt", path), decoder, childPathV1(path, "probedAt"));
+    const probeResult = decoder.enumValue(decoder.required(record, "probeResult", path), PROVIDER_PROBE_RESULTS_V1, childPathV1(path, "probeResult"));
+    const fallbackFromProviderId = decodeNullableLogicalIdV1(decoder.required(record, "fallbackFromProviderId", path), decoder, childPathV1(path, "fallbackFromProviderId"));
+    if (origin === "unsupported") {
+        if (providerId !== null ||
+            providerVersion !== null ||
+            assurance !== null ||
+            effectivePolicy !== null) {
+            decoder.issue("conflict", path, "unsupported resolution cannot claim a provider, assurance, or effective policy");
+        }
+        if (readiness !== "unavailable" ||
+            evidenceRefs.length > 0 ||
+            freshness !== "not-applicable" ||
+            probedAt !== null ||
+            probeResult !== "not-run") {
+            decoder.issue("conflict", path, "unsupported resolution must be unavailable with no evidence or probe claim");
+        }
+    }
+    else {
+        if (providerId === null || providerVersion === null || assurance === null) {
+            decoder.issue("required", path, "supported resolution requires providerId, providerVersion, and assurance");
+        }
+        if (effectivePolicy === null) {
+            decoder.issue("required", childPathV1(path, "effectivePolicy"), "is required for a supported resolution");
+        }
+        else if (!policyWithinCeilingV1(effectivePolicy, requestedPolicy)) {
+            decoder.issue("policy-violation", childPathV1(path, "effectivePolicy"), "must not exceed the requested authorization, privacy, credential, telemetry, or cost ceiling");
+        }
+        if (readiness === "unavailable") {
+            decoder.issue("conflict", childPathV1(path, "readiness"), "supported origin cannot report unavailable readiness");
+        }
+        if (assurance !== null) {
+            if (!assuranceSatisfiesV1(assurance, minimumAssurance)) {
+                decoder.issue("policy-violation", childPathV1(path, "assurance"), `does not satisfy minimum assurance '${minimumAssurance}'`);
+            }
+            if (assuranceSatisfiesV1(assurance, "evidence-backed") &&
+                evidenceRefs.length === 0) {
+                decoder.issue("policy-violation", childPathV1(path, "evidenceRefs"), "evidence-backed or verified assurance requires evidence references");
+            }
+            if (assurance === "verified" &&
+                (freshness !== "fresh" || probeResult !== "passed" || probedAt === null)) {
+                decoder.issue("policy-violation", path, "verified assurance requires fresh evidence from a passed, timestamped probe");
+            }
+        }
+        if (probeResult === "not-run" && probedAt !== null) {
+            decoder.issue("conflict", childPathV1(path, "probedAt"), "must be null when no probe ran");
+        }
+        if (probeResult !== "not-run" && probedAt === null) {
+            decoder.issue("required", childPathV1(path, "probedAt"), "is required when a probe ran");
+        }
+    }
+    if (providerId !== null && fallbackFromProviderId === providerId) {
+        decoder.issue("conflict", childPathV1(path, "fallbackFromProviderId"), "must differ from the resolved provider id");
+    }
+    return {
+        schemaVersion: decodeSchemaVersionV1(record, decoder, path),
+        intent: decoder.enumValue(decoder.required(record, "intent", path), PACTILE_INTENTS_V1, childPathV1(path, "intent")),
+        minimumAssurance,
+        origin,
+        providerId,
+        providerVersion,
+        assurance,
+        readiness,
+        requestedPolicy,
+        effectivePolicy,
+        evidenceRefs,
+        freshness,
+        probedAt,
+        probeResult,
+        fallbackFromProviderId,
+    };
+}
+export const providerManifestV1Schema = definePactileContractSchemaV1("ProviderManifestV1", decodeProviderManifestV1);
+export const resolvedProviderV1Schema = definePactileContractSchemaV1("ResolvedProviderV1", decodeResolvedProviderV1);
+export function parseProviderManifestV1(input) {
+    return providerManifestV1Schema.parse(input);
+}
+export function parseResolvedProviderV1(input) {
+    return resolvedProviderV1Schema.parse(input);
+}
+//# sourceMappingURL=provider.js.map

package/dist/core/pactile/provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.js","sourceRoot":"","sources":["../../../src/core/pactile/provider.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,WAAW,EACX,iBAAiB,EACjB,yBAAyB,EACzB,qBAAqB,EACrB,cAAc,EACd,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,OAAO;IACP,UAAU;IACV,YAAY;IACZ,UAAU;CACF,CAAC;AAGX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,iBAAiB;IACjB,UAAU;CACF,CAAC;AAIX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;CACL,CAAC;AAOX,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,OAAO;IACP,UAAU;IACV,aAAa;CACL,CAAC;AAGX,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAU,CAAC;AAGzE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,SAAS,CAAU,CAAC;AAGhE,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,WAAW;IACX,oBAAoB;CACZ,CAAC;AAGX,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,WAAW;IACX,oBAAoB;CACZ,CAAC;AAGX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,YAAY;IACZ,yBAAyB;IACzB,UAAU;CACF,CAAC;AAGX,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,WAAW;IACX,YAAY;IACZ,oBAAoB;CACZ,CAAC;AAGX,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,MAAM;IACN,MAAM;IACN,KAAK;IACL,QAAQ;IACR,MAAM;CACE,CAAC;AAgCX,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,OAAO;IACP,OAAO;IACP,SAAS;IACT,gBAAgB;CACR,CAAC;AAGX,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,QAAQ;IACR,QAAQ;IACR,SAAS;CACD,CAAC;AAsBX,MAAM,IAAI,GAAG,CAAmB,MAAoB,EAAE,KAAQ,EAAU,EAAE,CACxE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAExB,MAAM,UAAU,oBAAoB,CAClC,MAAwB,EACxB,OAAyB;IAEzB,OAAO,IAAI,CAAC,mBAAmB,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC;AACjF,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CACnC,SAA0B,EAC1B,OAAwB;IAExB,OAAO,CACL,IAAI,CAAC,sBAAsB,EAAE,SAAS,CAAC,UAAU,CAAC;QAChD,IAAI,CAAC,sBAAsB,EAAE,OAAO,CAAC,UAAU,CAAC;QAClD,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,OAAO,CAAC;YAC1C,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,OAAO,CAAC;QAC5C,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,OAAO,CAAC;YAC1C,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,OAAO,CAAC;QAC5C,IAAI,CAAC,sBAAsB,EAAE,SAAS,CAAC,WAAW,CAAC;YACjD,IAAI,CAAC,sBAAsB,EAAE,OAAO,CAAC,WAAW,CAAC;QACnD,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,OAAO,CAAC;YAC1C,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,OAAO,CAAC;QAC5C,SAAS,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CACjD,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAAC,CACjD;QACD,IAAI,CAAC,qBAAqB,EAAE,SAAS,CAAC,SAAS,CAAC;YAC9C,IAAI,CAAC,qBAAqB,EAAE,OAAO,CAAC,SAAS,CAAC;QAChD,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC,IAAI,CAAC;YACpC,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,YAAY;QACZ,SAAS;QACT,SAAS;QACT,aAAa;QACb,SAAS;QACT,oBAAoB;QACpB,WAAW;QACX,MAAM;KACP,CAAC,CAAC;IACH,MAAM,MAAM,GAAoB;QAC9B,UAAU,EAAE,OAAO,CAAC,SAAS,CAC3B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,EAC5C,sBAAsB,EACtB,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAChC;QACD,OAAO,EAAE,OAAO,CAAC,SAAS,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,OAAO,EAAE,OAAO,CAAC,SAAS,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,WAAW,EAAE,OAAO,CAAC,SAAS,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,sBAAsB,EACtB,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CACjC;QACD,OAAO,EAAE,OAAO,CAAC,SAAS,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,kBAAkB,EAAE,OAAO,CAAC,WAAW,CACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,EAAE,IAAI,CAAC,EACpD,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EACvC,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CACtC;QACD,SAAS,EAAE,OAAO,CAAC,SAAS,CAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,qBAAqB,EACrB,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B;QACD,IAAI,EAAE,OAAO,CAAC,SAAS,CACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,gBAAgB,EAChB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B;KACF,CAAC;IACF,IACE,MAAM,CAAC,OAAO,KAAK,WAAW;QAC9B,CAAC,MAAM,CAAC,OAAO,KAAK,YAAY,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,EACzE,CAAC;QACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAC5B,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IACD,IACE,MAAM,CAAC,OAAO,KAAK,oBAAoB;QACvC,MAAM,CAAC,OAAO,KAAK,YAAY;QAC/B,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EACtC,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EACvC,qEAAqE,CACtE,CAAC;IACJ,CAAC;IACD,IACE,MAAM,CAAC,OAAO,KAAK,WAAW;QAC9B,MAAM,CAAC,SAAS,KAAK,oBAAoB,EACzC,CAAC;QACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,aAA4B,CAAC;IACjC,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,aAAa,GAAG,IAAI,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,aAAa,GAAG,OAAO,CAAC,OAAO,CAC7B,WAAW,EACX,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,EAAE,GAAG,EAAE,CAAC,EAAE,CACX,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,eAAe;QACf,IAAI;QACJ,SAAS;QACT,QAAQ;QACR,SAAS;QACT,eAAe;QACf,kBAAkB;QAClB,eAAe;QACf,eAAe;QACf,OAAO;KACR,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAC3B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAC5B,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAC1E,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,KAAK,CACX,eAAe,EACf,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAC5B,kCAAkC,CACnC,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,OAAO,CAAC,SAAS,CACxC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,CAAC,EAClD,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACtC,CAAC;IACF,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CACtC,CAAC;IACF,MAAM,KAAK,GAAG,2BAA2B,CACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,EACvC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAC3B,CAAC;IACF,IACE,oBAAoB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;QACzD,aAAa,CAAC,MAAM,KAAK,CAAC,EAC1B,CAAC;QACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACxD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,EAC1B,wDAAwD,CACzD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3D,EAAE,EAAE,iBAAiB,CACnB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EACpC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CACxB;QACD,OAAO,EAAE,cAAc,CACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,MAAM,EAAE,OAAO,CAAC,SAAS,CACvB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAU,EAC5C,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B;QACD,OAAO;QACP,aAAa,EAAE,OAAO,CAAC,WAAW,CAChC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC;YACE,aAAa,EAAE,IAAI;YACnB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,sCAAsC;YAC/C,kBAAkB,EAAE,mCAAmC;SACxD,CACF;QACD,gBAAgB;QAChB,aAAa,EAAE,qBAAqB,CAClC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,CACnC;QACD,aAAa;QACb,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,eAAe;QACf,QAAQ;QACR,kBAAkB;QAClB,QAAQ;QACR,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,WAAW;QACX,iBAAiB;QACjB,iBAAiB;QACjB,cAAc;QACd,WAAW;QACX,UAAU;QACV,aAAa;QACb,wBAAwB;KACzB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAC9B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B,CAAC;IACF,MAAM,UAAU,GAAG,yBAAyB,CAC1C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,EAC5C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAChC,CAAC;IACF,MAAM,eAAe,GAAG,sBAAsB,CAC5C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,EACjD,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CACrC,CAAC;IACF,MAAM,gBAAgB,GAAG,OAAO,CAAC,SAAS,CACxC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,CAAC,EAClD,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACtC,CAAC;IACF,MAAM,SAAS,GAAG,yBAAyB,CACzC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,qBAAqB,EACrB,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B,CAAC;IACF,MAAM,eAAe,GAAG,qBAAqB,CAC3C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,EACjD,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CACrC,CAAC;IACF,MAAM,eAAe,GAAG,sBAAsB,CAC5C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,EACjD,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CACrC,CAAC;IACF,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CACtC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,EAC9C,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,EACjC,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CACtC,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,qBAAqB,EACrB,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B,CAAC;IACF,MAAM,QAAQ,GAAG,yBAAyB,CACxC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAC1C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAC9B,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,yBAAyB,EACzB,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CACjC,CAAC;IACF,MAAM,sBAAsB,GAAG,yBAAyB,CACtD,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,EAAE,IAAI,CAAC,EACxD,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC5C,CAAC;IAEF,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,IACE,UAAU,KAAK,IAAI;YACnB,eAAe,KAAK,IAAI;YACxB,SAAS,KAAK,IAAI;YAClB,eAAe,KAAK,IAAI,EACxB,CAAC;YACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,gFAAgF,CACjF,CAAC;QACJ,CAAC;QACD,IACE,SAAS,KAAK,aAAa;YAC3B,YAAY,CAAC,MAAM,GAAG,CAAC;YACvB,SAAS,KAAK,gBAAgB;YAC9B,QAAQ,KAAK,IAAI;YACjB,WAAW,KAAK,SAAS,EACzB,CAAC;YACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,4EAA4E,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,UAAU,KAAK,IAAI,IAAI,eAAe,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YAC1E,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,0EAA0E,CAC3E,CAAC;QACJ,CAAC;QACD,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,EACpC,wCAAwC,CACzC,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,qBAAqB,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,CAAC;YACpE,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,EACpC,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,gBAAgB,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,uCAAuC,gBAAgB,GAAG,CAC3D,CAAC;YACJ,CAAC;YACD,IACE,oBAAoB,CAAC,SAAS,EAAE,iBAAiB,CAAC;gBAClD,YAAY,CAAC,MAAM,KAAK,CAAC,EACzB,CAAC;gBACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,EACjC,oEAAoE,CACrE,CAAC;YACJ,CAAC;YACD,IACE,SAAS,KAAK,UAAU;gBACxB,CAAC,SAAS,KAAK,OAAO,IAAI,WAAW,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,CAAC,EACxE,CAAC;gBACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,IAAI,EACJ,6EAA6E,CAC9E,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACnD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,gCAAgC,CACjC,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACnD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,8BAA8B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,IAAI,sBAAsB,KAAK,UAAU,EAAE,CAAC;QACjE,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,wBAAwB,CAAC,EAC3C,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3D,MAAM,EAAE,OAAO,CAAC,SAAS,CACvB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B;QACD,gBAAgB;QAChB,MAAM;QACN,UAAU;QACV,eAAe;QACf,SAAS;QACT,SAAS;QACT,eAAe;QACf,eAAe;QACf,YAAY;QACZ,SAAS;QACT,QAAQ;QACR,WAAW;QACX,sBAAsB;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,6BAA6B,CACnE,oBAAoB,EACpB,wBAAwB,CACzB,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,6BAA6B,CACnE,oBAAoB,EACpB,wBAAwB,CACzB,CAAC;AAEF,MAAM,UAAU,uBAAuB,CACrC,KAAc;IAEd,OAAO,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAc;IAEd,OAAO,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC"}

package/dist/core/pactile/runtime.d.ts

@@ -0,0 +1,56 @@
+import { PACTILE_CONTRACT_SCHEMA_VERSION, type PactileContractParseResultV1 } from "./validation.js";
+export declare const PACTILE_CANONICAL_ROOT_V1: ".pactile";
+export declare const PACTILE_CANONICAL_WRITE_POLICY_V1: "canonical-only";
+export declare const PACTILE_LEGACY_ROOTS_V1: readonly [".cstl", ".trellis"];
+export type PactileLegacyRootV1 = (typeof PACTILE_LEGACY_ROOTS_V1)[number];
+export type PactileLegacySourceKindV1 = "cstl" | "trellis";
+export interface LegacyReadSourceV1 {
+    readonly kind: PactileLegacySourceKindV1;
+    readonly root: PactileLegacyRootV1;
+    readonly access: "read-only";
+}
+export interface CanonicalPathsV1 {
+    readonly schemaVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly canonicalRoot: typeof PACTILE_CANONICAL_ROOT_V1;
+    readonly writePolicy: typeof PACTILE_CANONICAL_WRITE_POLICY_V1;
+    readonly installStatePath: string;
+    readonly generationsPath: string;
+    readonly tilesPath: string;
+    readonly tasksPath: string;
+    readonly archivePath: string;
+    readonly workspacePath: string;
+    readonly ownershipLedgerPath: string;
+    readonly migrationJournalsPath: string;
+    readonly receiptsPath: string;
+    readonly legacySources: readonly LegacyReadSourceV1[];
+}
+export declare const DEFAULT_CANONICAL_PATHS_V1: CanonicalPathsV1;
+export declare const INSTALL_STATES_V1: readonly ["active", "degraded", "inactive"];
+export type InstallStatusV1 = (typeof INSTALL_STATES_V1)[number];
+export declare const ADAPTER_INSTALL_STATES_V1: readonly ["active", "degraded", "detached"];
+export type AdapterInstallStatusV1 = (typeof ADAPTER_INSTALL_STATES_V1)[number];
+export interface InstalledAdapterV1 {
+    readonly id: string;
+    readonly version: string;
+    readonly status: AdapterInstallStatusV1;
+    readonly lastProjectionFingerprint: string | null;
+    readonly reconciledAt: string | null;
+}
+export interface InstallStateV1 {
+    readonly schemaVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly product: "pactile";
+    readonly canonicalRoot: typeof PACTILE_CANONICAL_ROOT_V1;
+    readonly runtimeVersion: string;
+    readonly contractVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly generationId: string;
+    readonly status: InstallStatusV1;
+    readonly installedAdapters: readonly InstalledAdapterV1[];
+    readonly lastMigrationJournalId: string | null;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+}
+export declare const canonicalPathsV1Schema: import("./validation.js").PactileContractSchemaV1<CanonicalPathsV1>;
+export declare const installStateV1Schema: import("./validation.js").PactileContractSchemaV1<InstallStateV1>;
+export declare function parseCanonicalPathsV1(input: unknown): PactileContractParseResultV1<CanonicalPathsV1>;
+export declare function parseInstallStateV1(input: unknown): PactileContractParseResultV1<InstallStateV1>;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/core/pactile/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../src/core/pactile/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAE/B,KAAK,4BAA4B,EAUlC,MAAM,iBAAiB,CAAC;AAEzB,eAAO,MAAM,yBAAyB,EAAG,UAAmB,CAAC;AAC7D,eAAO,MAAM,iCAAiC,EAAG,gBAAyB,CAAC;AAE3E,eAAO,MAAM,uBAAuB,gCAAiC,CAAC;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC3E,MAAM,MAAM,yBAAyB,GAAG,MAAM,GAAG,SAAS,CAAC;AAE3D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,aAAa,EAAE,OAAO,yBAAyB,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,OAAO,iCAAiC,CAAC;IAC/D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACvD;AAED,eAAO,MAAM,0BAA0B,EAAE,gBAiBxC,CAAC;AAEF,eAAO,MAAM,iBAAiB,6CAA8C,CAAC;AAC7E,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE,eAAO,MAAM,yBAAyB,6CAI5B,CAAC;AACX,MAAM,MAAM,sBAAsB,GAChC,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,yBAAyB,CAAC;IACzD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,OAAO,+BAA+B,CAAC;IACjE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC1D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AA2TD,eAAO,MAAM,sBAAsB,qEAGlC,CAAC;AAEF,eAAO,MAAM,oBAAoB,mEAGhC,CAAC;AAEF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,4BAA4B,CAAC,gBAAgB,CAAC,CAEhD;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,GACb,4BAA4B,CAAC,cAAc,CAAC,CAE9C"}