@graphrefly/ts 0.0.0

package/dist/messages-BZqrGGm1.d.cts

@@ -0,0 +1,55 @@
+/**
+ * Wave-protocol message types and the tier const table.
+ *
+ * Canonical authority: ~/src/graphrefly/spec/rules.jsonl
+ *   R-msg-format, R-msg-closed-set, R-tier (D34), R-data-payload, R-sentinel.
+ */
+/** Opaque pause-lock identifier (R-pause-lockset). */
+type LockId = string | symbol;
+/**
+ * The CLOSED set of 10 message types (R-msg-closed-set / D9 + START handshake).
+ * No open set, no user-defined custom types. Adding a type is a spec change.
+ */
+type Message = readonly ["START"] | readonly ["DIRTY"] | readonly ["DATA", unknown] | readonly ["RESOLVED"] | readonly ["INVALIDATE"] | readonly ["COMPLETE"] | readonly ["ERROR", unknown] | readonly ["TEARDOWN"] | readonly ["PAUSE", LockId] | readonly ["RESUME", LockId];
+/** One array of messages delivered in one call = one Wave (R-wave-boundary). */
+type Wave = readonly Message[];
+/** The message-type tag (the first tuple element). */
+type MessageType = Message[0];
+/**
+ * SENTINEL = absence-of-DATA (R-sentinel / D16). TS representation is `undefined`.
+ * Never a valid DATA payload; `null` IS a valid DATA value (domain-level absence).
+ */
+declare const SENTINEL: undefined;
+/** R-data-payload: ERROR payloads must not collide with terminal metadata shorthand. */
+declare function isInvalidErrorPayload(v: unknown): boolean;
+/** R-data-payload / D78: host-language failures that collide with ctx.terminal shorthand become diagnostics. */
+declare function errorPayload(reason: unknown, fallback?: string): unknown;
+declare const TIER_START = 0;
+declare const TIER_CONTROL = 1;
+declare const TIER_NOTIFICATION = 2;
+declare const TIER_VALUE = 3;
+declare const TIER_SETTLE = 4;
+declare const TIER_TERMINAL = 5;
+declare const TIER_TEARDOWN = 6;
+declare function messageTier(t: MessageType): number;
+/** Value and above are deferred inside a batch (DATA/RESOLVED/INVALIDATE/terminal/teardown). */
+declare function isDeferredTier(t: MessageType): boolean;
+/** Value-tier messages (DATA/RESOLVED) occupy the tier-3 slot. */
+declare function isValueTier(t: MessageType): boolean;
+/** The pause buffer holds the settle slice only: value-tier DATA/RESOLVED plus INVALIDATE. */
+declare function isPauseBufferedTier(t: MessageType): boolean;
+/**
+ * A TERMINAL message = tier 5 (COMPLETE | ERROR), R-tier / D34. Detected via the CENTRAL tier
+ * table, NOT a per-variant `=== "COMPLETE" || === "ERROR"` check — so terminal routing stays
+ * driven by the one const table (feedback_use_tier_for_signal_routing); discriminate COMPLETE vs
+ * ERROR within the tier by the message type only where the handling actually differs.
+ */
+declare function isTerminal(t: MessageType): boolean;
+/**
+ * ctx.up carries control tiers only (R-ctx-up / DR-5): DIRTY, PAUSE, RESUME,
+ * INVALIDATE, TEARDOWN. DATA/RESOLVED (tier 3) and COMPLETE/ERROR (tier 5) are
+ * down-only.
+ */
+declare function isUpAllowed(t: MessageType): boolean;
+
+export { type LockId as L, type Message as M, SENTINEL as S, TIER_CONTROL as T, type Wave as W, type MessageType as a, TIER_NOTIFICATION as b, TIER_SETTLE as c, TIER_START as d, TIER_TEARDOWN as e, TIER_TERMINAL as f, TIER_VALUE as g, errorPayload as h, isDeferredTier as i, isInvalidErrorPayload as j, isPauseBufferedTier as k, isTerminal as l, isUpAllowed as m, isValueTier as n, messageTier as o };

