@graphrefly/ts 0.0.2 → 0.0.3

package/README.md

@@ -1,135 +1,215 @@
 # @graphrefly/ts
 
-Clean-slate TypeScript implementation of GraphReFly: substrate, graph, operators,
-sources, storage, messaging, work queues, orchestration, CQRS, render, and tests.
+Clean-slate TypeScript implementation of GraphReFly.
 
-The graph core is synchronous. Async work should live at source, adapter, executor,
-worker, or wire-bridge boundaries and return to the graph as visible facts or
-commands.
+GraphReFly is a synchronous reactive graph runtime. You compose nodes, push data
+through explicit messages, inspect the live graph, and keep async work at clear
+source/adapter/executor boundaries.
 
-## Concurrent WorkQueue Workers
+```bash
+npm install @graphrefly/ts
+```
+
+## Quick Start
+
+```ts
+import { graph } from "@graphrefly/ts";
+
+const g = graph({ name: "example" });
+
+const count = g.state(0, { name: "count" });
+const doubled = g.derived([count], (n) => n * 2, { name: "doubled" });
+
+doubled.subscribe((msg) => {
+  if (msg[0] === "DATA") console.log("doubled", msg[1]);
+});
+
+count.set(3);
+```
+
+The graph can also describe itself:
+
+```ts
+console.log(g.topology());
+console.log(g.describe());
+```
 
-`workQueue` supports parallel workers by separating queue lifecycle from async
-execution:
+## Core Ideas
 
-1. The queue emits graph-visible `work-admitted` and `work-claimed` records.
-2. A boundary runner observes claimed work and starts async tasks.
-3. The runner reports results through the queue command front door:
-   `complete`, `fail`, or `release`.
+- `state` is the sanctioned external input boundary.
+- `derived` computes from declared dependencies.
+- `producer` and source factories create graph-visible input streams.
+- `effect` performs side effects from graph-visible values.
+- Operators are node factories, not a second runtime.
+- `describe()`, `topology()`, `observe()`, and `profile()` are read-only
+  inspection surfaces.
 
-Do not keep a node `ctx` and call `ctx.down(...)` from a later promise callback.
-Promise callbacks are fine in the boundary runner; the important part is that
-their results re-enter the graph as explicit queue commands or outcome facts.
+The wave core is synchronous. Promises, timers, fetches, subprocesses, workers,
+and remote bridges belong at source, adapter, executor, worker, or wire-bridge
+boundaries. Results re-enter the graph as facts, commands, or messages.
+
+## Common Imports
+
+```ts
+import { graph } from "@graphrefly/ts/graph";
+import { map, filter, scan, switchMap } from "@graphrefly/ts/operators";
+import { fromPromise, fromEvent, timer } from "@graphrefly/ts/sources";
+import { memoryKv } from "@graphrefly/ts/storage";
+import { describeToMermaid } from "@graphrefly/ts/render";
+```
 
