@blxzer/pactile 0.5.0 → 0.6.0-beta.4

package/dist/core/pactile/runtime.js

@@ -0,0 +1,176 @@
+import { PACTILE_CONTRACT_SCHEMA_VERSION, childPathV1, decodeLogicalIdV1, decodeNullableFingerprintV1, decodeNullableTimestampV1, decodeRelativePosixPathV1, decodeSchemaVersionV1, decodeSemverV1, decodeTimestampV1, definePactileContractSchemaV1, } from "./validation.js";
+export const PACTILE_CANONICAL_ROOT_V1 = ".pactile";
+export const PACTILE_CANONICAL_WRITE_POLICY_V1 = "canonical-only";
+export const PACTILE_LEGACY_ROOTS_V1 = [".cstl", ".trellis"];
+export const DEFAULT_CANONICAL_PATHS_V1 = {
+    schemaVersion: PACTILE_CONTRACT_SCHEMA_VERSION,
+    canonicalRoot: PACTILE_CANONICAL_ROOT_V1,
+    writePolicy: PACTILE_CANONICAL_WRITE_POLICY_V1,
+    installStatePath: ".pactile/runtime/install-state.json",
+    generationsPath: ".pactile/runtime/generations",
+    tilesPath: ".pactile/tiles",
+    tasksPath: ".pactile/tasks",
+    archivePath: ".pactile/archive",
+    workspacePath: ".pactile/workspace",
+    ownershipLedgerPath: ".pactile/runtime/ownership-ledger.json",
+    migrationJournalsPath: ".pactile/runtime/migrations",
+    receiptsPath: ".pactile/runtime/receipts",
+    legacySources: [
+        { kind: "cstl", root: ".cstl", access: "read-only" },
+        { kind: "trellis", root: ".trellis", access: "read-only" },
+    ],
+};
+export const INSTALL_STATES_V1 = ["active", "degraded", "inactive"];
+export const ADAPTER_INSTALL_STATES_V1 = [
+    "active",
+    "degraded",
+    "detached",
+];
+const canonicalPathsKeys = [
+    "schemaVersion",
+    "canonicalRoot",
+    "writePolicy",
+    "installStatePath",
+    "generationsPath",
+    "tilesPath",
+    "tasksPath",
+    "archivePath",
+    "workspacePath",
+    "ownershipLedgerPath",
+    "migrationJournalsPath",
+    "receiptsPath",
+    "legacySources",
+];
+const canonicalPathFieldNames = [
+    "installStatePath",
+    "generationsPath",
+    "tilesPath",
+    "tasksPath",
+    "archivePath",
+    "workspacePath",
+    "ownershipLedgerPath",
+    "migrationJournalsPath",
+    "receiptsPath",
+];
+function decodeLegacySourceV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["kind", "root", "access"]);
+    const kind = decoder.enumValue(decoder.required(record, "kind", path), ["cstl", "trellis"], childPathV1(path, "kind"));
+    const root = decoder.enumValue(decoder.required(record, "root", path), PACTILE_LEGACY_ROOTS_V1, childPathV1(path, "root"));
+    const access = decoder.literal(decoder.required(record, "access", path), "read-only", childPathV1(path, "access"));
+    const expectedRoot = kind === "cstl" ? ".cstl" : ".trellis";
+    if (root !== expectedRoot) {
+        decoder.issue("conflict", childPathV1(path, "root"), `legacy kind '${kind}' must use root '${expectedRoot}'`);
+    }
+    return { kind, root, access };
+}
+function decodeCanonicalPathsV1(value, decoder, path) {
+    const record = decoder.object(value, path, canonicalPathsKeys);
+    const schemaVersion = decodeSchemaVersionV1(record, decoder, path);
+    const canonicalRoot = decoder.literal(decoder.required(record, "canonicalRoot", path), PACTILE_CANONICAL_ROOT_V1, childPathV1(path, "canonicalRoot"));
+    const writePolicy = decoder.literal(decoder.required(record, "writePolicy", path), PACTILE_CANONICAL_WRITE_POLICY_V1, childPathV1(path, "writePolicy"));
+    const decodedPaths = {};
+    for (const field of canonicalPathFieldNames) {
+        const fieldPath = childPathV1(path, field);
+        const decoded = decodeRelativePosixPathV1(decoder.required(record, field, path), decoder, fieldPath);
+        if (decoded !== canonicalRoot &&
+            !decoded.startsWith(`${canonicalRoot}/`)) {
+            decoder.issue("policy-violation", fieldPath, `must remain inside canonical root '${canonicalRoot}'`);
+        }
+        decodedPaths[field] = decoded;
+    }
+    decoder.unique(canonicalPathFieldNames.map((field) => ({ field, path: decodedPaths[field] })), (entry) => entry.path, path, "canonical path");
+    const legacySources = decoder.array(decoder.required(record, "legacySources", path), childPathV1(path, "legacySources"), (item, itemPath) => decodeLegacySourceV1(item, decoder, itemPath));
+    decoder.unique(legacySources, (source) => source.root, childPathV1(path, "legacySources"), "legacy root");
+    const requiredLegacyRoots = new Set(PACTILE_LEGACY_ROOTS_V1);
+    if (legacySources.length !== PACTILE_LEGACY_ROOTS_V1.length ||
+        legacySources.some((source) => !requiredLegacyRoots.has(source.root))) {
+        decoder.issue("required", childPathV1(path, "legacySources"), "v1 must enumerate exactly the read-only '.cstl' and '.trellis' legacy sources");
+    }
+    return {
+        schemaVersion,
+        canonicalRoot,
+        writePolicy,
+        ...decodedPaths,
+        legacySources,
+    };
+}
+function decodeInstalledAdapterV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "id",
+        "version",
+        "status",
+        "lastProjectionFingerprint",
+        "reconciledAt",
+    ]);
+    const lastProjectionFingerprint = decodeNullableFingerprintV1(decoder.required(record, "lastProjectionFingerprint", path), decoder, childPathV1(path, "lastProjectionFingerprint"));
+    const reconciledAt = decodeNullableTimestampV1(decoder.required(record, "reconciledAt", path), decoder, childPathV1(path, "reconciledAt"));
+    if ((lastProjectionFingerprint === null) !== (reconciledAt === null)) {
+        decoder.issue("conflict", path, "lastProjectionFingerprint and reconciledAt must either both be present or both be null");
+    }
+    return {
+        id: decodeLogicalIdV1(decoder.required(record, "id", path), decoder, childPathV1(path, "id")),
+        version: decodeSemverV1(decoder.required(record, "version", path), decoder, childPathV1(path, "version")),
+        status: decoder.enumValue(decoder.required(record, "status", path), ADAPTER_INSTALL_STATES_V1, childPathV1(path, "status")),
+        lastProjectionFingerprint,
+        reconciledAt,
+    };
+}
+function decodeInstallStateV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "schemaVersion",
+        "product",
+        "canonicalRoot",
+        "runtimeVersion",
+        "contractVersion",
+        "generationId",
+        "status",
+        "installedAdapters",
+        "lastMigrationJournalId",
+        "createdAt",
+        "updatedAt",
+    ]);
+    const installedAdapters = decoder.array(decoder.required(record, "installedAdapters", path), childPathV1(path, "installedAdapters"), (item, itemPath) => decodeInstalledAdapterV1(item, decoder, itemPath));
+    decoder.unique(installedAdapters, (adapter) => adapter.id, childPathV1(path, "installedAdapters"), "adapter id");
+    const createdAt = decodeTimestampV1(decoder.required(record, "createdAt", path), decoder, childPathV1(path, "createdAt"));
+    const updatedAt = decodeTimestampV1(decoder.required(record, "updatedAt", path), decoder, childPathV1(path, "updatedAt"));
+    const status = decoder.enumValue(decoder.required(record, "status", path), INSTALL_STATES_V1, childPathV1(path, "status"));
+    if (createdAt.length > 0 &&
+        updatedAt.length > 0 &&
+        Date.parse(updatedAt) < Date.parse(createdAt)) {
+        decoder.issue("conflict", childPathV1(path, "updatedAt"), "must not be earlier than createdAt");
+    }
+    if (status === "active" &&
+        installedAdapters.some((adapter) => adapter.status === "degraded")) {
+        decoder.issue("conflict", childPathV1(path, "status"), "active install state cannot hide a degraded Adapter");
+    }
+    if (status === "inactive" &&
+        installedAdapters.some((adapter) => adapter.status === "active")) {
+        decoder.issue("conflict", childPathV1(path, "status"), "inactive install state cannot contain an active Adapter");
+    }
+    const lastMigrationValue = decoder.required(record, "lastMigrationJournalId", path);
+    const lastMigrationJournalId = lastMigrationValue === null
+        ? null
+        : decodeLogicalIdV1(lastMigrationValue, decoder, childPathV1(path, "lastMigrationJournalId"));
+    return {
+        schemaVersion: decodeSchemaVersionV1(record, decoder, path),
+        product: decoder.literal(decoder.required(record, "product", path), "pactile", childPathV1(path, "product")),
+        canonicalRoot: decoder.literal(decoder.required(record, "canonicalRoot", path), PACTILE_CANONICAL_ROOT_V1, childPathV1(path, "canonicalRoot")),
+        runtimeVersion: decodeSemverV1(decoder.required(record, "runtimeVersion", path), decoder, childPathV1(path, "runtimeVersion")),
+        contractVersion: decoder.literal(decoder.required(record, "contractVersion", path), PACTILE_CONTRACT_SCHEMA_VERSION, childPathV1(path, "contractVersion")),
+        generationId: decodeLogicalIdV1(decoder.required(record, "generationId", path), decoder, childPathV1(path, "generationId")),
+        status,
+        installedAdapters,
+        lastMigrationJournalId,
+        createdAt,
+        updatedAt,
+    };
+}
+export const canonicalPathsV1Schema = definePactileContractSchemaV1("CanonicalPathsV1", decodeCanonicalPathsV1);
+export const installStateV1Schema = definePactileContractSchemaV1("InstallStateV1", decodeInstallStateV1);
+export function parseCanonicalPathsV1(input) {
+    return canonicalPathsV1Schema.parse(input);
+}
+export function parseInstallStateV1(input) {
+    return installStateV1Schema.parse(input);
+}
+//# sourceMappingURL=runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../src/core/pactile/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAG/B,WAAW,EACX,iBAAiB,EACjB,2BAA2B,EAC3B,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,cAAc,EACd,iBAAiB,EACjB,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,UAAmB,CAAC;AAC7D,MAAM,CAAC,MAAM,iCAAiC,GAAG,gBAAyB,CAAC;AAE3E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,OAAO,EAAE,UAAU,CAAU,CAAC;AA0BtE,MAAM,CAAC,MAAM,0BAA0B,GAAqB;IAC1D,aAAa,EAAE,+BAA+B;IAC9C,aAAa,EAAE,yBAAyB;IACxC,WAAW,EAAE,iCAAiC;IAC9C,gBAAgB,EAAE,qCAAqC;IACvD,eAAe,EAAE,8BAA8B;IAC/C,SAAS,EAAE,gBAAgB;IAC3B,SAAS,EAAE,gBAAgB;IAC3B,WAAW,EAAE,kBAAkB;IAC/B,aAAa,EAAE,oBAAoB;IACnC,mBAAmB,EAAE,wCAAwC;IAC7D,qBAAqB,EAAE,6BAA6B;IACpD,YAAY,EAAE,2BAA2B;IACzC,aAAa,EAAE;QACb,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE;QACpD,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE;KAC3D;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AAG7E,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,QAAQ;IACR,UAAU;IACV,UAAU;CACF,CAAC;AA0BX,MAAM,kBAAkB,GAAG;IACzB,eAAe;IACf,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,iBAAiB;IACjB,WAAW;IACX,WAAW;IACX,aAAa;IACb,eAAe;IACf,qBAAqB;IACrB,uBAAuB;IACvB,cAAc;IACd,eAAe;CACP,CAAC;AAEX,MAAM,uBAAuB,GAAG;IAC9B,kBAAkB;IAClB,iBAAiB;IACjB,WAAW;IACX,WAAW;IACX,aAAa;IACb,eAAe;IACf,qBAAqB;IACrB,uBAAuB;IACvB,cAAc;CACN,CAAC;AAEX,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,CAAC,MAAM,EAAE,SAAS,CAAU,EAC5B,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,uBAAuB,EACvB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,WAAW,EACX,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;IAC5D,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,EACzB,gBAAgB,IAAI,oBAAoB,YAAY,GAAG,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,yBAAyB,EACzB,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,CACnC,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,iCAAiC,EACjC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CACjC,CAAC;IAEF,MAAM,YAAY,GAChB,EAA8D,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,uBAAuB,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,yBAAyB,CACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EACrC,OAAO,EACP,SAAS,CACV,CAAC;QACF,IACE,OAAO,KAAK,aAAa;YACzB,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,aAAa,GAAG,CAAC,EACxC,CAAC;YACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,SAAS,EACT,sCAAsC,aAAa,GAAG,CACvD,CAAC;QACJ,CAAC;QACD,YAAY,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,MAAM,CACZ,uBAAuB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAC9E,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EACrB,IAAI,EACJ,gBAAgB,CACjB,CAAC;IAEF,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAClE,CAAC;IACF,OAAO,CAAC,MAAM,CACZ,aAAa,EACb,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EACvB,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,aAAa,CACd,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,uBAAuB,CAAC,CAAC;IACrE,IACE,aAAa,CAAC,MAAM,KAAK,uBAAuB,CAAC,MAAM;QACvD,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EACrE,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAClC,+EAA+E,CAChF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa;QACb,aAAa;QACb,WAAW;QACX,GAAG,YAAY;QACf,aAAa;KACd,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,IAAI;QACJ,SAAS;QACT,QAAQ;QACR,2BAA2B;QAC3B,cAAc;KACf,CAAC,CAAC;IACH,MAAM,yBAAyB,GAAG,2BAA2B,CAC3D,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,EAAE,IAAI,CAAC,EAC3D,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAC/C,CAAC;IACF,MAAM,YAAY,GAAG,yBAAyB,CAC5C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,EAC9C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAClC,CAAC;IACF,IAAI,CAAC,yBAAyB,KAAK,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,wFAAwF,CACzF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,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,yBAAyB,EACzB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B;QACD,yBAAyB;QACzB,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,eAAe;QACf,SAAS;QACT,eAAe;QACf,gBAAgB;QAChB,iBAAiB;QACjB,cAAc;QACd,QAAQ;QACR,mBAAmB;QACnB,wBAAwB;QACxB,WAAW;QACX,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,OAAO,CAAC,KAAK,CACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,EAAE,IAAI,CAAC,EACnD,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,EACtC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CACtE,CAAC;IACF,OAAO,CAAC,MAAM,CACZ,iBAAiB,EACjB,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EACvB,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,EACtC,YAAY,CACb,CAAC;IAEF,MAAM,SAAS,GAAG,iBAAiB,CACjC,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,iBAAiB,CACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAC3C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAC/B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAC9B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,iBAAiB,EACjB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B,CAAC;IACF,IACE,SAAS,CAAC,MAAM,GAAG,CAAC;QACpB,SAAS,CAAC,MAAM,GAAG,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAC7C,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,IACE,MAAM,KAAK,QAAQ;QACnB,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,EAClE,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC3B,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,IACE,MAAM,KAAK,UAAU;QACrB,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,EAChE,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAC3B,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,OAAO,CAAC,QAAQ,CACzC,MAAM,EACN,wBAAwB,EACxB,IAAI,CACL,CAAC;IACF,MAAM,sBAAsB,GAC1B,kBAAkB,KAAK,IAAI;QACzB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,iBAAiB,CACf,kBAAkB,EAClB,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC5C,CAAC;IAER,OAAO;QACL,aAAa,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3D,OAAO,EAAE,OAAO,CAAC,OAAO,CACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,SAAS,EACT,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,aAAa,EAAE,OAAO,CAAC,OAAO,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAC/C,yBAAyB,EACzB,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,CACnC;QACD,cAAc,EAAE,cAAc,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAChD,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CACpC;QACD,eAAe,EAAE,OAAO,CAAC,OAAO,CAC9B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,EACjD,+BAA+B,EAC/B,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CACrC;QACD,YAAY,EAAE,iBAAiB,CAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,EAC9C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAClC;QACD,MAAM;QACN,iBAAiB;QACjB,sBAAsB;QACtB,SAAS;QACT,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,6BAA6B,CACjE,kBAAkB,EAClB,sBAAsB,CACvB,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,6BAA6B,CAC/D,gBAAgB,EAChB,oBAAoB,CACrB,CAAC;AAEF,MAAM,UAAU,qBAAqB,CACnC,KAAc;IAEd,OAAO,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAc;IAEd,OAAO,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC"}

