@earendil-works/chord 1.4.0 → 1.5.0

package/dist/next/state/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/next/state/derive.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,qEAAqE;AAGrE,OAAO,EAAE,aAAa,EAAW,MAAM,sBAAsB,CAAC;AAG9D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAiC,SAAS,EAAE,MAAM,EAAmB,MAAM,gBAAgB,CAAC;AAmBnG,MAAM,KAAK,GAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAE7C,MAAM,MAAM,GAAkB,EAAE,CAAC;AAEjC,sGAAsG;AACtG,MAAM,QAAQ,GAAkB,MAAM,CAAC,UAAU,CAAC,CAAC;AAEnD;;;;GAIG;AACH,MAAM,OAAO,MAAO,SAAQ,MAAM;IACxB,QAAQ,CAA4C;IAC7D,6DAA6D;IAC7D,SAAS,CAAiC;IAC1C,QAAQ,GAA2B,EAAE,CAAC;IACtC,MAAM,GAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACxC,6FAA6F;IAC7F,OAAO,CAA0C;IACjD,2GAA2G;IAC3G,QAAQ,GAAG,KAAK,CAAC;IACjB,8GAA8G;IAC9G,OAAO,CAAyC;IAChD,QAAQ,GAAG,KAAK,CAAC;IACjB,4GAA4G;IAC5G,KAAK,GAAgC,QAAQ,CAAC;IAE9C,YAAY,OAA2B,EAAE,OAAkD,EAAE,KAAY;QACxG,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC;QACzB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,IAAI,KAAK;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QACrD,MAAM,KAAK,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,6FAA6F;IAC7F,KAAK;QACJ,IAAI,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC1F,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,OAAwD,EAAE,MAAgC;QAChG,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,MAAM,YAAY,MAAM,IAAI,MAAM,YAAY,YAAY;gBAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7F,CAAC;IACF,CAAC;IAED,yGAAyG;IACzG,MAAM,CAAC,KAAY;QAClB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,MAAM,YAAY,MAAM,IAAI,MAAM,YAAY,YAAY;gBAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QACzB,IAAI,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,UAAU;QACT,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QAChE,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjF,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,EAAE,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,OAAuB;QACpC,iGAAiG;QACjG,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAgB;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAQ,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QACzB,IAAI,KAAgB,CAAC;QACrB,IAAI,CAAC;YACJ,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,iEAAiE;YACjE,IAAI,MAAM,KAAK,QAAQ;gBAAE,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO;QACR,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,IAAI,GAAG,GAAkB,MAAM,CAAC;QAChC,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACvC,GAAG,GAAG,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3E,CAAC;IAED,UAAU;QACT,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE;YAC9B,IAAI,CAAC;gBACJ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;gBAC1C,0GAA0G;gBAC1G,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,KAAgB,CAAC;gBACrB,IAAI,CAAC;oBACJ,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC/B,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,IAAI,CAAC,IAAI,CAAC,QAAQ;wBAAE,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;oBACrB,MAAM,KAAK,CAAC;gBACb,CAAC;gBACD,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;gBACtB,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;gBACnB,OAAO,KAAK,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;gBACxC,MAAM,KAAK,CAAC;YACb,CAAC;QACF,CAAC,CAAC,CAAC;IACJ,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAyB,CAAoB;IACrE,MAAM,OAAO,GAAG,IAAI,OAAO,EAAa,CAAC;IACzC,OAAO,CAAC,QAAQ,EAAE,EAAE,CACnB,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACxB,uDAAuD;QACvD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["// Derives (§12): values computed from watchables, pulled when read and marked dirty by commits; and `mapShared`, which\n// keeps unchanged elements identical so a derive's diff stays cheap.\n\nimport type { Context } from \"../../context/index.ts\";\nimport { diffRevisions, type Op } from \"../../delta/index.ts\";\nimport type { JsonValue } from \"../../json.ts\";\nimport type { Batch } from \"./batch.ts\";\nimport { NativeSource } from \"./native-source.ts\";\nimport { type Constant, type Dependent, handedOut, Source, type WatchStart } from \"./watchable.ts\";\n\n/** A JSON watchable as Chord follows it (a state member, a JSON derive source): a source, or a constant. */\nexport type DeriveSource = Source | Constant;\n\n/** What a derive reads: a JSON source or constant, or a native source (a `writable`, a registry value, `ref.state`). */\nexport type DeriveInput = DeriveSource | NativeSource;\n\n/**\n * Where a derive stands. `dirty`: a source changed since the last compute (or there was none). A failed derive (its\n * compute threw) throws its error until a source it reads changes or is re-bound, then recomputes (self-healing, design\n * §11); a detached one (its object ended) throws its object's error for good.\n */\ntype DeriveState =\n\t| { readonly kind: \"dirty\" }\n\t| { readonly kind: \"clean\"; readonly value: JsonValue }\n\t| { readonly kind: \"failed\"; readonly error: unknown }\n\t| { readonly kind: \"detached\"; readonly error: unknown };\n\nconst DIRTY: DeriveState = { kind: \"dirty\" };\n\nconst NO_OPS: readonly Op[] = [];\n\n/** What a failed derive's watches had: no value, so its next value frame replaces the value whole. */\nconst NO_VALUE: unique symbol = Symbol(\"no value\");\n\n/**\n * A derive: `compute` over its sources' values, recomputed on read when dirty, so each compute runs at most once per\n * batch and after its sources. A commit only marks it; the batch recomputes it only when something watched depends on\n * it.\n */\nexport class Derive extends Source implements Dependent {\n\treadonly #compute: (values: readonly unknown[]) => JsonValue;\n\t/** The sources as declared, until `attach` resolves them. */\n\t#declared: readonly unknown[] | undefined;\n\t#sources: readonly DeriveInput[] = [];\n\t#state: DeriveState = { kind: \"dirty\" };\n\t/** The value this derive's watches have, kept from its marking to its frame in the batch. */\n\t#framed: JsonValue | typeof NO_VALUE | undefined;\n\t/** Whether a source's document was retired in the current batch while this derive is watched (rule 21). */\n\t#retired = false;\n\t/** Reports a failure of its compute to its owner (`attach`); once per failure episode, which a value ends. */\n\t#report: ((error: unknown) => void) | undefined;\n\t#failing = false;\n\t/** Its last good value, which a watch opened while it is failed starts at (`NO_VALUE` before the first). */\n\t#good: JsonValue | typeof NO_VALUE = NO_VALUE;\n\n\tconstructor(sources: readonly unknown[], compute: (values: readonly unknown[]) => JsonValue, batch: Batch) {\n\t\tsuper(batch);\n\t\tthis.#declared = sources;\n\t\tthis.#compute = compute;\n\t}\n\n\tget value(): JsonValue {\n\t\tconst state = this.#state;\n\t\tif (state.kind === \"clean\") return state.value;\n\t\tif (state.kind === \"dirty\") return this.#recompute();\n\t\tthrow state.error;\n\t}\n\n\t/** Its value, or while failed its failure and last good value (a detached derive throws). */\n\tstart(): WatchStart {\n\t\ttry {\n\t\t\treturn { kind: \"value\", value: this.value };\n\t\t} catch (error) {\n\t\t\tif (this.#state.kind !== \"failed\") throw error;\n\t\t\treturn { kind: \"failed\", error, last: this.#good === NO_VALUE ? undefined : this.#good };\n\t\t}\n\t}\n\n\t/**\n\t * Starts reading its sources, as `resolve` maps the declared ones (at activation); the first read computes.\n\t * `report` gets a throw of its compute, once per failure episode (a value ends it); a failing source's error is its\n\t * source's to report.\n\t */\n\tattach(resolve: (source: unknown, index: number) => DeriveInput, report: (error: unknown) => void): void {\n\t\tthis.#report = report;\n\t\tthis.#sources = this.#declared!.map(resolve);\n\t\tthis.#declared = undefined;\n\t\tfor (const source of this.#sources) {\n\t\t\tif (source instanceof Source || source instanceof NativeSource) source.dependents.add(this);\n\t\t}\n\t}\n\n\t/** Its object ended: no source keeps it, its watches end `ended`, reads throw `error` (the object's). */\n\tdetach(error: Error): void {\n\t\tfor (const source of this.#sources) {\n\t\t\tif (source instanceof Source || source instanceof NativeSource) source.dependents.delete(this);\n\t\t}\n\t\tthis.#sources = [];\n\t\tthis.#declared = undefined;\n\t\tthis.#state = { kind: \"detached\", error };\n\t\tthis.#framed = undefined;\n\t\tthis.endWatches();\n\t}\n\n\t/**\n\t * A source changed: mark this derive and its dependents dirty, flags only; a failed one too, which recomputes on its\n\t * next read and heals when its sources give a value it can compute. An already dirty derive has dirty dependents\n\t * (every read recomputes its sources first), so marking stops there.\n\t */\n\tinvalidate(): void {\n\t\tconst state = this.#state;\n\t\tif (state.kind === \"dirty\" || state.kind === \"detached\") return;\n\t\tif (this.watched) this.#framed = state.kind === \"clean\" ? state.value : NO_VALUE;\n\t\tthis.#state = DIRTY;\n\t\tthis.changed();\n\t}\n\n\t/**\n\t * A source's document was retired in this batch (`Source.retiredInBatch`): a watched derive's frame carries the\n\t * flag, and the derives reading this one are told too.\n\t */\n\tsourceRetired(visited: Set<Dependent>): void {\n\t\t// Once per derive per retirement: a diamond of derives is walked in its size, not once per path.\n\t\tif (visited.has(this)) return;\n\t\tvisited.add(this);\n\t\tif (this.watched) this.#retired = true;\n\t\tfor (const derive of this.dependents) derive.sourceRetired(visited);\n\t}\n\n\t/**\n\t * Delivers the frame: the diff from the watches' value, a retirement even without ops (rule 21). A compute that\n\t * throws gives one failure call when the watches had a value (one per failure episode), the watches stay open; a\n\t * retirement waits for the next value.\n\t */\n\tdeliver(context: Context): void {\n\t\tconst before = this.#framed!;\n\t\tconst retired = this.#retired;\n\t\tthis.#framed = undefined;\n\t\tlet after: JsonValue;\n\t\ttry {\n\t\t\tafter = this.value;\n\t\t} catch (error) {\n\t\t\t// Still failed since the last call: nothing new for the watches.\n\t\t\tif (before !== NO_VALUE) this.failWatches(error, context);\n\t\t\treturn;\n\t\t}\n\t\tthis.#retired = false;\n\t\tlet ops: readonly Op[] = NO_OPS;\n\t\tif (after !== before) {\n\t\t\tthis.batch.count(\"chord.derive.diffs\");\n\t\t\tops = before === NO_VALUE ? [[\"r\", after]] : diffRevisions(before, after);\n\t\t}\n\t\tif (ops.length > 0 || retired) this.publish(after, ops, retired, context);\n\t}\n\n\t#recompute(): JsonValue {\n\t\treturn this.batch.compute(() => {\n\t\t\ttry {\n\t\t\t\tthis.batch.count(\"chord.derive.computes\");\n\t\t\t\t// A failing source throws its own error here, so a derive over a failed derive fails with the same error.\n\t\t\t\tconst values = this.#sources.map((source) => source.value);\n\t\t\t\tlet value: JsonValue;\n\t\t\t\ttry {\n\t\t\t\t\tvalue = this.#compute(values);\n\t\t\t\t} catch (error) {\n\t\t\t\t\tif (!this.#failing) this.#report?.(handedOut(error));\n\t\t\t\t\tthis.#failing = true;\n\t\t\t\t\tthrow error;\n\t\t\t\t}\n\t\t\t\tthis.#failing = false;\n\t\t\t\tthis.#state = { kind: \"clean\", value };\n\t\t\t\tthis.#good = value;\n\t\t\t\treturn value;\n\t\t\t} catch (error) {\n\t\t\t\tthis.#state = { kind: \"failed\", error };\n\t\t\t\tthrow error;\n\t\t\t}\n\t\t});\n\t}\n}\n\n/**\n * Maps an array calling `f` only for object elements not seen before (by identity), returning the previous result for\n * the others; primitive elements are mapped every time. The cache is weak: dropped elements take their results along.\n */\nexport function mapShared<E, R extends JsonValue>(f: (element: E) => R): (elements: readonly E[]) => R[] {\n\tconst results = new WeakMap<object, R>();\n\treturn (elements) =>\n\t\telements.map((element) => {\n\t\t\t// The decided rule: identity caching for objects only.\n\t\t\tif (typeof element !== \"object\" || element === null) return f(element);\n\t\t\tlet result = results.get(element);\n\t\t\tif (result === undefined) {\n\t\t\t\tresult = f(element);\n\t\t\t\tresults.set(element, result);\n\t\t\t}\n\t\t\treturn result;\n\t\t});\n}\n"]}

