@graphrefly/ts 0.0.0 → 0.0.1

package/dist/inspection/boundary.d.cts

@@ -0,0 +1,61 @@
+import { W as WritableNode } from '../store-CNJwmT-h.cjs';
+import { d as Graph } from '../graph-DCEWh4T2.cjs';
+import { N as Node } from '../types-CcPIn7sy.cjs';
+import '../core/index.cjs';
+import '../messages-CAzUPPJM.cjs';
+import '../codec-BB7p8fJc.cjs';
+import '../describe-DYMw_l1C.cjs';
+
+/**
+ * Framework-neutral graph boundary projection (D238).
+ *
+ * The manifest is derived from describe()/live topology (R-describe,
+ * R-edges-derived). It does not own widgets, layouts, capabilities, or product
+ * metadata; those layers consume this structural boundary.
+ */
+
+type BoundaryRole = "input" | "output";
+type BoundaryCapabilityKind = "auth" | "permission" | "config" | "resource";
+interface BoundaryCapabilityRef {
+    id: string;
+    kind: BoundaryCapabilityKind;
+    required: boolean;
+    sourceRefs?: readonly string[];
+}
+interface BaseBoundaryNode {
+    /** Registered graph node id/path. */
+    name: string;
+    /** Structural boundary role inferred from current describe() topology. */
+    role: BoundaryRole;
+    /** describe() factory: "state" | "producer" | "derived" | operator real name. */
+    type: string;
+    /** Live handle for framework adapters such as useNodeInput/useNodeValue. */
+    node: Node<unknown>;
+    /**
+     * D348 generic capability refs only. Product/OAuth/config-form semantics stay in trusted
+     * React/Canvas/product registries and do not affect structural boundary role inference.
+     */
+    capabilities?: readonly BoundaryCapabilityRef[];
+}
+interface InputBoundaryNode extends BaseBoundaryNode {
+    role: "input";
+    node: WritableNode<unknown>;
+}
+interface OutputBoundaryNode extends BaseBoundaryNode {
+    role: "output";
+}
+type BoundaryNode = InputBoundaryNode | OutputBoundaryNode;
+interface BoundaryManifest {
+    inputs: InputBoundaryNode[];
+    outputs: OutputBoundaryNode[];
+}
+/**
+ * Derive a narrow v0 boundary manifest from current graph structure.
+ *
+ * Writable source nodes are inputs; unconsumed sink nodes are outputs; interior
+ * nodes are omitted. Auto-discovered graphless describe entries are skipped
+ * because widgets need live graph handles.
+ */
+declare function boundaryManifest(graph: Graph): BoundaryManifest;
+
+export { type BaseBoundaryNode, type BoundaryCapabilityKind, type BoundaryCapabilityRef, type BoundaryManifest, type BoundaryNode, type BoundaryRole, type InputBoundaryNode, type OutputBoundaryNode, boundaryManifest };

package/dist/inspection/boundary.d.ts

@@ -0,0 +1,61 @@
+import { W as WritableNode } from '../store-C-joM4gh.js';
+import { d as Graph } from '../graph-D-1-SQeC.js';
+import { N as Node } from '../types-BsJvElYZ.js';
+import '../core/index.js';
+import '../messages-CAzUPPJM.js';
+import '../codec-BB7p8fJc.js';
+import '../describe-BpyJuWkw.js';
+
+/**
+ * Framework-neutral graph boundary projection (D238).
+ *
+ * The manifest is derived from describe()/live topology (R-describe,
+ * R-edges-derived). It does not own widgets, layouts, capabilities, or product
+ * metadata; those layers consume this structural boundary.
+ */
+
+type BoundaryRole = "input" | "output";
+type BoundaryCapabilityKind = "auth" | "permission" | "config" | "resource";
+interface BoundaryCapabilityRef {
+    id: string;
+    kind: BoundaryCapabilityKind;
+    required: boolean;
+    sourceRefs?: readonly string[];
+}
+interface BaseBoundaryNode {
+    /** Registered graph node id/path. */
+    name: string;
+    /** Structural boundary role inferred from current describe() topology. */
+    role: BoundaryRole;
+    /** describe() factory: "state" | "producer" | "derived" | operator real name. */
+    type: string;
+    /** Live handle for framework adapters such as useNodeInput/useNodeValue. */
+    node: Node<unknown>;
+    /**
+     * D348 generic capability refs only. Product/OAuth/config-form semantics stay in trusted
+     * React/Canvas/product registries and do not affect structural boundary role inference.
+     */
+    capabilities?: readonly BoundaryCapabilityRef[];
+}
+interface InputBoundaryNode extends BaseBoundaryNode {
+    role: "input";
+    node: WritableNode<unknown>;
+}
+interface OutputBoundaryNode extends BaseBoundaryNode {
+    role: "output";
+}
+type BoundaryNode = InputBoundaryNode | OutputBoundaryNode;
+interface BoundaryManifest {
+    inputs: InputBoundaryNode[];
+    outputs: OutputBoundaryNode[];
+}
+/**
+ * Derive a narrow v0 boundary manifest from current graph structure.
+ *
+ * Writable source nodes are inputs; unconsumed sink nodes are outputs; interior
+ * nodes are omitted. Auto-discovered graphless describe entries are skipped
+ * because widgets need live graph handles.
+ */
+declare function boundaryManifest(graph: Graph): BoundaryManifest;
+
+export { type BaseBoundaryNode, type BoundaryCapabilityKind, type BoundaryCapabilityRef, type BoundaryManifest, type BoundaryNode, type BoundaryRole, type InputBoundaryNode, type OutputBoundaryNode, boundaryManifest };

