@abide/abide 0.58.0 → 0.101.0

package/src/shared/reactive/recordWrites.ts

@@ -0,0 +1,472 @@
+// 32.33 — THE CALLBACK AN `s.patch` IS HANDED WRITES THROUGH A PROXY, so what it wrote to is known
+// without a copy of the value to diff against. A write marks the object written AND every object on
+// the path down to it: a row reads its item, and `row.address.city = x` changed what that row shows
+// without touching the row's own object.
+//
+// ONLY ARRAYS AND PLAIN OBJECTS ARE WRAPPED. A `Map`, a `Set` or a class instance keeps internal
+// slots a proxy cannot stand in for — `Map.prototype.set` refuses a proxy as its receiver — so one
+// reached is marked written the moment it is read, path and all. That over-reports, and an
+// over-report costs a row remade where an under-report shows a stale one.
+//
+// 18.11 — AND WHERE A SINK IS HANDED IN, each write is kept as data too, as JSON Patch (RFC 6902) at
+// the JSON Pointer it was reached by: a member set is `add`, an index `replace` (or `add` one past
+// the end), a delete `remove`, and an array method the `add`s and `remove`s it makes — a `push` one
+// `add` at `/-` per item. A reorder (`sort`, `reverse`, `fill`, `copyWithin`) is one `replace` of
+// the array, which is then sent as it stands when the callback returns, like a placed object.
+// Anything JSON Patch cannot carry — a comparator, a hole in an array, a `Map`'s own method, a row
+// reached before its array was reordered — marks the sink `lost` rather than send something that
+// would land somewhere else (18.13).
+//
+// A RAW OBJECT THE CALLBACK PLACES IN THE VALUE IS WRITTEN THROUGH NO PROXY, since the callback
+// holds it directly: `list.push(row); row.name = x`. So a placed object is SENT AS IT STANDS WHEN THE
+// CALLBACK RETURNS — every op's value is copied then rather than at its write — and a write made
+// under one is not kept, since that copy already carries it.
+import type { PatchOp } from './PATCH_SINKS.ts'
+import { PATCHES } from './PATCHES.ts'
+import { RESHAPING } from './RESHAPING.ts'
+
+// The reshaping methods JSON Patch has no op for: the array they leave is sent whole instead.
+const REORDERING: ReadonlySet<string> = new Set([
+    'sort',
+    'reverse',
+    'fill',
+    'copyWithin',
+])
+
+// What a proxy of this module answers with the object it stands for, so one handed back into the
+// value is stored as that object (`stored`) — a read any other object answers with `undefined`.
+const TARGET = Symbol('target')
+
+/**
+ * Runs `mutate` over a proxy of `root`, marking every object it writes to in `PATCHES`.
+ *
+ * Where a `sink` is handed in, each write is also kept there as a `PatchOp`, or the sink is marked
+ * `lost` where it cannot be. A `root` that is not an array or a plain object is handed over as is.
+ */
+export function recordWrites<Value>(
+    root: Value,
+    mutate: (value: Value) => void,
+    sink?: { ops: PatchOp[]; lost: boolean },
+): void {
+    if (!isWrappable(root)) {
+        mutate(root)
+        return
+    }
+    PATCHES.epoch += 1
+    const epoch = PATCHES.epoch
+    const written = PATCHES.written
+    // EVERY OBJECT THE PATCH REACHED, by what it is: the one proxy it is handed out as, so
+    // `list[0] === list[0]` inside the callback, and its parent. ONE ENTRY rather than a map for each,
+    // because a row read is the loop this runs per row and each map is a lookup and an insert there.
+    const reached = new Map<object, Reached>()
+    // 18.11 — where each object was reached from the root: a path read before its array was
+    // reshaped may no longer name the same object.
+    const paths = sink === undefined ? undefined : new Map<object, Step>()
+    // Every raw object `stored` has walked: what a placed object is — one reached under it is sent in
+    // its copy — and what stops the walk on a value inside itself.
+    let walked: Set<object> | undefined
+
+    // STOPS AT AN OBJECT ALREADY MARKED IN THIS PATCH, since everything above it was marked with it —
+    // so a loop writing every row marks the array once rather than once a row.
+    const mark = (held: object | null): void => {
+        if (held === null) return
+        // Everything marked was reached first: a target, a parent of one, or a value read.
+        const entry = reached.get(held) as Reached
+        if (entry.marked) return
+        entry.marked = true
+        written.set(held, epoch)
+        const above = entry.parent
+        if (above instanceof Parents) for (const one of above.all) mark(one)
+        else mark(above)
+    }
+
+    // THE PATH IS A PARENT POINTER, walked up at a write rather than copied down at every read. AN
+    // OBJECT REACHED TWICE HOLDS BOTH PARENTS — one shared by two rows is on both their paths, and
+    // marking only the first would leave the second showing what the patch replaced.
+    const reach = (value: object, parent: object): Reached => {
+        const known = reached.get(value)
+        // First reached: nothing below the root is written before it is reached, so there is no
+        // write here for the new parent to be marked by.
+        if (known === undefined) {
+            const proxy = isWrappable(value) ? new Proxy(value, handler) : null
+            const entry = new Reached(proxy, parent)
+            reached.set(value, entry)
+            return entry
+        }
+        const above = known.parent
+        if (above === parent || above === null) return known
+        if (above instanceof Parents) {
+            if (above.all.includes(parent)) return known
+            above.all.push(parent)
+        } else known.parent = new Parents([above, parent])
+        // A parent found after the write is above it all the same, and the early stop in `mark`
+        // would never climb to it.
+        if (known.marked) mark(parent)
+        return known
+    }
+
+    // 18.11 — the path a write through `held` is kept at: `undefined` where it cannot be trusted, and
+    // `null` where it need not be kept because an object on it was PLACED, and is sent as it stands.
+    // A PATH IS TRUSTED WHERE EACH STEP STILL NAMES WHAT IT WAS REACHED BY, asked of the value as it
+    // stands at the write — which is when the replay applies it. A reshape, an assignment, a
+    // `delete` or a shortened `length` that moved an object off its slot all fail the same read,
+    // and an array's own path is untouched by its reshape, so two pushes to one nested list are
+    // both kept. The keys are gathered by the same walk, after `last` — the step a write names
+    // below `held`, where it names one.
+    const pathTo = (
+        held: object,
+        last: string | number | undefined,
+    ): (string | number)[] | null | undefined => {
+        let step = paths?.get(held)
+        if (step === undefined) return undefined
+        const path: (string | number)[] = last === undefined ? [] : [last]
+        let child = held
+        for (; step.parent !== null; step = step.above as Step) {
+            if (step.placed) return null
+            if (Reflect.get(step.parent, step.key) !== child) return undefined
+            path.push(step.key)
+            child = step.parent
+        }
+        // The root, reordered, is sent whole too.
+        if (step.placed) return null
+        return path.reverse()
+    }
+
+    // Only an INDEX is a number: `length` on an array is a named step, and `Number('length')` is NaN.
+    const stepOf = (
+        held: object,
+        property: string | symbol,
+    ): string | number =>
+        Array.isArray(held) &&
+        typeof property === 'string' &&
+        String(Number(property)) === property
+            ? Number(property)
+            : String(property)
+
+    // A WRITE UNDER A PLACED OBJECT IS NOT KEPT: the copy of it sent is taken after the write.
+    const keep = (
+        held: object,
+        last: string | number | undefined,
+        ops: (pointer: string) => PatchOp[],
+    ): void => {
+        if (sink === undefined || sink.lost) return
+        const path = pathTo(held, last)
+        if (path === null) return
+        if (path === undefined) {
+            sink.lost = true
+            return
+        }
+        for (const op of ops(pointerOf(path))) sink.ops.push(op)
+    }
+
+    const handler: ProxyHandler<object> = {
+        get(held, property) {
+            if (property === TARGET) return held
+            const value = Reflect.get(held, property, held)
+            if (
+                typeof value === 'function' &&
+                Array.isArray(held) &&
+                typeof property === 'string' &&
+                RESHAPING.has(property)
+            )
+                return (...args: unknown[]) => {
+                    mark(held)
+                    const raws = args.map(stored)
+                    if (sink !== undefined) {
+                        if (args.some((arg) => typeof arg === 'function'))
+                            sink.lost = true
+                        else
+                            keep(held, undefined, (pointer) =>
+                                opsOfCall(
+                                    held as unknown[],
+                                    property,
+                                    raws,
+                                    pointer,
+                                ),
+                            )
+                    }
+                    const result = (
+                        value as (...args: unknown[]) => unknown
+                    ).apply(held, raws)
+                    // A REORDERED ARRAY IS SENT WHOLE, as it stands when the callback returns —
+                    // so a write under it after the reorder is in that copy, not an op of its own.
+                    if (REORDERING.has(property)) {
+                        const step = paths?.get(held)
+                        if (step !== undefined) step.placed = true
+                    }
+                    // `sort`, `reverse`, `fill` and `copyWithin` answer the array itself, and
+                    // handing back the raw one would take every write after it off the record.
+                    return result === held
+                        ? (reached.get(held) as Reached).proxy
+                        : result
+                }
+            if (value === null || typeof value !== 'object') return value
+            const entry = reach(value, held)
+            if (paths !== undefined && !paths.has(value)) {
+                const above = paths.get(held)
+                if (above !== undefined)
+                    paths.set(
+                        value,
+                        new Step(
+                            stepOf(held, property),
+                            held,
+                            above,
+                            walked?.has(value) ?? false,
+                        ),
+                    )
+            }
+            if (entry.proxy !== null) return entry.proxy
+            mark(value)
+            // Reached, and outside what a proxy can watch: whatever it does next is not kept.
+            if (sink !== undefined) sink.lost = true
+            return value
+        },
+        set(held, property, value) {
+            mark(held)
+            const raw = stored(value)
+            if (sink !== undefined) keepSet(held, property, raw)
+            return Reflect.set(held, property, raw, held)
+        },
+        deleteProperty(held, property) {
+            mark(held)
+            if (sink !== undefined) {
+                // A deleted INDEX leaves a hole JSON has no spelling for; a member not there deletes
+                // nothing, and a `remove` of it would refuse on the far side.
+                if (Array.isArray(held) || typeof property === 'symbol')
+                    sink.lost = true
+                else if (Object.hasOwn(held, property))
+                    keep(held, property, (pointer) => [
+                        { op: 'remove', path: pointer },
+                    ])
+            }
+            return Reflect.deleteProperty(held, property)
+        },
+    }
+
+    // An assignment as JSON Patch, read off the value BEFORE it lands: an index that exists is a
+    // `replace`, one at the end an `add`, and one past it a hole JSON cannot carry. A shortened
+    // `length` is the `remove`s it makes, from the end; a lengthened one is holes again.
+    const keepSet = (
+        held: object,
+        property: string | symbol,
+        raw: unknown,
+    ): void => {
+        if (typeof property === 'symbol') {
+            ;(sink as { lost: boolean }).lost = true
+            return
+        }
+        if (!Array.isArray(held)) {
+            keep(held, property, (pointer) => [
+                { op: 'add', path: pointer, value: raw },
+            ])
+            return
+        }
+        const step = stepOf(held, property)
+        if (typeof step === 'number') {
+            if (step < held.length)
+                keep(held, step, (pointer) => [
+                    { op: 'replace', path: pointer, value: raw },
+                ])
+            else if (step === held.length)
+                keep(held, step, (pointer) => [
+                    { op: 'add', path: pointer, value: raw },
+                ])
+            else (sink as { lost: boolean }).lost = true
+            return
+        }
+        const length = Number(raw)
+        if (property !== 'length' || !(length <= held.length)) {
+            ;(sink as { lost: boolean }).lost = true
+            return
+        }
+        keep(held, undefined, (pointer) => {
+            const ops: PatchOp[] = []
+            for (let at = held.length - 1; at >= length; at -= 1)
+                ops.push({ op: 'remove', path: `${pointer}/${at}` })
+            return ops
+        })
+    }
+
+    // WHAT A WRITE PUTS IN THE VALUE, WITH NO PROXY ANYWHERE IN IT. A proxy stored would outlive the
+    // patch and go on marking writes, and a new array built from proxied reads — a `filter`, a
+    // spread row — holds them below its top.
+    //
+    // AN OBJECT IN TWO PLACES IS NOT REFUSED: every op's copy is taken when the callback returns, so
+    // each place is sent as it then stands, and a write kept through either path replays onto the
+    // copy at that path as it did on the server. What the wire cannot carry is the one object two
+    // places share, and a value sent whole loses that the same way.
+    const stored = (value: unknown): unknown => {
+        if (value === null || typeof value !== 'object') return value
+        const target = (value as { [TARGET]?: object })[TARGET]
+        if (target !== undefined) return target
+        if (!isWrappable(value)) return value
+        walked ??= new Set()
+        if (walked.has(value)) return value
+        walked.add(value)
+        // Handed back raw by a reshape — a row `pop` took out — and put back: placed, so sent as it
+        // stands, with no proxy below it and no write under it kept.
+        const step = paths?.get(value)
+        if (step !== undefined) step.placed = true
+        if (reached.has(value)) return value
+        if (Array.isArray(value)) {
+            for (let index = 0; index < value.length; index += 1) {
+                const field: unknown = value[index]
+                if (field === null || typeof field !== 'object') continue
+                const inner = stored(field)
+                if (inner !== field) value[index] = inner
+            }
+            return value
+        }
+        const fields = value as Record<string, unknown>
+        for (const key in fields) {
+            const field = fields[key]
+            if (field === null || typeof field !== 'object') continue
+            const inner = stored(field)
+            if (inner !== field) fields[key] = inner
+        }
+        return value
+    }
+
+    const proxy = new Proxy(root, handler)
+    reached.set(root, new Reached(proxy, null))
+    paths?.set(root, new Step('', null, null, false))
+    const first = sink === undefined ? 0 : sink.ops.length
+    try {
+        mutate(proxy as Value)
+    } finally {
+        // SENT AS THEY STAND NOW: the ops hold the objects they stored, and a write made after
+        // one — raw or under a placed object — is in its copy rather than an op of its own.
+        if (sink !== undefined && !sink.lost)
+            try {
+                for (let index = first; index < sink.ops.length; index += 1) {
+                    const op = sink.ops[index] as PatchOp
+                    if ('value' in op) op.value = snapshot(op.value)
+                }
+            } catch {
+                // A value `structuredClone` refuses — a function in a row — is sent whole instead.
+                sink.lost = true
+            }
+    }
+}
+
+const snapshot = (raw: unknown): unknown =>
+    raw !== null && typeof raw === 'object' ? structuredClone(raw) : raw
+
+/** A path as a JSON Pointer (RFC 6901): `''` for the root, `~` as `~0` and `/` as `~1`. */
+function pointerOf(path: (string | number)[]): string {
+    let pointer = ''
+    for (const step of path)
+        pointer += `/${String(step).replaceAll('~', '~0').replaceAll('/', '~1')}`
+    return pointer
+}
+
+/**
+ * The JSON Patch an array method makes, read off the array BEFORE it runs.
+ *
+ * A `splice`'s start and count are normalised the way the method does, so the `remove`s and `add`s
+ * name the indices it touches.
+ */
+function opsOfCall(
+    held: unknown[],
+    method: string,
+    args: unknown[],
+    pointer: string,
+): PatchOp[] {
+    const length = held.length
+    const ops: PatchOp[] = []
+    if (method === 'push')
+        for (const value of args)
+            ops.push({ op: 'add', path: `${pointer}/-`, value })
+    else if (method === 'pop') {
+        if (length > 0)
+            ops.push({ op: 'remove', path: `${pointer}/${length - 1}` })
+    } else if (method === 'shift') {
+        if (length > 0) ops.push({ op: 'remove', path: `${pointer}/0` })
+    } else if (method === 'unshift')
+        for (let at = 0; at < args.length; at += 1)
+            ops.push({ op: 'add', path: `${pointer}/${at}`, value: args[at] })
+    else if (method === 'splice') {
+        if (args.length === 0) return ops
+        const asked = Math.trunc(Number(args[0])) || 0
+        const start =
+            asked < 0 ? Math.max(length + asked, 0) : Math.min(asked, length)
+        const count =
+            args.length < 2
+                ? length - start
+                : Math.min(
+                      Math.max(Math.trunc(Number(args[1])) || 0, 0),
+                      length - start,
+                  )
+        for (let at = 0; at < count; at += 1)
+            ops.push({ op: 'remove', path: `${pointer}/${start}` })
+        for (let at = 2; at < args.length; at += 1)
+            ops.push({
+                op: 'add',
+                path: `${pointer}/${start + at - 2}`,
+                value: args[at],
+            })
+    } else ops.push({ op: 'replace', path: pointer, value: held })
+    return ops
+}
+
+/**
+ * An object the patch reached: the proxy it is handed out as, and what it was reached from.
+ *
+ * `proxy` is `null` for one no proxy can stand in for, and `parent` is `null` for the root.
+ */
+class Reached {
+    proxy: object | null
+    parent: object | Parents | null
+    /**
+     * Written in this patch, directly or below — `PATCHES.written` holds this patch's epoch for it.
+     */
+    marked: boolean
+    constructor(proxy: object | null, parent: object | Parents | null) {
+        this.proxy = proxy
+        this.parent = parent
+        this.marked = false
+    }
+}
+
+/**
+ * One step of an object's path from the root: its key, what it was read off, and that one's step.
+ *
+ * 18.11 — `parent` is `null` for the root, and `placed` says whether the callback placed it.
+ */
+class Step {
+    key: string | number
+    parent: object | null
+    above: Step | null
+    placed: boolean
+    constructor(
+        key: string | number,
+        parent: object | null,
+        above: Step | null,
+        placed: boolean,
+    ) {
+        this.key = key
+        this.parent = parent
+        this.above = above
+        this.placed = placed
+    }
+}
+
+/**
+ * Every parent of an object the patch reached more than once.
+ *
+ * A class so that a parent which is itself an array is never read as a list of them.
+ */
+class Parents {
+    all: object[]
+    constructor(all: object[]) {
+        this.all = all
+    }
+}
+
+/** Whether a proxy can stand in for `value`: an array or a plain object. */
+function isWrappable(value: unknown): value is object {
+    if (value === null || typeof value !== 'object') return false
+    if (Array.isArray(value)) return true
+    const prototype = Object.getPrototypeOf(value)
+    return prototype === Object.prototype || prototype === null
+}