package/dist/next/state/index.d.ts

@@ -0,0 +1,6 @@
+export type { Watchable } from "../../watch.ts";
+export { mapShared } from "./derive.ts";
+export type { NativeObservation, NativeObserver } from "./native-source.ts";
+export { constant } from "./watchable.ts";
+export type { Writable } from "./writable.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/next/state/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/next/state/index.ts"],"names":[],"mappings":"AAEA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC"}

package/dist/next/state/index.js

@@ -0,0 +1,4 @@
+// State for apps: watchables, constants, writables, observers of native sources, and the derive helper `mapShared`.
+export { mapShared } from "./derive.js";
+export { constant } from "./watchable.js";
+//# sourceMappingURL=index.js.map

package/dist/next/state/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/next/state/index.ts"],"names":[],"mappings":"AAAA,oHAAoH;AAGpH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC","sourcesContent":["// State for apps: watchables, constants, writables, observers of native sources, and the derive helper `mapShared`.\n\nexport type { Watchable } from \"../../watch.ts\";\nexport { mapShared } from \"./derive.ts\";\nexport type { NativeObservation, NativeObserver } from \"./native-source.ts\";\nexport { constant } from \"./watchable.ts\";\nexport type { Writable } from \"./writable.ts\";\n"]}

package/dist/next/state/internal.d.ts

@@ -0,0 +1,6 @@
+export { Batch, type BatchError, type Delivered } from "./batch.ts";
+export { Derive, type DeriveInput, type DeriveSource } from "./derive.ts";
+export { FollowedSource, type NativeObservation, type NativeObserver, NativeSource, type NativeStart, } from "./native-source.ts";
+export { Constant, type Dependent, handedOut, Source, type Subscriber, type WatchStart } from "./watchable.ts";
+export { type WritableOwner, WritableSource } from "./writable.ts";
+//# sourceMappingURL=internal.d.ts.map

