@agentplat/inference-control 0.3.0-beta.2 → 0.3.0-beta.3

package/dist/semantic-alignment-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-alignment-contracts.js","sourceRoot":"","sources":["../src/semantic-alignment-contracts.ts"],"names":[],"mappings":"AAUA,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAAU,CAAC;AACvE,MAAM,CAAC,MAAM,0CAA0C,GACrD,8DAAuE,CAAC;AAE1E,MAAM,CAAC,MAAM,+BAA+B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3D,UAAU;IACV,aAAa;IACb,YAAY;CACJ,CAAC,CAAC;AAIZ,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,gBAAgB;IAChB,mBAAmB;IACnB,kBAAkB;IAClB,aAAa;IACb,yBAAyB;IACzB,uBAAuB;CACf,CAAC,CAAC"}

package/dist/semantic-alignment-memory.d.ts

@@ -0,0 +1,53 @@
+import { type SemanticActionAuthorizationAuthorityV1, type SemanticActionAuthorizationClaimsV1, type SemanticActionAuthorizationV1, type SemanticControlMonotonicAnchorV1, type SemanticControlPolicyV1, type SemanticControlStateStoreV1, type SemanticControlStateV1 } from "./semantic-alignment-contracts.js";
+export declare function createSemanticControlStateV1(input: {
+    readonly stateKey: string;
+    readonly bindingDigest: string;
+    readonly policyDigest: string;
+    readonly assessorSetDigest: string;
+}): SemanticControlStateV1;
+export declare function validateSemanticControlStateV1(state: SemanticControlStateV1, expected: {
+    readonly stateKey: string;
+    readonly bindingDigest: string;
+    readonly policyDigest: string;
+    readonly assessorSetDigest: string;
+    readonly policy: SemanticControlPolicyV1;
+}): SemanticControlStateV1;
+export declare class InMemorySemanticControlStateStoreV1 implements SemanticControlStateStoreV1, SemanticControlMonotonicAnchorV1 {
+    private readonly states;
+    private readonly anchors;
+    load(stateKey: string): Promise<SemanticControlStateV1 | null>;
+    readAnchor(stateKey: string): Promise<{
+        readonly revision: number;
+        readonly sequenceHighWater: number;
+        readonly logicalTimeHighWaterMs: number;
+        readonly stateDigest: string;
+    } | null>;
+    save(input: {
+        readonly state: SemanticControlStateV1;
+        readonly expectedRevision: number | null;
+        readonly expectedStateDigest: string | null;
+    }): Promise<boolean>;
+}
+/**
+ * Process-local authenticated lookup for development and tests. Production
+ * deployments should replace it with a durable signed or MAC-authenticated
+ * receipt service while preserving identical lookup semantics.
+ */
+export declare class InMemorySemanticActionAuthorizationAuthorityV1 implements SemanticActionAuthorizationAuthorityV1 {
+    readonly issuerId: string;
+    readonly issuerKeyDigest: string;
+    private readonly records;
+    constructor(issuerId: string, issuerKeyDigest: string);
+    issue(raw: SemanticActionAuthorizationClaimsV1): Promise<SemanticActionAuthorizationV1>;
+    lookupAndVerify(input: {
+        readonly authorizationId: string;
+        readonly authorizationDigest?: string;
+        readonly expectedClaimsDigest?: string;
+        readonly effectConsumerDigest: string;
+        readonly sinkId: string;
+        readonly sinkKeyDigest: string;
+        readonly currentLogicalTimeMs: number;
+        readonly currentStateRevision: number;
+    }): Promise<SemanticActionAuthorizationV1 | null>;
+}
+//# sourceMappingURL=semantic-alignment-memory.d.ts.map

package/dist/semantic-alignment-memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-alignment-memory.d.ts","sourceRoot":"","sources":["../src/semantic-alignment-memory.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,sCAAsC,EAC3C,KAAK,mCAAmC,EACxC,KAAK,6BAA6B,EAClC,KAAK,gCAAgC,EACrC,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,sBAAsB,EAC5B,MAAM,mCAAmC,CAAC;AAU3C,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,GAAG,sBAAsB,CAqBzB;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,sBAAsB,EAC7B,QAAQ,EAAE;IACR,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CAC1C,GACA,sBAAsB,CAoCxB;AAED,qBAAa,mCACX,YAAW,2BAA2B,EAAE,gCAAgC;IAExE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA6C;IACpE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAQpB;IAEE,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAI9D,UAAU,CAAC,QAAQ,EAAE,MAAM;2BAXV,MAAM;oCACG,MAAM;yCACD,MAAM;8BACjB,MAAM;;IAY1B,IAAI,CAAC,KAAK,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;QACvC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;KAC7C,GAAG,OAAO,CAAC,OAAO,CAAC;CAerB;AAED;;;;GAIG;AACH,qBAAa,8CACX,YAAW,sCAAsC;IAK/C,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM;IAJlC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoD;gBAGjE,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM;IAM5B,KAAK,CACT,GAAG,EAAE,mCAAmC,GACvC,OAAO,CAAC,6BAA6B,CAAC;IA6BnC,eAAe,CAAC,KAAK,EAAE;QAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;QACvC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;KACvC,GAAG,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC;CA0ClD"}

