fusee-framework 2.7.1 → 2.7.2

package/framework/core/h.js

@@ -1,589 +1,633 @@
-import { effect, batch, signal, microEffect, untrack } from '../core/signal.js'
-import { createEventHandler, registerDelegatedEvent, isDelegatedEvent } from '../core/event-delegation.js'
-import { resolveElementProperty } from '../core/element-props.js'
-
-export { effect as _effect, batch as _batch }
-
-/** Reports whether a function should be evaluated as a plain getter. */
-function isGetter(v) {
-    return typeof v === 'function' && !v.isSignal
-}
-
-const SENSITIVE_ATTRS  = new Set(['href', 'src', 'srcset', 'formaction', 'xlink:href', 'data'])
-const DANGEROUS_SCHEME = /^(javascript|data|vbscript|file):/i
-
-/** Sanitizes URL-bearing DOM properties before they reach the browser. */
-function sanitize(name, value) {
-    if (SENSITIVE_ATTRS.has(name.toLowerCase())) {
-        const trimmed = String(value).trim()
-        if (DANGEROUS_SCHEME.test(trimmed)) {
-            console.warn(`[fusée] Blocked potential XSS on "${name}": "${value}"`)
-            return 'about:blank'
-        }
-    }
-    return value
-}
-
-/** Creates a framework node for an element and mounts its child nodes. */
-export function h(tag, props = {}, children = [], isStatic = false) {
-    const el = document.createElement(tag)
-    const effects = []
-
-    if (!isStatic) {
-        _applyProps(el, props, effects)
-    } else {
-        _applyStaticProps(el, props)
-    }
-
-    const childNodes = _mountChildren(el, children, effects)
-
-    return {
-        node: el,
-        effects,
-        props,
-        children: childNodes,
-        _tag: tag,
-    }
-}
-
-/** Creates a text node that optionally updates from a reactive getter. */
-export function hText(value) {
-    const node = document.createTextNode('')
-    const effects = []
-
-    if (typeof value === 'function') {
-        const cleanup = microEffect(() => {
-            node.textContent = String(value() ?? '')
-        })
-        effects.push(cleanup)
-    } else {
-        node.textContent = String(value ?? '')
-    }
-
-    return { node, effects }
-}
-
-/** Creates a reactive conditional anchored by a comment node. */
-export function hIf(branches) {
-    const anchor  = document.createComment('f-if')
-    const effects = []
-
-    let currentNodes  = []
-    let currentBranch = -1
-    const mounted = _createMountTracker()
-
-    const cleanup = effect(() => {
-        mounted.track()
-        let matchIdx = -1
-        for (let i = 0; i < branches.length; i++) {
-            const [cond] = branches[i]
-            if (cond === null || cond()) { matchIdx = i; break }
-        }
-
-        const parent = anchor.parentNode
-        if (!parent) return mounted.defer()
-
-        if (matchIdx === currentBranch) return
-
-        _unmountNodes(currentNodes)
-        currentNodes  = []
-        currentBranch = matchIdx
-
-        if (matchIdx === -1) return
-
-        const [, getChildren] = branches[matchIdx]
-        const children = untrack(getChildren)
-
-        for (const fnode of children) {
-            if (!fnode?.node) continue
-            insertFNode(parent, fnode, anchor)
-            currentNodes.push(fnode)
-        }
-    })
-
-    effects.push(cleanup)
-
-    return {
-        node: anchor,
-        effects,
-        _ifBranchNodes: () => currentNodes,
-        _isIf: true,
-        _afterInsert: mounted.resume,
-    }
-}
-
-/** Creates a keyed reactive list anchored by a comment node. */
-export function hFor(sourceGetter, renderItem, keyFn) {
-    const anchor  = document.createComment('f-for')
-    const effects = []
-
-    let keyedMap = new Map()
-    let oldKeys  = []
-    let _keyEvalCurrent = null
-    const keyEvaluatorGetter = () => _keyEvalCurrent
-    keyEvaluatorGetter.isSignal = true
-    const mounted = _createMountTracker()
-
-    const cleanup = effect(() => {
-        mounted.track()
-        const list = sourceGetter() ?? []
-        const parent = anchor.parentNode
-
-        if (!parent) return mounted.defer()
-
-        const newKeys = new Array(list.length)
-        for (let i = 0; i < list.length; i++) {
-            _keyEvalCurrent = list[i]
-            const key = keyFn(keyEvaluatorGetter, i)
-            // Loops without :key compile to a key of undefined; key them by position, as SSR does.
-            newKeys[i] = key === undefined ? i : key
-        }
-
-        if (oldKeys.length === newKeys.length) {
-            let identical = true
-            for (let i = 0; i < newKeys.length; i++) {
-                if (oldKeys[i] !== newKeys[i]) { identical = false; break }
-            }
-            if (identical) {
-                for (let i = 0; i < list.length; i++) {
-                    _setItem(keyedMap.get(newKeys[i]), list[i])
-                }
-                return
-            }
-        }
-
-        if (oldKeys.length === newKeys.length) {
-            let diffA = -1, diffB = -1, diffCount = 0
-            for (let i = 0; i < newKeys.length; i++) {
-                if (oldKeys[i] !== newKeys[i]) {
-                    if (diffCount === 0) {
-                        diffA = i
-                    } else if (diffCount === 1) {
-                        diffB = i
-                    }
-                    diffCount++
-                    if (diffCount > 2) 
-                        break
-                }
-            }
-            if (diffCount === 2 && oldKeys[diffA] === newKeys[diffB] && oldKeys[diffB] === newKeys[diffA]) {
-                const entryA = keyedMap.get(oldKeys[diffA])
-                const entryB = keyedMap.get(oldKeys[diffB])
-                const nodeA = entryA.fnode.node
-                const nodeB = entryB.fnode.node
-                const refA = nodeA.nextSibling
-                const parentEl = nodeA.parentNode
-                parentEl.insertBefore(nodeA, nodeB.nextSibling)
-                parentEl.insertBefore(nodeB, refA)
-                // The two rows traded places: each keeps its key and receives the item now at its new index.
-                _setItem(entryA, list[diffB])
-                _setItem(entryB, list[diffA])
-                oldKeys = newKeys
-                return
-            }
-        }
-
-        const newMap = new Map()
-
-        for (let i = 0; i < list.length; i++) {
-            const item = list[i]
-            const key  = newKeys[i]
-
-            const exists = keyedMap.get(key)
-            if (exists) {
-                _setItem(exists, item)
-                newMap.set(key, exists)
-            } else {
-                const itemSignal = signal(item)
-                const fnode = untrack(() => renderItem(itemSignal, i))
-                newMap.set(key, { fnode, key, itemSignal })
-            }
-        }
-
-        for (const [key, entry] of keyedMap) {
-            if (!newMap.has(key)) {
-                _unmountNodes([entry.fnode])
-            }
-        }
-
-        const newEntries = newKeys.map(k => newMap.get(k))
-        const oldIndexOf = new Map()
-        oldKeys.forEach((k, i) => oldIndexOf.set(k, i))
-
-        const posMap = newEntries.map(entry => {
-            const idx = oldIndexOf.get(entry.key)
-            return idx === undefined ? -1 : idx
-        })
-
-        const lisIndices = _getLIS(posMap)
-        let lisPtr = lisIndices.length - 1
-
-        for (let i = newEntries.length - 1; i >= 0; i--) {
-            const entry = newEntries[i]
-            const ref = i === newEntries.length - 1 ? anchor : newEntries[i + 1].fnode.node
-            const inLis = lisPtr >= 0 && i === lisIndices[lisPtr]
-
-            if (inLis) {
-                lisPtr--
-                if (!entry.fnode.node.parentNode) {
-                    insertFNode(parent, entry.fnode, ref)
-                }
-            } else if (entry.fnode.node.nextSibling !== ref || !entry.fnode.node.parentNode) {
-                insertFNode(parent, entry.fnode, ref)
-            }
-        }
-
-        keyedMap = newMap
-        oldKeys  = newKeys
-    })
-
-    effects.push(cleanup)
-
-    return {
-        node: anchor,
-        effects,
-        _isFor: true,
-        _getNodes: () => [...keyedMap.values()].map(e => e.fnode),
-        _afterInsert: mounted.resume,
-    }
-}
-
-/** Updates a keyed row's item signal without subscribing the list effect to it. */
-function _setItem(entry, item) {
-    if (untrack(entry.itemSignal) !== item) entry.itemSignal(item)
-}
-
-/**
- * hIf/hFor are built before their anchor has a parent (children are created before the
- * element that holds them), so their first render waits until insertFNode() places the
- * anchor and calls _afterInsert.
- */
-function _createMountTracker() {
-    const tick = signal(0)
-    let pending = false
-    return {
-        track: () => tick(),
-        defer: () => { pending = true },
-        resume: () => {
-            if (!pending) return
-            pending = false
-            tick(untrack(tick) + 1)
-        }
-    }
-}
-
-/**
- * Inserts a framework node (and slot nodes it carries) before ref, then lets anchor-based
- * nodes (hIf/hFor) render now that they have a parent.
- */
-export function insertFNode(parent, fnode, ref = null) {
-    parent.insertBefore(fnode.node, ref)
-    if (fnode._isSlot && fnode._slotNodes) {
-        for (const sn of fnode._slotNodes) {
-            if (sn?.node) insertFNode(parent, sn, ref)
-        }
-    }
-    if (typeof fnode._afterInsert === 'function') fnode._afterInsert()
-}
-
-function _getLIS(arr) {
-    const p = arr.slice()
-    const result = []
-
-    for (let i = 0; i < arr.length; i++) {
-        if (arr[i] === -1) continue
-
-        if (result.length === 0 || arr[result[result.length - 1]] < arr[i]) {
-            p[i] = result.length ? result[result.length - 1] : -1
-            result.push(i)
-            continue
-        }
-
-        let lo = 0, hi = result.length - 1
-        while (lo < hi) {
-            const mid = (lo + hi) >> 1
-            if (arr[result[mid]] < arr[i]) lo = mid + 1
-            else hi = mid
-        }
-        if (arr[i] < arr[result[lo]]) {
-            p[i] = lo > 0 ? result[lo - 1] : -1
-            result[lo] = i
-        }
-    }
-
-    let u = result.length
-    let v = u > 0 ? result[u - 1] : -1
-    const seq = new Array(u)
-    while (u-- > 0) {
-        seq[u] = v
-        v = p[v]
-    }
-    return seq
-}
-
-/** Marks a slots object whose outlets must stay native `<slot>` elements (shadow DOM). */
-export const NATIVE_SLOTS = Symbol.for('fusee.nativeSlots')
-
-export function hSlot(slots, name, fallback = []) {
-    if (slots?.[NATIVE_SLOTS]) {
-        return h('slot', name === 'default' ? {} : { name }, fallback)
-    }
-
-    const anchor = document.createComment(`slot:${name}`)
-    const effects = []
-    const slotFn = slots?.[name]
-    const nodes = typeof slotFn === 'function' ? slotFn() : fallback
-    return {
-        node: anchor,
-        effects,
-        _slotNodes: nodes,
-        _isSlot: true,
-    }
-}
-
-export function createComponent(name, ComponentFn, rawProps = {}, rawSlots = {}) {
-    if (!ComponentFn) {
-        console.warn(`[fusée] Component "${name}" is not registered`)
-        const placeholder = document.createComment(`missing:${name}`)
-        return { node: placeholder, effects: [] }
-    }
-
-    const resolvedProps = _resolveComponentProps(rawProps)
-    const listeners = {}
-    const slots = {}
-
-    for (const [key, value] of Object.entries(rawProps)) {
-        if (key.startsWith('on:')) {
-            listeners[key.slice(3)] = value
-        }
-    }
-
-    for (const [slotName, slotFn] of Object.entries(rawSlots)) {
-        slots[slotName] = slotFn
-    }
-
-    const container = document.createElement('div')
-    container.setAttribute('data-fusee-component', name)
-
-    const api = ComponentFn(resolvedProps, { listeners, slots })
-    api.render(container)
-    const root = container.firstElementChild ?? container
-
-    const effects = []
-    effects.push(() => api.unmount())
-
-    return { node: root, effects, _component: api }
-}
-
-function _applyProps(el, props, effects) {
-    for (const key in props) {
-        const value = props[key]
-        if (key.startsWith('@')) {
-            const eventName = key.slice(1)
-            const { handler, modifiers = [] } = value
-            const handlerState = { timeoutId: null, throttleTimeoutId: null, lastRun: 0 }
-            const wrappedHandler = createEventHandler(handler, modifiers, null, null, handlerState)
-
-            let cleanup
-            if (isDelegatedEvent(eventName)) {
-                cleanup = registerDelegatedEvent(el, eventName, wrappedHandler, { modifiers, handlerState })
-            } else {
-                el.addEventListener(eventName, wrappedHandler)
-                cleanup = () => el.removeEventListener(eventName, wrappedHandler)
-            }
-            effects.push(cleanup)
-            continue
-        }
-
-        if (key === 'f-show') {
-            const cleanup = effect(() => {
-                el.style.display = value() ? '' : 'none'
-            })
-            effects.push(cleanup)
-            continue
-        }
-
-        if (key === 'f-html') {
-            const cleanup = effect(() => {
-                el.innerHTML = String(value() ?? '')
-            })
-            effects.push(cleanup)
-            continue
-        }
-
-        if (key === 'f-model') {
-            const sig = value()
-            const cleanup = effect(() => {
-                const v = typeof sig === 'function' ? sig() : sig
-                if (el.value !== String(v ?? '')) el.value = String(v ?? '')
-            })
-            effects.push(cleanup)
-            continue
-        }
-
-        if (key === 'f-ref') {
-            el.dispatchEvent(new CustomEvent('fusee:ref', {
-                detail: { name: value },
-                bubbles: true,
-            }))
-            continue
-        }
-
-        if (key === 'f-once') continue
-
-        if (typeof value !== 'function') {
-            _applyAttr(el, key, value)
-            continue
-        }
-
-        const attrName = key
-        const getter = value
-        const cleanup = effect(() => {
-            _applyAttr(el, attrName, getter())
-        })
-        effects.push(cleanup)
-    }
-}
-
-function _applyStaticProps(el, props) {
-    for (const key in props) {
-        const value = props[key]
-        if (key.startsWith('@') || key.startsWith('f-')) 
-            continue
-        if (typeof value !== 'function') 
-            _applyAttr(el, key, value)
-    }
-}
-
-function _applyAttr(el, name, value) {
-    if (name === 'class') {
-        const cls = _resolveClass(value)
-        if (cls) el.className = cls
-        else el.removeAttribute('class')
-        return
-    }
-
-    if (name === 'style') {
-        if (value !== null && typeof value === 'object') {
-            for (const k in value) el.style[k] = value[k]
-        } else {
-            el.style.cssText = String(value ?? '')
-        }
-        return
-    }
-
-    const elementProp = resolveElementProperty(el, name, value)
-    if (elementProp) {
-        el[elementProp] = value
-        return
-    }
-
-    if (name in el && typeof el[name] !== 'undefined' && name !== 'type') {
-        try {
-            el[name] = value
-            return
-        } catch (_) {
-            return
-        }
-    }
-
-    if (typeof value === 'boolean') {
-        value ? el.setAttribute(name, '') : el.removeAttribute(name)
-        return
-    }
-
-    if (value == null) {
-        el.removeAttribute(name)
-        return
-    }
-
-    el.setAttribute(name, sanitize(name, String(value)))
-}
-
-function _resolveClass(value) {
-    if (typeof value === 'string') 
-        return value
-    if (Array.isArray(value)) 
-        return value.filter(Boolean).join(' ')
-    if (value && typeof value === 'object') 
-        return Object.entries(value).filter(([, v]) => !!v).map(([k]) => k).join(' ')
-    return String(value ?? '')
-}
-
-function _mountChildren(parent, children, parentEffects) {
-    const mounted = []
-
-    for (const fnode of children) {
-        if (!fnode || !fnode.node) continue
-
-        insertFNode(parent, fnode)
-
-        if (fnode.effects) parentEffects.push(...fnode.effects)
-        mounted.push(fnode)
-    }
-
-    return mounted
-}
-
-function _unmountNodes(fnodes) {
-    for (const fnode of fnodes) {
-        if (!fnode) continue
-
-        if (fnode.effects) {
-            for (let i = fnode.effects.length - 1; i >= 0; i--) {
-                const cleanup = fnode.effects[i]
-                if (typeof cleanup === 'function') cleanup()
-            }
-        }
-
-        if (fnode.node?.parentNode) {
-            fnode.node.parentNode.removeChild(fnode.node)
-        }
-
-        if (fnode._ifBranchNodes) {
-            _unmountNodes(fnode._ifBranchNodes())
-        }
-
-        if (fnode._getNodes) {
-            _unmountNodes(fnode._getNodes())
-        }
-    }
-}
-
-function _resolveComponentProps(rawProps) {
-    const resolved = {}
-
-    for (const [key, value] of Object.entries(rawProps)) {
-        if (key.startsWith('on:')) continue
-
-        if (isGetter(value)) {
-            Object.defineProperty(resolved, key, {
-                get: value,
-                enumerable: true,
-                configurable: true,
-            })
-        } else {
-            resolved[key] = value
-        }
-    }
-
-    return resolved
-}
-
-export function mount(renderFn, ctx, components, container) {
-    const fnodes  = renderFn(ctx, components)
-    const effects = []
-
-    for (const fnode of fnodes) {
-        if (!fnode?.node) continue
-        insertFNode(container, fnode)
-        if (fnode.effects) effects.push(...fnode.effects)
-    }
-
-    return {
-        unmount() {
-            _unmountNodes(fnodes)
-            container.innerHTML = ''
-        }
-    }
+import { effect, batch, signal, microEffect, untrack, runDetached } from '../core/signal.js'
+import { createEventHandler, registerDelegatedEvent, isDelegatedEvent } from '../core/event-delegation.js'
+import { resolveElementProperty } from '../core/element-props.js'
+
+export { effect as _effect, batch as _batch }
+
+/** Reports whether a function should be evaluated as a plain getter. */
+function isGetter(v) {
+    return typeof v === 'function' && !v.isSignal
+}
+
+const SENSITIVE_ATTRS  = new Set(['href', 'src', 'srcset', 'formaction', 'xlink:href', 'data'])
+const DANGEROUS_SCHEME = /^(javascript|data|vbscript|file):/i
+
+/** Sanitizes URL-bearing DOM properties before they reach the browser. */
+function sanitize(name, value) {
+    if (SENSITIVE_ATTRS.has(name.toLowerCase())) {
+        const trimmed = String(value).trim()
+        if (DANGEROUS_SCHEME.test(trimmed)) {
+            console.warn(`[fusée] Blocked potential XSS on "${name}": "${value}"`)
+            return 'about:blank'
+        }
+    }
+    return value
+}
+
+/** Creates a framework node for an element and mounts its child nodes. */
+export function h(tag, props = {}, children = [], isStatic = false) {
+    const el = document.createElement(tag)
+    const effects = []
+
+    if (!isStatic) {
+        _applyProps(el, props, effects)
+    } else {
+        _applyStaticProps(el, props)
+    }
+
+    const childNodes = _mountChildren(el, children, effects)
+
+    return {
+        node: el,
+        effects,
+        props,
+        children: childNodes,
+        _tag: tag,
+    }
+}
+
+/** Creates a text node that optionally updates from a reactive getter. */
+export function hText(value) {
+    const node = document.createTextNode('')
+    const effects = []
+
+    if (typeof value === 'function') {
+        const cleanup = microEffect(() => {
+            node.textContent = String(value() ?? '')
+        })
+        effects.push(cleanup)
+    } else {
+        node.textContent = String(value ?? '')
+    }
+
+    return { node, effects }
+}
+
+/** Creates a reactive conditional anchored by a comment node. */
+export function hIf(branches) {
+    const anchor  = document.createComment('f-if')
+    const effects = []
+
+    let currentNodes  = []
+    let currentBranch = -1
+    const mounted = _createMountTracker()
+
+    const cleanup = effect(() => {
+        mounted.track()
+        let matchIdx = -1
+        for (let i = 0; i < branches.length; i++) {
+            const [cond] = branches[i]
+            if (cond === null || cond()) { matchIdx = i; break }
+        }
+
+        const parent = anchor.parentNode
+        if (!parent) return mounted.defer()
+
+        if (matchIdx === currentBranch) return
+
+        _unmountNodes(currentNodes)
+        currentNodes  = []
+        currentBranch = matchIdx
+
+        if (matchIdx === -1) return
+
+        const [, getChildren] = branches[matchIdx]
+        // Detached: branch effects belong to the branch, which is unmounted explicitly below.
+        const children = runDetached(getChildren)
+
+        for (const fnode of children) {
+            if (!fnode?.node) continue
+            insertFNode(parent, fnode, anchor)
+            currentNodes.push(fnode)
+        }
+    })
+
+    effects.push(() => {
+        cleanup()
+        _unmountNodes(currentNodes)
+        currentNodes = []
+    })
+
+    return {
+        node: anchor,
+        effects,
+        _ifBranchNodes: () => currentNodes,
+        _isIf: true,
+        _afterInsert: mounted.resume,
+    }
+}
+
+/** Creates a keyed reactive list anchored by a comment node. */
+export function hFor(sourceGetter, renderItem, keyFn) {
+    const anchor  = document.createComment('f-for')
+    const effects = []
+
+    let keyedMap = new Map()
+    let oldKeys  = []
+    let _keyEvalCurrent = null
+    const keyEvaluatorGetter = () => _keyEvalCurrent
+    keyEvaluatorGetter.isSignal = true
+    const mounted = _createMountTracker()
+
+    const cleanup = effect(() => {
+        mounted.track()
+        const list = sourceGetter() ?? []
+        const parent = anchor.parentNode
+
+        if (!parent) return mounted.defer()
+
+        const newKeys = new Array(list.length)
+        for (let i = 0; i < list.length; i++) {
+            _keyEvalCurrent = list[i]
+            const key = keyFn(keyEvaluatorGetter, i)
+            // Loops without :key compile to a key of undefined; key them by position, as SSR does.
+            newKeys[i] = key === undefined ? i : key
+        }
+
+        if (newKeys.length === 0 && keyedMap.size > 0) {
+            _clearRows(parent, keyedMap)
+            keyedMap = new Map()
+            oldKeys  = newKeys
+            return
+        }
+
+        if (oldKeys.length === newKeys.length) {
+            let identical = true
+            for (let i = 0; i < newKeys.length; i++) {
+                if (oldKeys[i] !== newKeys[i]) { identical = false; break }
+            }
+            if (identical) {
+                for (let i = 0; i < list.length; i++) {
+                    _setItem(keyedMap.get(newKeys[i]), list[i])
+                }
+                return
+            }
+        }
+
+        if (oldKeys.length === newKeys.length) {
+            let diffA = -1, diffB = -1, diffCount = 0
+            for (let i = 0; i < newKeys.length; i++) {
+                if (oldKeys[i] !== newKeys[i]) {
+                    if (diffCount === 0) {
+                        diffA = i
+                    } else if (diffCount === 1) {
+                        diffB = i
+                    }
+                    diffCount++
+                    if (diffCount > 2) 
+                        break
+                }
+            }
+            if (diffCount === 2 && oldKeys[diffA] === newKeys[diffB] && oldKeys[diffB] === newKeys[diffA]) {
+                const entryA = keyedMap.get(oldKeys[diffA])
+                const entryB = keyedMap.get(oldKeys[diffB])
+                const nodeA = entryA.fnode.node
+                const nodeB = entryB.fnode.node
+                const refA = nodeA.nextSibling
+                const parentEl = nodeA.parentNode
+                parentEl.insertBefore(nodeA, nodeB.nextSibling)
+                parentEl.insertBefore(nodeB, refA)
+                // The two rows traded places: each keeps its key and receives the item now at its new index.
+                _setItem(entryA, list[diffB])
+                _setItem(entryB, list[diffA])
+                oldKeys = newKeys
+                return
+            }
+        }
+
+        const newMap = new Map()
+
+        for (let i = 0; i < list.length; i++) {
+            const item = list[i]
+            const key  = newKeys[i]
+
+            const exists = keyedMap.get(key)
+            if (exists) {
+                _setItem(exists, item)
+                newMap.set(key, exists)
+            } else {
+                const itemSignal = signal(item)
+                // Detached: otherwise every row's effects are registered as children of this
+                // list effect and stay reachable after the row is removed.
+                const fnode = runDetached(() => renderItem(itemSignal, i))
+                newMap.set(key, { fnode, key, itemSignal })
+            }
+        }
+
+        for (const [key, entry] of keyedMap) {
+            if (!newMap.has(key)) {
+                _unmountNodes([entry.fnode])
+            }
+        }
+
+        const newEntries = newKeys.map(k => newMap.get(k))
+        const oldIndexOf = new Map()
+        oldKeys.forEach((k, i) => oldIndexOf.set(k, i))
+
+        const posMap = newEntries.map(entry => {
+            const idx = oldIndexOf.get(entry.key)
+            return idx === undefined ? -1 : idx
+        })
+
+        const lisIndices = _getLIS(posMap)
+        let lisPtr = lisIndices.length - 1
+
+        for (let i = newEntries.length - 1; i >= 0; i--) {
+            const entry = newEntries[i]
+            const ref = i === newEntries.length - 1 ? anchor : newEntries[i + 1].fnode.node
+            const inLis = lisPtr >= 0 && i === lisIndices[lisPtr]
+
+            if (inLis) {
+                lisPtr--
+                if (!entry.fnode.node.parentNode) {
+                    insertFNode(parent, entry.fnode, ref)
+                }
+            } else if (entry.fnode.node.nextSibling !== ref || !entry.fnode.node.parentNode) {
+                insertFNode(parent, entry.fnode, ref)
+            }
+        }
+
+        keyedMap = newMap
+        oldKeys  = newKeys
+    })
+
+    effects.push(() => {
+        cleanup()
+        _unmountNodes([...keyedMap.values()].map(e => e.fnode))
+        keyedMap = new Map()
+        oldKeys  = []
+    })
+
+    return {
+        node: anchor,
+        effects,
+        _isFor: true,
+        _getNodes: () => [...keyedMap.values()].map(e => e.fnode),
+        _afterInsert: mounted.resume,
+    }
+}
+
+/**
+ * Unmounts every row. When the rows are the only elements in the parent, the parent is emptied
+ * in one operation instead of one removeChild per row, and its other nodes (the anchor, template
+ * whitespace, text) are put back in order.
+ */
+function _clearRows(parent, keyedMap) {
+    const fnodes = [...keyedMap.values()].map(e => e.fnode)
+    const rowsAreElements = fnodes.every(f => f.node.nodeType === 1)
+
+    if (rowsAreElements && parent.childElementCount === fnodes.length) {
+        const kept = []
+        for (let n = parent.firstChild; n; n = n.nextSibling) {
+            if (n.nodeType !== 1) kept.push(n)
+        }
+        for (const fnode of fnodes) _disposeEffects(fnode)
+        parent.textContent = ''
+        parent.append(...kept)
+        return
+    }
+    _unmountNodes(fnodes)
+}
+
+/** Updates a keyed row's item signal without subscribing the list effect to it. */
+function _setItem(entry, item) {
+    if (untrack(entry.itemSignal) !== item) entry.itemSignal(item)
+}
+
+/**
+ * hIf/hFor are built before their anchor has a parent (children are created before the
+ * element that holds them), so their first render waits until insertFNode() places the
+ * anchor and calls _afterInsert.
+ */
+function _createMountTracker() {
+    const tick = signal(0)
+    let pending = false
+    return {
+        track: () => tick(),
+        defer: () => { pending = true },
+        resume: () => {
+            if (!pending) return
+            pending = false
+            tick(untrack(tick) + 1)
+        }
+    }
+}
+
+/**
+ * Inserts a framework node (and slot nodes it carries) before ref, then lets anchor-based
+ * nodes (hIf/hFor) render now that they have a parent.
+ */
+export function insertFNode(parent, fnode, ref = null) {
+    parent.insertBefore(fnode.node, ref)
+    if (fnode._isSlot && fnode._slotNodes) {
+        for (const sn of fnode._slotNodes) {
+            if (sn?.node) insertFNode(parent, sn, ref)
+        }
+    }
+    if (typeof fnode._afterInsert === 'function') fnode._afterInsert()
+}
+
+function _getLIS(arr) {
+    const p = arr.slice()
+    const result = []
+
+    for (let i = 0; i < arr.length; i++) {
+        if (arr[i] === -1) continue
+
+        if (result.length === 0 || arr[result[result.length - 1]] < arr[i]) {
+            p[i] = result.length ? result[result.length - 1] : -1
+            result.push(i)
+            continue
+        }
+
+        let lo = 0, hi = result.length - 1
+        while (lo < hi) {
+            const mid = (lo + hi) >> 1
+            if (arr[result[mid]] < arr[i]) lo = mid + 1
+            else hi = mid
+        }
+        if (arr[i] < arr[result[lo]]) {
+            p[i] = lo > 0 ? result[lo - 1] : -1
+            result[lo] = i
+        }
+    }
+
+    let u = result.length
+    let v = u > 0 ? result[u - 1] : -1
+    const seq = new Array(u)
+    while (u-- > 0) {
+        seq[u] = v
+        v = p[v]
+    }
+    return seq
+}
+
+/** Marks a slots object whose outlets must stay native `<slot>` elements (shadow DOM). */
+export const NATIVE_SLOTS = Symbol.for('fusee.nativeSlots')
+
+export function hSlot(slots, name, fallback = []) {
+    if (slots?.[NATIVE_SLOTS]) {
+        return h('slot', name === 'default' ? {} : { name }, fallback)
+    }
+
+    const anchor = document.createComment(`slot:${name}`)
+    const effects = []
+    const slotFn = slots?.[name]
+    const nodes = typeof slotFn === 'function' ? slotFn() : fallback
+    return {
+        node: anchor,
+        effects,
+        _slotNodes: nodes,
+        _isSlot: true,
+    }
+}
+
+export function createComponent(name, ComponentFn, rawProps = {}, rawSlots = {}) {
+    if (!ComponentFn) {
+        console.warn(`[fusée] Component "${name}" is not registered`)
+        const placeholder = document.createComment(`missing:${name}`)
+        return { node: placeholder, effects: [] }
+    }
+
+    const resolvedProps = _resolveComponentProps(rawProps)
+    const listeners = {}
+    const slots = {}
+
+    for (const [key, value] of Object.entries(rawProps)) {
+        if (key.startsWith('on:')) {
+            listeners[key.slice(3)] = value
+        }
+    }
+
+    for (const [slotName, slotFn] of Object.entries(rawSlots)) {
+        slots[slotName] = slotFn
+    }
+
+    const container = document.createElement('div')
+    container.setAttribute('data-fusee-component', name)
+
+    const api = ComponentFn(resolvedProps, { listeners, slots })
+    api.render(container)
+    const root = container.firstElementChild ?? container
+
+    const effects = []
+    effects.push(() => api.unmount())
+
+    return { node: root, effects, _component: api }
+}
+
+function _applyProps(el, props, effects) {
+    for (const key in props) {
+        const value = props[key]
+        if (key.startsWith('@')) {
+            const eventName = key.slice(1)
+            const { handler, modifiers = [] } = value
+            const handlerState = { timeoutId: null, throttleTimeoutId: null, lastRun: 0 }
+            const wrappedHandler = createEventHandler(handler, modifiers, null, null, handlerState)
+
+            let cleanup
+            if (isDelegatedEvent(eventName)) {
+                cleanup = registerDelegatedEvent(el, eventName, wrappedHandler, { modifiers, handlerState })
+            } else {
+                el.addEventListener(eventName, wrappedHandler)
+                cleanup = () => el.removeEventListener(eventName, wrappedHandler)
+            }
+            effects.push(cleanup)
+            continue
+        }
+
+        if (key === 'f-show') {
+            const cleanup = effect(() => {
+                el.style.display = value() ? '' : 'none'
+            })
+            effects.push(cleanup)
+            continue
+        }
+
+        if (key === 'f-html') {
+            const cleanup = effect(() => {
+                el.innerHTML = String(value() ?? '')
+            })
+            effects.push(cleanup)
+            continue
+        }
+
+        if (key === 'f-model') {
+            const sig = value()
+            const cleanup = effect(() => {
+                const v = typeof sig === 'function' ? sig() : sig
+                if (el.value !== String(v ?? '')) el.value = String(v ?? '')
+            })
+            effects.push(cleanup)
+            continue
+        }
+
+        if (key === 'f-ref') {
+            el.dispatchEvent(new CustomEvent('fusee:ref', {
+                detail: { name: value },
+                bubbles: true,
+            }))
+            continue
+        }
+
+        if (key === 'f-once') continue
+
+        if (typeof value !== 'function') {
+            _applyAttr(el, key, value)
+            continue
+        }
+
+        const attrName = key
+        const getter = value
+        const cleanup = effect(() => {
+            _applyAttr(el, attrName, getter())
+        })
+        effects.push(cleanup)
+    }
+}
+
+function _applyStaticProps(el, props) {
+    for (const key in props) {
+        const value = props[key]
+        if (key.startsWith('@') || key.startsWith('f-')) 
+            continue
+        if (typeof value !== 'function') 
+            _applyAttr(el, key, value)
+    }
+}
+
+function _applyAttr(el, name, value) {
+    if (name === 'class') {
+        const cls = _resolveClass(value)
+        if (cls) el.className = cls
+        else el.removeAttribute('class')
+        return
+    }
+
+    if (name === 'style') {
+        if (value !== null && typeof value === 'object') {
+            for (const k in value) el.style[k] = value[k]
+        } else {
+            el.style.cssText = String(value ?? '')
+        }
+        return
+    }
+
+    const elementProp = resolveElementProperty(el, name, value)
+    if (elementProp) {
+        el[elementProp] = value
+        return
+    }
+
+    if (name in el && typeof el[name] !== 'undefined' && name !== 'type') {
+        try {
+            el[name] = value
+            return
+        } catch (_) {
+            return
+        }
+    }
+
+    if (typeof value === 'boolean') {
+        value ? el.setAttribute(name, '') : el.removeAttribute(name)
+        return
+    }
+
+    if (value == null) {
+        el.removeAttribute(name)
+        return
+    }
+
+    el.setAttribute(name, sanitize(name, String(value)))
+}
+
+function _resolveClass(value) {
+    if (typeof value === 'string') 
+        return value
+    if (Array.isArray(value)) 
+        return value.filter(Boolean).join(' ')
+    if (value && typeof value === 'object') 
+        return Object.entries(value).filter(([, v]) => !!v).map(([k]) => k).join(' ')
+    return String(value ?? '')
+}
+
+function _mountChildren(parent, children, parentEffects) {
+    const mounted = []
+
+    for (const fnode of children) {
+        if (!fnode || !fnode.node) continue
+
+        insertFNode(parent, fnode)
+
+        if (fnode.effects) parentEffects.push(...fnode.effects)
+        mounted.push(fnode)
+    }
+
+    return mounted
+}
+
+function _disposeEffects(fnode) {
+    if (!fnode.effects) return
+    for (let i = fnode.effects.length - 1; i >= 0; i--) {
+        const cleanup = fnode.effects[i]
+        if (typeof cleanup === 'function') cleanup()
+    }
+}
+
+function _unmountNodes(fnodes) {
+    for (const fnode of fnodes) {
+        if (!fnode) continue
+
+        _disposeEffects(fnode)
+
+        if (fnode.node?.parentNode) {
+            fnode.node.parentNode.removeChild(fnode.node)
+        }
+
+        if (fnode._ifBranchNodes) {
+            _unmountNodes(fnode._ifBranchNodes())
+        }
+
+        if (fnode._getNodes) {
+            _unmountNodes(fnode._getNodes())
+        }
+    }
+}
+
+function _resolveComponentProps(rawProps) {
+    const resolved = {}
+
+    for (const [key, value] of Object.entries(rawProps)) {
+        if (key.startsWith('on:')) continue
+
+        if (isGetter(value)) {
+            Object.defineProperty(resolved, key, {
+                get: value,
+                enumerable: true,
+                configurable: true,
+            })
+        } else {
+            resolved[key] = value
+        }
+    }
+
+    return resolved
+}
+
+export function mount(renderFn, ctx, components, container) {
+    const fnodes  = renderFn(ctx, components)
+    const effects = []
+
+    for (const fnode of fnodes) {
+        if (!fnode?.node) continue
+        insertFNode(container, fnode)
+        if (fnode.effects) effects.push(...fnode.effects)
+    }
+
+    return {
+        unmount() {
+            _unmountNodes(fnodes)
+            container.innerHTML = ''
+        }
+    }
 }