package/dist/core/pactile/tile-compiler-types.d.ts

@@ -0,0 +1,32 @@
+import type { AssuranceLevelV1, PolicyCeilingV1 } from "./provider.js";
+import type { TileEvidenceKindV1, TileManifestV1, TileStopConditionV1 } from "./tile.js";
+/** M1 consumption port. It does not alter any M0 manifest or own a planner. */
+export interface CompiledTile {
+    readonly ref: string;
+    readonly manifest: TileManifestV1;
+    readonly fingerprint: string;
+}
+export interface TileEvidenceObligation {
+    readonly kind: TileEvidenceKindV1;
+    readonly required: boolean;
+    readonly description: string;
+    readonly tileRefs: readonly string[];
+}
+export interface TileStopObligation {
+    readonly condition: TileStopConditionV1;
+    readonly tileRefs: readonly string[];
+}
+export interface CompiledComposition {
+    readonly compilerAbiVersion: 1;
+    readonly requestedSelection: readonly string[];
+    readonly expandedSelection: readonly string[];
+    readonly fallbackSelection: readonly string[];
+    readonly tiles: readonly CompiledTile[];
+    readonly policyCeiling: PolicyCeilingV1;
+    readonly minimumAssurance: AssuranceLevelV1;
+    readonly evidenceObligations: readonly TileEvidenceObligation[];
+    readonly stopObligations: readonly TileStopObligation[];
+    readonly maxAttempts: number;
+    readonly fingerprint: string;
+}
+//# sourceMappingURL=tile-compiler-types.d.ts.map