package/dist/semantic-alignment-memory.js

@@ -0,0 +1,170 @@
+import { SEMANTIC_ALIGNMENT_AGILITY_STATE_FORMAT_V1, } from "./semantic-alignment-contracts.js";
+import { createSemanticActionAuthorizationClaimsV1, digestSemanticControlV1, validateSemanticActionAuthorizationClaimsV1, validateSemanticActionAuthorizationV1, validateSemanticControlDecisionV1, } from "./semantic-alignment-validation.js";
+import { assertDigest, assertIdentifier, assertSafeInteger, deepFreeze } from "./validation.js";
+export function createSemanticControlStateV1(input) {
+    assertIdentifier(input.stateKey, "stateKey");
+    assertDigest(input.bindingDigest, "bindingDigest");
+    assertDigest(input.policyDigest, "policyDigest");
+    assertDigest(input.assessorSetDigest, "assessorSetDigest");
+    const body = deepFreeze({
+        format: SEMANTIC_ALIGNMENT_AGILITY_STATE_FORMAT_V1,
+        schemaVersion: 1,
+        ...input,
+        revision: 0,
+        sequenceHighWater: 0,
+        logicalTimeHighWaterMs: 0,
+        courseActionHistory: [],
+        recentDecisions: [],
+        lastDecision: null,
+        predecessorStateDigest: null,
+    });
+    return deepFreeze({
+        ...body,
+        stateDigest: digestSemanticControlV1("state", body),
+    });
+}
+export function validateSemanticControlStateV1(state, expected) {
+    if (state.format !== SEMANTIC_ALIGNMENT_AGILITY_STATE_FORMAT_V1 ||
+        state.schemaVersion !== 1 ||
+        state.stateKey !== expected.stateKey ||
+        state.bindingDigest !== expected.bindingDigest ||
+        state.policyDigest !== expected.policyDigest ||
+        state.assessorSetDigest !== expected.assessorSetDigest)
+        throw new TypeError("semantic_state_binding_invalid");
+    assertSafeInteger(state.revision, "revision");
+    assertSafeInteger(state.sequenceHighWater, "sequenceHighWater");
+    assertSafeInteger(state.logicalTimeHighWaterMs, "logicalTimeHighWaterMs");
+    if (state.courseActionHistory.length > expected.policy.limits.maximumCourseActionHistory)
+        throw new TypeError("semantic_state_history_bound_exceeded");
+    if (state.recentDecisions.length > expected.policy.limits.maximumRetainedDecisions)
+        throw new TypeError("semantic_state_decision_bound_exceeded");
+    for (const digest of state.courseActionHistory)
+        assertDigest(digest, "courseActionHistory");
+    for (const record of state.recentDecisions) {
+        assertDigest(record.requestDigest, "record.requestDigest");
+        assertDigest(record.aggregateAssessmentDigest, "record.aggregateAssessmentDigest");
+        assertDigest(record.decisionDigest, "record.decisionDigest");
+        assertSafeInteger(record.sequence, "record.sequence", 1);
+    }
+    if (state.predecessorStateDigest !== null)
+        assertDigest(state.predecessorStateDigest, "predecessorStateDigest");
+    if (state.lastDecision !== null) {
+        validateSemanticControlDecisionV1(state.lastDecision);
+        if (state.lastDecision.committedStateRevision !== state.revision)
+            throw new TypeError("semantic_state_last_decision_revision_invalid");
+    }
+    else if (state.revision !== 0)
+        throw new TypeError("semantic_state_last_decision_missing");
+    const { stateDigest, ...body } = state;
+    assertDigest(stateDigest, "stateDigest");
+    if (digestSemanticControlV1("state", body) !== stateDigest)
+        throw new TypeError("semantic_state_digest_invalid");
+    return deepFreeze(state);
+}
+export class InMemorySemanticControlStateStoreV1 {
+    states = new Map();
+    anchors = new Map();
+    async load(stateKey) {
+        return this.states.get(stateKey) ?? null;
+    }
+    async readAnchor(stateKey) {
+        return this.anchors.get(stateKey) ?? null;
+    }
+    async save(input) {
+        const prior = this.states.get(input.state.stateKey) ?? null;
+        if ((prior?.revision ?? null) !== input.expectedRevision ||
+            (prior?.stateDigest ?? null) !== input.expectedStateDigest)
+            return false;
+        this.states.set(input.state.stateKey, deepFreeze(input.state));
+        this.anchors.set(input.state.stateKey, deepFreeze({
+            revision: input.state.revision,
+            sequenceHighWater: input.state.sequenceHighWater,
+            logicalTimeHighWaterMs: input.state.logicalTimeHighWaterMs,
+            stateDigest: input.state.stateDigest,
+        }));
+        return true;
+    }
+}
+/**
+ * Process-local authenticated lookup for development and tests. Production
+ * deployments should replace it with a durable signed or MAC-authenticated
+ * receipt service while preserving identical lookup semantics.
+ */
+export class InMemorySemanticActionAuthorizationAuthorityV1 {
+    issuerId;
+    issuerKeyDigest;
+    records = new Map();
+    constructor(issuerId, issuerKeyDigest) {
+        this.issuerId = issuerId;
+        this.issuerKeyDigest = issuerKeyDigest;
+        assertIdentifier(issuerId, "issuerId");
+        assertDigest(issuerKeyDigest, "issuerKeyDigest");
+    }
+    async issue(raw) {
+        const claims = validateSemanticActionAuthorizationClaimsV1(raw);
+        const existing = this.records.get(claims.authorizationId);
+        if (existing) {
+            if (existing.claims.claimsDigest !== claims.claimsDigest)
+                throw new TypeError("semantic_action_authorization_id_conflict");
+            return existing;
+        }
+        const receiptBody = deepFreeze({
+            schemaVersion: 1,
+            authorizationId: claims.authorizationId,
+            claimsDigest: claims.claimsDigest,
+            issuerId: this.issuerId,
+            issuerKeyDigest: this.issuerKeyDigest,
+        });
+        const authorization = validateSemanticActionAuthorizationV1({
+            schemaVersion: 1,
+            claims,
+            issuerId: this.issuerId,
+            issuerKeyDigest: this.issuerKeyDigest,
+            authorizationDigest: digestSemanticControlV1("action-authorization", receiptBody),
+        }, this);
+        this.records.set(claims.authorizationId, authorization);
+        return authorization;
+    }
+    async lookupAndVerify(input) {
+        assertIdentifier(input.authorizationId, "authorizationId");
+        if (input.authorizationDigest !== undefined)
+            assertDigest(input.authorizationDigest, "authorizationDigest");
+        if (input.expectedClaimsDigest !== undefined)
+            assertDigest(input.expectedClaimsDigest, "expectedClaimsDigest");
+        assertDigest(input.effectConsumerDigest, "effectConsumerDigest");
+        assertIdentifier(input.sinkId, "sinkId");
+        assertDigest(input.sinkKeyDigest, "sinkKeyDigest");
+        assertSafeInteger(input.currentLogicalTimeMs, "currentLogicalTimeMs");
+        assertSafeInteger(input.currentStateRevision, "currentStateRevision");
+        const authorization = this.records.get(input.authorizationId);
+        if (!authorization)
+            return null;
+        const claims = createSemanticActionAuthorizationClaimsV1(stripClaimsDigest(authorization.claims));
+        const receiptBody = deepFreeze({
+            schemaVersion: 1,
+            authorizationId: claims.authorizationId,
+            claimsDigest: claims.claimsDigest,
+            issuerId: authorization.issuerId,
+            issuerKeyDigest: authorization.issuerKeyDigest,
+        });
+        const expectedAuthorizationDigest = digestSemanticControlV1("action-authorization", receiptBody);
+        if (authorization.authorizationDigest !== expectedAuthorizationDigest ||
+            (input.authorizationDigest !== undefined &&
+                input.authorizationDigest !== authorization.authorizationDigest) ||
+            (input.expectedClaimsDigest !== undefined &&
+                input.expectedClaimsDigest !== claims.claimsDigest) ||
+            claims.effectConsumerDigest !== input.effectConsumerDigest ||
+            claims.sinkId !== input.sinkId ||
+            claims.sinkKeyDigest !== input.sinkKeyDigest ||
+            input.currentLogicalTimeMs < claims.validFromLogicalTimeMs ||
+            input.currentLogicalTimeMs > claims.validUntilLogicalTimeMs ||
+            input.currentStateRevision < claims.committedStateRevision)
+            return null;
+        return validateSemanticActionAuthorizationV1(authorization, this);
+    }
+}
+function stripClaimsDigest(claims) {
+    const { claimsDigest: _ignored, ...body } = claims;
+    return body;
+}
+//# sourceMappingURL=semantic-alignment-memory.js.map

