@agentplat/inference-control 0.3.0-alpha.3

package/dist/policy.js

@@ -0,0 +1,338 @@
+import { canonicalizeControlJsonV1, digestControlJsonV1 } from './canonical.js';
+import { INFERENCE_CONTROL_LIMITS_V1, assertDigest, assertControlToken, assertExactKeys, assertIdentifier, assertOneOf, assertSafeInteger, deepFreeze, sortedUnique, } from './validation.js';
+export function validateInferenceControlPolicyV1(value) {
+    const keys = [
+        'schemaVersion',
+        'policyId',
+        'policyVersion',
+        'parentPolicyDigest',
+        'mode',
+        'outputRisk',
+        'checkpoints',
+        'requiredCapabilities',
+        'minimumCapabilityAssurance',
+        'allowedCapabilityBindings',
+        'allowedContextZones',
+        'allowedTransformerBindings',
+        'allowedActions',
+        'allowedMessageChannels',
+        'assessmentBindings',
+        'budgets',
+        'limits',
+        'maximumRunDurationMs',
+        'maximumAssessmentTtlMs',
+        'maximumGrantTtlMs',
+        'maximumMessagePermitTtlMs',
+        'exhaustedDisposition',
+        'coordinatedActionsRequired',
+        'diagnosticsPolicyId',
+        'redactionPolicyId',
+    ];
+    assertExactKeys(value, keys, 'policy');
+    const v = value;
+    if (v.schemaVersion !== 1)
+        throw new TypeError('Unsupported policy schema');
+    for (const key of [
+        'policyId',
+        'diagnosticsPolicyId',
+        'redactionPolicyId',
+    ])
+        assertIdentifier(v[key], key);
+    assertSafeInteger(v.policyVersion, 'policyVersion', 1);
+    if (v.parentPolicyDigest !== null)
+        assertDigest(v.parentPolicyDigest, 'parentPolicyDigest');
+    assertOneOf(v.mode, ['observe', 'buffered', 'incremental'], 'mode');
+    assertOneOf(v.outputRisk, ['low', 'moderate', 'high'], 'outputRisk');
+    assertOneOf(v.minimumCapabilityAssurance, ['verified', 'declared'], 'minimumCapabilityAssurance');
+    assertOneOf(v.exhaustedDisposition, ['abstain', 'escalate', 'deny'], 'exhaustedDisposition');
+    for (const key of [
+        'checkpoints',
+        'requiredCapabilities',
+        'allowedCapabilityBindings',
+        'allowedContextZones',
+        'allowedTransformerBindings',
+        'allowedActions',
+        'allowedMessageChannels',
+        'assessmentBindings',
+    ])
+        if (!Array.isArray(v[key]))
+            throw new TypeError(`${key} must be an array`);
+    const checkpoints = v.checkpoints;
+    for (const checkpoint of checkpoints)
+        assertOneOf(checkpoint, ['pre_run', 'stream', 'post_run', 'pre_tool', 'pre_message'], 'checkpoint');
+    sortedUnique(checkpoints, 'checkpoints');
+    const capabilities = v.requiredCapabilities;
+    const capabilityKeys = capabilities.map((item, index) => {
+        assertExactKeys(item, ['kind', 'value'], `requiredCapabilities[${index}]`);
+        const capability = item;
+        assertOneOf(capability.kind, [
+            'input_inspection',
+            'final_output_assessment',
+            'incremental_output_assessment',
+            'release_interruption',
+            'tool_interception',
+            'message_interception',
+            'representation_access',
+        ], 'capability.kind');
+        assertCapabilityPair(capability.kind, capability.value);
+        return `${capability.kind}:${capability.value}`;
+    });
+    sortedUnique(capabilityKeys, 'requiredCapabilities');
+    for (const [index, item] of v.allowedCapabilityBindings.entries()) {
+        assertExactKeys(item, [
+            'schemaVersion',
+            'capabilityId',
+            'descriptorVersion',
+            'wrapperId',
+            'wrapperVersion',
+            'descriptorDigest',
+            'requiredAssurance',
+        ], `allowedCapabilityBindings[${index}]`);
+        const binding = item;
+        if (binding.schemaVersion !== 1)
+            throw new TypeError('Unsupported capability binding');
+        for (const key of ['capabilityId', 'wrapperId'])
+            assertIdentifier(binding[key], key);
+        for (const key of ['descriptorVersion', 'wrapperVersion'])
+            assertSafeInteger(binding[key], key, 1);
+        assertDigest(binding.descriptorDigest, 'descriptorDigest');
+        assertOneOf(binding.requiredAssurance, ['reference_tested', 'application_verified', 'declared'], 'requiredAssurance');
+    }
+    for (const zone of v.allowedContextZones)
+        assertOneOf(zone, [
+            'policy',
+            'objective',
+            'local_trusted',
+            'user_untrusted',
+            'peer_untrusted',
+            'tool_untrusted',
+            'retrieval_untrusted',
+            'provider_untrusted',
+            'assessor_untrusted',
+        ], 'context zone');
+    sortedUnique(v.allowedContextZones, 'allowedContextZones');
+    for (const [index, item] of v.allowedTransformerBindings.entries()) {
+        assertExactKeys(item, ['id', 'version'], `allowedTransformerBindings[${index}]`);
+        const binding = item;
+        assertIdentifier(binding.id, 'transformer.id');
+        assertSafeInteger(binding.version, 'transformer.version', 1);
+    }
+    for (const [index, item] of v.allowedActions.entries()) {
+        assertExactKeys(item, [
+            'schemaVersion',
+            'namespace',
+            'toolId',
+            'operation',
+            'actionBindingId',
+            'minimumActionBindingVersion',
+        ], `allowedActions[${index}]`);
+        const action = item;
+        if (action.schemaVersion !== 1)
+            throw new TypeError('Unsupported action pattern');
+        for (const key of [
+            'namespace',
+            'toolId',
+            'operation',
+            'actionBindingId',
+        ]) {
+            key === 'namespace' || key === 'operation'
+                ? assertControlToken(action[key], key)
+                : assertIdentifier(action[key], key);
+        }
+        assertSafeInteger(action.minimumActionBindingVersion, 'minimumActionBindingVersion', 1);
+    }
+    for (const channel of v.allowedMessageChannels)
+        assertControlToken(channel, 'message channel');
+    sortedUnique(v.allowedMessageChannels, 'allowedMessageChannels');
+    const assessorCheckpoints = [];
+    for (const [index, item] of v.assessmentBindings.entries()) {
+        assertExactKeys(item, [
+            'schemaVersion',
+            'checkpoint',
+            'assessorId',
+            'assessorVersion',
+            'assessorBindingDigest',
+            'maximumResponseBytes',
+            'maximumEvidenceReferences',
+            'timeoutMs',
+        ], `assessmentBindings[${index}]`);
+        const binding = item;
+        if (binding.schemaVersion !== 1)
+            throw new TypeError('Unsupported assessor binding');
+        assertOneOf(binding.checkpoint, ['pre_run', 'stream', 'post_run', 'pre_tool', 'pre_message'], 'assessment checkpoint');
+        assessorCheckpoints.push(binding.checkpoint);
+        assertIdentifier(binding.assessorId, 'assessorId');
+        assertSafeInteger(binding.assessorVersion, 'assessorVersion', 1);
+        assertDigest(binding.assessorBindingDigest, 'assessorBindingDigest');
+        assertSafeInteger(binding.maximumResponseBytes, 'maximumResponseBytes', 1);
+        assertSafeInteger(binding.maximumEvidenceReferences, 'maximumEvidenceReferences', 1);
+        assertSafeInteger(binding.timeoutMs, 'timeoutMs', 1);
+    }
+    if (new Set(assessorCheckpoints).size !== assessorCheckpoints.length ||
+        assessorCheckpoints.length !== checkpoints.length ||
+        checkpoints.some((checkpoint) => !assessorCheckpoints.includes(checkpoint)))
+        throw new TypeError('Each checkpoint requires exactly one assessor binding');
+    assertExactKeys(v.budgets, ['revisions', 'retries', 'challenges'], 'budgets');
+    for (const key of ['revisions', 'retries', 'challenges'])
+        assertSafeInteger(v.budgets[key], `budgets.${key}`);
+    assertExactKeys(v.limits, Object.keys(INFERENCE_CONTROL_LIMITS_V1), 'limits');
+    for (const key of Object.keys(INFERENCE_CONTROL_LIMITS_V1)) {
+        const limit = v.limits[key];
+        assertSafeInteger(limit, `limits.${key}`, 1);
+        if (limit > INFERENCE_CONTROL_LIMITS_V1[key])
+            throw new TypeError(`limits.${key} exceeds its hard ceiling`);
+    }
+    for (const key of [
+        'maximumRunDurationMs',
+        'maximumAssessmentTtlMs',
+        'maximumGrantTtlMs',
+        'maximumMessagePermitTtlMs',
+    ])
+        assertSafeInteger(v[key], key, 1);
+    if (typeof v.coordinatedActionsRequired !== 'boolean')
+        throw new TypeError('coordinatedActionsRequired must be boolean');
+    const limits = v.limits;
+    if (v.maximumRunDurationMs > limits.maxRunDurationMs ||
+        v.maximumAssessmentTtlMs > limits.maxAssessmentTtlMs ||
+        v.maximumGrantTtlMs > limits.maxGrantTtlMs ||
+        v.maximumMessagePermitTtlMs > limits.maxMessagePermitTtlMs)
+        throw new TypeError('Policy TTL exceeds its limits');
+    if (v.allowedActions.length > 0 &&
+        (!checkpoints.includes('pre_tool') ||
+            !assessorCheckpoints.includes('pre_tool')))
+        throw new TypeError('Actions require pre_tool assessment');
+    if (v.allowedMessageChannels.length > 0 &&
+        (!checkpoints.includes('pre_message') ||
+            !assessorCheckpoints.includes('pre_message')))
+        throw new TypeError('Messages require pre_message assessment');
+    if (v.outputRisk === 'high' &&
+        (v.mode !== 'buffered' ||
+            v.minimumCapabilityAssurance !== 'verified' ||
+            !checkpoints.includes('pre_run') ||
+            !checkpoints.includes('post_run')))
+        throw new TypeError('release_mode_incompatible');
+    return deepFreeze({ ...v });
+}
+function assertCapabilityPair(kind, value) {
+    switch (kind) {
+        case 'input_inspection':
+        case 'final_output_assessment':
+            assertOneOf(value, ['full'], 'capability.value');
+            return;
+        case 'incremental_output_assessment':
+            assertOneOf(value, ['windowed'], 'capability.value');
+            return;
+        case 'release_interruption':
+            assertOneOf(value, ['local'], 'capability.value');
+            return;
+        case 'tool_interception':
+            assertOneOf(value, ['application_only', 'all'], 'capability.value');
+            return;
+        case 'message_interception':
+            assertOneOf(value, ['application_only'], 'capability.value');
+            return;
+        case 'representation_access':
+            assertOneOf(value, ['opaque', 'token'], 'capability.value');
+            return;
+        default:
+            throw new TypeError('capability.kind is invalid');
+    }
+}
+export function createPolicyRecordV1(policy) {
+    const validated = validateInferenceControlPolicyV1(policy);
+    return deepFreeze({
+        schemaVersion: 1,
+        policyDigest: digestControlJsonV1('policy', validated),
+        policy: validated,
+    });
+}
+/**
+ * Validates an Objective-scoped policy revision against its immutable local
+ * parent. A remote revision may remove authority or tighten a bound, but may
+ * not select a different enforcement model, dependency, action, channel or
+ * larger resource/continuation budget.
+ */
+export function assertPolicyNarrowingV1(parentInput, childInput) {
+    const parent = validateInferenceControlPolicyV1(parentInput);
+    const child = validateInferenceControlPolicyV1(childInput);
+    const parentDigest = createPolicyRecordV1(parent).policyDigest;
+    if (child.parentPolicyDigest !== parentDigest ||
+        child.policyId !== parent.policyId ||
+        child.policyVersion <= parent.policyVersion ||
+        child.mode !== parent.mode ||
+        riskRank(child.outputRisk) < riskRank(parent.outputRisk) ||
+        child.exhaustedDisposition !== parent.exhaustedDisposition ||
+        child.diagnosticsPolicyId !== parent.diagnosticsPolicyId ||
+        child.redactionPolicyId !== parent.redactionPolicyId ||
+        (parent.coordinatedActionsRequired && !child.coordinatedActionsRequired) ||
+        (parent.minimumCapabilityAssurance === 'verified' &&
+            child.minimumCapabilityAssurance !== 'verified'))
+        throw new TypeError('policy_narrowing_invalid');
+    if (!sameStrings(parent.checkpoints, child.checkpoints))
+        throw new TypeError('policy_narrowing_invalid');
+    for (const required of parent.requiredCapabilities)
+        if (!child.requiredCapabilities.some((candidate) => capabilityRequirementCovers(candidate, required)))
+            throw new TypeError('policy_narrowing_invalid');
+    if (!isCanonicalSubset(child.allowedCapabilityBindings, parent.allowedCapabilityBindings) ||
+        !isStringSubset(child.allowedContextZones, parent.allowedContextZones) ||
+        !isCanonicalSubset(child.allowedTransformerBindings, parent.allowedTransformerBindings) ||
+        !isStringSubset(child.allowedMessageChannels, parent.allowedMessageChannels))
+        throw new TypeError('policy_narrowing_invalid');
+    for (const action of child.allowedActions) {
+        const ceiling = parent.allowedActions.find((candidate) => candidate.namespace === action.namespace &&
+            candidate.toolId === action.toolId &&
+            candidate.operation === action.operation &&
+            candidate.actionBindingId === action.actionBindingId);
+        if (!ceiling ||
+            action.minimumActionBindingVersion < ceiling.minimumActionBindingVersion)
+            throw new TypeError('policy_narrowing_invalid');
+    }
+    for (const binding of child.assessmentBindings) {
+        const ceiling = parent.assessmentBindings.find((candidate) => candidate.checkpoint === binding.checkpoint);
+        if (!ceiling ||
+            binding.assessorId !== ceiling.assessorId ||
+            binding.assessorVersion !== ceiling.assessorVersion ||
+            binding.assessorBindingDigest !== ceiling.assessorBindingDigest ||
+            binding.maximumResponseBytes > ceiling.maximumResponseBytes ||
+            binding.maximumEvidenceReferences > ceiling.maximumEvidenceReferences ||
+            binding.timeoutMs > ceiling.timeoutMs)
+            throw new TypeError('policy_narrowing_invalid');
+    }
+    for (const key of ['revisions', 'retries', 'challenges'])
+        if (child.budgets[key] > parent.budgets[key])
+            throw new TypeError('policy_narrowing_invalid');
+    for (const key of Object.keys(INFERENCE_CONTROL_LIMITS_V1))
+        if (child.limits[key] > parent.limits[key])
+            throw new TypeError('policy_narrowing_invalid');
+    for (const key of [
+        'maximumRunDurationMs',
+        'maximumAssessmentTtlMs',
+        'maximumGrantTtlMs',
+        'maximumMessagePermitTtlMs',
+    ])
+        if (child[key] > parent[key])
+            throw new TypeError('policy_narrowing_invalid');
+    return child;
+}
+function riskRank(value) {
+    return value === 'low' ? 0 : value === 'moderate' ? 1 : 2;
+}
+function sameStrings(left, right) {
+    return (left.length === right.length && left.every((value) => right.includes(value)));
+}
+function isStringSubset(subset, ceiling) {
+    return subset.every((value) => ceiling.includes(value));
+}
+function isCanonicalSubset(subset, ceiling) {
+    const allowed = new Set(ceiling.map((value) => canonicalizeControlJsonV1(value)));
+    return subset.every((value) => allowed.has(canonicalizeControlJsonV1(value)));
+}
+function capabilityRequirementCovers(candidate, ceiling) {
+    if (candidate.kind !== ceiling.kind)
+        return false;
+    if (candidate.kind === 'tool_interception')
+        return (candidate.value === ceiling.value ||
+            (candidate.value === 'all' && ceiling.value === 'application_only'));
+    return candidate.value === ceiling.value;
+}
+//# sourceMappingURL=policy.js.map