package/dist/core/pactile/tile-compiler-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tile-compiler-types.d.ts","sourceRoot":"","sources":["../../../src/core/pactile/tile-compiler-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,KAAK,EACV,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACpB,MAAM,WAAW,CAAC;AAEnB,+EAA+E;AAC/E,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAChE,QAAQ,CAAC,eAAe,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B"}

package/dist/core/pactile/tile-compiler-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=tile-compiler-types.js.map

package/dist/core/pactile/tile-compiler-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tile-compiler-types.js","sourceRoot":"","sources":["../../../src/core/pactile/tile-compiler-types.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,71 @@
+import { type AssuranceLevelV1, type CostCeilingV1, type CredentialCeilingV1, type FilesystemCeilingV1, type NetworkCeilingV1, type PactileIntentV1, type PolicyCeilingV1, type PrivacyCeilingV1, type ProcessCeilingV1, type TelemetryCeilingV1 } from "./provider.js";
+import { PACTILE_CONTRACT_SCHEMA_VERSION, type PactileContractParseResultV1 } from "./validation.js";
+export declare const TILE_TRIGGER_MODES_V1: readonly ["model", "explicit", "both"];
+export type TileTriggerModeV1 = (typeof TILE_TRIGGER_MODES_V1)[number];
+export declare const TILE_STOP_CONDITIONS_V1: readonly ["success", "blocked", "policy-denied", "budget-exhausted", "provider-unavailable", "attempt-limit"];
+export type TileStopConditionV1 = (typeof TILE_STOP_CONDITIONS_V1)[number];
+export declare const TILE_EVIDENCE_KINDS_V1: readonly ["artifact", "command-result", "source-reference", "human-approval", "trace-event"];
+export type TileEvidenceKindV1 = (typeof TILE_EVIDENCE_KINDS_V1)[number];
+export interface TileIdentityV1 {
+    readonly id: string;
+    readonly version: string;
+}
+export interface TileTriggerV1 {
+    readonly mode: TileTriggerModeV1;
+    readonly intents: readonly PactileIntentV1[];
+    readonly description: string;
+}
+export interface TilePermissionsV1 {
+    readonly filesystem: FilesystemCeilingV1;
+    readonly process: ProcessCeilingV1;
+    readonly credentials: CredentialCeilingV1;
+}
+export interface TileEgressV1 {
+    readonly network: NetworkCeilingV1;
+    readonly privacy: PrivacyCeilingV1;
+    readonly telemetry: TelemetryCeilingV1;
+    readonly destinations: readonly string[];
+}
+export interface TileCostV1 {
+    readonly ceiling: CostCeilingV1;
+}
+export interface TilePolicyV1 {
+    readonly permissions: TilePermissionsV1;
+    readonly egress: TileEgressV1;
+    readonly cost: TileCostV1;
+}
+export interface TileFallbackV1 {
+    readonly allowed: boolean;
+    readonly minimumAssurance: AssuranceLevelV1 | null;
+    readonly policy: TilePolicyV1 | null;
+}
+export interface TileStopV1 {
+    readonly conditions: readonly TileStopConditionV1[];
+    readonly maxAttempts: number;
+}
+export interface TileEvidenceRequirementV1 {
+    readonly kind: TileEvidenceKindV1;
+    readonly required: boolean;
+    readonly description: string;
+}
+export interface TileManifestV1 {
+    readonly schemaVersion: typeof PACTILE_CONTRACT_SCHEMA_VERSION;
+    readonly identity: TileIdentityV1;
+    readonly summary: string;
+    readonly trigger: TileTriggerV1;
+    readonly inputs: readonly string[];
+    readonly outputs: readonly string[];
+    readonly dependencies: readonly string[];
+    readonly conflicts: readonly string[];
+    readonly permissions: TilePermissionsV1;
+    readonly egress: TileEgressV1;
+    readonly cost: TileCostV1;
+    readonly fallback: TileFallbackV1;
+    readonly stop: TileStopV1;
+    readonly minimumAssurance: AssuranceLevelV1;
+    readonly evidence: readonly TileEvidenceRequirementV1[];
+}
+export declare function tilePolicyCeilingV1(policy: TilePolicyV1): PolicyCeilingV1;
+export declare const tileManifestV1Schema: import("./validation.js").PactileContractSchemaV1<TileManifestV1>;
+export declare function parseTileManifestV1(input: unknown): PactileContractParseResultV1<TileManifestV1>;
+//# sourceMappingURL=tile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tile.d.ts","sourceRoot":"","sources":["../../../src/core/pactile/tile.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAGxB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,+BAA+B,EAG/B,KAAK,4BAA4B,EAMlC,MAAM,iBAAiB,CAAC;AAEzB,eAAO,MAAM,qBAAqB,wCAAyC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvE,eAAO,MAAM,uBAAuB,+GAO1B,CAAC;AACX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3E,eAAO,MAAM,sBAAsB,8FAMzB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;CAC3C;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;CACjC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAAC;CACtC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACzD;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,eAAe,CAWzE;AAwcD,eAAO,MAAM,oBAAoB,mEAGhC,CAAC;AAEF,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,GACb,4BAA4B,CAAC,cAAc,CAAC,CAE9C"}