package/dist/next/state/internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../../src/next/state/internal.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACN,cAAc,EACd,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,YAAY,EACZ,KAAK,WAAW,GAChB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,KAAK,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC/G,OAAO,EAAE,KAAK,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC"}

package/dist/next/state/internal.js

@@ -0,0 +1,8 @@
+// State for Chord's layers: the batch, sources (JSON and native), derives, constants and writables behind the
+// app's watchables.
+export { Batch } from "./batch.js";
+export { Derive } from "./derive.js";
+export { FollowedSource, NativeSource, } from "./native-source.js";
+export { Constant, handedOut, Source } from "./watchable.js";
+export { WritableSource } from "./writable.js";
+//# sourceMappingURL=internal.js.map

package/dist/next/state/internal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/next/state/internal.ts"],"names":[],"mappings":"AAAA,8GAA8G;AAC9G,oBAAoB;AAEpB,OAAO,EAAE,KAAK,EAAmC,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,MAAM,EAAuC,MAAM,aAAa,CAAC;AAC1E,OAAO,EACN,cAAc,EAGd,YAAY,GAEZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAkB,SAAS,EAAE,MAAM,EAAoC,MAAM,gBAAgB,CAAC;AAC/G,OAAO,EAAsB,cAAc,EAAE,MAAM,eAAe,CAAC","sourcesContent":["// State for Chord's layers: the batch, sources (JSON and native), derives, constants and writables behind the\n// app's watchables.\n\nexport { Batch, type BatchError, type Delivered } from \"./batch.ts\";\nexport { Derive, type DeriveInput, type DeriveSource } from \"./derive.ts\";\nexport {\n\tFollowedSource,\n\ttype NativeObservation,\n\ttype NativeObserver,\n\tNativeSource,\n\ttype NativeStart,\n} from \"./native-source.ts\";\nexport { Constant, type Dependent, handedOut, Source, type Subscriber, type WatchStart } from \"./watchable.ts\";\nexport { type WritableOwner, WritableSource } from \"./writable.ts\";\n"]}

package/dist/next/state/native-source.d.ts

@@ -0,0 +1,106 @@
+import type { Context } from "../../context/index.ts";
+import { NativeWatch, type NativeWatchable, type NativeWatchCall, type NativeWatchHandle, type WatchEnd } from "../../watch.ts";
+import type { Batch } from "./batch.ts";
+import { type Dependent } from "./watchable.ts";
+/**
+ * A synchronous observer of a native source (Durable's observer shape): `advance` is called inside the batch that
+ * changed the source, so it only records; `end` once, when the source ended (`ended`) or the observer's context was
+ * aborted (`aborted`).
+ */
+export interface NativeObserver<T> {
+    /** The source's call of this batch: its new value, or a failure it may recover from. */
+    advance(call: NativeWatchCall<T>, context: Context): void;
+    /** The observer is detached for good with `end`. */
+    end(end: WatchEnd): void;
+}
+/** What `observe` gives: the value the observer starts at, and how to detach it (Durable's `Observation`). */
+export type NativeObservation<T> = {
+    readonly value: T;
+    detach(): void;
+};
+/**
+ * What a new watch of a native source starts at: its value, or while it is failed, the failure and its last good value
+ * (`last` undefined when it never had one: a watch cannot start then).
+ */
+export type NativeStart<T> = {
+    readonly kind: "value";
+    readonly value: T;
+} | {
+    readonly kind: "failed";
+    readonly error: unknown;
+    readonly last: {
+        readonly value: T;
+    } | undefined;
+};
+/**
+ * A native source as derives and registry tables read it: its value (`start()` while it may fail), the dependents a
+ * change marks (`changed()`, inside a batch), and the host's batch until it ended. How its watches get their calls is
+ * the subclass's (`FollowedSource` for writables and registry values; `ref.state` gives each state to its watches).
+ */
+export declare abstract class NativeSource<T = unknown> implements NativeWatchable<T> {
+    #private;
+    /** Derives and registry tables reading this source; each removes itself when it stops. */
+    readonly dependents: Set<Dependent>;
+    /** `batch` undefined: made ended (a released reference's state). */
+    constructor(batch: Batch | undefined);
+    abstract get value(): T;
+    abstract watch(context: Context): Promise<NativeWatchHandle<T>>;
+    /** What a new watch starts at; a source that can fail and recover tells its failure. */
+    start(): NativeStart<T>;
+    /**
+     * Its value now as a contribution reads it: throws its failure while it is failed, where `.value` keeps the last good
+     * value for readers (a registry whose `compose` threw).
+     */
+    current(): T;
+    /** The host's batch, `undefined` once the source ended. */
+    protected get batch(): Batch | undefined;
+    /** Records a change inside the current batch: every dependent marked. */
+    protected changed(): void;
+    /** Ends the source for good: its dependents dropped, the batch let go. */
+    protected end(): void;
+}
+/**
+ * A native source its followers get through the batch (a writable, a registry value): a change lists it for one frame
+ * when someone follows it; the frame is its value then, delivered only when it is another value (identity) than the
+ * one its followers have, or after a failure, whose call comes once per episode.
+ */
+export declare abstract class FollowedSource<T = unknown> extends NativeSource<T> {
+    #private;
+    /** Whether a watch or an observer follows it (a registry value also while readers wait for its first value). */
+    get watched(): boolean;
+    watch(context: Context): Promise<NativeWatch<T>>;
+    /**
+     * `watch` without the Promise. On a failed source it opens at the last good value and its first call is the
+     * failure; with no value to start at it throws the failure. An ended source gives a watch that has ended.
+     */
+    openWatch(context: Context): NativeWatch<T>;
+    /**
+     * Attaches a synchronous observer at the current value (Durable's `observeXXX`); it counts as following, so a lazy
+     * value is computed in the batch that changed it. Throws the failure when there is no value to start at; aborting
+     * `context` detaches it (`aborted`); the source's end detaches it too (`ended`), its abort listener removed.
+     */
+    observe(observer: NativeObserver<T>, context: Context): NativeObservation<T>;
+    /**
+     * Feeds `observer` every call from now on, inside each batch, also while the source has no value (Chord's own
+     * followers: `retryOn`). Nothing is delivered for the current value.
+     */
+    subscribe(observer: NativeObserver<T>): void;
+    unsubscribe(observer: NativeObserver<T>): void;
+    /** Delivers this batch's frame: the new value when the followers have another, or a failure once per episode. */
+    deliver(context: Context): void;
+    /**
+     * Records a change inside the current batch: every dependent marked, and the source listed for a frame when someone
+     * follows it (or `watched` says so).
+     */
+    protected changed(): void;
+    /**
+     * Lists the source for a frame in the current batch when someone follows it (or `watched` says so), its dependents
+     * left as they are (marked already).
+     */
+    protected list(): void;
+    /** Nothing follows it any more (no watch, no observer): a subclass drops what it kept for followers. */
+    protected unfollowed(): void;
+    /** Ends the source for good: watches and observers end `ended` (their abort listeners removed). */
+    protected end(): void;
+}
+//# sourceMappingURL=native-source.d.ts.map