package/dist/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAOhF,OAAO,EACL,2BAA2B,EAC3B,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EAEjB,UAAU,EACV,YAAY,GACb,MAAM,iBAAiB,CAAC;AAEzB,MAAM,UAAU,gCAAgC,CAC9C,KAAc;IAEd,MAAM,IAAI,GAAG;QACX,eAAe;QACf,UAAU;QACV,eAAe;QACf,oBAAoB;QACpB,MAAM;QACN,YAAY;QACZ,aAAa;QACb,sBAAsB;QACtB,4BAA4B;QAC5B,2BAA2B;QAC3B,qBAAqB;QACrB,4BAA4B;QAC5B,gBAAgB;QAChB,wBAAwB;QACxB,oBAAoB;QACpB,SAAS;QACT,QAAQ;QACR,sBAAsB;QACtB,wBAAwB;QACxB,mBAAmB;QACnB,2BAA2B;QAC3B,sBAAsB;QACtB,4BAA4B;QAC5B,qBAAqB;QACrB,mBAAmB;KACpB,CAAC;IACF,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAC5E,KAAK,MAAM,GAAG,IAAI;QAChB,UAAU;QACV,qBAAqB;QACrB,mBAAmB;KACX;QACR,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChC,iBAAiB,CAAC,CAAC,CAAC,aAAa,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,kBAAkB,KAAK,IAAI;QAC/B,YAAY,CAAC,CAAC,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;IAC3D,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC;IACpE,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IACrE,WAAW,CACT,CAAC,CAAC,0BAA0B,EAC5B,CAAC,UAAU,EAAE,UAAU,CAAC,EACxB,4BAA4B,CAC7B,CAAC;IACF,WAAW,CACT,CAAC,CAAC,oBAAoB,EACtB,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,EAC/B,sBAAsB,CACvB,CAAC;IACF,KAAK,MAAM,GAAG,IAAI;QAChB,aAAa;QACb,sBAAsB;QACtB,2BAA2B;QAC3B,qBAAqB;QACrB,4BAA4B;QAC5B,gBAAgB;QAChB,wBAAwB;QACxB,oBAAoB;KACZ;QACR,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,GAAG,mBAAmB,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAG,CAAC,CAAC,WAAwB,CAAC;IAC/C,KAAK,MAAM,UAAU,IAAI,WAAW;QAClC,WAAW,CACT,UAAU,EACV,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,EAC5D,YAAY,CACb,CAAC;IACJ,YAAY,CAAC,WAAuB,EAAE,aAAa,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,CAAC,CAAC,oBAAiC,CAAC;IACzD,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACtD,eAAe,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,wBAAwB,KAAK,GAAG,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,IAA+B,CAAC;QACnD,WAAW,CACT,UAAU,CAAC,IAAI,EACf;YACE,kBAAkB;YAClB,yBAAyB;YACzB,+BAA+B;YAC/B,sBAAsB;YACtB,mBAAmB;YACnB,sBAAsB;YACtB,uBAAuB;SACxB,EACD,iBAAiB,CAClB,CAAC;QACF,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACxD,OAAO,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,YAAY,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IACtB,CAAC,CAAC,yBACH,CAAC,OAAO,EAAE,EAAE,CAAC;QACZ,eAAe,CACb,IAAI,EACJ;YACE,eAAe;YACf,cAAc;YACd,mBAAmB;YACnB,WAAW;YACX,gBAAgB;YAChB,kBAAkB;YAClB,mBAAmB;SACpB,EACD,6BAA6B,KAAK,GAAG,CACtC,CAAC;QACF,MAAM,OAAO,GAAG,IAA+B,CAAC;QAChD,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,WAAW,CAAU;YACtD,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAU;YAChE,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1C,YAAY,CAAC,OAAO,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;QAC3D,WAAW,CACT,OAAO,CAAC,iBAAiB,EACzB,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,UAAU,CAAC,EACxD,mBAAmB,CACpB,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,mBAAgC;QACnD,WAAW,CACT,IAAI,EACJ;YACE,QAAQ;YACR,WAAW;YACX,eAAe;YACf,gBAAgB;YAChB,gBAAgB;YAChB,gBAAgB;YAChB,qBAAqB;YACrB,oBAAoB;YACpB,oBAAoB;SACrB,EACD,cAAc,CACf,CAAC;IACJ,YAAY,CAAC,CAAC,CAAC,mBAA+B,EAAE,qBAAqB,CAAC,CAAC;IACvE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IACtB,CAAC,CAAC,0BACH,CAAC,OAAO,EAAE,EAAE,CAAC;QACZ,eAAe,CACb,IAAI,EACJ,CAAC,IAAI,EAAE,SAAS,CAAC,EACjB,8BAA8B,KAAK,GAAG,CACvC,CAAC;QACF,MAAM,OAAO,GAAG,IAA+B,CAAC;QAChD,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QAC/C,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAK,CAAC,CAAC,cAA4B,CAAC,OAAO,EAAE,EAAE,CAAC;QACtE,eAAe,CACb,IAAI,EACJ;YACE,eAAe;YACf,WAAW;YACX,QAAQ;YACR,WAAW;YACX,iBAAiB;YACjB,6BAA6B;SAC9B,EACD,kBAAkB,KAAK,GAAG,CAC3B,CAAC;QACF,MAAM,MAAM,GAAG,IAA+B,CAAC;QAC/C,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC;YAC5B,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI;YAChB,WAAW;YACX,QAAQ;YACR,WAAW;YACX,iBAAiB;SACT,EAAE,CAAC;YACX,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,WAAW;gBACxC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;gBACtC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,iBAAiB,CACf,MAAM,CAAC,2BAA2B,EAClC,6BAA6B,EAC7B,CAAC,CACF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,sBAAmC;QACzD,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACjD,YAAY,CAAC,CAAC,CAAC,sBAAkC,EAAE,wBAAwB,CAAC,CAAC;IAC7E,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAK,CAAC,CAAC,kBAAgC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1E,eAAe,CACb,IAAI,EACJ;YACE,eAAe;YACf,YAAY;YACZ,YAAY;YACZ,iBAAiB;YACjB,uBAAuB;YACvB,sBAAsB;YACtB,2BAA2B;YAC3B,WAAW;SACZ,EACD,sBAAsB,KAAK,GAAG,CAC/B,CAAC;QACF,MAAM,OAAO,GAAG,IAA+B,CAAC;QAChD,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;QACtD,WAAW,CACT,OAAO,CAAC,UAAU,EAClB,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,EAC5D,uBAAuB,CACxB,CAAC;QACF,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7C,gBAAgB,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACnD,iBAAiB,CAAC,OAAO,CAAC,eAAe,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;QACjE,YAAY,CAAC,OAAO,CAAC,qBAAqB,EAAE,uBAAuB,CAAC,CAAC;QACrE,iBAAiB,CAAC,OAAO,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAC3E,iBAAiB,CACf,OAAO,CAAC,yBAAyB,EACjC,2BAA2B,EAC3B,CAAC,CACF,CAAC;QACF,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,IACE,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,MAAM;QAChE,mBAAmB,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;QACjD,WAAW,CAAC,IAAI,CACd,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAoB,CAAC,CACpE;QAED,MAAM,IAAI,SAAS,CACjB,uDAAuD,CACxD,CAAC;IACJ,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9E,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,CAAU;QAC/D,iBAAiB,CACd,CAAC,CAAC,OAAmC,CAAC,GAAG,CAAC,EAC3C,WAAW,GAAG,EAAE,CACjB,CAAC;IACJ,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC9E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAExD,EAAE,CAAC;QACF,MAAM,KAAK,GAAI,CAAC,CAAC,MAA6C,CAAC,GAAG,CAAC,CAAC;QACpE,iBAAiB,CAAC,KAAK,EAAE,UAAU,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAK,KAAgB,GAAG,2BAA2B,CAAC,GAAG,CAAC;YACtD,MAAM,IAAI,SAAS,CAAC,UAAU,GAAG,2BAA2B,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,GAAG,IAAI;QAChB,sBAAsB;QACtB,wBAAwB;QACxB,mBAAmB;QACnB,2BAA2B;KACnB;QACR,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,CAAC,0BAA0B,KAAK,SAAS;QACnD,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAuD,CAAC;IACzE,IACG,CAAC,CAAC,oBAA+B,GAAG,MAAM,CAAC,gBAAgB;QAC3D,CAAC,CAAC,sBAAiC,GAAG,MAAM,CAAC,kBAAkB;QAC/D,CAAC,CAAC,iBAA4B,GAAG,MAAM,CAAC,aAAa;QACrD,CAAC,CAAC,yBAAoC,GAAG,MAAM,CAAC,qBAAqB;QAEtE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACvD,IACG,CAAC,CAAC,cAA4B,CAAC,MAAM,GAAG,CAAC;QAC1C,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC;YAChC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAE5C,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,IACG,CAAC,CAAC,sBAAoC,CAAC,MAAM,GAAG,CAAC;QAClD,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC;YACnC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAE/C,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACjE,IACE,CAAC,CAAC,UAAU,KAAK,MAAM;QACvB,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACpB,CAAC,CAAC,0BAA0B,KAAK,UAAU;YAC3C,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC;YAChC,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEpC,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACnD,OAAO,UAAU,CAAC,EAAE,GAAG,CAAC,EAAyC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,KAAc;IACzD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB,CAAC;QACxB,KAAK,yBAAyB;YAC5B,WAAW,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACjD,OAAO;QACT,KAAK,+BAA+B;YAClC,WAAW,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACrD,OAAO;QACT,KAAK,sBAAsB;YACzB,WAAW,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAClD,OAAO;QACT,KAAK,mBAAmB;YACtB,WAAW,CAAC,KAAK,EAAE,CAAC,kBAAkB,EAAE,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACpE,OAAO;QACT,KAAK,sBAAsB;YACzB,WAAW,CAAC,KAAK,EAAE,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC7D,OAAO;QACT,KAAK,uBAAuB;YAC1B,WAAW,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC5D,OAAO;QACT;YACE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AACD,MAAM,UAAU,oBAAoB,CAClC,MAAgC;IAEhC,MAAM,SAAS,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,mBAAmB,CAC/B,QAAQ,EACR,SAA2D,CAC5D;QACD,MAAM,EAAE,SAAS;KAClB,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,WAAqC,EACrC,UAAoC;IAEpC,MAAM,MAAM,GAAG,gCAAgC,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,gCAAgC,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC;IAC/D,IACE,KAAK,CAAC,kBAAkB,KAAK,YAAY;QACzC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;QAClC,KAAK,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa;QAC3C,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAC1B,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC;QACxD,KAAK,CAAC,oBAAoB,KAAK,MAAM,CAAC,oBAAoB;QAC1D,KAAK,CAAC,mBAAmB,KAAK,MAAM,CAAC,mBAAmB;QACxD,KAAK,CAAC,iBAAiB,KAAK,MAAM,CAAC,iBAAiB;QACpD,CAAC,MAAM,CAAC,0BAA0B,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;QACxE,CAAC,MAAM,CAAC,0BAA0B,KAAK,UAAU;YAC/C,KAAK,CAAC,0BAA0B,KAAK,UAAU,CAAC;QAElD,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAElD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;QACrD,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAClD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,oBAAoB;QAChD,IACE,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC7C,2BAA2B,CAAC,SAAS,EAAE,QAAQ,CAAC,CACjD;YAED,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,IACE,CAAC,iBAAiB,CAChB,KAAK,CAAC,yBAAyB,EAC/B,MAAM,CAAC,yBAAyB,CACjC;QACD,CAAC,cAAc,CAAC,KAAK,CAAC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,CAAC;QACtE,CAAC,iBAAiB,CAChB,KAAK,CAAC,0BAA0B,EAChC,MAAM,CAAC,0BAA0B,CAClC;QACD,CAAC,cAAc,CAAC,KAAK,CAAC,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,CAAC;QAE5E,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAElD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YACxC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAClC,SAAS,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YACxC,SAAS,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe,CACvD,CAAC;QACF,IACE,CAAC,OAAO;YACR,MAAM,CAAC,2BAA2B,GAAG,OAAO,CAAC,2BAA2B;YAExE,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAC5C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,CAC3D,CAAC;QACF,IACE,CAAC,OAAO;YACR,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU;YACzC,OAAO,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe;YACnD,OAAO,CAAC,qBAAqB,KAAK,OAAO,CAAC,qBAAqB;YAC/D,OAAO,CAAC,oBAAoB,GAAG,OAAO,CAAC,oBAAoB;YAC3D,OAAO,CAAC,yBAAyB,GAAG,OAAO,CAAC,yBAAyB;YACrE,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS;YAErC,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,CAAU;QAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAC1C,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAExD;QACC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YACxC,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI;QAChB,sBAAsB;QACtB,wBAAwB;QACxB,mBAAmB;QACnB,2BAA2B;KACnB;QACR,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAA6C;IAC7D,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAClB,IAAuB,EACvB,KAAwB;IAExB,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,MAAyB,EACzB,OAA0B;IAE1B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAoB,EACpB,OAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAkB,CAAC,CAAC,CACtE,CAAC;IACF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,KAAkB,CAAC,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAsC,EACtC,OAAoC;IAEpC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB;QACxC,OAAO,CACL,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;YACjC,CAAC,SAAS,CAAC,KAAK,KAAK,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,kBAAkB,CAAC,CACpE,CAAC;IACJ,OAAO,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC;AAC3C,CAAC"}