package/dist/inspection/boundary.js

@@ -0,0 +1,75 @@
+import "../chunk-DGUM43GV.js";
+
+// src/inspection/boundary.ts
+function boundaryManifest(graph) {
+  const described = graph.describe();
+  const consumed = /* @__PURE__ */ new Set();
+  for (const snapshot of walkSnapshots(described)) {
+    for (const edge of snapshot.edges ?? []) consumed.add(edge.from);
+  }
+  const inputs = [];
+  const outputs = [];
+  for (const snapshot of walkSnapshots(described)) {
+    for (const entry of snapshot.nodes ?? []) {
+      const node = graph.find(entry.id);
+      if (node === void 0) continue;
+      const capabilities = boundaryCapabilities(entry.meta);
+      const isSource = (entry.deps?.length ?? 0) === 0;
+      const base = capabilities === void 0 ? { name: entry.id, type: entry.factory, node } : { name: entry.id, type: entry.factory, node, capabilities };
+      if (isSource && isWritableNode(node)) {
+        inputs.push({ ...base, role: "input", node });
+      } else if (!consumed.has(entry.id)) {
+        outputs.push({ ...base, role: "output" });
+      }
+    }
+  }
+  return { inputs, outputs };
+}
+function* walkSnapshots(snapshot) {
+  yield snapshot;
+  for (const child of snapshot.subgraphs ?? []) yield* walkSnapshots(child);
+}
+function isWritableNode(node) {
+  return typeof node.set === "function";
+}
+function boundaryCapabilities(meta) {
+  const raw = meta?.boundaryCapabilities;
+  if (raw === void 0) return void 0;
+  if (!Array.isArray(raw)) return void 0;
+  const refs = [];
+  for (const item of raw) {
+    const ref = boundaryCapabilityRef(item);
+    if (ref !== void 0) refs.push(ref);
+  }
+  return refs.length === 0 ? void 0 : refs;
+}
+function boundaryCapabilityRef(value) {
+  if (value === null || typeof value !== "object" || Array.isArray(value)) return void 0;
+  const record = value;
+  if (!Object.keys(record).every(isBoundaryCapabilityRefKey)) return void 0;
+  if (typeof record.id !== "string" || !isBoundaryCapabilityKind(record.kind)) return void 0;
+  if (typeof record.required !== "boolean") return void 0;
+  const sourceRefs = stringArray(record.sourceRefs);
+  if (record.sourceRefs !== void 0 && sourceRefs === void 0) return void 0;
+  return {
+    id: record.id,
+    kind: record.kind,
+    required: record.required,
+    ...sourceRefs === void 0 ? {} : { sourceRefs }
+  };
+}
+function isBoundaryCapabilityKind(value) {
+  return value === "auth" || value === "permission" || value === "config" || value === "resource";
+}
+function isBoundaryCapabilityRefKey(value) {
+  return value === "id" || value === "kind" || value === "required" || value === "sourceRefs";
+}
+function stringArray(value) {
+  if (value === void 0) return void 0;
+  if (!Array.isArray(value) || !value.every((entry) => typeof entry === "string")) return void 0;
+  return value;
+}
+export {
+  boundaryManifest
+};
+//# sourceMappingURL=boundary.js.map

