@agentplat/inference-control 0.3.0-alpha.3

package/dist/context.js

@@ -0,0 +1,191 @@
+import { canonicalizeControlJsonV1, digestControlJsonV1, utf8ByteLength, } from './canonical.js';
+import { validateControlScopeV1 } from './scopes.js';
+import { assertDigest, assertExactKeys, assertIdentifier, assertOneOf, assertSafeInteger, assertStrictJsonValue, assertString, deepFreeze, } from './validation.js';
+const zones = [
+    'policy',
+    'objective',
+    'local_trusted',
+    'user_untrusted',
+    'peer_untrusted',
+    'tool_untrusted',
+    'retrieval_untrusted',
+    'provider_untrusted',
+    'assessor_untrusted',
+];
+export function validateContextEntryV1(value) {
+    const keys = [
+        'schemaVersion',
+        'contextEntryId',
+        'runId',
+        'tenantId',
+        'zone',
+        'sourceKind',
+        'sourceId',
+        'sourceVersion',
+        'mediaType',
+        'content',
+        'contentDigest',
+        'provenanceDigest',
+        'encodedBytes',
+        'createdAtLogicalMs',
+        'scope',
+        'derivation',
+    ];
+    assertExactKeys(value, keys, 'context entry');
+    const v = value;
+    if (v.schemaVersion !== 1)
+        throw new TypeError('Unsupported context schema');
+    for (const key of [
+        'contextEntryId',
+        'runId',
+        'tenantId',
+        'sourceId',
+    ])
+        assertIdentifier(v[key], key);
+    assertOneOf(v.zone, zones, 'zone');
+    assertOneOf(v.sourceKind, ['local', 'user', 'peer', 'tool', 'retrieval', 'provider', 'assessor'], 'sourceKind');
+    if (['policy', 'objective', 'local_trusted'].includes(v.zone) &&
+        v.sourceKind !== 'local')
+        throw new TypeError('context_zone_invalid');
+    assertSafeInteger(v.sourceVersion, 'sourceVersion', 1);
+    assertOneOf(v.mediaType, ['text', 'json'], 'mediaType');
+    if (v.mediaType === 'text')
+        assertString(v.content, 'content');
+    else
+        assertStrictJsonValue(v.content);
+    assertDigest(v.contentDigest, 'contentDigest');
+    assertDigest(v.provenanceDigest, 'provenanceDigest');
+    assertSafeInteger(v.encodedBytes, 'encodedBytes');
+    assertSafeInteger(v.createdAtLogicalMs, 'createdAtLogicalMs');
+    if (v.scope !== null)
+        validateControlScopeV1(v.scope);
+    if (v.derivation !== null)
+        validateDerivation(v.derivation);
+    const content = v.content;
+    const expectedContentDigest = digestControlJsonV1('context', content);
+    const expectedEncodedBytes = encodedContentBytes(content, v.mediaType);
+    const expectedProvenanceDigest = digestControlJsonV1('provenance', provenanceMaterial(v));
+    if (v.contentDigest !== expectedContentDigest ||
+        v.encodedBytes !== expectedEncodedBytes ||
+        v.provenanceDigest !== expectedProvenanceDigest)
+        throw new TypeError('state_conflict');
+    return deepFreeze({ ...v });
+}
+export function createContextEntryV1(input) {
+    const content = input.content;
+    const encodedBytes = encodedContentBytes(content, input.mediaType);
+    return validateContextEntryV1({
+        ...input,
+        schemaVersion: 1,
+        contentDigest: digestControlJsonV1('context', content),
+        provenanceDigest: digestControlJsonV1('provenance', provenanceMaterial(input)),
+        encodedBytes,
+    });
+}
+export function canAdmitContextEntryV1(policy, existing, entry) {
+    const admitted = validateContextEntryV1(entry);
+    const retained = existing.map((item) => validateContextEntryV1(item));
+    return (policy.allowedContextZones.includes(admitted.zone) &&
+        retained.length < policy.limits.maxContextEntriesPerRun &&
+        admitted.encodedBytes <= policy.limits.maxContextEntryBytes &&
+        retained.reduce((total, item) => total + item.encodedBytes, 0) +
+            admitted.encodedBytes <=
+            policy.limits.maxContextBytesPerRun);
+}
+export function promoteContextEntryV1(source, promotion, policy) {
+    validateContextEntryV1(source);
+    validatePromotion(promotion);
+    if (!policy.allowedTransformerBindings.some((item) => item.id === promotion.transformerId &&
+        item.version === promotion.transformerVersion) ||
+        !policy.allowedContextZones.includes(promotion.targetZone))
+        throw new TypeError('context_promotion_denied');
+    if (promotion.sourceContextEntryId !== source.contextEntryId ||
+        promotion.sourceContentDigest !== source.contentDigest ||
+        promotion.policyId !== policy.policyId ||
+        promotion.policyVersion !== policy.policyVersion)
+        throw new TypeError('context_promotion_denied');
+    return createContextEntryV1({
+        ...source,
+        contextEntryId: `${source.contextEntryId}:p:${promotion.transformerId}:${promotion.transformerVersion}`,
+        zone: promotion.targetZone,
+        sourceKind: 'local',
+        createdAtLogicalMs: promotion.promotedAtLogicalMs,
+        derivation: promotion,
+    });
+}
+export const CONTEXT_ZONES_V1 = zones;
+function encodedContentBytes(content, mediaType) {
+    return utf8ByteLength(mediaType === 'text'
+        ? content
+        : canonicalizeControlJsonV1(content));
+}
+function provenanceMaterial(entry) {
+    return {
+        sourceKind: entry.sourceKind,
+        sourceId: entry.sourceId,
+        sourceVersion: entry.sourceVersion,
+        derivation: entry.derivation,
+    };
+}
+function validateDerivation(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new TypeError('context derivation must be an object');
+    const record = value;
+    if (Object.hasOwn(record, 'transformerId')) {
+        assertExactKeys(value, [
+            'sourceContextEntryId',
+            'sourceContentDigest',
+            'transformerId',
+            'transformerVersion',
+            'policyId',
+            'policyVersion',
+            'targetZone',
+            'promotedAtLogicalMs',
+        ], 'context promotion');
+        for (const key of [
+            'sourceContextEntryId',
+            'transformerId',
+            'policyId',
+        ])
+            assertIdentifier(record[key], key);
+        assertDigest(record.sourceContentDigest, 'sourceContentDigest');
+        for (const key of ['transformerVersion', 'policyVersion'])
+            assertSafeInteger(record[key], key, 1);
+        assertOneOf(record.targetZone, [
+            'local_trusted',
+            'user_untrusted',
+            'peer_untrusted',
+            'tool_untrusted',
+            'retrieval_untrusted',
+            'provider_untrusted',
+            'assessor_untrusted',
+        ], 'targetZone');
+        assertSafeInteger(record.promotedAtLogicalMs, 'promotedAtLogicalMs');
+        return;
+    }
+    assertExactKeys(value, [
+        'sourceContextEntryId',
+        'sourceContentDigest',
+        'assessmentRequestId',
+        'assessmentId',
+        'assessorId',
+        'assessorVersion',
+        'targetZone',
+        'createdAtLogicalMs',
+    ], 'assessor revision');
+    for (const key of [
+        'sourceContextEntryId',
+        'assessmentRequestId',
+        'assessmentId',
+        'assessorId',
+    ])
+        assertIdentifier(record[key], key);
+    assertDigest(record.sourceContentDigest, 'sourceContentDigest');
+    assertSafeInteger(record.assessorVersion, 'assessorVersion', 1);
+    assertOneOf(record.targetZone, ['assessor_untrusted'], 'targetZone');
+    assertSafeInteger(record.createdAtLogicalMs, 'createdAtLogicalMs');
+}
+function validatePromotion(value) {
+    validateDerivation(value);
+}
+//# sourceMappingURL=context.js.map