package/dist/next/state/native-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-source.d.ts","sourceRoot":"","sources":["../../../src/next/state/native-source.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EACN,WAAW,EACX,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,KAAK,SAAS,EAAa,MAAM,gBAAgB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC;IAChC,wFAAwF;IACxF,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC1D,oDAAoD;IACpD,GAAG,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI,CAAC;CACzB;AAED,8GAA8G;AAC9G,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,IAAI,IAAI,CAAA;CAAE,CAAC;AAEzE;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,SAAS,CAAA;CAAE,CAAC;AAE1G;;;;GAIG;AACH,8BAAsB,YAAY,CAAC,CAAC,GAAG,OAAO,CAAE,YAAW,eAAe,CAAC,CAAC,CAAC;;IAC5E,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,iBAAwB;IAI3C,oEAAoE;IACpE,YAAY,KAAK,EAAE,KAAK,GAAG,SAAS,EAEnC;IAED,QAAQ,KAAK,KAAK,IAAI,CAAC,CAAC;IAExB,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,wFAAwF;IACxF,KAAK,IAAI,WAAW,CAAC,CAAC,CAAC,CAEtB;IAED;;;OAGG;IACH,OAAO,IAAI,CAAC,CAEX;IAED,2DAA2D;IAC3D,SAAS,KAAK,KAAK,IAAI,KAAK,GAAG,SAAS,CAEvC;IAED,yEAAyE;IACzE,SAAS,CAAC,OAAO,IAAI,IAAI,CAExB;IAED,0EAA0E;IAC1E,SAAS,CAAC,GAAG,IAAI,IAAI,CAGpB;CACD;AAkBD;;;;GAIG;AACH,8BAAsB,cAAc,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,YAAY,CAAC,CAAC,CAAC;;IASxE,gHAAgH;IAChH,IAAI,OAAO,IAAI,OAAO,CAErB;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAErD;IAED;;;OAGG;IACH,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAiB1C;IAED;;;;OAIG;IACH,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAwB3E;IAED;;;OAGG;IACH,SAAS,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAI3C;IAED,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAM7C;IAED,iHAAiH;IACjH,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAO9B;IAED;;;OAGG;IACH,UAAmB,OAAO,IAAI,IAAI,CAGjC;IAED;;;OAGG;IACH,SAAS,CAAC,IAAI,IAAI,IAAI,CAOrB;IAED,wGAAwG;IACxG,SAAS,CAAC,UAAU,IAAI,IAAI,CAAG;IAE/B,mGAAmG;IACnG,UAAmB,GAAG,IAAI,IAAI,CAW7B;CA4CD"}

package/dist/next/state/native-source.js