-The smallest concurrent HTTP worker looks like this:
+The package also exports the common surface from the root:
 
 ```ts
-import {
-  graph,
-  messageBus,
-  workQueue,
-  type WorkQueue,
-  type WorkQueueRecord,
-} from "@graphrefly/ts";
-
-type HttpTask = {
-  readonly url: string;
-};
-
-const g = graph({ name: "http-work" });
-const bus = messageBus(g, { topics: ["http-work"] });
-const queue = workQueue<HttpTask>(g, {
-  queueId: "http",
-  bus,
-  topic: "http-work",
-  subscriptionId: "http-worker-input",
+import { graph, map, timer, memoryKv } from "@graphrefly/ts";
+```
+
+## Operators
+
+```ts
+import { graph, map, scan } from "@graphrefly/ts";
+
+const g = graph({ name: "counter" });
+const count = g.state(0, { name: "count" });
+
+const doubled = g.initNode(map((n: number) => n * 2), [count], { name: "doubled" });
+const total = g.initNode(scan((acc: number, n: number) => acc + n, 0), [doubled], {
+  name: "total",
 });
 
-queue.submit({ url: "https://example.com/a.json" }, { workId: "url-1" });
-queue.submit({ url: "https://example.com/b.json" }, { workId: "url-2" });
-
-function startHttpWorker(
-  queue: WorkQueue<HttpTask>,
-  opts: { readonly workerId: string; readonly concurrency: number },
-): () => void {
-  const payloads = new Map<string, HttpTask>();
-  const inFlight = new Set<string>();
-
-  const refill = () => {
-    const availableSlots = opts.concurrency - inFlight.size;
-    if (availableSlots > 0) {
-      queue.claim({ workerId: opts.workerId, limit: availableSlots });
-    }
-  };
-
-  const unsubscribe = queue.records.subscribe((msg) => {
-    if (msg[0] !== "DATA") return;
-    const record = msg[1] as WorkQueueRecord<HttpTask>;
-
-    if (record.kind === "work-admitted") {
-      payloads.set(record.workId, record.payload);
-      refill();
-      return;
-    }
-
-    if (record.kind !== "work-claimed" || record.workerId !== opts.workerId) return;
-    const task = payloads.get(record.workId);
-    if (task === undefined) {
-      queue.release({
-        workId: record.workId,
-        leaseId: record.leaseId,
-        attempt: record.attempt,
-        workerId: opts.workerId,
-        reason: "missing-payload",
-      });
-      return;
-    }
-
-    inFlight.add(record.workId);
-    void fetch(task.url)
-      .then(async (response) => {
-        if (!response.ok) throw new Error(`HTTP ${response.status}`);
-        return response.json() as Promise<unknown>;
-      })
-      .then((result) => {
-        queue.complete({
-          workId: record.workId,
-          leaseId: record.leaseId,
-          attempt: record.attempt,
-          workerId: opts.workerId,
-          result,
-        });
-      })
-      .catch((error) => {
-        queue.fail({
-          workId: record.workId,
-          leaseId: record.leaseId,
-          attempt: record.attempt,
-          workerId: opts.workerId,
-          error,
-          retryable: true,
-        });
-      })
-      .finally(() => {
-        inFlight.delete(record.workId);
-        refill();
-      });
-  });
-
-  refill();
-  return unsubscribe;
+count.set(1);
+count.set(2);
+```
+
+Available operator families include transform, filter, accumulation, combine,
+buffer, higher-order, time, control, and error handling operators.
+
+## Sources
+
+```ts
+import { graph, timer } from "@graphrefly/ts";
+
+const g = graph({ name: "clock" });
+const tick = g.initNode(timer(1000), [], { name: "tick" });
+
+tick.subscribe((msg) => {
+  if (msg[0] === "DATA") console.log(msg[1]);
+});
+```
+
+Sources include scalar values, sync and async iterables, promises, timers,
+events, push notifications, HTTP/SSE/WebSocket driver boundaries, webhooks, and
+cron-like schedules. Node-only process and filesystem helpers live under
+`@graphrefly/ts/sources/node`.
+
+## Inspection And Rendering
+
+```ts
+import { describeToMermaid, graph } from "@graphrefly/ts";
+
+const g = graph({ name: "pricing" });
+const price = g.state(100, { name: "price" });
+const tax = g.derived([price], (p) => p * 0.0825, { name: "tax" });
+g.derived([price, tax], (p, t) => p + t, { name: "total" });
+
+const topology = g.topology();
+const snapshot = g.describe();
+const mermaid = describeToMermaid(snapshot);
+const stop = g.observe().subscribe((event) => console.log(event));
+```
+
+Use `topology()` for pure structure, `describe()` for richer developer
+inspection, `observe()` for message egress, and render helpers for Mermaid, D2,
+ASCII, JSON, and pretty text.
+
+## Storage And Restore
+
+Storage helpers are passive. They store facts, frames, snapshots, checkpoints,
+and event logs, but they do not own graph hydration.
+
+```ts
+import { defaultRestoreRegistry, graph, memoryKv, restoreGraph } from "@graphrefly/ts";
+
+const g = graph({ name: "counter" });
+const count = g.state(1, { name: "count", restore: { ref: "state" } });
+count.set(2);
+
+const checkpoint = g.checkpoint();
+const kv = memoryKv();
+await kv.put("checkpoint:counter", checkpoint);
+
+const saved = await kv.get("checkpoint:counter");
+if (saved !== undefined) {
+  const restored = restoreGraph(saved, { registry: defaultRestoreRegistry });
 }
+```
+
+## Reactive Collections
+
+```ts
+import { graph, reactiveMap } from "@graphrefly/ts";
 
-const stopWorker = startHttpWorker(queue, { workerId: "http-worker-1", concurrency: 2 });
+const g = graph({ name: "inventory" });
+const items = reactiveMap<string, { stock: number }>();
+
+items.set("sku-1", { stock: 3 });
+
+g.effect([items.snapshot], (snapshot) => {
+  console.log(snapshot.get("sku-1"));
+});
+```
+
+The package includes `reactiveMap`, `reactiveList`, `reactiveLog`,
+`reactiveIndex`, collection persistence helpers, views, and cascading cache.
+
+## Framework And Runtime Adapters
+
+Focused adapter subpaths keep framework/runtime ownership explicit:
+
+```ts
+import { useNodeValue as useReactNodeValue } from "@graphrefly/ts/adapters/react";
+import { useNodeValue as useVueNodeValue } from "@graphrefly/ts/adapters/vue";
+import { nodeReadable } from "@graphrefly/ts/adapters/svelte";
+import { createNodeValue } from "@graphrefly/ts/adapters/solid";
 ```
 