package/dist/core/pactile/tile.js

@@ -0,0 +1,228 @@
+import { ASSURANCE_LEVELS_V1, COST_CEILINGS_V1, CREDENTIAL_CEILINGS_V1, FILESYSTEM_CEILINGS_V1, NETWORK_CEILINGS_V1, PACTILE_INTENTS_V1, PRIVACY_CEILINGS_V1, PROCESS_CEILINGS_V1, TELEMETRY_CEILINGS_V1, assuranceSatisfiesV1, policyWithinCeilingV1, } from "./provider.js";
+import { PACTILE_LOGICAL_ID_PATTERN, childPathV1, decodeLogicalIdV1, decodeSchemaVersionV1, decodeSemverV1, definePactileContractSchemaV1, } from "./validation.js";
+export const TILE_TRIGGER_MODES_V1 = ["model", "explicit", "both"];
+export const TILE_STOP_CONDITIONS_V1 = [
+    "success",
+    "blocked",
+    "policy-denied",
+    "budget-exhausted",
+    "provider-unavailable",
+    "attempt-limit",
+];
+export const TILE_EVIDENCE_KINDS_V1 = [
+    "artifact",
+    "command-result",
+    "source-reference",
+    "human-approval",
+    "trace-event",
+];
+export function tilePolicyCeilingV1(policy) {
+    return {
+        filesystem: policy.permissions.filesystem,
+        process: policy.permissions.process,
+        network: policy.egress.network,
+        credentials: policy.permissions.credentials,
+        privacy: policy.egress.privacy,
+        egressDestinations: policy.egress.destinations,
+        telemetry: policy.egress.telemetry,
+        cost: policy.cost.ceiling,
+    };
+}
+function decodeTileIdentityV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["id", "version"]);
+    return {
+        id: decodeLogicalIdV1(decoder.required(record, "id", path), decoder, childPathV1(path, "id")),
+        version: decodeSemverV1(decoder.required(record, "version", path), decoder, childPathV1(path, "version")),
+    };
+}
+function decodeTileTriggerV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["mode", "intents", "description"]);
+    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");
+    }
+    return {
+        mode: decoder.enumValue(decoder.required(record, "mode", path), TILE_TRIGGER_MODES_V1, childPathV1(path, "mode")),
+        intents,
+        description: decoder.string(decoder.required(record, "description", path), childPathV1(path, "description"), { nonEmpty: true }),
+    };
+}
+function decodeTilePermissionsV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "filesystem",
+        "process",
+        "credentials",
+    ]);
+    return {
+        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")),
+        credentials: decoder.enumValue(decoder.required(record, "credentials", path), CREDENTIAL_CEILINGS_V1, childPathV1(path, "credentials")),
+    };
+}
+function decodeTileEgressV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "network",
+        "privacy",
+        "telemetry",
+        "destinations",
+    ]);
+    const egress = {
+        network: decoder.enumValue(decoder.required(record, "network", path), NETWORK_CEILINGS_V1, childPathV1(path, "network")),
+        privacy: decoder.enumValue(decoder.required(record, "privacy", path), PRIVACY_CEILINGS_V1, childPathV1(path, "privacy")),
+        telemetry: decoder.enumValue(decoder.required(record, "telemetry", path), TELEMETRY_CEILINGS_V1, childPathV1(path, "telemetry")),
+        destinations: decoder.stringArray(decoder.required(record, "destinations", path), childPathV1(path, "destinations"), { nonEmptyItems: true, unique: true }),
+    };
+    if (egress.network === "forbidden" &&
+        (egress.privacy !== "local-only" ||
+            egress.telemetry === "project-authorized" ||
+            egress.destinations.length > 0)) {
+        decoder.issue("policy-violation", path, "network-forbidden egress must be local-only, non-remote telemetry, and have no destinations");
+    }
+    if (egress.network === "project-authorized" &&
+        egress.privacy !== "local-only" &&
+        egress.destinations.length === 0) {
+        decoder.issue("required", childPathV1(path, "destinations"), "must declare destinations when egress is permitted");
+    }
+    return egress;
+}
+function decodeTileCostV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["ceiling"]);
+    return {
+        ceiling: decoder.enumValue(decoder.required(record, "ceiling", path), COST_CEILINGS_V1, childPathV1(path, "ceiling")),
+    };
+}
+function decodeTilePolicyV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["permissions", "egress", "cost"]);
+    return {
+        permissions: decodeTilePermissionsV1(decoder.required(record, "permissions", path), decoder, childPathV1(path, "permissions")),
+        egress: decodeTileEgressV1(decoder.required(record, "egress", path), decoder, childPathV1(path, "egress")),
+        cost: decodeTileCostV1(decoder.required(record, "cost", path), decoder, childPathV1(path, "cost")),
+    };
+}
+function decodeTileFallbackV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "allowed",
+        "minimumAssurance",
+        "policy",
+    ]);
+    const allowed = decoder.boolean(decoder.required(record, "allowed", path), childPathV1(path, "allowed"));
+    const assuranceValue = decoder.required(record, "minimumAssurance", path);
+    const minimumAssurance = assuranceValue === null
+        ? null
+        : decoder.enumValue(assuranceValue, ASSURANCE_LEVELS_V1, childPathV1(path, "minimumAssurance"));
+    const policyValue = decoder.required(record, "policy", path);
+    const policy = policyValue === null
+        ? null
+        : decodeTilePolicyV1(policyValue, decoder, childPathV1(path, "policy"));
+    if (!allowed && (minimumAssurance !== null || policy !== null)) {
+        decoder.issue("conflict", path, "disabled fallback must use null minimumAssurance and policy");
+    }
+    if (allowed && (minimumAssurance === null || policy === null)) {
+        decoder.issue("required", path, "enabled fallback requires minimumAssurance and policy");
+    }
+    return { allowed, minimumAssurance, policy };
+}
+function decodeTileStopV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["conditions", "maxAttempts"]);
+    const conditions = decoder.array(decoder.required(record, "conditions", path), childPathV1(path, "conditions"), (item, itemPath) => decoder.enumValue(item, TILE_STOP_CONDITIONS_V1, itemPath));
+    decoder.unique(conditions, (condition) => condition, childPathV1(path, "conditions"), "stop condition");
+    if (conditions.length === 0) {
+        decoder.issue("invalid-value", childPathV1(path, "conditions"), "must declare at least one stop condition");
+    }
+    return {
+        conditions,
+        maxAttempts: decoder.integer(decoder.required(record, "maxAttempts", path), childPathV1(path, "maxAttempts"), { min: 1 }),
+    };
+}
+function decodeTileEvidenceV1(value, decoder, path) {
+    const record = decoder.object(value, path, ["kind", "required", "description"]);
+    return {
+        kind: decoder.enumValue(decoder.required(record, "kind", path), TILE_EVIDENCE_KINDS_V1, childPathV1(path, "kind")),
+        required: decoder.boolean(decoder.required(record, "required", path), childPathV1(path, "required")),
+        description: decoder.string(decoder.required(record, "description", path), childPathV1(path, "description"), { nonEmpty: true }),
+    };
+}
+function decodeTileManifestV1(value, decoder, path) {
+    const record = decoder.object(value, path, [
+        "schemaVersion",
+        "identity",
+        "summary",
+        "trigger",
+        "inputs",
+        "outputs",
+        "dependencies",
+        "conflicts",
+        "permissions",
+        "egress",
+        "cost",
+        "fallback",
+        "stop",
+        "minimumAssurance",
+        "evidence",
+    ]);
+    const identity = decodeTileIdentityV1(decoder.required(record, "identity", path), decoder, childPathV1(path, "identity"));
+    const decodeIds = (field) => decoder.stringArray(decoder.required(record, field, path), childPathV1(path, field), {
+        nonEmptyItems: true,
+        unique: true,
+        pattern: PACTILE_LOGICAL_ID_PATTERN,
+        patternDescription: "a lowercase logical id",
+    });
+    const inputs = decodeIds("inputs");
+    const outputs = decodeIds("outputs");
+    const dependencies = decodeIds("dependencies");
+    const conflicts = decodeIds("conflicts");
+    if (dependencies.includes(identity.id)) {
+        decoder.issue("conflict", childPathV1(path, "dependencies"), "a Tile cannot depend on itself");
+    }
+    if (conflicts.includes(identity.id)) {
+        decoder.issue("conflict", childPathV1(path, "conflicts"), "a Tile cannot conflict with itself");
+    }
+    for (const dependency of dependencies) {
+        if (conflicts.includes(dependency)) {
+            decoder.issue("conflict", childPathV1(path, "conflicts"), `Tile '${dependency}' cannot be both a dependency and a conflict`);
+        }
+    }
+    const permissions = decodeTilePermissionsV1(decoder.required(record, "permissions", path), decoder, childPathV1(path, "permissions"));
+    const egress = decodeTileEgressV1(decoder.required(record, "egress", path), decoder, childPathV1(path, "egress"));
+    const cost = decodeTileCostV1(decoder.required(record, "cost", path), decoder, childPathV1(path, "cost"));
+    const fallback = decodeTileFallbackV1(decoder.required(record, "fallback", path), decoder, childPathV1(path, "fallback"));
+    const minimumAssurance = decoder.enumValue(decoder.required(record, "minimumAssurance", path), ASSURANCE_LEVELS_V1, childPathV1(path, "minimumAssurance"));
+    const evidence = decoder.array(decoder.required(record, "evidence", path), childPathV1(path, "evidence"), (item, itemPath) => decodeTileEvidenceV1(item, decoder, itemPath));
+    decoder.unique(evidence, (requirement) => requirement.kind, childPathV1(path, "evidence"), "evidence kind");
+    if (assuranceSatisfiesV1(minimumAssurance, "evidence-backed") &&
+        !evidence.some((requirement) => requirement.required)) {
+        decoder.issue("policy-violation", childPathV1(path, "evidence"), "evidence-backed or verified Tiles require at least one required Evidence kind");
+    }
+    if (fallback.allowed && fallback.policy && fallback.minimumAssurance) {
+        const requestedPolicy = { permissions, egress, cost };
+        if (!policyWithinCeilingV1(tilePolicyCeilingV1(fallback.policy), tilePolicyCeilingV1(requestedPolicy))) {
+            decoder.issue("policy-violation", `${childPathV1(path, "fallback")}.policy`, "fallback must not exceed the Tile permission, egress, credential, telemetry, or cost ceiling");
+        }
+        if (!assuranceSatisfiesV1(fallback.minimumAssurance, minimumAssurance)) {
+            decoder.issue("policy-violation", `${childPathV1(path, "fallback")}.minimumAssurance`, `fallback must still satisfy minimum assurance '${minimumAssurance}'`);
+        }
+    }
+    return {
+        schemaVersion: decodeSchemaVersionV1(record, decoder, path),
+        identity,
+        summary: decoder.string(decoder.required(record, "summary", path), childPathV1(path, "summary"), { nonEmpty: true }),
+        trigger: decodeTileTriggerV1(decoder.required(record, "trigger", path), decoder, childPathV1(path, "trigger")),
+        inputs,
+        outputs,
+        dependencies,
+        conflicts,
+        permissions,
+        egress,
+        cost,
+        fallback,
+        stop: decodeTileStopV1(decoder.required(record, "stop", path), decoder, childPathV1(path, "stop")),
+        minimumAssurance,
+        evidence,
+    };
+}
+export const tileManifestV1Schema = definePactileContractSchemaV1("TileManifestV1", decodeTileManifestV1);
+export function parseTileManifestV1(input) {
+    return tileManifestV1Schema.parse(input);
+}
+//# sourceMappingURL=tile.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tile.js","sourceRoot":"","sources":["../../../src/core/pactile/tile.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,qBAAqB,EAWrB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,0BAA0B,EAG1B,WAAW,EACX,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,EACd,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAU,CAAC;AAG5E,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,SAAS;IACT,SAAS;IACT,eAAe;IACf,kBAAkB;IAClB,sBAAsB;IACtB,eAAe;CACP,CAAC;AAGX,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,UAAU;IACV,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,aAAa;CACL,CAAC;AAwEX,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU;QACzC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO;QACnC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO;QAC9B,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW;QAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO;QAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY;QAC9C,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;QAClC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,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;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IAC/E,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,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,SAAS,CACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,qBAAqB,EACrB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B;QACD,OAAO;QACP,WAAW,EAAE,OAAO,CAAC,MAAM,CACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,EAChC,EAAE,QAAQ,EAAE,IAAI,EAAE,CACnB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,YAAY;QACZ,SAAS;QACT,aAAa;KACd,CAAC,CAAC;IACH,OAAO;QACL,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,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;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,SAAS;QACT,SAAS;QACT,WAAW;QACX,cAAc;KACf,CAAC,CAAC;IACH,MAAM,MAAM,GAAiB;QAC3B,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,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,YAAY,EAAE,OAAO,CAAC,WAAW,CAC/B,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;KACF,CAAC;IACF,IACE,MAAM,CAAC,OAAO,KAAK,WAAW;QAC9B,CAAC,MAAM,CAAC,OAAO,KAAK,YAAY;YAC9B,MAAM,CAAC,SAAS,KAAK,oBAAoB;YACzC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,EACjC,CAAC;QACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,IAAI,EACJ,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IACD,IACE,MAAM,CAAC,OAAO,KAAK,oBAAoB;QACvC,MAAM,CAAC,OAAO,KAAK,YAAY;QAC/B,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,EACjC,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACxD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,SAAS,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,gBAAgB,EAChB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,OAAO;QACL,WAAW,EAAE,uBAAuB,CAClC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CACjC;QACD,MAAM,EAAE,kBAAkB,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B;QACD,IAAI,EAAE,gBAAgB,CACpB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,SAAS;QACT,kBAAkB;QAClB,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B,CAAC;IACF,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAC1E,MAAM,gBAAgB,GACpB,cAAc,KAAK,IAAI;QACrB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,OAAO,CAAC,SAAS,CACf,cAAc,EACd,mBAAmB,EACnB,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACtC,CAAC;IACR,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,MAAM,GACV,WAAW,KAAK,IAAI;QAClB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO,IAAI,CAAC,gBAAgB,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,gBAAgB,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,KAAK,CACX,UAAU,EACV,IAAI,EACJ,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAC9B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,EAC5C,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,EAC/B,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACjB,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,uBAAuB,EAAE,QAAQ,CAAC,CAC7D,CAAC;IACF,OAAO,CAAC,MAAM,CACZ,UAAU,EACV,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,EACxB,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,EAC/B,gBAAgB,CACjB,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CACX,eAAe,EACf,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,EAC/B,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU;QACV,WAAW,EAAE,OAAO,CAAC,OAAO,CAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,EAChC,EAAE,GAAG,EAAE,CAAC,EAAE,CACX;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,SAAS,CACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,sBAAsB,EACtB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B;QACD,QAAQ,EAAE,OAAO,CAAC,OAAO,CACvB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAC1C,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAC9B;QACD,WAAW,EAAE,OAAO,CAAC,MAAM,CACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,EAChC,EAAE,QAAQ,EAAE,IAAI,EAAE,CACnB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,OAA0B,EAC1B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE;QACzC,eAAe;QACf,UAAU;QACV,SAAS;QACT,SAAS;QACT,QAAQ;QACR,SAAS;QACT,cAAc;QACd,WAAW;QACX,aAAa;QACb,QAAQ;QACR,MAAM;QACN,UAAU;QACV,MAAM;QACN,kBAAkB;QAClB,UAAU;KACX,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,oBAAoB,CACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAC1C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAC9B,CAAC;IACF,MAAM,SAAS,GAAG,CAChB,KAA0D,EAChD,EAAE,CACZ,OAAO,CAAC,WAAW,CACjB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EACrC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EACxB;QACE,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,0BAA0B;QACnC,kBAAkB,EAAE,wBAAwB;KAC7C,CACF,CAAC;IACJ,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,EACjC,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,KAAK,CACX,UAAU,EACV,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,EAC9B,SAAS,UAAU,8CAA8C,CAClE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,uBAAuB,CACzC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,EAC7C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CACjC,CAAC;IACF,MAAM,MAAM,GAAG,kBAAkB,CAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EACxC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5B,CAAC;IACF,MAAM,IAAI,GAAG,gBAAgB,CAC3B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B,CAAC;IACF,MAAM,QAAQ,GAAG,oBAAoB,CACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAC1C,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAC9B,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,QAAQ,GAAG,OAAO,CAAC,KAAK,CAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAC1C,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAClE,CAAC;IACF,OAAO,CAAC,MAAM,CACZ,QAAQ,EACR,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EACjC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,eAAe,CAChB,CAAC;IACF,IACE,oBAAoB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;QACzD,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,EACrD,CAAC;QACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACrE,MAAM,eAAe,GAAiB,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACpE,IACE,CAAC,qBAAqB,CACpB,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,EACpC,mBAAmB,CAAC,eAAe,CAAC,CACrC,EACD,CAAC;YACD,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EACzC,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACvE,OAAO,CAAC,KAAK,CACX,kBAAkB,EAClB,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,mBAAmB,EACnD,kDAAkD,gBAAgB,GAAG,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3D,QAAQ;QACR,OAAO,EAAE,OAAO,CAAC,MAAM,CACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAC5B,EAAE,QAAQ,EAAE,IAAI,EAAE,CACnB;QACD,OAAO,EAAE,mBAAmB,CAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EACzC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B;QACD,MAAM;QACN,OAAO;QACP,YAAY;QACZ,SAAS;QACT,WAAW;QACX,MAAM;QACN,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,gBAAgB,CACpB,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EACtC,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAC1B;QACD,gBAAgB;QAChB,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAG,6BAA6B,CAC/D,gBAAgB,EAChB,oBAAoB,CACrB,CAAC;AAEF,MAAM,UAAU,mBAAmB,CACjC,KAAc;IAEd,OAAO,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC"}