package/dist/reducer.d.ts

@@ -0,0 +1,193 @@
+import type { JsonValue } from '@agentplat/core';
+import { CapabilityRegistryV1 } from './capabilities.js';
+import type { CapabilityNegotiationResultV1 } from './capabilities.js';
+import type { ActionGrantStateV1, AssessmentRequestV1, ContextEntryV1, ControlRunRecordV1, ControlStreamChunkV1, DiagnosticV1, InferenceAssessmentV1, InferenceControlPolicyV1, InferenceControlReasonCodeV1, InferenceControlStateV1, OutboundMessageAttemptStateV1 } from './types.js';
+interface InputHeadV1 {
+    readonly schemaVersion: 1;
+    readonly inputId: string;
+    readonly expectedStateGeneration: number;
+    readonly logicalTimeMs: number;
+}
+export type InferenceControlInputV1 = InputHeadV1 & ({
+    readonly type: 'policy_registered';
+    readonly policy: InferenceControlPolicyV1;
+    readonly policyDigest: string;
+} | {
+    readonly type: 'run_created';
+    readonly run: ControlRunRecordV1;
+} | {
+    readonly type: 'context_admitted';
+    readonly entry: ContextEntryV1;
+} | {
+    readonly type: 'context_promoted';
+    readonly sourceContextEntryId: string;
+    readonly entry: ContextEntryV1;
+    readonly transformerBindingDigest: string;
+} | {
+    readonly type: 'capability_negotiated';
+    readonly runId: string;
+    readonly capabilityHandleId: string;
+    readonly descriptorDigest: string;
+    readonly result: CapabilityNegotiationResultV1;
+} | {
+    readonly type: 'assessment_requested';
+    readonly request: AssessmentRequestV1;
+} | {
+    readonly type: 'assessment_received';
+    readonly assessment: InferenceAssessmentV1;
+} | {
+    readonly type: 'provider_started';
+    readonly runId: string;
+    readonly generation: number;
+    readonly providerRequestDigest: string;
+    readonly streamId: string;
+} | {
+    readonly type: 'provider_chunk_received';
+    readonly runId: string;
+    readonly chunk: ControlStreamChunkV1;
+} | {
+    readonly type: 'provider_completed';
+    readonly runId: string;
+    readonly generation: number;
+    readonly streamId: string;
+    readonly completionContent: string;
+    readonly completionDigest: string;
+} | {
+    readonly type: 'continuation_selected';
+    readonly runId: string;
+    readonly assessmentId: string;
+    readonly kind: 'revise' | 'retry' | 'challenge';
+} | {
+    readonly type: 'output_release_ack';
+    readonly runId: string;
+    readonly streamId: string;
+    readonly generation: number;
+    readonly throughSequence: number;
+    readonly throughByteExclusive: number;
+    readonly windowDigest: string;
+} | {
+    readonly type: 'grant_issued';
+    readonly grant: ActionGrantStateV1;
+} | {
+    readonly type: 'grant_reserved';
+    readonly grantId: string;
+    readonly reservation: JsonValue;
+} | {
+    readonly type: 'action_dispatch_outcome';
+    readonly grantId: string;
+    readonly reservationId: string;
+    readonly dispatchAttemptId: string;
+    readonly outcome: 'dispatched' | 'failed' | 'indeterminate';
+} | {
+    readonly type: 'message_prepared';
+    readonly message: JsonValue;
+    readonly attempt: OutboundMessageAttemptStateV1;
+} | {
+    readonly type: 'message_reserved';
+    readonly messageAttemptId: string;
+    readonly reservation: JsonValue;
+} | {
+    readonly type: 'message_dispatch_outcome';
+    readonly messageAttemptId: string;
+    readonly reservationId: string;
+    readonly messageDispatchAttemptId: string;
+    readonly outcome: 'sent' | 'failed' | 'indeterminate';
+} | {
+    readonly type: 'deadline_fired';
+    readonly timerKind: 'run' | 'assessment' | 'grant' | 'message';
+    readonly timerId: string;
+    readonly timerGeneration: number;
+} | {
+    readonly type: 'run_cancelled' | 'run_failed';
+    readonly runId: string;
+    readonly generation: number;
+    readonly reasonCode: InferenceControlReasonCodeV1;
+});
+export type InferenceControlEffectV1 = Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'request_assessment';
+    request: AssessmentRequestV1;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'invoke_provider';
+    providerRequestDigest: string;
+    capabilityHandleId: string;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'cancel_provider';
+    streamId: string;
+    reasonCode: InferenceControlReasonCodeV1;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'release_output';
+    streamId: string;
+    fromSequence: number;
+    throughSequence: number;
+    fromByte: number;
+    throughByteExclusive: number;
+    windowDigest: string;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'invoke_continuation';
+    kind: 'revise' | 'retry' | 'challenge';
+    sourceAssessmentId: string;
+    revisedContextEntryId: string | null;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'persist_grant';
+    grantId: string;
+    stateGeneration: number;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'dispatch_action' | 'dispatch_message';
+    recordId: string;
+    permit: JsonValue;
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'emit_receipt';
+    outcome: 'accepted' | 'withheld' | 'denied' | 'unavailable';
+}> | Readonly<{
+    schemaVersion: 1;
+    effectId: string;
+    runId: string;
+    generation: number;
+    type: 'emit_diagnostic';
+    diagnostic: DiagnosticV1;
+}>;
+export interface InferenceControlReductionV1 {
+    readonly state: InferenceControlStateV1;
+    readonly accepted: boolean;
+    readonly reasonCode?: InferenceControlReasonCodeV1;
+    readonly effects: readonly InferenceControlEffectV1[];
+}
+/** Runtime dependencies deliberately remain outside the serialised state. */
+export interface InferenceControlReducerDependenciesV1 {
+    readonly capabilityRegistry?: CapabilityRegistryV1;
+}
+export declare function reduceInferenceControlStateV1(state: InferenceControlStateV1, input: InferenceControlInputV1, dependencies?: InferenceControlReducerDependenciesV1): InferenceControlReductionV1;
+export {};
+//# sourceMappingURL=reducer.d.ts.map