package/dist/inspection/boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/inspection/boundary.ts"],"sourcesContent":["/**\n * Framework-neutral graph boundary projection (D238).\n *\n * The manifest is derived from describe()/live topology (R-describe,\n * R-edges-derived). It does not own widgets, layouts, capabilities, or product\n * metadata; those layers consume this structural boundary.\n */\n\nimport type { WritableNode } from \"../adapters/store.js\";\nimport type { DescribeSnapshot } from \"../graph/describe.js\";\nimport type { Graph } from \"../graph/graph.js\";\nimport type { Node } from \"../node/node.js\";\n\nexport type BoundaryRole = \"input\" | \"output\";\nexport type BoundaryCapabilityKind = \"auth\" | \"permission\" | \"config\" | \"resource\";\n\nexport interface BoundaryCapabilityRef {\n\tid: string;\n\tkind: BoundaryCapabilityKind;\n\trequired: boolean;\n\tsourceRefs?: readonly string[];\n}\n\nexport interface BaseBoundaryNode {\n\t/** Registered graph node id/path. */\n\tname: string;\n\t/** Structural boundary role inferred from current describe() topology. */\n\trole: BoundaryRole;\n\t/** describe() factory: \"state\" | \"producer\" | \"derived\" | operator real name. */\n\ttype: string;\n\t/** Live handle for framework adapters such as useNodeInput/useNodeValue. */\n\tnode: Node<unknown>;\n\t/**\n\t * D348 generic capability refs only. Product/OAuth/config-form semantics stay in trusted\n\t * React/Canvas/product registries and do not affect structural boundary role inference.\n\t */\n\tcapabilities?: readonly BoundaryCapabilityRef[];\n}\n\nexport interface InputBoundaryNode extends BaseBoundaryNode {\n\trole: \"input\";\n\tnode: WritableNode<unknown>;\n}\n\nexport interface OutputBoundaryNode extends BaseBoundaryNode {\n\trole: \"output\";\n}\n\nexport type BoundaryNode = InputBoundaryNode | OutputBoundaryNode;\n\nexport interface BoundaryManifest {\n\tinputs: InputBoundaryNode[];\n\toutputs: OutputBoundaryNode[];\n}\n\n/**\n * Derive a narrow v0 boundary manifest from current graph structure.\n *\n * Writable source nodes are inputs; unconsumed sink nodes are outputs; interior\n * nodes are omitted. Auto-discovered graphless describe entries are skipped\n * because widgets need live graph handles.\n */\nexport function boundaryManifest(graph: Graph): BoundaryManifest {\n\tconst described = graph.describe();\n\tconst consumed = new Set<string>();\n\tfor (const snapshot of walkSnapshots(described)) {\n\t\tfor (const edge of snapshot.edges ?? []) consumed.add(edge.from);\n\t}\n\tconst inputs: InputBoundaryNode[] = [];\n\tconst outputs: OutputBoundaryNode[] = [];\n\n\tfor (const snapshot of walkSnapshots(described)) {\n\t\tfor (const entry of snapshot.nodes ?? []) {\n\t\t\tconst node = graph.find(entry.id);\n\t\t\tif (node === undefined) continue;\n\t\t\tconst capabilities = boundaryCapabilities(entry.meta);\n\t\t\tconst isSource = (entry.deps?.length ?? 0) === 0;\n\t\t\tconst base =\n\t\t\t\tcapabilities === undefined\n\t\t\t\t\t? { name: entry.id, type: entry.factory, node }\n\t\t\t\t\t: { name: entry.id, type: entry.factory, node, capabilities };\n\t\t\tif (isSource && isWritableNode(node)) {\n\t\t\t\tinputs.push({ ...base, role: \"input\", node });\n\t\t\t} else if (!consumed.has(entry.id)) {\n\t\t\t\toutputs.push({ ...base, role: \"output\" });\n\t\t\t}\n\t\t}\n\t}\n\n\treturn { inputs, outputs };\n}\n\nfunction* walkSnapshots(snapshot: DescribeSnapshot): Generator<DescribeSnapshot> {\n\tyield snapshot;\n\tfor (const child of snapshot.subgraphs ?? []) yield* walkSnapshots(child);\n}\n\nfunction isWritableNode(node: Node<unknown>): node is WritableNode<unknown> {\n\treturn typeof (node as { set?: unknown }).set === \"function\";\n}\n\nfunction boundaryCapabilities(\n\tmeta: Record<string, unknown> | undefined,\n): BoundaryCapabilityRef[] | undefined {\n\tconst raw = meta?.boundaryCapabilities;\n\tif (raw === undefined) return undefined;\n\tif (!Array.isArray(raw)) return undefined;\n\tconst refs: BoundaryCapabilityRef[] = [];\n\tfor (const item of raw) {\n\t\tconst ref = boundaryCapabilityRef(item);\n\t\tif (ref !== undefined) refs.push(ref);\n\t}\n\treturn refs.length === 0 ? undefined : refs;\n}\n\nfunction boundaryCapabilityRef(value: unknown): BoundaryCapabilityRef | undefined {\n\tif (value === null || typeof value !== \"object\" || Array.isArray(value)) return undefined;\n\tconst record = value as Record<string, unknown>;\n\tif (!Object.keys(record).every(isBoundaryCapabilityRefKey)) return undefined;\n\tif (typeof record.id !== \"string\" || !isBoundaryCapabilityKind(record.kind)) return undefined;\n\tif (typeof record.required !== \"boolean\") return undefined;\n\tconst sourceRefs = stringArray(record.sourceRefs);\n\tif (record.sourceRefs !== undefined && sourceRefs === undefined) return undefined;\n\treturn {\n\t\tid: record.id,\n\t\tkind: record.kind,\n\t\trequired: record.required,\n\t\t...(sourceRefs === undefined ? {} : { sourceRefs }),\n\t};\n}\n\nfunction isBoundaryCapabilityKind(value: unknown): value is BoundaryCapabilityKind {\n\treturn value === \"auth\" || value === \"permission\" || value === \"config\" || value === \"resource\";\n}\n\nfunction isBoundaryCapabilityRefKey(value: string): value is keyof BoundaryCapabilityRef {\n\treturn value === \"id\" || value === \"kind\" || value === \"required\" || value === \"sourceRefs\";\n}\n\nfunction stringArray(value: unknown): readonly string[] | undefined {\n\tif (value === undefined) return undefined;\n\tif (!Array.isArray(value) || !value.every((entry) => typeof entry === \"string\")) return undefined;\n\treturn value;\n}\n"],"mappings":";;;AA8DO,SAAS,iBAAiB,OAAgC;AAChE,QAAM,YAAY,MAAM,SAAS;AACjC,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,YAAY,cAAc,SAAS,GAAG;AAChD,eAAW,QAAQ,SAAS,SAAS,CAAC,EAAG,UAAS,IAAI,KAAK,IAAI;AAAA,EAChE;AACA,QAAM,SAA8B,CAAC;AACrC,QAAM,UAAgC,CAAC;AAEvC,aAAW,YAAY,cAAc,SAAS,GAAG;AAChD,eAAW,SAAS,SAAS,SAAS,CAAC,GAAG;AACzC,YAAM,OAAO,MAAM,KAAK,MAAM,EAAE;AAChC,UAAI,SAAS,OAAW;AACxB,YAAM,eAAe,qBAAqB,MAAM,IAAI;AACpD,YAAM,YAAY,MAAM,MAAM,UAAU,OAAO;AAC/C,YAAM,OACL,iBAAiB,SACd,EAAE,MAAM,MAAM,IAAI,MAAM,MAAM,SAAS,KAAK,IAC5C,EAAE,MAAM,MAAM,IAAI,MAAM,MAAM,SAAS,MAAM,aAAa;AAC9D,UAAI,YAAY,eAAe,IAAI,GAAG;AACrC,eAAO,KAAK,EAAE,GAAG,MAAM,MAAM,SAAS,KAAK,CAAC;AAAA,MAC7C,WAAW,CAAC,SAAS,IAAI,MAAM,EAAE,GAAG;AACnC,gBAAQ,KAAK,EAAE,GAAG,MAAM,MAAM,SAAS,CAAC;AAAA,MACzC;AAAA,IACD;AAAA,EACD;AAEA,SAAO,EAAE,QAAQ,QAAQ;AAC1B;AAEA,UAAU,cAAc,UAAyD;AAChF,QAAM;AACN,aAAW,SAAS,SAAS,aAAa,CAAC,EAAG,QAAO,cAAc,KAAK;AACzE;AAEA,SAAS,eAAe,MAAoD;AAC3E,SAAO,OAAQ,KAA2B,QAAQ;AACnD;AAEA,SAAS,qBACR,MACsC;AACtC,QAAM,MAAM,MAAM;AAClB,MAAI,QAAQ,OAAW,QAAO;AAC9B,MAAI,CAAC,MAAM,QAAQ,GAAG,EAAG,QAAO;AAChC,QAAM,OAAgC,CAAC;AACvC,aAAW,QAAQ,KAAK;AACvB,UAAM,MAAM,sBAAsB,IAAI;AACtC,QAAI,QAAQ,OAAW,MAAK,KAAK,GAAG;AAAA,EACrC;AACA,SAAO,KAAK,WAAW,IAAI,SAAY;AACxC;AAEA,SAAS,sBAAsB,OAAmD;AACjF,MAAI,UAAU,QAAQ,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,QAAO;AAChF,QAAM,SAAS;AACf,MAAI,CAAC,OAAO,KAAK,MAAM,EAAE,MAAM,0BAA0B,EAAG,QAAO;AACnE,MAAI,OAAO,OAAO,OAAO,YAAY,CAAC,yBAAyB,OAAO,IAAI,EAAG,QAAO;AACpF,MAAI,OAAO,OAAO,aAAa,UAAW,QAAO;AACjD,QAAM,aAAa,YAAY,OAAO,UAAU;AAChD,MAAI,OAAO,eAAe,UAAa,eAAe,OAAW,QAAO;AACxE,SAAO;AAAA,IACN,IAAI,OAAO;AAAA,IACX,MAAM,OAAO;AAAA,IACb,UAAU,OAAO;AAAA,IACjB,GAAI,eAAe,SAAY,CAAC,IAAI,EAAE,WAAW;AAAA,EAClD;AACD;AAEA,SAAS,yBAAyB,OAAiD;AAClF,SAAO,UAAU,UAAU,UAAU,gBAAgB,UAAU,YAAY,UAAU;AACtF;AAEA,SAAS,2BAA2B,OAAqD;AACxF,SAAO,UAAU,QAAQ,UAAU,UAAU,UAAU,cAAc,UAAU;AAChF;AAEA,SAAS,YAAY,OAA+C;AACnE,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,CAAC,MAAM,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,EAAG,QAAO;AACxF,SAAO;AACR;","names":[]}