package/dist/semantic-alignment-memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-alignment-memory.js","sourceRoot":"","sources":["../src/semantic-alignment-memory.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0CAA0C,GAQ3C,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,yCAAyC,EACzC,uBAAuB,EACvB,2CAA2C,EAC3C,qCAAqC,EACrC,iCAAiC,GAClC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAEhG,MAAM,UAAU,4BAA4B,CAAC,KAK5C;IACC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC7C,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IACnD,YAAY,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IACjD,YAAY,CAAC,KAAK,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,UAAU,CAAC;QACtB,MAAM,EAAE,0CAA0C;QAClD,aAAa,EAAE,CAAU;QACzB,GAAG,KAAK;QACR,QAAQ,EAAE,CAAC;QACX,iBAAiB,EAAE,CAAC;QACpB,sBAAsB,EAAE,CAAC;QACzB,mBAAmB,EAAE,EAAuB;QAC5C,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,IAAI;QAClB,sBAAsB,EAAE,IAAI;KAC7B,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;QAChB,GAAG,IAAI;QACP,WAAW,EAAE,uBAAuB,CAAC,OAAO,EAAE,IAA4B,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,KAA6B,EAC7B,QAMC;IAED,IACE,KAAK,CAAC,MAAM,KAAK,0CAA0C;QAC3D,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACpC,KAAK,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa;QAC9C,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;QAC5C,KAAK,CAAC,iBAAiB,KAAK,QAAQ,CAAC,iBAAiB;QACtD,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,iBAAiB,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9C,iBAAiB,CAAC,KAAK,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAChE,iBAAiB,CAAC,KAAK,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,0BAA0B;QACtF,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,wBAAwB;QAChF,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,mBAAmB;QAAE,YAAY,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC5F,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC3C,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,sBAAsB,CAAC,CAAC;QAC3D,YAAY,CAAC,MAAM,CAAC,yBAAyB,EAAE,kCAAkC,CAAC,CAAC;QACnF,YAAY,CAAC,MAAM,CAAC,cAAc,EAAE,uBAAuB,CAAC,CAAC;QAC7D,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI;QACvC,YAAY,CAAC,KAAK,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QAChC,iCAAiC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,YAAY,CAAC,sBAAsB,KAAK,KAAK,CAAC,QAAQ;YAC9D,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IACvC,YAAY,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACzC,IAAI,uBAAuB,CAAC,OAAO,EAAE,IAA4B,CAAC,KAAK,WAAW;QAChF,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACvD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,OAAO,mCAAmC;IAG7B,MAAM,GAAG,IAAI,GAAG,EAAkC,CAAC;IACnD,OAAO,GAAG,IAAI,GAAG,EAQ/B,CAAC;IAEJ,KAAK,CAAC,IAAI,CAAC,QAAgB;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,QAAgB;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAIV;QACC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;QAC5D,IACE,CAAC,KAAK,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,gBAAgB;YACpD,CAAC,KAAK,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,mBAAmB;YAC1D,OAAO,KAAK,CAAC;QACf,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;YAChD,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;YAC9B,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,iBAAiB;YAChD,sBAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,sBAAsB;YAC1D,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;SACrC,CAAC,CAAC,CAAC;QACJ,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,8CAA8C;IAM9C;IACA;IAJM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IAE5E,YACW,QAAgB,EAChB,eAAuB;QADvB,aAAQ,GAAR,QAAQ,CAAQ;QAChB,oBAAe,GAAf,eAAe,CAAQ;QAEhC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACvC,YAAY,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,KAAK,CACT,GAAwC;QAExC,MAAM,MAAM,GAAG,2CAA2C,CAAC,GAAG,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY;gBACtD,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;YACnE,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,WAAW,GAAG,UAAU,CAAC;YAC7B,aAAa,EAAE,CAAU;YACzB,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,qCAAqC,CAAC;YAC1D,aAAa,EAAE,CAAC;YAChB,MAAM;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,mBAAmB,EAAE,uBAAuB,CAC1C,sBAAsB,EACtB,WAAmC,CACpC;SACF,EAAE,IAAI,CAAC,CAAC;QACT,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,eAAe,CAAC,KASrB;QACC,gBAAgB,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;QAC3D,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS;YACzC,YAAY,CAAC,KAAK,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS;YAC1C,YAAY,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;QACnE,YAAY,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;QACjE,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACzC,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QACnD,iBAAiB,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;QACtE,iBAAiB,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;QACtE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9D,IAAI,CAAC,aAAa;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,MAAM,GAAG,yCAAyC,CACtD,iBAAiB,CAAC,aAAa,CAAC,MAAM,CAAC,CACxC,CAAC;QACF,MAAM,WAAW,GAAG,UAAU,CAAC;YAC7B,aAAa,EAAE,CAAU;YACzB,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,eAAe,EAAE,aAAa,CAAC,eAAe;SAC/C,CAAC,CAAC;QACH,MAAM,2BAA2B,GAAG,uBAAuB,CACzD,sBAAsB,EACtB,WAAmC,CACpC,CAAC;QACF,IACE,aAAa,CAAC,mBAAmB,KAAK,2BAA2B;YACjE,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS;gBACtC,KAAK,CAAC,mBAAmB,KAAK,aAAa,CAAC,mBAAmB,CAAC;YAClE,CAAC,KAAK,CAAC,oBAAoB,KAAK,SAAS;gBACvC,KAAK,CAAC,oBAAoB,KAAK,MAAM,CAAC,YAAY,CAAC;YACrD,MAAM,CAAC,oBAAoB,KAAK,KAAK,CAAC,oBAAoB;YAC1D,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC9B,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;YAC5C,KAAK,CAAC,oBAAoB,GAAG,MAAM,CAAC,sBAAsB;YAC1D,KAAK,CAAC,oBAAoB,GAAG,MAAM,CAAC,uBAAuB;YAC3D,KAAK,CAAC,oBAAoB,GAAG,MAAM,CAAC,sBAAsB;YAC1D,OAAO,IAAI,CAAC;QACd,OAAO,qCAAqC,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;CACF;AAED,SAAS,iBAAiB,CACxB,MAA2C;IAE3C,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IACnD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/semantic-alignment-runtime.d.ts