package/dist/core/pactile/trace-runtime/index.d.ts

@@ -0,0 +1,38 @@
+import { type CompositionTraceEventV1 } from "../trace.js";
+import { fingerprintPactileContractV1 } from "../validation.js";
+export type TraceErrorCode = "invalid-event" | "unsafe-path" | "locked" | "malformed" | "sequence-mismatch" | "chain-mismatch" | "duplicate-event" | "checkpoint-mismatch" | "uncommitted" | "cas-mismatch" | "io-failure";
+/** Messages are symbolic: rejected input is never echoed into diagnostics. */
+export declare class TraceError extends Error {
+    readonly code: TraceErrorCode;
+    readonly line: number | null;
+    constructor(code: TraceErrorCode, line?: number | null);
+}
+export interface TraceHead {
+    readonly sequence: number;
+    readonly fingerprint: string | null;
+}
+export interface VerifiedTrace {
+    readonly events: readonly CompositionTraceEventV1[];
+    readonly head: TraceHead;
+}
+/** Strict M0 allowlist, canonical JSON, no envelope or arbitrary metadata. */
+export declare function serializeTraceEvent(input: unknown): {
+    event: CompositionTraceEventV1;
+    json: string;
+    fingerprint: string;
+};
+/** An external trusted head detects complete suffix deletion, including an empty file. */
+export declare function verifyTrace(text: string, traceId: string, expectedHead?: TraceHead): VerifiedTrace;
+/** Read-only; an interrupted writer or stale lock is reported, never stolen/repaired. */
+export declare function readTrace(projectRoot: string, traceId: string, expectedHead?: TraceHead): VerifiedTrace;
+/**
+ * Append under an exclusive process lock and optimistic head CAS. Event bytes
+ * are fsynced before advancing the atomic checkpoint. A crash between these
+ * steps is observable as checkpoint-mismatch; no history is auto-truncated.
+ * Keep returned heads outside this directory when malicious whole-store
+ * rollback must be detected. A hash chain is integrity evidence, not a signature.
+ */
+export declare function appendTrace(projectRoot: string, input: unknown, expectedHead: TraceHead): TraceHead;
+/** Stable identifier for an observable resolution/validation fact kept elsewhere. */
+export declare const traceFactFingerprint: typeof fingerprintPactileContractV1;
+//# sourceMappingURL=index.d.ts.map

package/dist/core/pactile/trace-runtime/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/pactile/trace-runtime/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAgC,KAAK,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,EAEL,4BAA4B,EAG7B,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,cAAc,GACtB,eAAe,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GACxD,mBAAmB,GAAG,gBAAgB,GAAG,iBAAiB,GAC1D,qBAAqB,GAAG,aAAa,GAAG,cAAc,GAAG,YAAY,CAAC;AAE1E,8EAA8E;AAC9E,qBAAa,UAAW,SAAQ,KAAK;IACvB,QAAQ,CAAC,IAAI,EAAE,cAAc;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;gBAAlD,IAAI,EAAE,cAAc,EAAW,IAAI,GAAE,MAAM,GAAG,IAAW;CAI/E;AAWD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACpD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AA4BD,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,uBAAuB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAWzH;AAED,0FAA0F;AAC1F,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,SAAS,GAAG,aAAa,CAwBlG;AAuED,yFAAyF;AACzF,wBAAgB,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,SAAS,GAAG,aAAa,CASvG;AAwCD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,GAAG,SAAS,CA+BnG;AAED,qFAAqF;AACrF,eAAO,MAAM,oBAAoB,qCAA+B,CAAC"}