@@ -0,0 +1,240 @@
+// Native sources (W4, slice 8 §2): in-process values that change, compared by identity (a `writable`, a registry's
+// composed value, `ref.state`). Derives and registry tables depend on them and the batch marks them; the followed
+// ones (writables, registry values) give their watches and observers one call per batch that changed them.
+import { NativeWatch, } from "../../watch.js";
+import { handedOut } from "./watchable.js";
+/**
+ * A native source as derives and registry tables read it: its value (`start()` while it may fail), the dependents a
+ * change marks (`changed()`, inside a batch), and the host's batch until it ended. How its watches get their calls is
+ * the subclass's (`FollowedSource` for writables and registry values; `ref.state` gives each state to its watches).
+ */
+export class NativeSource {
+    /** Derives and registry tables reading this source; each removes itself when it stops. */
+    dependents = new Set();
+    /** The host's batch; dropped when the source ended, so an ended source keeps no host. */
+    #batch;
+    /** `batch` undefined: made ended (a released reference's state). */
+    constructor(batch) {
+        this.#batch = batch;
+    }
+    /** What a new watch starts at; a source that can fail and recover tells its failure. */
+    start() {
+        return { kind: "value", value: this.value };
+    }
+    /**
+     * Its value now as a contribution reads it: throws its failure while it is failed, where `.value` keeps the last good
+     * value for readers (a registry whose `compose` threw).
+     */
+    current() {
+        return this.value;
+    }
+    /** The host's batch, `undefined` once the source ended. */
+    get batch() {
+        return this.#batch;
+    }
+    /** Records a change inside the current batch: every dependent marked. */
+    changed() {
+        for (const dependent of this.dependents)
+            dependent.invalidate();
+    }
+    /** Ends the source for good: its dependents dropped, the batch let go. */
+    end() {
+        this.#batch = undefined;
+        this.dependents.clear();
+    }
+}
+const ENDED = { kind: "ended" };
+const ABORTED = { kind: "aborted" };
+const FAILED = { kind: "failed" };
+const NONE = { kind: "none" };
+const NOTHING = () => { };
+/**
+ * A native source its followers get through the batch (a writable, a registry value): a change lists it for one frame
+ * when someone follows it; the frame is its value then, delivered only when it is another value (identity) than the
+ * one its followers have, or after a failure, whose call comes once per episode.
+ */
+export class FollowedSource extends NativeSource {
+    #watches = new Set();
+    /** Synchronous observers and Chord's own subscribers (`retryOn`), fed inside the batch, each with its cleanup. */
+    #observers = new Map();
+    /** What the followers have; `undefined` while nobody follows (so no old value is kept). */
+    #shown;
+    /** Listed for a frame in the current batch. */
+    #listed = false;
+    /** Whether a watch or an observer follows it (a registry value also while readers wait for its first value). */
+    get watched() {
+        return this.#watches.size > 0 || this.#observers.size > 0;
+    }
+    async watch(context) {
+        return this.openWatch(context);
+    }
+    /**
+     * `watch` without the Promise. On a failed source it opens at the last good value and its first call is the
+     * failure; with no value to start at it throws the failure. An ended source gives a watch that has ended.
+     */
+    openWatch(context) {
+        const batch = this.batch;
+        if (batch === undefined) {
+            const ended = new NativeWatch(this.value, NOTHING, NOTHING);
+            ended.end(ENDED);
+            return ended;
+        }
+        batch.assertOutside("watch");
+        const start = this.start();
+        if (start.kind === "failed" && start.last === undefined)
+            throw start.error;
+        const value = start.kind === "value" ? start.value : start.last.value;
+        this.#follow(start);
+        const watch = new NativeWatch(value, () => this.#unfollow(watch), batch.reportListener);
+        this.#watches.add(watch);
+        if (context.abortSignal !== undefined)
+            watch.observeAbort(context.abortSignal);
+        if (start.kind === "failed")
+            watch.fail(handedOut(start.error), context);
+        return watch;
+    }
+    /**
+     * Attaches a synchronous observer at the current value (Durable's `observeXXX`); it counts as following, so a lazy
+     * value is computed in the batch that changed it. Throws the failure when there is no value to start at; aborting
+     * `context` detaches it (`aborted`); the source's end detaches it too (`ended`), its abort listener removed.
+     */
+    observe(observer, context) {
+        this.batch?.assertOutside("observe");
+        const start = this.start();
+        if (start.kind === "failed" && start.last === undefined)
+            throw start.error;
+        const value = start.kind === "value" ? start.value : start.last.value;
+        if (this.batch === undefined) {
+            observer.end(ENDED);
+            return { value, detach: NOTHING };
+        }
+        const signal = context.abortSignal;
+        if (signal?.aborted) {
+            observer.end(ABORTED);
+            return { value, detach: NOTHING };
+        }
+        const aborted = () => {
+            if (!this.#observers.has(observer))
+                return;
+            this.unsubscribe(observer);
+            observer.end(ABORTED);
+        };
+        const cleanup = signal === undefined ? NOTHING : () => signal.removeEventListener("abort", aborted);
+        signal?.addEventListener("abort", aborted, { once: true });
+        this.#follow(start);
+        this.#observers.set(observer, cleanup);
+        return { value, detach: () => this.unsubscribe(observer) };
+    }
+    /**
+     * Feeds `observer` every call from now on, inside each batch, also while the source has no value (Chord's own
+     * followers: `retryOn`). Nothing is delivered for the current value.
+     */
+    subscribe(observer) {
+        if (this.batch === undefined)
+            return;
+        this.#follow(this.#startOrNone());
+        this.#observers.set(observer, NOTHING);
+    }
+    unsubscribe(observer) {
+        const cleanup = this.#observers.get(observer);
+        if (cleanup === undefined)
+            return;
+        this.#observers.delete(observer);
+        cleanup();
+        this.#settleFollowers();
+    }
+    /** Delivers this batch's frame: the new value when the followers have another, or a failure once per episode. */
+    deliver(context) {
+        this.#listed = false;
+        const shown = this.#shown;
+        if (shown === undefined)
+            return;
+        this.#deliver(shown, context);
+        // Readers waiting for a first value pulled it through this delivery: nothing is kept for them.
+        this.#settleFollowers();
+    }
+    /**
+     * Records a change inside the current batch: every dependent marked, and the source listed for a frame when someone
+     * follows it (or `watched` says so).
+     */
+    changed() {
+        super.changed();
+        this.list();
+    }
+    /**
+     * Lists the source for a frame in the current batch when someone follows it (or `watched` says so), its dependents
+     * left as they are (marked already).
+     */
+    list() {
+        if (this.#listed || !this.watched || this.batch === undefined)
+            return;
+        this.#listed = true;
+        // Only readers waiting for a first value follow it without a follower's record: they have none. Not computed
+        // here: marking runs inside adoptions, the value is pulled in the delivery.
+        this.#shown ??= NONE;
+        this.batch.changed(this);
+    }
+    /** Nothing follows it any more (no watch, no observer): a subclass drops what it kept for followers. */
+    unfollowed() { }
+    /** Ends the source for good: watches and observers end `ended` (their abort listeners removed). */
+    end() {
+        super.end();
+        this.#shown = undefined;
+        // Ending detaches, which deletes the current entry (safe while iterating) and runs no listener.
+        for (const watch of this.#watches)
+            watch.end(ENDED);
+        const observers = [...this.#observers];
+        this.#observers.clear();
+        for (const [observer, cleanup] of observers) {
+            cleanup();
+            observer.end(ENDED);
+        }
+    }
+    #deliver(shown, context) {
+        const start = this.#startOrNone();
+        if (start.kind === "failed") {
+            // A failure reaches followers that had a value: those without one wait for the first.
+            if (shown.kind !== "value")
+                return;
+            this.#shown = FAILED;
+            const error = handedOut(start.error);
+            for (const watch of this.#watches)
+                watch.fail(error, context);
+            for (const observer of [...this.#observers.keys()])
+                observer.advance({ kind: "failed", error }, context);
+            return;
+        }
+        if (start.kind !== "value" || (shown.kind === "value" && shown.value === start.value))
+            return;
+        const { value } = start;
+        this.#shown = start;
+        for (const watch of this.#watches)
+            watch.advance(value, context);
+        // A copy: an observer may detach itself in its call.
+        for (const observer of [...this.#observers.keys()])
+            observer.advance({ kind: "value", value }, context);
+    }
+    /** Its start, `none` while it has no value. */
+    #startOrNone() {
+        const start = this.start();
+        return start.kind === "failed" && start.last === undefined ? NONE : start;
+    }
+    /** A follower comes: the first one records what followers have (a later one opened at the same current value). */
+    #follow(start) {
+        if (this.#shown !== undefined)
+            return;
+        this.#shown = start.kind === "failed" ? FAILED : start;
+    }
+    #unfollow(watch) {
+        this.#watches.delete(watch);
+        this.#settleFollowers();
+    }
+    /** No follower left: nothing is shown any more, so no old value is kept. */
+    #settleFollowers() {
+        if (this.#watches.size > 0 || this.#observers.size > 0)
+            return;
+        this.#shown = undefined;
+        this.unfollowed();
+    }
+}
+//# sourceMappingURL=native-source.js.map

package/dist/next/state/native-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-source.js","sourceRoot":"","sources":["../../../src/next/state/native-source.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,kHAAkH;AAClH,2GAA2G;AAG3G,OAAO,EACN,WAAW,GAKX,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAkB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAyB3D;;;;GAIG;AACH,MAAM,OAAgB,YAAY;IACjC,0FAA0F;IACjF,UAAU,GAAG,IAAI,GAAG,EAAa,CAAC;IAC3C,yFAAyF;IACzF,MAAM,CAAoB;IAE1B,oEAAoE;IACpE,YAAY,KAAwB;QACnC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAMD,wFAAwF;IACxF,KAAK;QACJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACH,OAAO;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,2DAA2D;IAC3D,IAAc,KAAK;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,yEAAyE;IAC/D,OAAO;QAChB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU;YAAE,SAAS,CAAC,UAAU,EAAE,CAAC;IACjE,CAAC;IAED,0EAA0E;IAChE,GAAG;QACZ,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;CACD;AAQD,MAAM,KAAK,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAE1C,MAAM,OAAO,GAAa,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAE9C,MAAM,MAAM,GAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAEhD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAW,CAAC;AAEvC,MAAM,OAAO,GAAG,GAAS,EAAE,GAAE,CAAC,CAAC;AAE/B;;;;GAIG;AACH,MAAM,OAAgB,cAA4B,SAAQ,YAAe;IAC/D,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,kHAAkH;IACzG,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC/D,2FAA2F;IAC3F,MAAM,CAAuB;IAC7B,+CAA+C;IAC/C,OAAO,GAAG,KAAK,CAAC;IAEhB,gHAAgH;IAChH,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB;QAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED;;;OAGG;IACH,SAAS,CAAC,OAAgB;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,WAAW,CAAI,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjB,OAAO,KAAK,CAAC;QACd,CAAC;QACD,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,KAAK,CAAC,KAAK,CAAC;QAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC,KAAK,CAAC;QACvE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,KAAK,GAAmB,IAAI,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;QACxG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACzE,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,QAA2B,EAAE,OAAgB;QACpD,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,KAAK,CAAC,KAAK,CAAC;QAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC,KAAK,CAAC;QACvE,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACnC,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;QACnC,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;YACrB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACtB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACnC,CAAC;QACD,MAAM,OAAO,GAAG,GAAS,EAAE;YAC1B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO;YAC3C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YAC3B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACpG,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED;;;OAGG;IACH,SAAS,CAAC,QAA2B;QACpC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,WAAW,CAAC,QAA2B;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO;QAClC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjC,OAAO,EAAE,CAAC;QACV,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACzB,CAAC;IAED,iHAAiH;IACjH,OAAO,CAAC,OAAgB;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9B,+FAA+F;QAC/F,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACzB,CAAC;IAED;;;OAGG;IACgB,OAAO;QACzB,KAAK,CAAC,OAAO,EAAE,CAAC;QAChB,IAAI,CAAC,IAAI,EAAE,CAAC;IACb,CAAC;IAED;;;OAGG;IACO,IAAI;QACb,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QACtE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,6GAA6G;QAC7G,4EAA4E;QAC5E,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,wGAAwG;IAC9F,UAAU,KAAU,CAAC;IAE/B,mGAAmG;IAChF,GAAG;QACrB,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;QACxB,gGAAgG;QAChG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;YAC7C,OAAO,EAAE,CAAC;YACV,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACF,CAAC;IAED,QAAQ,CAAC,KAAe,EAAE,OAAgB;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,sFAAsF;YACtF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO;YACnC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;YACrB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9D,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;YACzG,OAAO;QACR,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO;QAC9F,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,qDAAqD;QACrD,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;IACzG,CAAC;IAED,+CAA+C;IAC/C,YAAY;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IAC3E,CAAC;IAED,kHAAkH;IAClH,OAAO,CAAC,KAAiD;QACxD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO;QACtC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACxD,CAAC;IAED,SAAS,CAAC,KAAqB;QAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACzB,CAAC;IAED,4EAA4E;IAC5E,gBAAgB;QACf,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO;QAC/D,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;QACxB,IAAI,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;CACD","sourcesContent":["// Native sources (W4, slice 8 §2): in-process values that change, compared by identity (a `writable`, a registry's\n// composed value, `ref.state`). Derives and registry tables depend on them and the batch marks them; the followed\n// ones (writables, registry values) give their watches and observers one call per batch that changed them.\n\nimport type { Context } from \"../../context/index.ts\";\nimport {\n\tNativeWatch,\n\ttype NativeWatchable,\n\ttype NativeWatchCall,\n\ttype NativeWatchHandle,\n\ttype WatchEnd,\n} from \"../../watch.ts\";\nimport type { Batch } from \"./batch.ts\";\nimport { type Dependent, handedOut } from \"./watchable.ts\";\n\n/**\n * A synchronous observer of a native source (Durable's observer shape): `advance` is called inside the batch that\n * changed the source, so it only records; `end` once, when the source ended (`ended`) or the observer's context was\n * aborted (`aborted`).\n */\nexport interface NativeObserver<T> {\n\t/** The source's call of this batch: its new value, or a failure it may recover from. */\n\tadvance(call: NativeWatchCall<T>, context: Context): void;\n\t/** The observer is detached for good with `end`. */\n\tend(end: WatchEnd): void;\n}\n\n/** What `observe` gives: the value the observer starts at, and how to detach it (Durable's `Observation`). */\nexport type NativeObservation<T> = { readonly value: T; detach(): void };\n\n/**\n * What a new watch of a native source starts at: its value, or while it is failed, the failure and its last good value\n * (`last` undefined when it never had one: a watch cannot start then).\n */\nexport type NativeStart<T> =\n\t| { readonly kind: \"value\"; readonly value: T }\n\t| { readonly kind: \"failed\"; readonly error: unknown; readonly last: { readonly value: T } | undefined };\n\n/**\n * A native source as derives and registry tables read it: its value (`start()` while it may fail), the dependents a\n * change marks (`changed()`, inside a batch), and the host's batch until it ended. How its watches get their calls is\n * the subclass's (`FollowedSource` for writables and registry values; `ref.state` gives each state to its watches).\n */\nexport abstract class NativeSource<T = unknown> implements NativeWatchable<T> {\n\t/** Derives and registry tables reading this source; each removes itself when it stops. */\n\treadonly dependents = new Set<Dependent>();\n\t/** The host's batch; dropped when the source ended, so an ended source keeps no host. */\n\t#batch: Batch | undefined;\n\n\t/** `batch` undefined: made ended (a released reference's state). */\n\tconstructor(batch: Batch | undefined) {\n\t\tthis.#batch = batch;\n\t}\n\n\tabstract get value(): T;\n\n\tabstract watch(context: Context): Promise<NativeWatchHandle<T>>;\n\n\t/** What a new watch starts at; a source that can fail and recover tells its failure. */\n\tstart(): NativeStart<T> {\n\t\treturn { kind: \"value\", value: this.value };\n\t}\n\n\t/**\n\t * Its value now as a contribution reads it: throws its failure while it is failed, where `.value` keeps the last good\n\t * value for readers (a registry whose `compose` threw).\n\t */\n\tcurrent(): T {\n\t\treturn this.value;\n\t}\n\n\t/** The host's batch, `undefined` once the source ended. */\n\tprotected get batch(): Batch | undefined {\n\t\treturn this.#batch;\n\t}\n\n\t/** Records a change inside the current batch: every dependent marked. */\n\tprotected changed(): void {\n\t\tfor (const dependent of this.dependents) dependent.invalidate();\n\t}\n\n\t/** Ends the source for good: its dependents dropped, the batch let go. */\n\tprotected end(): void {\n\t\tthis.#batch = undefined;\n\t\tthis.dependents.clear();\n\t}\n}\n\n/**\n * What the watches and observers were last given: a value, a failure (one call per failure episode), or nothing yet\n * (a source with no value, followed for its first one).\n */\ntype Shown<T> = { readonly kind: \"value\"; readonly value: T } | { readonly kind: \"failed\" } | { readonly kind: \"none\" };\n\nconst ENDED: WatchEnd = { kind: \"ended\" };\n\nconst ABORTED: WatchEnd = { kind: \"aborted\" };\n\nconst FAILED: Shown<never> = { kind: \"failed\" };\n\nconst NONE = { kind: \"none\" } as const;\n\nconst NOTHING = (): void => {};\n\n/**\n * A native source its followers get through the batch (a writable, a registry value): a change lists it for one frame\n * when someone follows it; the frame is its value then, delivered only when it is another value (identity) than the\n * one its followers have, or after a failure, whose call comes once per episode.\n */\nexport abstract class FollowedSource<T = unknown> extends NativeSource<T> {\n\treadonly #watches = new Set<NativeWatch<T>>();\n\t/** Synchronous observers and Chord's own subscribers (`retryOn`), fed inside the batch, each with its cleanup. */\n\treadonly #observers = new Map<NativeObserver<T>, () => void>();\n\t/** What the followers have; `undefined` while nobody follows (so no old value is kept). */\n\t#shown: Shown<T> | undefined;\n\t/** Listed for a frame in the current batch. */\n\t#listed = false;\n\n\t/** Whether a watch or an observer follows it (a registry value also while readers wait for its first value). */\n\tget watched(): boolean {\n\t\treturn this.#watches.size > 0 || this.#observers.size > 0;\n\t}\n\n\tasync watch(context: Context): Promise<NativeWatch<T>> {\n\t\treturn this.openWatch(context);\n\t}\n\n\t/**\n\t * `watch` without the Promise. On a failed source it opens at the last good value and its first call is the\n\t * failure; with no value to start at it throws the failure. An ended source gives a watch that has ended.\n\t */\n\topenWatch(context: Context): NativeWatch<T> {\n\t\tconst batch = this.batch;\n\t\tif (batch === undefined) {\n\t\t\tconst ended = new NativeWatch<T>(this.value, NOTHING, NOTHING);\n\t\t\tended.end(ENDED);\n\t\t\treturn ended;\n\t\t}\n\t\tbatch.assertOutside(\"watch\");\n\t\tconst start = this.start();\n\t\tif (start.kind === \"failed\" && start.last === undefined) throw start.error;\n\t\tconst value = start.kind === \"value\" ? start.value : start.last!.value;\n\t\tthis.#follow(start);\n\t\tconst watch: NativeWatch<T> = new NativeWatch(value, () => this.#unfollow(watch), batch.reportListener);\n\t\tthis.#watches.add(watch);\n\t\tif (context.abortSignal !== undefined) watch.observeAbort(context.abortSignal);\n\t\tif (start.kind === \"failed\") watch.fail(handedOut(start.error), context);\n\t\treturn watch;\n\t}\n\n\t/**\n\t * Attaches a synchronous observer at the current value (Durable's `observeXXX`); it counts as following, so a lazy\n\t * value is computed in the batch that changed it. Throws the failure when there is no value to start at; aborting\n\t * `context` detaches it (`aborted`); the source's end detaches it too (`ended`), its abort listener removed.\n\t */\n\tobserve(observer: NativeObserver<T>, context: Context): NativeObservation<T> {\n\t\tthis.batch?.assertOutside(\"observe\");\n\t\tconst start = this.start();\n\t\tif (start.kind === \"failed\" && start.last === undefined) throw start.error;\n\t\tconst value = start.kind === \"value\" ? start.value : start.last!.value;\n\t\tif (this.batch === undefined) {\n\t\t\tobserver.end(ENDED);\n\t\t\treturn { value, detach: NOTHING };\n\t\t}\n\t\tconst signal = context.abortSignal;\n\t\tif (signal?.aborted) {\n\t\t\tobserver.end(ABORTED);\n\t\t\treturn { value, detach: NOTHING };\n\t\t}\n\t\tconst aborted = (): void => {\n\t\t\tif (!this.#observers.has(observer)) return;\n\t\t\tthis.unsubscribe(observer);\n\t\t\tobserver.end(ABORTED);\n\t\t};\n\t\tconst cleanup = signal === undefined ? NOTHING : () => signal.removeEventListener(\"abort\", aborted);\n\t\tsignal?.addEventListener(\"abort\", aborted, { once: true });\n\t\tthis.#follow(start);\n\t\tthis.#observers.set(observer, cleanup);\n\t\treturn { value, detach: () => this.unsubscribe(observer) };\n\t}\n\n\t/**\n\t * Feeds `observer` every call from now on, inside each batch, also while the source has no value (Chord's own\n\t * followers: `retryOn`). Nothing is delivered for the current value.\n\t */\n\tsubscribe(observer: NativeObserver<T>): void {\n\t\tif (this.batch === undefined) return;\n\t\tthis.#follow(this.#startOrNone());\n\t\tthis.#observers.set(observer, NOTHING);\n\t}\n\n\tunsubscribe(observer: NativeObserver<T>): void {\n\t\tconst cleanup = this.#observers.get(observer);\n\t\tif (cleanup === undefined) return;\n\t\tthis.#observers.delete(observer);\n\t\tcleanup();\n\t\tthis.#settleFollowers();\n\t}\n\n\t/** Delivers this batch's frame: the new value when the followers have another, or a failure once per episode. */\n\tdeliver(context: Context): void {\n\t\tthis.#listed = false;\n\t\tconst shown = this.#shown;\n\t\tif (shown === undefined) return;\n\t\tthis.#deliver(shown, context);\n\t\t// Readers waiting for a first value pulled it through this delivery: nothing is kept for them.\n\t\tthis.#settleFollowers();\n\t}\n\n\t/**\n\t * Records a change inside the current batch: every dependent marked, and the source listed for a frame when someone\n\t * follows it (or `watched` says so).\n\t */\n\tprotected override changed(): void {\n\t\tsuper.changed();\n\t\tthis.list();\n\t}\n\n\t/**\n\t * Lists the source for a frame in the current batch when someone follows it (or `watched` says so), its dependents\n\t * left as they are (marked already).\n\t */\n\tprotected list(): void {\n\t\tif (this.#listed || !this.watched || this.batch === undefined) return;\n\t\tthis.#listed = true;\n\t\t// Only readers waiting for a first value follow it without a follower's record: they have none. Not computed\n\t\t// here: marking runs inside adoptions, the value is pulled in the delivery.\n\t\tthis.#shown ??= NONE;\n\t\tthis.batch.changed(this);\n\t}\n\n\t/** Nothing follows it any more (no watch, no observer): a subclass drops what it kept for followers. */\n\tprotected unfollowed(): void {}\n\n\t/** Ends the source for good: watches and observers end `ended` (their abort listeners removed). */\n\tprotected override end(): void {\n\t\tsuper.end();\n\t\tthis.#shown = undefined;\n\t\t// Ending detaches, which deletes the current entry (safe while iterating) and runs no listener.\n\t\tfor (const watch of this.#watches) watch.end(ENDED);\n\t\tconst observers = [...this.#observers];\n\t\tthis.#observers.clear();\n\t\tfor (const [observer, cleanup] of observers) {\n\t\t\tcleanup();\n\t\t\tobserver.end(ENDED);\n\t\t}\n\t}\n\n\t#deliver(shown: Shown<T>, context: Context): void {\n\t\tconst start = this.#startOrNone();\n\t\tif (start.kind === \"failed\") {\n\t\t\t// A failure reaches followers that had a value: those without one wait for the first.\n\t\t\tif (shown.kind !== \"value\") return;\n\t\t\tthis.#shown = FAILED;\n\t\t\tconst error = handedOut(start.error);\n\t\t\tfor (const watch of this.#watches) watch.fail(error, context);\n\t\t\tfor (const observer of [...this.#observers.keys()]) observer.advance({ kind: \"failed\", error }, context);\n\t\t\treturn;\n\t\t}\n\t\tif (start.kind !== \"value\" || (shown.kind === \"value\" && shown.value === start.value)) return;\n\t\tconst { value } = start;\n\t\tthis.#shown = start;\n\t\tfor (const watch of this.#watches) watch.advance(value, context);\n\t\t// A copy: an observer may detach itself in its call.\n\t\tfor (const observer of [...this.#observers.keys()]) observer.advance({ kind: \"value\", value }, context);\n\t}\n\n\t/** Its start, `none` while it has no value. */\n\t#startOrNone(): NativeStart<T> | { readonly kind: \"none\" } {\n\t\tconst start = this.start();\n\t\treturn start.kind === \"failed\" && start.last === undefined ? NONE : start;\n\t}\n\n\t/** A follower comes: the first one records what followers have (a later one opened at the same current value). */\n\t#follow(start: NativeStart<T> | { readonly kind: \"none\" }): void {\n\t\tif (this.#shown !== undefined) return;\n\t\tthis.#shown = start.kind === \"failed\" ? FAILED : start;\n\t}\n\n\t#unfollow(watch: NativeWatch<T>): void {\n\t\tthis.#watches.delete(watch);\n\t\tthis.#settleFollowers();\n\t}\n\n\t/** No follower left: nothing is shown any more, so no old value is kept. */\n\t#settleFollowers(): void {\n\t\tif (this.#watches.size > 0 || this.#observers.size > 0) return;\n\t\tthis.#shown = undefined;\n\t\tthis.unfollowed();\n\t}\n}\n"]}

package/dist/next/state/watchable.d.ts

@@ -0,0 +1,114 @@
+import type { Context } from "../../context/index.ts";
+import type { Op } from "../../delta/index.ts";
+import type { JsonValue } from "../../json.ts";
+import { Watch, type Watchable, type WatchCall, type WatchEnd } from "../../watch.ts";
+import type { Batch } from "./batch.ts";
+/**
+ * A synchronous subscriber of a source (a hold over a link, a reference's member): fed the source's call inside the batch
+ * that made it, before the batch ends, so everything one commit changed can leave in one message. The watch's own sink
+ * shape (`Watch.advance`, `Watch.end`).
+ */
+export interface Subscriber {
+    /**
+     * The source's call of this batch, in its batch's `context`: a value (the ops from the previous one, and whether its
+     * document was retired in it, or for a derive one of its sources' documents), or a failure it may recover from; the
+     * next value after a failure is `[["r", value]]`.
+     */
+    advance(call: WatchCall<JsonValue>, context: Context): void;
+    /** The source ended for good with `end`; nothing follows, and the subscriber is dropped. */
+    end(end: WatchEnd): void;
+    /**
+     * The source ended for good after its last call (a followed runtime ended): a subscriber delivering later (a watch)
+     * ends `ended` once it delivered what it was given, others end now.
+     */
+    endAfterDelivery(): void;
+}
+/**
+ * What a new watch of a source starts at (design §11): its value, or, while it is failed, the failure and its last good
+ * value (`undefined` when it never had one: a watch cannot start then, there is nothing to start at).
+ */
+export type WatchStart = {
+    readonly kind: "value";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "failed";
+    readonly error: unknown;
+    readonly last: JsonValue | undefined;
+};
+/**
+ * An error Chord hands to apps (a failure call, a report), its stack made text first: until then V8 keeps the frames'
+ * receivers, which would keep the host behind the throw alive for as long as an app keeps the error.
+ */
+export declare function handedOut<E>(error: E): E;
+/**
+ * What reads a source and is marked by its changes: a derive, or a reference's member forwarding to derives (`Source.
+ * dependents`).
+ */
+export interface Dependent {
+    /** The source changed in the current batch: flags only, no compute. */
+    invalidate(): void;
+    /** A source's document was retired in the current batch (rule 21); `visited` keeps a diamond walked once. */
+    sourceRetired(visited: Set<Dependent>): void;
+}
+/**
+ * A changing value on a host (a singleton document, a derive, a replica): its watches and subscribers get one frame
+ * per batch that changed it, and the derives reading it are marked dirty when it changes.
+ */
+export declare abstract class Source implements Watchable<JsonValue> {
+    #private;
+    /** Derives reading this source (and references' members forwarding to some); each removes itself when it stops. */
+    readonly dependents: Set<Dependent>;
+    protected readonly batch: Batch;
+    constructor(batch: Batch);
+    abstract get value(): JsonValue;
+    /** Whether a watch or a subscriber follows this source. */
+    get watched(): boolean;
+    watch(context: Context): Promise<Watch<JsonValue>>;
+    /**
+     * `watch` without the Promise, for references, which must register the watch before anything else runs. On a failed
+     * source it opens at the last good value and its first call is the failure; with no value to start at it throws the
+     * failure.
+     */
+    openWatch(context: Context): Watch<JsonValue>;
+    /** What a new watch starts at; a source that can fail and recover tells its failure (`WatchStart`). */
+    start(): WatchStart;
+    /** Feeds `subscriber` every frame from now on, inside each batch; the caller took the current value first. */
+    subscribe(subscriber: Subscriber): void;
+    unsubscribe(subscriber: Subscriber): void;
+    /** Delivers this batch's frame to its watches; called once per batch that listed it with `changed`. */
+    abstract deliver(context: Context): void;
+    /** Records a change in the current batch: listed for a frame when watched, and every dependent marked dirty. */
+    protected changed(): void;
+    /**
+     * Records a retirement of this source's document in the current batch: every derive reading it, directly or
+     * through other derives, carries the flag on in its frame (rule 21). Called after `changed`.
+     */
+    protected retiredInBatch(): void;
+    /** Queues one frame on every watch and feeds it to every subscriber. */
+    protected publish(value: JsonValue, ops: readonly Op[], retired: boolean, context: Context): void;
+    /** Queues `call` on every watch and feeds it to every subscriber, as it is (a reference's member passes one on). */
+    protected forward(call: WatchCall<JsonValue>, context: Context): void;
+    /**
+     * Gives every watch and subscriber one failure call (design §11): the source cannot compute its value now and may
+     * recover; they stay open, and its next value is `[["r", value]]`.
+     */
+    protected failWatches(error: unknown, context: Context): void;
+    /**
+     * Ends every watch and subscriber for good once what they were given is delivered (a followed runtime ended after a
+     * last call, Durable's `endAfterDelivery`): `ended`; nothing follows.
+     */
+    protected endWatchesAfterDelivery(): void;
+    /** Ends every watch and subscriber for good (its owner ended): `ended`; nothing follows. */
+    protected endWatches(): void;
+}
+/** A watchable that never changes (start data, §18); usable as a state member and as a derive source. */
+export declare function constant<const T extends JsonValue>(value: T): Watchable<T>;
+/** The watchable behind `constant(value)`: its watches never get a frame and end only by stop or cancellation. */
+export declare class Constant implements Watchable<JsonValue> {
+    readonly value: JsonValue;
+    constructor(value: JsonValue);
+    watch(context: Context): Promise<Watch<JsonValue>>;
+    /** As `Source.openWatch`; nothing is delivered, so nothing is reported. */
+    openWatch(context: Context): Watch<JsonValue>;
+}
+//# sourceMappingURL=watchable.d.ts.map

package/dist/next/state/watchable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"watchable.d.ts","sourceRoot":"","sources":["../../../src/next/state/watchable.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACtF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,UAAU;IAC1B;;;;OAIG;IACH,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5D,4FAA4F;IAC5F,GAAG,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI,CAAC;IACzB;;;OAGG;IACH,gBAAgB,IAAI,IAAI,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAA;CAAE,CAAC;AAE9F;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAGxC;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS;IACzB,uEAAuE;IACvE,UAAU,IAAI,IAAI,CAAC;IACnB,6GAA6G;IAC7G,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;CAC7C;AAID;;;GAGG;AACH,8BAAsB,MAAO,YAAW,SAAS,CAAC,SAAS,CAAC;;IAC3D,mHAAmH;IACnH,QAAQ,CAAC,UAAU,iBAAwB;IAC3C,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAKhC,YAAY,KAAK,EAAE,KAAK,EAEvB;IAED,QAAQ,KAAK,KAAK,IAAI,SAAS,CAAC;IAEhC,2DAA2D;IAC3D,IAAI,OAAO,IAAI,OAAO,CAErB;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAEvD;IAED;;;;OAIG;IACH,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAY5C;IAED,uGAAuG;IACvG,KAAK,IAAI,UAAU,CAElB;IAED,8GAA8G;IAC9G,SAAS,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAGtC;IAED,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAExC;IAED,uGAAuG;IACvG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAEzC,gHAAgH;IAChH,SAAS,CAAC,OAAO,IAAI,IAAI,CAGxB;IAED;;;OAGG;IACH,SAAS,CAAC,cAAc,IAAI,IAAI,CAI/B;IAED,wEAAwE;IACxE,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAEhG;IAED,oHAAoH;IACpH,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAIpE;IAED;;;OAGG;IACH,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAE5D;IAED;;;OAGG;IACH,SAAS,CAAC,uBAAuB,IAAI,IAAI,CAMxC;IAED,4FAA4F;IAC5F,SAAS,CAAC,UAAU,IAAI,IAAI,CAQ3B;CACD;AAED,yGAAyG;AACzG,wBAAgB,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAG1E;AAED,kHAAkH;AAClH,qBAAa,QAAS,YAAW,SAAS,CAAC,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAE1B,YAAY,KAAK,EAAE,SAAS,EAE3B;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAEvD;IAED,2EAA2E;IAC3E,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAQ5C;CACD"}