package/dist/reducer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.d.ts","sourceRoot":"","sources":["../src/reducer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAOjD,OAAO,EACL,oBAAoB,EAGrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAkBvE,OAAO,KAAK,EACV,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,YAAY,EACZ,qBAAqB,EACrB,wBAAwB,EAExB,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC9B,MAAM,YAAY,CAAC;AAapB,UAAU,WAAW;IACnB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,MAAM,uBAAuB,GAAG,WAAW,GAC/C,CACI;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GACrE;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;CAC3C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,6BAA6B,CAAC;CAChD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;CACvC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,WAAW,CAAC;CACjD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAA;CAAE,GACrE;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,QAAQ,GAAG,eAAe,CAAC;CAC7D,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;CACjD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,GAAG,eAAe,CAAC;CACvD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,YAAY,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,4BAA4B,CAAC;CACnD,CACJ,CAAC;AAEJ,MAAM,MAAM,wBAAwB,GAChC,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,mBAAmB,CAAC;CAC9B,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,iBAAiB,CAAC;IACxB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,4BAA4B,CAAC;CAC1C,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,WAAW,CAAC;IACvC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,iBAAiB,GAAG,kBAAkB,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC;CACnB,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,aAAa,CAAC;CAC7D,CAAC,GACF,QAAQ,CAAC;IACP,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,iBAAiB,CAAC;IACxB,UAAU,EAAE,YAAY,CAAC;CAC1B,CAAC,CAAC;AAEP,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,4BAA4B,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACvD;AAED,6EAA6E;AAC7E,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,oBAAoB,CAAC;CACpD;AAWD,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,uBAAuB,EAC9B,KAAK,EAAE,uBAAuB,EAC9B,YAAY,GAAE,qCAA0C,GACvD,2BAA2B,CA0D7B"}