package/dist/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AACA,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,cAAc,GACf,MAAM,gBAAgB,CAAC;AAOxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EACL,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,qBAAqB,EACrB,YAAY,EACZ,UAAU,GACX,MAAM,iBAAiB,CAAC;AAEzB,MAAM,KAAK,GAAG;IACZ,QAAQ;IACR,WAAW;IACX,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,gBAAgB;IAChB,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;CACZ,CAAC;AACX,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,IAAI,GAAG;QACX,eAAe;QACf,gBAAgB;QAChB,OAAO;QACP,UAAU;QACV,MAAM;QACN,YAAY;QACZ,UAAU;QACV,eAAe;QACf,WAAW;QACX,SAAS;QACT,eAAe;QACf,kBAAkB;QAClB,cAAc;QACd,oBAAoB;QACpB,OAAO;QACP,YAAY;KACb,CAAC;IACF,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI;QAChB,gBAAgB;QAChB,OAAO;QACP,UAAU;QACV,UAAU;KACF;QACR,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACnC,WAAW,CACT,CAAC,CAAC,UAAU,EACZ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC,EACtE,YAAY,CACb,CAAC;IACF,IACE,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAc,CAAC;QACnE,CAAC,CAAC,UAAU,KAAK,OAAO;QAExB,MAAM,IAAI,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC9C,iBAAiB,CAAC,CAAC,CAAC,aAAa,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IACvD,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM;QAAE,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;;QAC1D,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACtC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAC/C,YAAY,CAAC,CAAC,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACrD,iBAAiB,CAAC,CAAC,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAClD,iBAAiB,CAAC,CAAC,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;QAAE,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI;QAAE,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,OAAoB,CAAC;IACvC,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,oBAAoB,GAAG,mBAAmB,CAC9C,OAAO,EACP,CAAC,CAAC,SAA4B,CAC/B,CAAC;IACF,MAAM,wBAAwB,GAAG,mBAAmB,CAClD,YAAY,EACZ,kBAAkB,CAChB,CAGC,CACF,CACF,CAAC;IACF,IACE,CAAC,CAAC,aAAa,KAAK,qBAAqB;QACzC,CAAC,CAAC,YAAY,KAAK,oBAAoB;QACvC,CAAC,CAAC,gBAAgB,KAAK,wBAAwB;QAE/C,MAAM,IAAI,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACxC,OAAO,UAAU,CAAC,EAAE,GAAG,CAAC,EAA+B,CAAC,CAAC;AAC3D,CAAC;AACD,MAAM,UAAU,oBAAoB,CAClC,KAGC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,YAAY,GAAG,mBAAmB,CACtC,OAAoB,EACpB,KAAK,CAAC,SAAS,CAChB,CAAC;IACF,OAAO,sBAAsB,CAAC;QAC5B,GAAG,KAAK;QACR,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,mBAAmB,CAAC,SAAS,EAAE,OAAoB,CAAC;QACnE,gBAAgB,EAAE,mBAAmB,CACnC,YAAY,EACZ,kBAAkB,CAAC,KAAK,CAAC,CAC1B;QACD,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,sBAAsB,CACpC,MAAgC,EAChC,QAAmC,EACnC,KAAqB;IAErB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,OAAO,CACL,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAClD,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,uBAAuB;QACvD,QAAQ,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,oBAAoB;QAC3D,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;YAC5D,QAAQ,CAAC,YAAY;YACrB,MAAM,CAAC,MAAM,CAAC,qBAAqB,CACtC,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,qBAAqB,CACnC,MAAsB,EACtB,SAA4B,EAC5B,MAAgC;IAEhC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/B,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC7B,IACE,CAAC,MAAM,CAAC,0BAA0B,CAAC,IAAI,CACrC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,aAAa;QACnC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,kBAAkB,CAChD;QACD,CAAC,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1D,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAClD,IACE,SAAS,CAAC,oBAAoB,KAAK,MAAM,CAAC,cAAc;QACxD,SAAS,CAAC,mBAAmB,KAAK,MAAM,CAAC,aAAa;QACtD,SAAS,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;QACtC,SAAS,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;QAEhD,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAClD,OAAO,oBAAoB,CAAC;QAC1B,GAAG,MAAM;QACT,cAAc,EAAE,GAAG,MAAM,CAAC,cAAc,MAAM,SAAS,CAAC,aAAa,IAAI,SAAS,CAAC,kBAAkB,EAAE;QACvG,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,UAAU,EAAE,OAAO;QACnB,kBAAkB,EAAE,SAAS,CAAC,mBAAmB;QACjD,UAAU,EAAE,SAAS;KACtB,CAAC,CAAC;AACL,CAAC;AACD,MAAM,CAAC,MAAM,gBAAgB,GAA6B,KAAK,CAAC;AAEhE,SAAS,mBAAmB,CAC1B,OAAkB,EAClB,SAA0B;IAE1B,OAAO,cAAc,CACnB,SAAS,KAAK,MAAM;QAClB,CAAC,CAAE,OAAkB;QACrB,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAGC;IAED,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,UAAU,EAAE,KAAK,CAAC,UAA8B;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC7D,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,CAAC;QAC3C,eAAe,CACb,KAAK,EACL;YACE,sBAAsB;YACtB,qBAAqB;YACrB,eAAe;YACf,oBAAoB;YACpB,UAAU;YACV,eAAe;YACf,YAAY;YACZ,qBAAqB;SACtB,EACD,mBAAmB,CACpB,CAAC;QACF,KAAK,MAAM,GAAG,IAAI;YAChB,sBAAsB;YACtB,eAAe;YACf,UAAU;SACF;YACR,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACrC,YAAY,CAAC,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;QAChE,KAAK,MAAM,GAAG,IAAI,CAAC,oBAAoB,EAAE,eAAe,CAAU;YAChE,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACzC,WAAW,CACT,MAAM,CAAC,UAAU,EACjB;YACE,eAAe;YACf,gBAAgB;YAChB,gBAAgB;YAChB,gBAAgB;YAChB,qBAAqB;YACrB,oBAAoB;YACpB,oBAAoB;SACrB,EACD,YAAY,CACb,CAAC;QACF,iBAAiB,CAAC,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IACD,eAAe,CACb,KAAK,EACL;QACE,sBAAsB;QACtB,qBAAqB;QACrB,qBAAqB;QACrB,cAAc;QACd,YAAY;QACZ,iBAAiB;QACjB,YAAY;QACZ,oBAAoB;KACrB,EACD,mBAAmB,CACpB,CAAC;IACF,KAAK,MAAM,GAAG,IAAI;QAChB,sBAAsB;QACtB,qBAAqB;QACrB,cAAc;QACd,YAAY;KACJ;QACR,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,YAAY,CAAC,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAChE,iBAAiB,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;IAChE,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,oBAAoB,CAAC,EAAE,YAAY,CAAC,CAAC;IACrE,iBAAiB,CAAC,MAAM,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAwB;IACjD,kBAAkB,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+export * from './types.js';
+export * from './canonical.js';
+export * from './validation.js';
+export * from './scopes.js';
+export * from './capabilities.js';
+export * from './boundary.js';
+export * from './context.js';
+export * from './policy.js';
+export * from './assessments.js';
+export * from './streams.js';
+export * from './telemetry.js';
+export * from './state.js';
+export * from './reducer.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,14 @@
+export * from './types.js';
+export * from './canonical.js';
+export * from './validation.js';
+export * from './scopes.js';
+export * from './capabilities.js';
+export * from './boundary.js';
+export * from './context.js';
+export * from './policy.js';
+export * from './assessments.js';
+export * from './streams.js';
+export * from './telemetry.js';
+export * from './state.js';
+export * from './reducer.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC"}