@@ -0,0 +1,67 @@
+import { type SemanticActionAuthorizationV1, type SemanticActionEffectReceiptV1, type SemanticActionEffectSinkV1, type SemanticControlDecisionV1, type SemanticControlEvaluationInputV1, type SemanticControlMonotonicAnchorV1, type SemanticControlRuntimeOptionsV1, type SemanticControlRuntimePortV1, type SemanticControlStateStoreV1, type SemanticControlStateV1 } from "./semantic-alignment-contracts.js";
+export declare class SemanticAlignmentAgilityRuntimeV1 implements SemanticControlRuntimePortV1 {
+    readonly options: SemanticControlRuntimeOptionsV1;
+    readonly store: SemanticControlStateStoreV1;
+    readonly anchor: SemanticControlMonotonicAnchorV1;
+    readonly stateKey: string;
+    readonly assessorSetDigest: string;
+    constructor(options: SemanticControlRuntimeOptionsV1);
+    getState(): Promise<SemanticControlStateV1 | null>;
+    preStep(input: SemanticControlEvaluationInputV1): Promise<SemanticControlDecisionV1>;
+    postOutput(input: SemanticControlEvaluationInputV1): Promise<SemanticControlDecisionV1>;
+    preAction(input: SemanticControlEvaluationInputV1): Promise<SemanticControlDecisionV1>;
+    runStep<T>(input: SemanticControlEvaluationInputV1, run: () => Promise<T> | T): Promise<{
+        decision: SemanticControlDecisionV1;
+        value: Awaited<T> | null;
+    }>;
+    releaseOutput<T>(input: SemanticControlEvaluationInputV1, release: () => Promise<T> | T): Promise<{
+        decision: SemanticControlDecisionV1;
+        value: Awaited<T> | null;
+    }>;
+    authorizeAction(input: SemanticControlEvaluationInputV1): Promise<{
+        decision: SemanticControlDecisionV1;
+        authorization: null;
+    } | {
+        decision: SemanticControlDecisionV1;
+        authorization: SemanticActionAuthorizationV1;
+    }>;
+    verifyActionAuthorization(input: {
+        readonly authorizationId: string;
+        readonly authorizationDigest?: string;
+        readonly expectedTargetDigest: string;
+        readonly expectedActionPayloadDigest: string;
+        readonly currentLogicalTimeMs: number;
+    }): Promise<SemanticActionAuthorizationV1>;
+    dispatchAuthorizedAction(input: {
+        readonly authorizationId: string;
+        readonly authorizationDigest?: string;
+        readonly expectedTargetDigest: string;
+        readonly expectedActionPayloadDigest: string;
+        readonly currentLogicalTimeMs: number;
+    }, sink: SemanticActionEffectSinkV1): Promise<{
+        readonly authorization: SemanticActionAuthorizationV1;
+        readonly effectReceipt: SemanticActionEffectReceiptV1;
+    }>;
+    dispatchAction(input: SemanticControlEvaluationInputV1, currentLogicalTimeMs: number, sink: SemanticActionEffectSinkV1): Promise<{
+        effectReceipt: null;
+        decision: SemanticControlDecisionV1;
+        authorization: null;
+    } | {
+        authorization: SemanticActionAuthorizationV1;
+        effectReceipt: SemanticActionEffectReceiptV1;
+        decision: SemanticControlDecisionV1;
+    }>;
+    evaluate(raw: SemanticControlEvaluationInputV1): Promise<SemanticControlDecisionV1>;
+    private ask;
+    private aggregate;
+    private commitDecision;
+    private loadOrInitial;
+    private validateState;
+    private assertRequestBounds;
+    private validateInterventionGate;
+    private assertPayloadBinding;
+    private assertForward;
+    private assertHistory;
+    private requireCheckpoint;
+}
+//# sourceMappingURL=semantic-alignment-runtime.d.ts.map