package/dist/{messages-BZqrGGm1.d.ts → messages-CAzUPPJM.d.cts}

@@ -4,13 +4,18 @@
  * 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). */
+/** Opaque pause-lock / pull identifier (R-pause-lockset, R-pull). */
 type LockId = string | symbol;
+/** Explicit pull demand payload (D269/D272). Params are holder-visible context, never DATA-up. */
+interface PullDemand {
+    readonly pullId: LockId;
+    readonly params?: unknown;
+}
 /**
- * The CLOSED set of 10 message types (R-msg-closed-set / D9 + START handshake).
+ * The CLOSED set of 11 message types (R-msg-closed-set / D9 + D269 + 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];
+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] | readonly ["PULL", PullDemand];
 /** 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). */
@@ -46,10 +51,10 @@ declare function isPauseBufferedTier(t: MessageType): boolean;
  */
 declare function isTerminal(t: MessageType): boolean;
 /**
- * ctx.up carries control tiers only (R-ctx-up / DR-5): DIRTY, PAUSE, RESUME,
+ * ctx.up carries control/demand tiers only (R-ctx-up / D269): DIRTY, PAUSE, RESUME, PULL,
  * 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 };
+export { type LockId as L, type Message as M, type PullDemand as P, 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.cts → messages-CAzUPPJM.d.ts}

@@ -4,13 +4,18 @@
  * 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). */
+/** Opaque pause-lock / pull identifier (R-pause-lockset, R-pull). */
 type LockId = string | symbol;
+/** Explicit pull demand payload (D269/D272). Params are holder-visible context, never DATA-up. */
+interface PullDemand {
+    readonly pullId: LockId;
+    readonly params?: unknown;
+}
 /**
- * The CLOSED set of 10 message types (R-msg-closed-set / D9 + START handshake).
+ * The CLOSED set of 11 message types (R-msg-closed-set / D9 + D269 + 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];
+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] | readonly ["PULL", PullDemand];
 /** 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). */
@@ -46,10 +51,10 @@ declare function isPauseBufferedTier(t: MessageType): boolean;
  */
 declare function isTerminal(t: MessageType): boolean;
 /**
- * ctx.up carries control tiers only (R-ctx-up / DR-5): DIRTY, PAUSE, RESUME,
+ * ctx.up carries control/demand tiers only (R-ctx-up / D269): DIRTY, PAUSE, RESUME, PULL,
  * 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 };
+export { type LockId as L, type Message as M, type PullDemand as P, 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 };