package/dist/messages.d.ts

@@ -0,0 +1,124 @@
+import { type ActionScope, type AuthorityResult, type ActionAuthorityResolver, type ControlJson } from './tools.js';
+export declare const MAX_OUTBOUND_MESSAGE_BYTES_V1 = 65536;
+export type MessageAttemptStatus = 'prepared' | 'reserved' | 'sent' | 'failed' | 'indeterminate' | 'expired';
+export interface OutboundMessage {
+    readonly schemaVersion: 1;
+    readonly messageId: string;
+    readonly runId: string;
+    readonly tenantId: string;
+    readonly channel: string;
+    readonly recipient: string;
+    readonly mediaType: 'text' | 'json';
+    readonly content: string | ControlJson;
+    readonly scope: ActionScope;
+    readonly idempotencyKey: string;
+    readonly messageDigest: string;
+}
+export interface MessageReservation {
+    readonly schemaVersion: 1;
+    readonly reservationId: string;
+    readonly messageDispatchAttemptId: string;
+    readonly reservedByGatewayId: string;
+    readonly reservedStateGeneration: number;
+    readonly authorityGeneration: number | null;
+    readonly fencingToken: string | null;
+    readonly reservedAtLogicalMs: number;
+}
+export interface OutboundMessageAttempt {
+    readonly schemaVersion: 1;
+    readonly messageAttemptId: string;
+    readonly messageId: string;
+    readonly assessmentRequestId: string;
+    readonly assessmentId: string;
+    readonly messageDigest: string;
+    readonly scopeDigest: string;
+    readonly idempotencyKey: string;
+    readonly generation: number;
+    readonly dispatcherId: string;
+    readonly dispatcherVersion: number;
+    readonly dispatcherDigest: string;
+    readonly status: MessageAttemptStatus;
+    readonly reservation: MessageReservation | null;
+    readonly reservedAtLogicalMs: number | null;
+    readonly expiresAtLogicalMs: number;
+}
+export interface MessageDispatchPermit {
+    readonly schemaVersion: 1;
+    readonly messageAttemptId: string;
+    readonly reservationId: string;
+    readonly messageDispatchAttemptId: string;
+    readonly gatewayId: string;
+    readonly scopeDigest: string;
+    readonly messageDigest: string;
+    readonly idempotencyKey: string;
+    readonly authorityGeneration: number | null;
+    readonly fencingToken: string | null;
+}
+export interface OutboundMessageDispatcher {
+    readonly dispatcherId: string;
+    readonly dispatcherVersion: number;
+    readonly dispatcherDigest: string;
+    readonly fencingMode: 'local_only' | 'downstream_atomic';
+    send(input: {
+        readonly message: OutboundMessage;
+        readonly permit: MessageDispatchPermit;
+    }): Promise<{
+        readonly ok: boolean;
+    }>;
+}
+export interface MessageAssessmentResolver {
+    readonly assessorId: string;
+    readonly assessorVersion: number;
+    /** Exact replay is a currentness check; cancellation or revocation is false. */
+    consumeCurrent(message: OutboundMessage, attempt: OutboundMessageAttempt, logicalTimeMs: number): Promise<boolean>;
+}
+export interface OutboundMessageGatewayLimitsV1 {
+    readonly maxOutboundMessageBytes?: number;
+}
+export declare function outboundMessageDigest(message: Omit<OutboundMessage, 'messageDigest'>): string;
+declare const messageReserveCapability: unique symbol;
+declare const messageOutcomeCapability: unique symbol;
+declare const messageLookupCapability: unique symbol;
+declare const messageAdvanceCapability: unique symbol;
+/** Local-only message-attempt store. A reserved snapshot is never replayable. */
+export declare class LocalMessageAttemptLedger {
+    readonly gatewayId: string;
+    private readonly attempts;
+    private readonly idempotency;
+    private highWater;
+    constructor(gatewayId: string);
+    prepare(attempt: OutboundMessageAttempt): OutboundMessageAttempt;
+    [messageReserveCapability](id: string, time: number, authority: AuthorityResult): OutboundMessageAttempt;
+    [messageOutcomeCapability](id: string, reservationId: string, dispatchId: string, status: Extract<MessageAttemptStatus, 'sent' | 'failed' | 'indeterminate'>): OutboundMessageAttempt;
+    [messageLookupCapability](messageId: string, messageDigest: string, scope: string, idempotency: string): OutboundMessageAttempt | undefined;
+    [messageAdvanceCapability](id: string, time: number): OutboundMessageAttempt;
+    get(id: string): OutboundMessageAttempt | undefined;
+    snapshot(): MessageAttemptLedgerSnapshot;
+    restore(snapshot: MessageAttemptLedgerSnapshot): void;
+    private replace;
+    private require;
+    private time;
+}
+export interface MessageAttemptLedgerSnapshot {
+    readonly schemaVersion: 1;
+    readonly highWaterLogicalMs: number;
+    readonly attempts: readonly OutboundMessageAttempt[];
+}
+export declare class OutboundMessageGateway {
+    readonly ledger: LocalMessageAttemptLedger;
+    readonly dispatcher: OutboundMessageDispatcher;
+    readonly authorityResolver: ActionAuthorityResolver;
+    readonly assessmentResolver: MessageAssessmentResolver;
+    readonly allowedChannels: readonly string[];
+    readonly maxOutboundMessageBytes: number;
+    constructor(ledger: LocalMessageAttemptLedger, dispatcher: OutboundMessageDispatcher, authorityResolver: ActionAuthorityResolver, assessmentResolver: MessageAssessmentResolver, allowedChannels: readonly string[], limits?: OutboundMessageGatewayLimitsV1);
+    send(input: {
+        readonly schemaVersion: 1;
+        readonly message: OutboundMessage;
+        readonly logicalTimeMs: number;
+    }): Promise<{
+        readonly ok: boolean;
+    }>;
+}
+export {};
+//# sourceMappingURL=messages.d.ts.map