package/dist/messages-BZqrGGm1.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Wave-protocol message types and the tier const table.
+ *
+ * Canonical authority: ~/src/graphrefly/spec/rules.jsonl
+ *   R-msg-format, R-msg-closed-set, R-tier (D34), R-data-payload, R-sentinel.
+ */
+/** Opaque pause-lock identifier (R-pause-lockset). */
+type LockId = string | symbol;
+/**
+ * The CLOSED set of 10 message types (R-msg-closed-set / D9 + START handshake).
+ * No open set, no user-defined custom types. Adding a type is a spec change.
+ */
+type Message = readonly ["START"] | readonly ["DIRTY"] | readonly ["DATA", unknown] | readonly ["RESOLVED"] | readonly ["INVALIDATE"] | readonly ["COMPLETE"] | readonly ["ERROR", unknown] | readonly ["TEARDOWN"] | readonly ["PAUSE", LockId] | readonly ["RESUME", LockId];
+/** One array of messages delivered in one call = one Wave (R-wave-boundary). */
+type Wave = readonly Message[];
+/** The message-type tag (the first tuple element). */
+type MessageType = Message[0];
+/**
+ * SENTINEL = absence-of-DATA (R-sentinel / D16). TS representation is `undefined`.
+ * Never a valid DATA payload; `null` IS a valid DATA value (domain-level absence).
+ */
+declare const SENTINEL: undefined;
+/** R-data-payload: ERROR payloads must not collide with terminal metadata shorthand. */
+declare function isInvalidErrorPayload(v: unknown): boolean;
+/** R-data-payload / D78: host-language failures that collide with ctx.terminal shorthand become diagnostics. */
+declare function errorPayload(reason: unknown, fallback?: string): unknown;
+declare const TIER_START = 0;
+declare const TIER_CONTROL = 1;
+declare const TIER_NOTIFICATION = 2;
+declare const TIER_VALUE = 3;
+declare const TIER_SETTLE = 4;
+declare const TIER_TERMINAL = 5;
+declare const TIER_TEARDOWN = 6;
+declare function messageTier(t: MessageType): number;
+/** Value and above are deferred inside a batch (DATA/RESOLVED/INVALIDATE/terminal/teardown). */
+declare function isDeferredTier(t: MessageType): boolean;
+/** Value-tier messages (DATA/RESOLVED) occupy the tier-3 slot. */
+declare function isValueTier(t: MessageType): boolean;
+/** The pause buffer holds the settle slice only: value-tier DATA/RESOLVED plus INVALIDATE. */
+declare function isPauseBufferedTier(t: MessageType): boolean;
+/**
+ * A TERMINAL message = tier 5 (COMPLETE | ERROR), R-tier / D34. Detected via the CENTRAL tier
+ * table, NOT a per-variant `=== "COMPLETE" || === "ERROR"` check — so terminal routing stays
+ * driven by the one const table (feedback_use_tier_for_signal_routing); discriminate COMPLETE vs
+ * ERROR within the tier by the message type only where the handling actually differs.
+ */
+declare function isTerminal(t: MessageType): boolean;
+/**
+ * ctx.up carries control tiers only (R-ctx-up / DR-5): DIRTY, PAUSE, RESUME,
+ * INVALIDATE, TEARDOWN. DATA/RESOLVED (tier 3) and COMPLETE/ERROR (tier 5) are
+ * down-only.
+ */
+declare function isUpAllowed(t: MessageType): boolean;
+
+export { type LockId as L, type Message as M, SENTINEL as S, TIER_CONTROL as T, type Wave as W, type MessageType as a, TIER_NOTIFICATION as b, TIER_SETTLE as c, TIER_START as d, TIER_TEARDOWN as e, TIER_TERMINAL as f, TIER_VALUE as g, errorPayload as h, isDeferredTier as i, isInvalidErrorPayload as j, isPauseBufferedTier as k, isTerminal as l, isUpAllowed as m, isValueTier as n, messageTier as o };