-This uses one worker identity, but it can keep multiple leases in flight. The
-queue remains responsible for claim/lease/retry/dead-letter facts; the runner is
-responsible for ordinary JavaScript concurrency.
+Other focused surfaces include:
 
-For orchestration and CQRS recipes, keep the same boundary:
+- `@graphrefly/ts/adapters/nestjs`
+- `@graphrefly/ts/adapters/observe-storage`
+- `@graphrefly/ts/messaging`
+- `@graphrefly/ts/work-queue`
+- `@graphrefly/ts/orchestration`
+- `@graphrefly/ts/cqrs`
+- `@graphrefly/ts/executors/tool-provider`
+- `@graphrefly/ts/executors/tool-provider-runtime`
+- `@graphrefly/ts/executors/tool-provider-adapters`
+- `@graphrefly/ts/solutions/reactive-layout`
+- `@graphrefly/ts/solutions/work-item/actions`
+- `@graphrefly/ts/solutions/work-item/scheduling`
 
-- orchestration work produces effect/request/evidence/status facts;
-- CQRS work produces command/status/event/error facts;
-- worker results return through explicit outcome facts or queue disposition
-  commands, not through a stale graph `ctx`.
+## Package Status
+
+This is the current TypeScript package. The old `@graphrefly/graphrefly` and
+`@graphrefly/pure-ts` packages are retired and deprecated. New code should use
+`@graphrefly/ts` and its focused subpaths.
+
+`@graphrefly/ts` is pre-1.0. The package favors clean-slate correctness over
+backward compatibility with retired APIs.
+
+## Development
+
+```bash
+pnpm --filter @graphrefly/ts test
+pnpm --filter @graphrefly/ts build
+pnpm run lint
+```
+
+Before publishing:
+
+```bash
+pnpm test
+pnpm run lint
+pnpm run build
+pnpm --filter @graphrefly/ts pack --pack-destination /tmp
+```

package/dist/{actions-types-wl9Mgkmr.d.cts → actions-types-CH-XCU9O.d.cts}

@@ -1,9 +1,9 @@
 import { DataIssue } from './data/index.cjs';
 import { BoundaryCapabilityRef } from './inspection/boundary.cjs';