package/src/shared/reactive/scoped.ts

@@ -0,0 +1,157 @@
+// 11.32, 11.38 AND 11.67 — A VALUE BUILT OUTSIDE EVERY SCOPE, ON A SERVER. A module's `reactive` is built
+// once, when the module is first imported, and every request after that reaches the same object —
+// so the value it hands back is a FORWARDER: outside a request it is the value built at import
+// (the HOME), and inside one it is an instance of its own, built the first time that request
+// reaches it and dropped with the request.
+//
+// A FORWARDER RATHER THAN A SCOPE LOOKUP IN THE CORE. A read captures its cell and nothing else,
+// and it is the hottest path in the design; a browser never builds a forwarder, so what the read
+// costs there is exactly what it cost before, and the lookup is paid on a server alone.
+//
+// THE INSTANCE IS A WHOLE VALUE, not a cell under the forwarder. A value moves between prototypes
+// while it adopts (`ADOPTING_PROTOTYPE`), and one callable shared by every request would be moved
+// for all of them by the first.
+
+import { contractOf, type Gated } from './argsContract.ts'
+import { CELL } from './CELL.ts'
+import { KEYED_BRAND } from './KEYED_BRAND.ts'
+import { brandedPrototype, MEMBER_KEYS } from './Reactive.ts'
+import { SELECTION_MEMBERS } from './SELECTION_MEMBERS.ts'
+import { currentScope, runInScope, SCOPING } from './scoping.ts'
+
+const UNBUILT: unique symbol = Symbol('abide.unbuilt')
+
+/**
+ * What a forwarder resolves through: the home, and how to build the same value again in a scope.
+ *
+ * 16.64 — A HANDLER'S HOME IS BUILT WHERE IT IS FIRST REACHED, and every other value's where it is
+ * declared. Building a value with a body starts the body (1.7), and at import that ran the handler
+ * — a mutation fired at boot, for a request nobody had made.
+ *
+ * A `global` handler (11.34) is filed only to be built late: every request reaches the home, built
+ * outside each of them, so it is the one value its option says it is.
+ */
+class Filed {
+    home: unknown
+    make: () => unknown
+    global: boolean
+
+    constructor(make: () => unknown, lazy: boolean, global: boolean) {
+        this.make = make
+        this.home = lazy ? UNBUILT : make()
+        this.global = global
+    }
+}
+
+const FILED: unique symbol = Symbol('abide.filed')
+
+type Forwarder = { [FILED]: Filed }
+
+/**
+ * The instance for the scope that is current, built there the first time it is reached.
+ *
+ * Built INSIDE the scope, so every cell it makes records that scope as its own (`Cell.scope`).
+ */
+function instanceOf(filed: Filed): Record<PropertyKey, unknown> {
+    const scope = filed.global ? undefined : currentScope()
+    if (scope === undefined) {
+        if (filed.home === UNBUILT)
+            filed.home = runInScope(undefined, () => filed.make(), undefined)
+        return filed.home as Record<PropertyKey, unknown>
+    }
+    let instance = scope.instances.get(filed)
+    if (instance === undefined) {
+        instance = filed.make()
+        scope.instances.set(filed, instance)
+    }
+    return instance as Record<PropertyKey, unknown>
+}
+
+// EVERY MEMBER, FORWARDED — and the cell too, as a getter, because the core reaches a value's
+// record through `[CELL]` wherever one value is handed to another (an adoption, a `set` of a
+// `Reactive`, a `watch` over named sources). Under `Function.prototype` for `MEMBER_PROTOTYPE`'s
+// reason: the forwarder is called as a read.
+const forwarders: Record<PropertyKey, unknown> = {}
+for (const key of MEMBER_KEYS)
+    forwarders[key] = function forward(
+        this: Forwarder,
+        ...given: unknown[]
+    ): unknown {
+        const instance = instanceOf(this[FILED])
+        return (instance[key] as (...given: unknown[]) => unknown).apply(
+            instance,
+            given,
+        )
+    }
+const FORWARDING_PROTOTYPE = brandedPrototype(forwarders)
+Object.defineProperty(FORWARDING_PROTOTYPE, CELL, {
+    get(this: Forwarder): unknown {
+        return instanceOf(this[FILED])[CELL]
+    },
+})
+
+/**
+ * Whether a value built here has to be a forwarder.
+ *
+ * It does where a server is filing values, no request is current, and the value did not opt out
+ * through `global` (11.34).
+ */
+export function outsideScope(global: boolean): boolean {
+    const provider = SCOPING.provider
+    return !global && provider !== null && provider.current() === undefined
+}
+
+/**
+ * A forwarder over `make`'s value: the home outside a request, one instance per request inside.
+ *
+ * `lazy` leaves the home unbuilt until something outside every request reaches it. Only an unkeyed
+ * value can be: a keyed face carries its home's gate and defaults, and building one runs no body
+ * (11.4). `global` resolves every scope to the home, and only a lazy value is filed with it.
+ */
+export function scoped(
+    make: () => unknown,
+    lazy = false,
+    global = false,
+): unknown {
+    const filed = new Filed(make, lazy, global)
+    // A keyed value, carrying both, or any other value, carrying neither.
+    const home = filed.home as { [KEYED_BRAND]?: true } & Partial<
+        Gated<unknown>
+    >
+    if (!lazy && home[KEYED_BRAND] === true) {
+        // THE KEYED FACE: a reach, the four statics and the entries, each the current instance's —
+        // and the `args` gate and the parameter's defaults, which every instance was declared with.
+        const keyed = Object.assign(
+            (args: unknown): unknown =>
+                (instanceOf(filed) as unknown as (args: unknown) => unknown)(
+                    args,
+                ),
+            contractOf(home),
+            { [KEYED_BRAND]: true, [FILED]: filed },
+        ) satisfies Gated<unknown>
+        const members = keyed as unknown as Record<string, unknown>
+        for (const name of SELECTION_MEMBERS)
+            members[name] = (pattern?: unknown): unknown =>
+                (instanceOf(filed)[name] as (pattern?: unknown) => unknown)(
+                    pattern,
+                )
+        Object.defineProperty(keyed, 'entries', {
+            get: (): unknown => instanceOf(filed).entries,
+        })
+        return keyed
+    }
+    const read = function readScoped(): unknown {
+        return (instanceOf(filed) as unknown as () => unknown)()
+    } as unknown as Forwarder
+    Object.setPrototypeOf(read, FORWARDING_PROTOTYPE)
+    read[FILED] = filed
+    return read
+}
+
+/**
+ * Whether `value` is request-local on this server — built without `global`, outside every request.
+ */
+export function isForwarder(value: unknown): boolean {
+    const filed = (value as Partial<Forwarder> | null)?.[FILED]
+    return filed !== undefined && !filed.global
+}

