@agentplat/inference-control 0.3.0-alpha.3

package/dist/validation.js

@@ -0,0 +1,154 @@
+import { INFERENCE_CONTROL_REASON_CODES_V1, } from './types.js';
+export const INFERENCE_CONTROL_LIMITS_V1 = Object.freeze({
+    maxContextEntriesPerRun: 256,
+    maxContextEntryBytes: 65_536,
+    maxContextBytesPerRun: 1_048_576,
+    maxProvenanceReferencesPerEntry: 16,
+    maxAssessmentsPerRun: 128,
+    maxAssessmentBytes: 65_536,
+    maxEvidenceReferencesPerAssessment: 32,
+    maxRevisionsPerRun: 8,
+    maxRetriesPerRun: 8,
+    maxChallengesPerRun: 8,
+    maxOutputChunksPerRun: 8_192,
+    maxOutputChunkBytes: 65_536,
+    maxPendingWindowBytes: 262_144,
+    maxBufferedOutputBytes: 4_194_304,
+    maxActionInputBytes: 65_536,
+    maxOutboundMessageBytes: 65_536,
+    maxDispatchAttemptsPerRun: 1_024,
+    maxActiveGrants: 1_024,
+    maxRetainedGrantRecords: 4_096,
+    maxActiveMessageAttempts: 1_024,
+    maxRetainedMessageAttempts: 4_096,
+    maxDiagnostics: 4_096,
+    maxStateBytes: 16_777_216,
+    maxRunDurationMs: 86_400_000,
+    maxAssessorResponseTimeoutMs: 60_000,
+    maxAssessmentTtlMs: 300_000,
+    maxGrantTtlMs: 120_000,
+    maxMessagePermitTtlMs: 120_000,
+});
+export class InferenceControlValidationError extends Error {
+    name = 'InferenceControlValidationError';
+}
+export function assertPlainRecord(value, label) {
+    if (value === null ||
+        typeof value !== 'object' ||
+        Array.isArray(value) ||
+        (Object.getPrototypeOf(value) !== Object.prototype &&
+            Object.getPrototypeOf(value) !== null) ||
+        Object.getOwnPropertySymbols(value).length)
+        throw new InferenceControlValidationError(`${label} must be a plain record`);
+    for (const key of Object.keys(value)) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        if (!descriptor || descriptor.get || descriptor.set)
+            throw new InferenceControlValidationError(`${label}.${key} may not be an accessor`);
+    }
+}
+export function assertExactKeys(value, expected, label) {
+    assertPlainRecord(value, label);
+    const actual = Object.keys(value).sort(), wanted = [...expected].sort();
+    if (actual.length !== wanted.length ||
+        actual.some((key, index) => key !== wanted[index]))
+        throw new InferenceControlValidationError(`${label} has an invalid shape`);
+}
+export function assertString(value, label) {
+    if (typeof value !== 'string' ||
+        value.length === 0 ||
+        hasUnpairedSurrogate(value))
+        throw new InferenceControlValidationError(`${label} must be a nonempty string`);
+}
+/** Existing AgentPlat identifiers are bounded transport-safe strings. */
+export function assertIdentifier(value, label) {
+    assertString(value, label);
+    if (new TextEncoder().encode(value).byteLength > 256 ||
+        /[\u0000-\u001f\u007f]/u.test(value)) {
+        throw new InferenceControlValidationError(`${label} must be a bounded identifier`);
+    }
+}
+/** Policy-controlled operation/channel names must be portable ASCII tokens. */
+export function assertControlToken(value, label) {
+    if (typeof value !== 'string' ||
+        !/^[A-Za-z0-9][A-Za-z0-9._:/-]*$/.test(value) ||
+        value.length > 128) {
+        throw new InferenceControlValidationError(`${label} must be a control token`);
+    }
+}
+export function assertSafeInteger(value, label, minimum = 0) {
+    if (!Number.isSafeInteger(value) || value < minimum)
+        throw new InferenceControlValidationError(`${label} must be a safe integer >= ${minimum}`);
+}
+export function assertOneOf(value, values, label) {
+    if (typeof value !== 'string' || !values.includes(value))
+        throw new InferenceControlValidationError(`${label} is invalid`);
+}
+export function assertDigest(value, label) {
+    if (typeof value !== 'string' || !/^sha256:[0-9a-f]{64}$/.test(value))
+        throw new InferenceControlValidationError(`${label} must be a sha256 digest`);
+}
+export function isInferenceControlReasonCodeV1(value) {
+    return (typeof value === 'string' &&
+        INFERENCE_CONTROL_REASON_CODES_V1.includes(value));
+}
+export function assertStrictJsonValue(value, seen = new Set()) {
+    if (value === null || typeof value === 'string' || typeof value === 'boolean')
+        return;
+    if (typeof value === 'number') {
+        if (!Number.isFinite(value))
+            throw new InferenceControlValidationError('JSON number must be finite');
+        return;
+    }
+    if (typeof value !== 'object')
+        throw new InferenceControlValidationError('Value is not JSON');
+    if (seen.has(value))
+        throw new InferenceControlValidationError('JSON value may not be cyclic');
+    seen.add(value);
+    if (Array.isArray(value)) {
+        for (let i = 0; i < value.length; i++) {
+            if (!Object.hasOwn(value, i))
+                throw new InferenceControlValidationError('JSON arrays may not be sparse');
+            assertStrictJsonValue(value[i], seen);
+        }
+    }
+    else {
+        assertPlainRecord(value, 'JSON object');
+        for (const key of Object.keys(value))
+            assertStrictJsonValue(value[key], seen);
+    }
+    seen.delete(value);
+}
+export function deepFreeze(value, seen = new Set()) {
+    if (value && typeof value === 'object' && !seen.has(value)) {
+        seen.add(value);
+        for (const item of Object.values(value))
+            deepFreeze(item, seen);
+        Object.freeze(value);
+    }
+    return value;
+}
+export function sortedUnique(values, label) {
+    if (values.some((value, index) => index > 0 && values[index - 1] >= value))
+        throw new InferenceControlValidationError(`${label} must be sorted and unique`);
+}
+/** Host-independent UTF-16 code-unit order, matching ECMAScript default sort. */
+export function compareCodeUnits(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function hasUnpairedSurrogate(value) {
+    for (let index = 0; index < value.length; index += 1) {
+        const code = value.charCodeAt(index);
+        if (code >= 0xd800 && code <= 0xdbff) {
+            if (++index >= value.length)
+                return true;
+            const low = value.charCodeAt(index);
+            if (low < 0xdc00 || low > 0xdfff)
+                return true;
+        }
+        else if (code >= 0xdc00 && code <= 0xdfff) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iCAAiC,GAGlC,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,2BAA2B,GACtC,MAAM,CAAC,MAAM,CAAC;IACZ,uBAAuB,EAAE,GAAG;IAC5B,oBAAoB,EAAE,MAAM;IAC5B,qBAAqB,EAAE,SAAS;IAChC,+BAA+B,EAAE,EAAE;IACnC,oBAAoB,EAAE,GAAG;IACzB,kBAAkB,EAAE,MAAM;IAC1B,kCAAkC,EAAE,EAAE;IACtC,kBAAkB,EAAE,CAAC;IACrB,gBAAgB,EAAE,CAAC;IACnB,mBAAmB,EAAE,CAAC;IACtB,qBAAqB,EAAE,KAAK;IAC5B,mBAAmB,EAAE,MAAM;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,SAAS;IACjC,mBAAmB,EAAE,MAAM;IAC3B,uBAAuB,EAAE,MAAM;IAC/B,yBAAyB,EAAE,KAAK;IAChC,eAAe,EAAE,KAAK;IACtB,uBAAuB,EAAE,KAAK;IAC9B,wBAAwB,EAAE,KAAK;IAC/B,0BAA0B,EAAE,KAAK;IACjC,cAAc,EAAE,KAAK;IACrB,aAAa,EAAE,UAAU;IACzB,gBAAgB,EAAE,UAAU;IAC5B,4BAA4B,EAAE,MAAM;IACpC,kBAAkB,EAAE,OAAO;IAC3B,aAAa,EAAE,OAAO;IACtB,qBAAqB,EAAE,OAAO;CAC/B,CAAC,CAAC;AAEL,MAAM,OAAO,+BAAgC,SAAQ,KAAK;IAC/C,IAAI,GAAG,iCAAiC,CAAC;CACnD;AACD,MAAM,UAAU,iBAAiB,CAC/B,KAAc,EACd,KAAa;IAEb,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS;YAChD,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACxC,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM;QAE1C,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,yBAAyB,CAClC,CAAC;IACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,GAAG;YACjD,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,IAAI,GAAG,yBAAyB,CACzC,CAAC;IACN,CAAC;AACH,CAAC;AACD,MAAM,UAAU,eAAe,CAC7B,KAAc,EACd,QAA2B,EAC3B,KAAa;IAEb,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EACtC,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAChC,IACE,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QAElD,MAAM,IAAI,+BAA+B,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;AAC/E,CAAC;AACD,MAAM,UAAU,YAAY,CAC1B,KAAc,EACd,KAAa;IAEb,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,oBAAoB,CAAC,KAAK,CAAC;QAE3B,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,4BAA4B,CACrC,CAAC;AACN,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,KAAa;IAEb,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,IACE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,GAAG;QAChD,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EACpC,CAAC;QACD,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,+BAA+B,CACxC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,KAAa;IAEb,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,gCAAgC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC7C,KAAK,CAAC,MAAM,GAAG,GAAG,EAClB,CAAC;QACD,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,0BAA0B,CACnC,CAAC;IACJ,CAAC;AACH,CAAC;AACD,MAAM,UAAU,iBAAiB,CAC/B,KAAc,EACd,KAAa,EACb,OAAO,GAAG,CAAC;IAEX,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,OAAO;QAC7D,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,8BAA8B,OAAO,EAAE,CAChD,CAAC;AACN,CAAC;AACD,MAAM,UAAU,WAAW,CACzB,KAAc,EACd,MAAoB,EACpB,KAAa;IAEb,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAU,CAAC;QAC3D,MAAM,IAAI,+BAA+B,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;AACrE,CAAC;AACD,MAAM,UAAU,YAAY,CAC1B,KAAc,EACd,KAAa;IAEb,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC;QACnE,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,0BAA0B,CACnC,CAAC;AACN,CAAC;AACD,MAAM,UAAU,8BAA8B,CAC5C,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,iCAAuD,CAAC,QAAQ,CAAC,KAAK,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,OAAO,IAAI,GAAG,EAAU;IAExB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAC3E,OAAO;IACT,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzB,MAAM,IAAI,+BAA+B,CAAC,4BAA4B,CAAC,CAAC;QAC1E,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,MAAM,IAAI,+BAA+B,CAAC,mBAAmB,CAAC,CAAC;IACjE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACjB,MAAM,IAAI,+BAA+B,CAAC,8BAA8B,CAAC,CAAC;IAC5E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC1B,MAAM,IAAI,+BAA+B,CACvC,+BAA+B,CAChC,CAAC;YACJ,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAClC,qBAAqB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AACD,MAAM,UAAU,UAAU,CAAI,KAAQ,EAAE,OAAO,IAAI,GAAG,EAAU;IAC9D,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAe,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,GAAG,CAAC,KAAe,CAAC,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;YAChE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,MAAyB,EAAE,KAAa;IACnE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC;QACxE,MAAM,IAAI,+BAA+B,CACvC,GAAG,KAAK,4BAA4B,CACrC,CAAC;AACN,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,KAAa;IAC1D,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,GAAG,GAAG,MAAM,IAAI,GAAG,GAAG,MAAM;gBAAE,OAAO,IAAI,CAAC;QAChD,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YAC5C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/package.json

@@ -0,0 +1,56 @@
+{
+  "name": "@agentplat/inference-control",
+  "version": "0.3.0-alpha.3",
+  "description": "Deterministic inference-control contracts and reducer for AgentPlat.",
+  "type": "module",
+  "license": "Apache-2.0",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./messages": {
+      "types": "./dist/messages.d.ts",
+      "import": "./dist/messages.js"
+    },
+    "./model": {
+      "types": "./dist/model.d.ts",
+      "import": "./dist/model.js"
+    },
+    "./runtime": {
+      "types": "./dist/runtime.d.ts",
+      "import": "./dist/runtime.js"
+    },
+    "./tools": {
+      "types": "./dist/tools.d.ts",
+      "import": "./dist/tools.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "dependencies": {
+    "@agentplat/core": "^0.3.0-alpha.3",
+    "@agentplat/runtime": "^0.3.0-alpha.3",
+    "@agentplat/streaming": "^0.3.0-alpha.3",
+    "@agentplat/tools": "^0.3.0-alpha.3",
+    "@agentplat/model": "^0.3.0-alpha.3"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Agentplat/agentplat.git",
+    "directory": "packages/inference-control"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "type-check": "tsc -p tsconfig.json --noEmit",
+    "clean": "node -e \"require('node:fs').rmSync('dist',{recursive:true,force:true})\""
+  }
+}