package/dist/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,uBAAuB,EAC5B,KAAK,WAAW,EAEjB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,6BAA6B,QAAS,CAAC;AAEpD,MAAM,MAAM,oBAAoB,GAC9B,UAAU,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAC;AAC5E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AACD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC;AACD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AACD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AACD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,YAAY,GAAG,mBAAmB,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE;QACV,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;QAClC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;KACxC,GAAG,OAAO,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACvC;AACD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,gFAAgF;IAChF,cAAc,CACZ,OAAO,EAAE,eAAe,EACxB,OAAO,EAAE,sBAAsB,EAC/B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,OAAO,CAAC,CAAC;CACrB;AACD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC;CAC3C;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,GAC9C,MAAM,CAaR;AAcD,QAAA,MAAM,wBAAwB,eAA8C,CAAC;AAC7E,QAAA,MAAM,wBAAwB,eAA8C,CAAC;AAC7E,QAAA,MAAM,uBAAuB,eAA6C,CAAC;AAC3E,QAAA,MAAM,wBAAwB,eAA8C,CAAC;AAE7E,iFAAiF;AACjF,qBAAa,yBAAyB;IAIxB,QAAQ,CAAC,SAAS,EAAE,MAAM;IAHtC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6C;IACtE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6C;IACzE,OAAO,CAAC,SAAS,CAAK;gBACD,SAAS,EAAE,MAAM;IACtC,OAAO,CAAC,OAAO,EAAE,sBAAsB,GAAG,sBAAsB;IAmChE,CAAC,wBAAwB,CAAC,CACxB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,eAAe,GACzB,sBAAsB;IA6BzB,CAAC,wBAAwB,CAAC,CACxB,EAAE,EAAE,MAAM,EACV,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,OAAO,CAAC,oBAAoB,EAAE,MAAM,GAAG,QAAQ,GAAG,eAAe,CAAC,GACzE,sBAAsB;IAczB,CAAC,uBAAuB,CAAC,CACvB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,GAClB,sBAAsB,GAAG,SAAS;IAOrC,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,sBAAsB;IAW5E,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS;IAGnD,QAAQ,IAAI,4BAA4B;IAOxC,OAAO,CAAC,QAAQ,EAAE,4BAA4B,GAAG,IAAI;IAyCrD,OAAO,CAAC,OAAO;IASf,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,IAAI;CAKb;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACtD;AAsOD,qBAAa,sBAAsB;IAO/B,QAAQ,CAAC,MAAM,EAAE,yBAAyB;IAN5C,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IACpD,QAAQ,CAAC,kBAAkB,EAAE,yBAAyB,CAAC;IACvD,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;gBAE9B,MAAM,EAAE,yBAAyB,EAC1C,UAAU,EAAE,yBAAyB,EACrC,iBAAiB,EAAE,uBAAuB,EAC1C,kBAAkB,EAAE,yBAAyB,EAC7C,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,MAAM,GAAE,8BAAmC;IAoCvC,IAAI,CAAC,KAAK,EAAE;QAChB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;QAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,GAAG,OAAO,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;KAAE,CAAC;CA8KtC"}