package/src/shared/reactive/scoping.ts

@@ -0,0 +1,64 @@
+// 11.32 — WHERE A VALUE IS FILED. A `reactive` without `global` is request-local on a server and
+// process-local in a browser, and this module is the whole of how the reactive core tells the two
+// apart: a PROVIDER the server installs, and nothing at all in a browser.
+//
+// A SLOT RATHER THAN AN IMPORT. The scope a server keeps is an `AsyncLocalStorage`, which this seam
+// cannot name — a browser bundle that reached `node:async_hooks` would not build. So the server
+// fills `SCOPING.provider` (`#server/requestScope.ts`) and the core asks the slot, and a browser,
+// where nothing fills it, pays one load of a `null` wherever the core asks.
+
+export type Scope = {
+    /**
+     * One instance per value filed OUTSIDE any scope and reached inside this one — see `scoped.ts`.
+     *
+     * A `Map` rather than a `WeakMap` because the scope is the shorter life: it is dropped with its
+     * request, and everything it holds goes with it.
+     */
+    instances: Map<object, unknown>
+    /**
+     * 12.5 — every `watch` opened in this scope, stopped at its teardown (`releaseScope` on a server).
+     * Left running, a render's watches stayed subscribed for the life of the process and woke at
+     * every write to anything they read, one dead request at a time.
+     */
+    stops: (() => void)[]
+}
+
+export type Scoping = {
+    current(): Scope | undefined
+    /**
+     * Runs `body` with `scope` as the current one, and `undefined` as no scope at all.
+     *
+     * A body is run under the scope its value was built in, and an effect under the scope its
+     * `watch` was opened in, rather than the ambient one — which is whichever request scheduled
+     * the drain the body or effect is running in.
+     */
+    run<Given, Result>(
+        scope: Scope | undefined,
+        body: (given: Given) => Result,
+        given: Given,
+    ): Result
+}
+
+export const SCOPING: { provider: Scoping | null } = { provider: null }
+
+export function currentScope(): Scope | undefined {
+    const provider = SCOPING.provider
+    return provider === null ? undefined : provider.current()
+}
+
+/**
+ * Runs `body` under `scope` and returns what it returns.
+ *
+ * Called straight through where there is no provider, or where `scope` is already the current one,
+ * which inside a render it almost always is.
+ */
+export function runInScope<Given, Result>(
+    scope: Scope | undefined,
+    body: (given: Given) => Result,
+    given: Given,
+): Result {
+    const provider = SCOPING.provider
+    return provider === null || provider.current() === scope
+        ? body(given)
+        : provider.run(scope, body, given)
+}