-import { N as Node } from './types-BS6CyR-x.cjs';
-import { S as SourceRef, l as EffectRunGoal, h as AgentOutputEnvelope, a as AgentRuntimeAuditRecord, m as EffectRunLimits, k as EffectRunResultStatus, n as EffectRunResult } from './agent-runtime-types-core-CaXfKNtY.cjs';
-import { W as WorkItemEffectRequested, c as WorkItemDomainActionProposal, a as WorkItemEvidenceRecorded, d as WorkItemDomainActionProposalSpec, e as WorkItemDomainActionAdmission, f as WorkItemDomainActionAdmissionDecision } from './work-item-runtime-types-CHO03AKh.cjs';
-import { C as CapabilityAdmission, g as CapabilityAdmissionStatus } from './capability-admission-lwSecxXs.cjs';
+import { N as Node } from './types-CTN3XoMl.cjs';
+import { S as SourceRef, l as EffectRunGoal, h as AgentOutputEnvelope, a as AgentRuntimeAuditRecord, m as EffectRunLimits, k as EffectRunResultStatus, n as EffectRunResult } from './agent-runtime-types-core-bfl4m0vM.cjs';
+import { W as WorkItemEffectRequested, c as WorkItemDomainActionProposal, a as WorkItemEvidenceRecorded, d as WorkItemDomainActionProposalSpec, e as WorkItemDomainActionAdmission, f as WorkItemDomainActionAdmissionDecision } from './work-item-runtime-types-BTxLskN5.cjs';
+import { C as CapabilityAdmission, g as CapabilityAdmissionStatus } from './capability-admission-B8RNFyaZ.cjs';
 
 type WorkItemValidationIssueCode = "malformed-draft" | "missing-required-field" | "invalid-patch" | "duplicate-id" | "dangling-ref" | "cyclic-dependency" | "unsupported-mode" | "unsupported-effect-kind" | "oversized-inline-data" | "policy-mismatch" | "missing-policy" | "stale-revision" | "stale-execution-input" | "blocked-prerequisite" | "verification-unplanned" | "manual-review-required" | "duplicate-suppressed" | "ambiguous-coverage" | "partial-coverage" | "unverifiable-output" | "unauthorized-author" | "unauthorized-target" | "invalid-schedule";
 type WorkItemValidationStatusState = "projected" | "rejected" | "deferred" | "blocked" | "needs-human-review" | "stale" | "duplicate" | "request-emitted" | "result-recorded" | "domain-action-proposed";

package/dist/{actions-types-CSC3NMDl.d.ts → actions-types-w2iPQTkv.d.ts}

@@ -1,9 +1,9 @@
 import { DataIssue } from './data/index.js';
 import { BoundaryCapabilityRef } from './inspection/boundary.js';
-import { N as Node } from './types-C9NOgNJw.js';
-import { S as SourceRef, l as EffectRunGoal, h as AgentOutputEnvelope, a as AgentRuntimeAuditRecord, m as EffectRunLimits, k as EffectRunResultStatus, n as EffectRunResult } from './agent-runtime-types-core-hU299uIC.js';
-import { W as WorkItemEffectRequested, c as WorkItemDomainActionProposal, a as WorkItemEvidenceRecorded, d as WorkItemDomainActionProposalSpec, e as WorkItemDomainActionAdmission, f as WorkItemDomainActionAdmissionDecision } from './work-item-runtime-types-BqtWnSCS.js';
-import { C as CapabilityAdmission, g as CapabilityAdmissionStatus } from './capability-admission-BW2CziT6.js';
+import { N as Node } from './types-DChxk1vK.js';
+import { S as SourceRef, l as EffectRunGoal, h as AgentOutputEnvelope, a as AgentRuntimeAuditRecord, m as EffectRunLimits, k as EffectRunResultStatus, n as EffectRunResult } from './agent-runtime-types-core-CKwrBDyi.js';
+import { W as WorkItemEffectRequested, c as WorkItemDomainActionProposal, a as WorkItemEvidenceRecorded, d as WorkItemDomainActionProposalSpec, e as WorkItemDomainActionAdmission, f as WorkItemDomainActionAdmissionDecision } from './work-item-runtime-types-DAsZbb2y.js';
+import { C as CapabilityAdmission, g as CapabilityAdmissionStatus } from './capability-admission-Dkw1Xz3r.js';
 
 type WorkItemValidationIssueCode = "malformed-draft" | "missing-required-field" | "invalid-patch" | "duplicate-id" | "dangling-ref" | "cyclic-dependency" | "unsupported-mode" | "unsupported-effect-kind" | "oversized-inline-data" | "policy-mismatch" | "missing-policy" | "stale-revision" | "stale-execution-input" | "blocked-prerequisite" | "verification-unplanned" | "manual-review-required" | "duplicate-suppressed" | "ambiguous-coverage" | "partial-coverage" | "unverifiable-output" | "unauthorized-author" | "unauthorized-target" | "invalid-schedule";
 type WorkItemValidationStatusState = "projected" | "rejected" | "deferred" | "blocked" | "needs-human-review" | "stale" | "duplicate" | "request-emitted" | "result-recorded" | "domain-action-proposed";