@moltzap/protocol 2026.504.2 → 2026.504.3

package/dist/network/actor-model.d.ts

@@ -0,0 +1,68 @@
+import type { BrandedString } from "../brands.js";
+/** A user identity in the platform — owner of one or more agents. */
+export type UserId = BrandedString<"UserId">;
+/**
+ * Brand a raw string as a {@link UserId}. The caller is responsible for the
+ * value already being well-formed; wire boundaries decode via the matching
+ * TypeBox schema in `packages/protocol/src/schema/primitives.ts`, which
+ * checks the UUID format before producing the brand.
+ */
+export declare const userId: (value: string) => UserId;
+/** An agent identity — the actor that connects, sends messages, and receives. */
+export type AgentId = BrandedString<"AgentId">;
+/** Brand a raw string as an {@link AgentId}. See {@link userId} for boundary semantics. */
+export declare const agentId: (value: string) => AgentId;
+/**
+ * A reachable address in the actor-model network.
+ *
+ * Stable across reconnects for registered task-manager endpoints (durable in
+ * the `tasks.tm_endpoint_address` column). Volatile per-WS-connection for
+ * agent endpoints, where the resolver holds a
+ * `HashMap<AgentId, Set<EndpointAddress>>` multimap keyed by agent.
+ */
+export type EndpointAddress = BrandedString<"EndpointAddress">;
+/** Brand a raw string as an {@link EndpointAddress}. */
+export declare const endpointAddress: (value: string) => EndpointAddress;
+/**
+ * The kinds of endpoints the actor-model network resolves.
+ *
+ * - `"agent"` — a per-WS-connection endpoint resolved by `AgentId` via the
+ *   resolver multimap. Volatile.
+ * - `"taskManager"` — a registered TM endpoint, durable in the `tasks` row.
+ *   Persists across the TM's reconnect window.
+ *
+ * String-literal union: `switch` over `EndpointKind` is exhaustive at the
+ * type level, so adding a third kind here forces every downstream switch to
+ * handle it.
+ */
+export type EndpointKind = "agent" | "taskManager";
+/**
+ * A registered endpoint as observed by the network layer. Discriminated by
+ * {@link EndpointKind}:
+ * - `agent` arms carry the resolved {@link AgentId} so the resolver can
+ *   key the multimap.
+ * - `taskManager` arms carry only the address; ownership of the task is
+ *   recorded out-of-band in the `tasks` row.
+ */
+export type EndpointRegistration = {
+    readonly kind: "agent";
+    readonly address: EndpointAddress;
+    readonly agentId: AgentId;
+} | {
+    readonly kind: "taskManager";
+    readonly address: EndpointAddress;
+};
+/**
+ * The principal behind a connected agent — the post-`auth/connect` view.
+ *
+ * Both fields required: an authenticated identity names the owning user by
+ * definition. The wire-layer `AgentSchema.ownerUserId` is `Optional` to
+ * accommodate the un-claimed `pending_claim` storage state; the actor-model
+ * layer only sees identities that have already passed authentication, so the
+ * optionality is collapsed here.
+ */
+export type AuthenticatedIdentity = {
+    readonly agentId: AgentId;
+    readonly userId: UserId;
+};
+//# sourceMappingURL=actor-model.d.ts.map

package/dist/network/actor-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"actor-model.d.ts","sourceRoot":"","sources":["../../src/network/actor-model.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,qEAAqE;AACrE,MAAM,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,MAAM,KAAG,MAA4B,CAAC;AAEpE,iFAAiF;AACjF,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;AAE/C,2FAA2F;AAC3F,eAAO,MAAM,OAAO,GAAI,OAAO,MAAM,KAAG,OAA8B,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;AAE/D,wDAAwD;AACxD,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,KAAG,eACnB,CAAC;AAM9B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,aAAa,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC,CAAC;AAMN;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC"}

package/dist/network/actor-model.js

@@ -0,0 +1,31 @@
+/**
+ * Actor-model network types: branded primitives, endpoint registrations, and
+ * the authenticated-identity record consumed by the network layer.
+ *
+ * Wire-layer boundary decoding (UUID format checks etc.) lives at the matching
+ * TypeBox primitives in `packages/protocol/src/schema/primitives.ts`. This
+ * module is the consumer-facing static type story; runtime exports are
+ * limited to nominal-brand factories that pass strings through unchanged.
+ *
+ * Plan: `docs/plans/layered-network-refactor-2026-05.md` (Slice F).
+ *
+ * Note: the brand types here intentionally don't appear on the flat-barrel
+ * `@moltzap/protocol` entry point. The negative canary at
+ * `./actor-model.types-check.ts` and `./actor-model.test.ts` holds that line.
+ */
+import { Brand } from "effect";
+const UserIdBrand = Brand.nominal();
+/**
+ * Brand a raw string as a {@link UserId}. The caller is responsible for the
+ * value already being well-formed; wire boundaries decode via the matching
+ * TypeBox schema in `packages/protocol/src/schema/primitives.ts`, which
+ * checks the UUID format before producing the brand.
+ */
+export const userId = (value) => UserIdBrand(value);
+const AgentIdBrand = Brand.nominal();
+/** Brand a raw string as an {@link AgentId}. See {@link userId} for boundary semantics. */
+export const agentId = (value) => AgentIdBrand(value);
+const EndpointAddressBrand = Brand.nominal();
+/** Brand a raw string as an {@link EndpointAddress}. */
+export const endpointAddress = (value) => EndpointAddressBrand(value);
+//# sourceMappingURL=actor-model.js.map

