@band-ai/band-sdk-core 0.4.1 → 0.6.0

package/README.md

@@ -54,7 +54,7 @@ exception class.
 
 ### Delivery-state runtime classes
 
-`ClaimRegistry`, `RetryTracker`, and `ParticipantRoster` are the
+`ClaimRegistry`, `RetryTracker`, `ParticipantRoster`, and `SubscriptionTracker` are the
 inbound-delivery runtime state classes — lifecycle and design decisions:
 [`runtime-state-policy.md`](https://github.com/band-ai/band-sdk-core/blob/main/crates/core/docs/runtime-state-policy.md).
 
@@ -68,6 +68,75 @@ snapshot names the same `id` twice. `RetryTracker`'s `maxTracked` must be
 at least `1`; `0` throws. `ClaimRegistry`'s `maxCompleted` must be at
 least `1` too — `0` also throws.
 
+`SubscriptionTracker` provides synchronous, transport-independent decisions for
+agent-topic joins and the two-topic room subscription transaction. Its opaque
+tickets are JavaScript `bigint` values and must be supplied when recording a
+completion. Failed rollbacks and failed or unknown leaves require explicit
+reconciliation before a fresh claim is allowed.
+
+### `SubscriptionTracker` lifecycle
+
+```ts
+import { SubscriptionTracker } from "@band-ai/band-sdk-core";
+
+const tracker = new SubscriptionTracker();
+const ticket = tracker.beginRoomSubscribe("room-1");
+if (ticket === undefined) throw new Error("room is not claimable");
+
+switch (tracker.recordRoomParticipantsJoinFailed("room-1", ticket, false)) {
+  case "rollback_failed":
+    if (tracker.roomStatus("room-1") !== "needs_reconciliation") {
+      throw new Error("rollback state was not retained");
+    }
+    tracker.acknowledgeRoomReconciled("room-1");
+    const retryTicket = tracker.beginRoomSubscribe("room-1");
+    if (retryTicket === undefined) throw new Error("reconciled room is not claimable");
+    if (tracker.recordBothRoomTopicsJoined("room-1", retryTicket) !== "subscribed") {
+      throw new Error("room did not subscribe");
+    }
+    const leaveTicket = tracker.unsubscribeRoom("room-1");
+    if (leaveTicket === undefined || !tracker.markRoomLeaveComplete("room-1", leaveTicket, "left")) {
+      throw new Error("room did not leave");
+    }
+    break;
+  case "subscribed":
+  case "join_failed":
+  case "rolled_back":
+  case "stale":
+    break;
+}
+```
+
+### `Session` — WebSocket reconnect state machine
+
+`Session`/`SessionPolicy` are a sans-io session state machine plus
+reconnect backoff/jitter policy; `classifyClose`/`classifyUpgrade`
+classify a WebSocket close code or HTTP upgrade-rejection status.
+`Session` never sleeps, connects, or closes a socket itself — the caller
+drives its own transport and reports what happened through `onConnected`/
+`onSocketClose`/`onUpgradeRejected`/`onSupersede`. Its epoch tickets are
+JavaScript `bigint` values, matching `SubscriptionTracker`'s. Confirmed
+decisions:
+[`runtime-state-policy.md`](https://github.com/band-ai/band-sdk-core/blob/main/crates/core/docs/runtime-state-policy.md)'s
+`## Session` section.
+
+### `Session` lifecycle
+
+```ts
+import { Session, SessionPolicy } from "@band-ai/band-sdk-core";
+
+const session = new Session(SessionPolicy.default());
+const epoch = session.beginAttempt(0.0);
+if (epoch === undefined) throw new Error("fresh session must yield an epoch");
+
+const connected = session.onConnected(epoch, 0.0);
+if (connected.state !== "up") throw new Error("expected up");
+
+const disconnected = session.onSocketClose(epoch, 5.0, 1006, 0.5);
+if (disconnected.state !== "reconnecting") throw new Error("expected reconnecting");
+if (disconnected.retryAfterS === undefined) throw new Error("expected a retry delay");
+```
+
 ### `validateMemoryTypeForSystem(system, type, traceContext?)`
 
 Validates the canonical memory taxonomy — design decisions:

package/band_sdk_core.js

@@ -348,6 +348,533 @@ class RetryTracker {
 if (Symbol.dispose) RetryTracker.prototype[Symbol.dispose] = RetryTracker.prototype.free;
 exports.RetryTracker = RetryTracker;
 
+/**
+ * One WebSocket session's state machine. Behavior contract:
+ * `docs/runtime-state-policy.md`'s `## Session` section.
+ */
+class Session {
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        SessionFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_session_free(ptr, 0);
+    }
+    /**
+     * @param {number} nowS
+     * @returns {bigint | undefined}
+     */
+    beginAttempt(nowS) {
+        const ret = wasm.session_beginAttempt(this.__wbg_ptr, nowS);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return ret[0] === 0 ? undefined : BigInt.asUintN(64, ret[1]);
+    }
+    /**
+     * @returns {string}
+     */
+    end() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const ret = wasm.session_end(this.__wbg_ptr);
+            deferred1_0 = ret[0];
+            deferred1_1 = ret[1];
+            return getStringFromWasm0(ret[0], ret[1]);
+        } finally {
+            wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
+        }
+    }
+    /**
+     * @param {SessionPolicy} policy
+     */
+    constructor(policy) {
+        _assertClass(policy, SessionPolicy);
+        const ret = wasm.session_new(policy.__wbg_ptr);
+        this.__wbg_ptr = ret;
+        SessionFinalization.register(this, this.__wbg_ptr, this);
+        return this;
+    }
+    /**
+     * @param {bigint} epoch
+     * @param {number} nowS
+     * @returns {SessionOutcome}
+     */
+    onConnected(epoch, nowS) {
+        const ret = wasm.session_onConnected(this.__wbg_ptr, epoch, nowS);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return SessionOutcome.__wrap(ret[0]);
+    }
+    /**
+     * @param {bigint} epoch
+     * @param {number} nowS
+     * @param {number | null | undefined} closeCode
+     * @param {number} jitterSample
+     * @returns {SessionOutcome}
+     */
+    onSocketClose(epoch, nowS, closeCode, jitterSample) {
+        const ret = wasm.session_onSocketClose(this.__wbg_ptr, epoch, nowS, !isLikeNone(closeCode), isLikeNone(closeCode) ? 0 : closeCode, jitterSample);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return SessionOutcome.__wrap(ret[0]);
+    }
+    /**
+     * @param {number} nowS
+     * @param {boolean} retryable
+     * @param {number | null | undefined} retryAfterS
+     * @param {number} jitterSample
+     * @returns {SessionOutcome}
+     */
+    onSupersede(nowS, retryable, retryAfterS, jitterSample) {
+        const ret = wasm.session_onSupersede(this.__wbg_ptr, nowS, retryable, !isLikeNone(retryAfterS), isLikeNone(retryAfterS) ? 0 : retryAfterS, jitterSample);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return SessionOutcome.__wrap(ret[0]);
+    }
+    /**
+     * @param {bigint} epoch
+     * @param {number} nowS
+     * @param {number} status
+     * @param {number | null | undefined} retryAfterS
+     * @param {number} jitterSample
+     * @returns {SessionOutcome}
+     */
+    onUpgradeRejected(epoch, nowS, status, retryAfterS, jitterSample) {
+        const ret = wasm.session_onUpgradeRejected(this.__wbg_ptr, epoch, nowS, status, !isLikeNone(retryAfterS), isLikeNone(retryAfterS) ? 0 : retryAfterS, jitterSample);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return SessionOutcome.__wrap(ret[0]);
+    }
+    /**
+     * @returns {string}
+     */
+    get state() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const ret = wasm.session_state(this.__wbg_ptr);
+            deferred1_0 = ret[0];
+            deferred1_1 = ret[1];
+            return getStringFromWasm0(ret[0], ret[1]);
+        } finally {
+            wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
+        }
+    }
+}
+if (Symbol.dispose) Session.prototype[Symbol.dispose] = Session.prototype.free;
+exports.Session = Session;
+
+/**
+ * The settled outcome of one `Session` call.
+ */
+class SessionOutcome {
+    static __wrap(ptr) {
+        const obj = Object.create(SessionOutcome.prototype);
+        obj.__wbg_ptr = ptr;
+        SessionOutcomeFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        SessionOutcomeFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_sessionoutcome_free(ptr, 0);
+    }
+    /**
+     * @returns {string | undefined}
+     */
+    get deadReason() {
+        const ret = wasm.sessionoutcome_deadReason(this.__wbg_ptr);
+        let v1;
+        if (ret[0] !== 0) {
+            v1 = getStringFromWasm0(ret[0], ret[1]);
+            wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
+        }
+        return v1;
+    }
+    /**
+     * @returns {number | undefined}
+     */
+    get retryAfterS() {
+        const ret = wasm.sessionoutcome_retryAfterS(this.__wbg_ptr);
+        return ret[0] === 0 ? undefined : ret[1];
+    }
+    /**
+     * @returns {boolean}
+     */
+    get stale() {
+        const ret = wasm.sessionoutcome_stale(this.__wbg_ptr);
+        return ret !== 0;
+    }
+    /**
+     * @returns {string}
+     */
+    get state() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const ret = wasm.sessionoutcome_state(this.__wbg_ptr);
+            deferred1_0 = ret[0];
+            deferred1_1 = ret[1];
+            return getStringFromWasm0(ret[0], ret[1]);
+        } finally {
+            wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
+        }
+    }
+}
+if (Symbol.dispose) SessionOutcome.prototype[Symbol.dispose] = SessionOutcome.prototype.free;
+exports.SessionOutcome = SessionOutcome;
+
+/**
+ * Reconnect backoff/jitter policy, plus the graduated rapid-disconnect
+ * cooldown ladder. Behavior contract: `docs/runtime-state-policy.md`'s
+ * `## Session` section.
+ */
+class SessionPolicy {
+    static __wrap(ptr) {
+        const obj = Object.create(SessionPolicy.prototype);
+        obj.__wbg_ptr = ptr;
+        SessionPolicyFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        SessionPolicyFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_sessionpolicy_free(ptr, 0);
+    }
+    /**
+     * A recommended, not final, default.
+     * @returns {SessionPolicy}
+     */
+    static default() {
+        const ret = wasm.sessionpolicy_default();
+        return SessionPolicy.__wrap(ret);
+    }
+    /**
+     * `config` is any plain object with the fields declared in
+     * `index.d.ts`'s `SessionPolicyConfig`; grouped into one value rather
+     * than a flat, many-argument constructor.
+     * @param {any} config
+     * @param {any} traceContext
+     */
+    constructor(config, traceContext) {
+        const ret = wasm.sessionpolicy_new(config, traceContext);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        this.__wbg_ptr = ret[0];
+        SessionPolicyFinalization.register(this, this.__wbg_ptr, this);
+        return this;
+    }
+}
+if (Symbol.dispose) SessionPolicy.prototype[Symbol.dispose] = SessionPolicy.prototype.free;
+exports.SessionPolicy = SessionPolicy;
+
+/**
+ * Transport-independent subscription decisions for one agent session.
+ */
+class SubscriptionTracker {
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        SubscriptionTrackerFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_subscriptiontracker_free(ptr, 0);
+    }
+    /**
+     * @param {any} topic
+     * @returns {boolean}
+     */
+    acknowledgeAgentTopicReconciled(topic) {
+        const ret = wasm.subscriptiontracker_acknowledgeAgentTopicReconciled(this.__wbg_ptr, topic);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} room_id
+     * @returns {boolean}
+     */
+    acknowledgeRoomReconciled(room_id) {
+        const ret = wasm.subscriptiontracker_acknowledgeRoomReconciled(this.__wbg_ptr, room_id);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} topic
+     * @returns {string}
+     */
+    agentTopicStatus(topic) {
+        const ret = wasm.subscriptiontracker_agentTopicStatus(this.__wbg_ptr, topic);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return getStringFromWasm0(ret[0], ret[1]);
+    }
+    /**
+     * @param {any} topic
+     * @returns {bigint | undefined}
+     */
+    beginAgentTopicJoin(topic) {
+        const ret = wasm.subscriptiontracker_beginAgentTopicJoin(this.__wbg_ptr, topic);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return ret[0] === 0 ? undefined : BigInt.asUintN(64, ret[1]);
+    }
+    /**
+     * @param {any} room_id
+     * @returns {bigint | undefined}
+     */
+    beginRoomSubscribe(room_id) {
+        const ret = wasm.subscriptiontracker_beginRoomSubscribe(this.__wbg_ptr, room_id);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return ret[0] === 0 ? undefined : BigInt.asUintN(64, ret[1]);
+    }
+    endSession() {
+        wasm.subscriptiontracker_endSession(this.__wbg_ptr);
+    }
+    /**
+     * @param {any} topic
+     * @param {bigint} ticket
+     * @returns {boolean}
+     */
+    isAgentTopicClaimCurrent(topic, ticket) {
+        const ret = wasm.subscriptiontracker_isAgentTopicClaimCurrent(this.__wbg_ptr, topic, ticket);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} topic
+     * @returns {boolean}
+     */
+    isAgentTopicJoined(topic) {
+        const ret = wasm.subscriptiontracker_isAgentTopicJoined(this.__wbg_ptr, topic);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} room_id
+     * @param {bigint} ticket
+     * @returns {boolean}
+     */
+    isRoomClaimCurrent(room_id, ticket) {
+        const ret = wasm.subscriptiontracker_isRoomClaimCurrent(this.__wbg_ptr, room_id, ticket);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} room_id
+     * @returns {boolean}
+     */
+    isRoomSubscribed(room_id) {
+        const ret = wasm.subscriptiontracker_isRoomSubscribed(this.__wbg_ptr, room_id);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @returns {string[]}
+     */
+    joinedAgentTopics() {
+        const ret = wasm.subscriptiontracker_joinedAgentTopics(this.__wbg_ptr);
+        var v1 = getArrayJsValueFromWasm0(ret[0], ret[1]);
+        wasm.__wbindgen_free(ret[0], ret[1] * 4, 4);
+        return v1;
+    }
+    /**
+     * @param {any} topic
+     * @returns {bigint | undefined}
+     */
+    leaveAgentTopic(topic) {
+        const ret = wasm.subscriptiontracker_leaveAgentTopic(this.__wbg_ptr, topic);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return ret[0] === 0 ? undefined : BigInt.asUintN(64, ret[1]);
+    }
+    /**
+     * @param {any} topic
+     * @param {bigint} ticket
+     * @param {any} outcome
+     * @returns {boolean}
+     */
+    markAgentTopicLeaveComplete(topic, ticket, outcome) {
+        const ret = wasm.subscriptiontracker_markAgentTopicLeaveComplete(this.__wbg_ptr, topic, ticket, outcome);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} room_id
+     * @param {bigint} ticket
+     * @param {any} outcome
+     * @returns {boolean}
+     */
+    markRoomLeaveComplete(room_id, ticket, outcome) {
+        const ret = wasm.subscriptiontracker_markRoomLeaveComplete(this.__wbg_ptr, room_id, ticket, outcome);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    constructor() {
+        const ret = wasm.subscriptiontracker_new();
+        this.__wbg_ptr = ret;
+        SubscriptionTrackerFinalization.register(this, this.__wbg_ptr, this);
+        return this;
+    }
+    onReconnected() {
+        wasm.subscriptiontracker_onReconnected(this.__wbg_ptr);
+    }
+    /**
+     * @param {any} topic
+     * @param {bigint} ticket
+     * @param {boolean} joined
+     * @returns {boolean}
+     */
+    recordAgentTopicJoin(topic, ticket, joined) {
+        const ret = wasm.subscriptiontracker_recordAgentTopicJoin(this.__wbg_ptr, topic, ticket, joined);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return ret[0] !== 0;
+    }
+    /**
+     * @param {any} room_id
+     * @param {bigint} ticket
+     * @returns {string}
+     */
+    recordBothRoomTopicsJoined(room_id, ticket) {
+        const ret = wasm.subscriptiontracker_recordBothRoomTopicsJoined(this.__wbg_ptr, room_id, ticket);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return getStringFromWasm0(ret[0], ret[1]);
+    }
+    /**
+     * @param {any} room_id
+     * @param {bigint} ticket
+     * @returns {string}
+     */
+    recordChatRoomJoinFailed(room_id, ticket) {
+        const ret = wasm.subscriptiontracker_recordChatRoomJoinFailed(this.__wbg_ptr, room_id, ticket);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return getStringFromWasm0(ret[0], ret[1]);
+    }
+    /**
+     * @param {any} room_id
+     * @param {bigint} ticket
+     * @param {boolean} chatRoomLeft
+     * @returns {string}
+     */
+    recordRoomParticipantsJoinFailed(room_id, ticket, chatRoomLeft) {
+        const ret = wasm.subscriptiontracker_recordRoomParticipantsJoinFailed(this.__wbg_ptr, room_id, ticket, chatRoomLeft);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return getStringFromWasm0(ret[0], ret[1]);
+    }
+    /**
+     * @param {any} room_id
+     * @returns {string}
+     */
+    roomStatus(room_id) {
+        const ret = wasm.subscriptiontracker_roomStatus(this.__wbg_ptr, room_id);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return getStringFromWasm0(ret[0], ret[1]);
+    }
+    /**
+     * @returns {string[]}
+     */
+    subscribedRoomIds() {
+        const ret = wasm.subscriptiontracker_subscribedRoomIds(this.__wbg_ptr);
+        var v1 = getArrayJsValueFromWasm0(ret[0], ret[1]);
+        wasm.__wbindgen_free(ret[0], ret[1] * 4, 4);
+        return v1;
+    }
+    /**
+     * @param {any} room_id
+     * @returns {bigint | undefined}
+     */
+    unsubscribeRoom(room_id) {
+        const ret = wasm.subscriptiontracker_unsubscribeRoom(this.__wbg_ptr, room_id);
+        if (ret[3]) {
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        return ret[0] === 0 ? undefined : BigInt.asUintN(64, ret[1]);
+    }
+}
+if (Symbol.dispose) SubscriptionTracker.prototype[Symbol.dispose] = SubscriptionTracker.prototype.free;
+exports.SubscriptionTracker = SubscriptionTracker;
+
+/**
+ * Classify a WebSocket close code. Returns `[terminal, delayRange]`.
+ * @param {number | null} [closeCode]
+ * @returns {Array<any>}
+ */
+function classifyClose(closeCode) {
+    const ret = wasm.classifyClose(!isLikeNone(closeCode), isLikeNone(closeCode) ? 0 : closeCode);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.classifyClose = classifyClose;
+
+/**
+ * Classify an HTTP upgrade-rejection status code. Returns
+ * `[terminal, delayRange]`.
+ * @param {number} status
+ * @returns {Array<any>}
+ */
+function classifyUpgrade(status) {
+    const ret = wasm.classifyUpgrade(status);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.classifyUpgrade = classifyUpgrade;
+
 /**
  * Validate and normalize an inbound platform event payload.
  *
@@ -486,6 +1013,10 @@ function __wbg_get_imports() {
             const ret = Object.entries(arg0);
             return ret;
         },
+        __wbg_get_971a0c45d172643f: function() { return handleError(function (arg0, arg1) {
+            const ret = Reflect.get(arg0, arg1);
+            return ret;
+        }, arguments); },
         __wbg_get_c0c8f8d7da0c03dd: function(arg0, arg1) {
             const ret = arg0[arg1 >>> 0];
             return ret;
@@ -650,6 +1181,18 @@ const ParticipantRosterFinalization = (typeof FinalizationRegistry === 'undefine
 const RetryTrackerFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
     : new FinalizationRegistry(ptr => wasm.__wbg_retrytracker_free(ptr, 1));
+const SessionFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_session_free(ptr, 1));
+const SessionOutcomeFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_sessionoutcome_free(ptr, 1));
+const SessionPolicyFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_sessionpolicy_free(ptr, 1));
+const SubscriptionTrackerFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_subscriptiontracker_free(ptr, 1));
 
 function addToExternrefTable0(obj) {
     const idx = wasm.__externref_table_alloc();
@@ -657,6 +1200,12 @@ function addToExternrefTable0(obj) {
     return idx;
 }
 
+function _assertClass(instance, klass) {
+    if (!(instance instanceof klass)) {
+        throw new Error(`expected instance of ${klass.name}`);
+    }
+}
+
 function debugString(val) {
     // primitive types
     const type = typeof val;

package/index.d.ts

@@ -145,3 +145,155 @@ export class ParticipantRoster {
   changed(): boolean;
   markSent(): void;
 }
+
+export type RoomSubscribeResult =
+  | "subscribed"
+  | "join_failed"
+  | "rolled_back"
+  | "rollback_failed"
+  | "stale";
+
+export type RoomStatus =
+  | "absent"
+  | "pending"
+  | "subscribed"
+  | "leaving"
+  | "needs_reconciliation";
+
+export type AgentTopicStatus =
+  | "absent"
+  | "pending"
+  | "joined"
+  | "leaving"
+  | "needs_reconciliation";
+
+export type LeaveOutcome = "left" | "failed" | "unknown";
+
+export type SessionState = "connecting" | "up" | "reconnecting" | "dead";
+
+export type DeadReason = "classified" | "rapid_disconnect";
+
+/**
+ * Classify a WebSocket close code. Returns `[terminal, delayRange]`.
+ * Throws a plain `Error` if `closeCode` is not an integer in `0..=65535`
+ * (or `undefined`).
+ */
+export function classifyClose(
+  closeCode: number | undefined,
+): [boolean, [number, number] | undefined];
+
+/**
+ * Classify an HTTP upgrade-rejection status code. Returns
+ * `[terminal, delayRange]`. Throws a plain `Error` if `status` is not an
+ * integer in `0..=65535`.
+ */
+export function classifyUpgrade(
+  status: number,
+): [boolean, [number, number] | undefined];
+
+/** The settled outcome of one {@link Session} call. */
+export class SessionOutcome {
+  private constructor();
+  readonly state: SessionState;
+  readonly retryAfterS: number | undefined;
+  readonly deadReason: DeadReason | undefined;
+  readonly stale: boolean;
+}
+
+/** {@link SessionPolicy}'s constructor fields. */
+export interface SessionPolicyConfig {
+  baseDelayS: number;
+  factor: number;
+  maxDelayS: number;
+  stableResetS: number;
+  rapidDisconnectUptimeS: number;
+  rapidWindowS: number;
+  rapidFirstMinDelayS: number;
+  rapidSecondMinDelayS: number;
+  rapidCooldownBaseS: number;
+  rapidCooldownStepS: number;
+  rapidCooldownMaxS: number;
+  rapidThreshold: number;
+}
+
+/**
+ * Reconnect backoff/jitter policy, plus the graduated rapid-disconnect
+ * cooldown ladder. A recommended, not final, starting design -- see
+ * `docs/runtime-state-policy.md`'s `## Session` section.
+ *
+ * Throws a native `Error` with `.issues`/`.traceContext` if `factor < 1.0`
+ * or `baseDelayS > maxDelayS`. Throws a plain `Error` if `config` is
+ * missing a field or a field is not a finite, non-negative number
+ * (`rapidThreshold` must also be an integer).
+ */
+export class SessionPolicy {
+  constructor(config: SessionPolicyConfig, traceContext?: string | null);
+  /** A recommended, not final, default. */
+  static default(): SessionPolicy;
+}
+
+/**
+ * One WebSocket session's state machine: which epoch (connection attempt)
+ * is live, the current lifecycle state, and the reconnect/rapid-disconnect
+ * bookkeeping. Single-writer -- exactly one owner drives a given `Session`
+ * at a time.
+ *
+ * `nowS`/`retryAfterS` each throw a plain `Error` if not a finite,
+ * non-negative number; `jitterSample` throws unless it's a finite number
+ * in `[0.0, 1.0]` (a fraction, not an open-ended time value);
+ * `closeCode`/`status` throw if not an integer in `0..=65535` (or
+ * `undefined` for `closeCode`).
+ */
+export class Session {
+  constructor(policy: SessionPolicy);
+  readonly state: SessionState;
+  beginAttempt(nowS: number): bigint | undefined;
+  onConnected(epoch: bigint, nowS: number): SessionOutcome;
+  onSocketClose(
+    epoch: bigint,
+    nowS: number,
+    closeCode: number | undefined,
+    jitterSample: number,
+  ): SessionOutcome;
+  onUpgradeRejected(
+    epoch: bigint,
+    nowS: number,
+    status: number,
+    retryAfterS: number | undefined,
+    jitterSample: number,
+  ): SessionOutcome;
+  onSupersede(
+    nowS: number,
+    retryable: boolean,
+    retryAfterS: number | undefined,
+    jitterSample: number,
+  ): SessionOutcome;
+  end(): SessionState;
+}
+
+/** Transport-independent subscription decisions for one agent session. */
+export class SubscriptionTracker {
+  constructor();
+  beginRoomSubscribe(roomId: string): bigint | undefined;
+  recordChatRoomJoinFailed(roomId: string, ticket: bigint): RoomSubscribeResult;
+  recordBothRoomTopicsJoined(roomId: string, ticket: bigint): RoomSubscribeResult;
+  recordRoomParticipantsJoinFailed(roomId: string, ticket: bigint, chatRoomLeft: boolean): RoomSubscribeResult;
+  isRoomSubscribed(roomId: string): boolean;
+  isRoomClaimCurrent(roomId: string, ticket: bigint): boolean;
+  roomStatus(roomId: string): RoomStatus;
+  unsubscribeRoom(roomId: string): bigint | undefined;
+  markRoomLeaveComplete(roomId: string, ticket: bigint, outcome: LeaveOutcome): boolean;
+  acknowledgeRoomReconciled(roomId: string): boolean;
+  subscribedRoomIds(): string[];
+  onReconnected(): void;
+  endSession(): void;
+  beginAgentTopicJoin(topic: string): bigint | undefined;
+  recordAgentTopicJoin(topic: string, ticket: bigint, joined: boolean): boolean;
+  isAgentTopicJoined(topic: string): boolean;
+  isAgentTopicClaimCurrent(topic: string, ticket: bigint): boolean;
+  agentTopicStatus(topic: string): AgentTopicStatus;
+  leaveAgentTopic(topic: string): bigint | undefined;
+  markAgentTopicLeaveComplete(topic: string, ticket: bigint, outcome: LeaveOutcome): boolean;
+  acknowledgeAgentTopicReconciled(topic: string): boolean;
+  joinedAgentTopics(): string[];
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@band-ai/band-sdk-core",
-  "version": "0.4.1",
+  "version": "0.6.0",
   "description": "Shared Band event-payload validation",
   "license": "MIT",
   "repository": {