package/dist/semantic-alignment-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-alignment-runtime.d.ts","sourceRoot":"","sources":["../src/semantic-alignment-runtime.ts"],"names":[],"mappings":"AAWA,OAAO,EAGL,KAAK,6BAA6B,EAClC,KAAK,6BAA6B,EAClC,KAAK,0BAA0B,EAI/B,KAAK,yBAAyB,EAG9B,KAAK,gCAAgC,EACrC,KAAK,gCAAgC,EACrC,KAAK,+BAA+B,EACpC,KAAK,4BAA4B,EACjC,KAAK,2BAA2B,EAChC,KAAK,sBAAsB,EAE5B,MAAM,mCAAmC,CAAC;AA8C3C,qBAAa,iCAAkC,YAAW,4BAA4B;IAMxE,QAAQ,CAAC,OAAO,EAAE,+BAA+B;IAL7D,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;gBAEd,OAAO,EAAE,+BAA+B;IAsGvD,QAAQ,IAAI,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAQlD,OAAO,CAAC,KAAK,EAAE,gCAAgC;IAK/C,UAAU,CAAC,KAAK,EAAE,gCAAgC;IAKlD,SAAS,CAAC,KAAK,EAAE,gCAAgC;IAKjD,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;;;;IAK7E,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,gCAAgC,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;;;;IAKvF,eAAe,CAAC,KAAK,EAAE,gCAAgC;;;;;;;IA8DvD,yBAAyB,CAAC,KAAK,EAAE;QACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;QAC7C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;KACvC,GAAG,OAAO,CAAC,6BAA6B,CAAC;IA6DpC,wBAAwB,CAC5B,KAAK,EAAE;QACL,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;QACtC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;QAC7C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;KACvC,EACD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC;QACT,QAAQ,CAAC,aAAa,EAAE,6BAA6B,CAAC;QACtD,QAAQ,CAAC,aAAa,EAAE,6BAA6B,CAAC;KACvD,CAAC;IAyCI,cAAc,CAClB,KAAK,EAAE,gCAAgC,EACvC,oBAAoB,EAAE,MAAM,EAC5B,IAAI,EAAE,0BAA0B;;;;;uBA9CR,6BAA6B;uBAC7B,6BAA6B;;;IAsEjD,QAAQ,CAAC,GAAG,EAAE,gCAAgC,GAAG,OAAO,CAAC,yBAAyB,CAAC;YA6G3E,GAAG;IAqBjB,OAAO,CAAC,SAAS;YAsIH,cAAc;YAyFd,aAAa;YAgBb,aAAa;IAoB3B,OAAO,CAAC,mBAAmB;YAcb,wBAAwB;IAyDtC,OAAO,CAAC,oBAAoB;IAgB5B,OAAO,CAAC,aAAa;IAKrB,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,iBAAiB;CAG1B"}