package/dist/network/actor-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actor-model.js","sourceRoot":"","sources":["../../src/network/actor-model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAS/B,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,EAAU,CAAC;AAC5C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;AAIpE,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,EAAW,CAAC;AAC9C,2FAA2F;AAC3F,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;AAWvE,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,EAAmB,CAAC;AAC9D,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAmB,EAAE,CAChE,oBAAoB,CAAC,KAAK,CAAC,CAAC"}

package/dist/network/actor-model.types-check.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Type-level negative canary — Phase 3 / Slice F (#421).
+ *
+ * Asserts the actor-model brand-type names stay scoped to `./actor-model`
+ * and are NOT re-exported (as types or values) from the flat barrel
+ * `packages/protocol/src/index.ts`. Phase 2 (#420) freed those name slots so
+ * this module could own them; this file holds the line for future edits.
+ *
+ * Mechanics:
+ *   each `import type { X } from "../index.js"` is expected to fail at
+ *   compile time with TS2305 "Module has no exported member 'X'" because the
+ *   flat barrel does not export the name. `@ts-expect-error` swallows that
+ *   error. If a future edit re-exports the name from `index.ts`, the import
+ *   succeeds and `@ts-expect-error` becomes "unused" — `tsc --noEmit` fails
+ *   with TS2578 ("Unused '@ts-expect-error' directive") and the canary
+ *   fires under `pnpm typecheck`.
+ *
+ * Build-only artifact: typechecked by `pnpm typecheck` (this filename does
+ * not match the `*.test.ts` exclude in `packages/protocol/tsconfig.json`).
+ * No runtime exports.
+ *
+ * Companion file `actor-model.test.ts` covers the runtime side
+ * (`Object.keys(flatBarrel)` assertion).
+ */
+import type { UserId as _UserId } from "../index.js";
+import type { AgentId as _AgentId } from "../index.js";
+import type { EndpointAddress as _EndpointAddress } from "../index.js";
+import type { EndpointKind as _EndpointKind } from "../index.js";
+import type { EndpointRegistration as _EndpointRegistration } from "../index.js";
+import type { AuthenticatedIdentity as _AuthenticatedIdentity } from "../index.js";
+export type _ActorModelBarrelCanary = _UserId | _AgentId | _EndpointAddress | _EndpointKind | _EndpointRegistration | _AuthenticatedIdentity;
+//# sourceMappingURL=actor-model.types-check.d.ts.map

package/dist/network/actor-model.types-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"actor-model.types-check.d.ts","sourceRoot":"","sources":["../../src/network/actor-model.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,KAAK,EAAE,MAAM,IAAI,OAAO,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvD,OAAO,KAAK,EAAE,eAAe,IAAI,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEvE,OAAO,KAAK,EAAE,YAAY,IAAI,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjE,OAAO,KAAK,EAAE,oBAAoB,IAAI,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEjF,OAAO,KAAK,EAAE,qBAAqB,IAAI,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAKnF,MAAM,MAAM,uBAAuB,GAC/B,OAAO,GACP,QAAQ,GACR,gBAAgB,GAChB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,CAAC"}

package/dist/network/actor-model.types-check.js

@@ -0,0 +1,26 @@
+/**
+ * Type-level negative canary — Phase 3 / Slice F (#421).
+ *
+ * Asserts the actor-model brand-type names stay scoped to `./actor-model`
+ * and are NOT re-exported (as types or values) from the flat barrel
+ * `packages/protocol/src/index.ts`. Phase 2 (#420) freed those name slots so
+ * this module could own them; this file holds the line for future edits.
+ *
+ * Mechanics:
+ *   each `import type { X } from "../index.js"` is expected to fail at
+ *   compile time with TS2305 "Module has no exported member 'X'" because the
+ *   flat barrel does not export the name. `@ts-expect-error` swallows that
+ *   error. If a future edit re-exports the name from `index.ts`, the import
+ *   succeeds and `@ts-expect-error` becomes "unused" — `tsc --noEmit` fails
+ *   with TS2578 ("Unused '@ts-expect-error' directive") and the canary
+ *   fires under `pnpm typecheck`.
+ *
+ * Build-only artifact: typechecked by `pnpm typecheck` (this filename does
+ * not match the `*.test.ts` exclude in `packages/protocol/tsconfig.json`).
+ * No runtime exports.
+ *
+ * Companion file `actor-model.test.ts` covers the runtime side
+ * (`Object.keys(flatBarrel)` assertion).
+ */
+export {};
+//# sourceMappingURL=actor-model.types-check.js.map

package/dist/network/actor-model.types-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actor-model.types-check.js","sourceRoot":"","sources":["../../src/network/actor-model.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const PROTOCOL_VERSION = "2026.504.2";
+export declare const PROTOCOL_VERSION = "2026.504.3";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,3 +1,3 @@
 // Auto-bumped by publish workflow
-export const PROTOCOL_VERSION = "2026.504.2";
+export const PROTOCOL_VERSION = "2026.504.3";
 //# sourceMappingURL=version.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moltzap/protocol",
-  "version": "2026.504.2",
+  "version": "2026.504.3",
   "description": "Protocol types and validators for MoltZap messaging",
   "license": "Apache-2.0",
   "repository": {