octane 0.2.13 → 0.2.15

package/dist/compiler/dom-bindings.js

@@ -248,7 +248,7 @@ function importedProjectionCall(node, imports, lexical, parameterScope) {
 	const callee = unwrap(node?.callee);
 	let importedRoot = callee;
 	while (importedRoot?.type === 'MemberExpression' && !importedRoot.computed)
-		importedRoot = importedRoot.object;
+		importedRoot = unwrap(importedRoot.object);
 	const namespace =
 		importedRoot !== callee &&
 		importedRoot?.type === 'Identifier' &&
@@ -695,6 +695,8 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 	const signalIndices = [];
 	const styleIndices = [];
 	const projectionGroups = [];
+	const providerBindings = new Set();
+	const unboundAttributes = new Set();
 	const classAttributes = new Map();
 	const id = `d:${strongHash(`octane:dom-bindings:2\0${filename}\0${fn.id.name}\0${source}`)}`;
 	const parameterScope = lexical.nodeScopes.get(fn.body) ?? lexical.rootScope;
@@ -702,14 +704,15 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 	let addressed = false;
 	const markUnbound = (expression, opaque = false) => {
 		const value = unwrap(expression);
+		const callee = unwrap(value?.callee);
 		const external =
-			value?.type === 'CallExpression' && value.callee.type === 'Identifier'
-				? imports.get(value.callee.name)
+			value?.type === 'CallExpression' && callee?.type === 'Identifier'
+				? imports.get(callee.name)
 				: null;
 		if (
 			external?.source !== 'octane/behavior' ||
 			external.imported !== 'unbound' ||
-			lexical.resolveBinding(lexical.nodeScopes.get(value.callee), value.callee.name)?.scope !==
+			lexical.resolveBinding(lexical.nodeScopes.get(callee), callee.name)?.scope !==
 				lexical.rootScope
 		)
 			return false;
@@ -898,6 +901,18 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 			const expression = child.type === 'JSXExpressionContainer' ? child.expression : null;
 			return expression === null || !markUnbound(expression, true);
 		});
+		// A scalar leaf has one stable Text node (or no node for empty SSR).
+		// Structural or opaque children retain their existing compiler contract.
+		const child = children.length === 1 ? children[0] : null;
+		const expression = child?.type === 'JSXExpressionContainer' ? child.expression : null;
+		const text =
+			tag !== 'textarea' &&
+			authoredChildren.length === children.length &&
+			(child?.type === 'JSXText' ||
+				(expression?.type === 'Literal' && typeof expression.value === 'string') ||
+				(expression?.type === 'TSAsExpression' &&
+					(expression.typeAnnotation.type === 'TSStringKeyword' ||
+						expression.typeAnnotation.type === 'TSNumberKeyword')));
 		const opaqueChildren = authoredChildren.length !== children.length;
 		const openChildren = tag !== 'textarea' && opaqueChildren && children.length > 0;
 		if (tag === 'textarea' && children.some((child) => child.type !== 'JSXText'))
@@ -910,15 +925,17 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 			parent,
 			tag,
 			ns,
-			(opaqueChildren && !openChildren) || tag === 'textarea' ? null : children.length,
-			...(openChildren ? [true] : []),
+			(opaqueChildren && !openChildren) || tag === 'textarea' ? null : text ? 0 : children.length,
+			...(text ? [null, 1] : openChildren ? [true] : []),
 		]);
 		elements.push(element);
 		const owned = new Set();
 		const externalNames = new Set();
 		const knownFields = new Set();
 		for (const attr of element.openingElement?.attributes ?? element.attributes ?? []) {
-			if (attr._octaneKnownAttributeSpread) {
+			// A provider proves normal-renderer fields, not early ownership. External
+			// spreads retain the ordinary unbound checks and are stripped below.
+			if (attr._octaneKnownAttributeSpread && !attr._octaneKnownAttributeSpread.unbound) {
 				const argument = attr.argument ?? attr.value.expression;
 				// The compiler verified the exact imported factory against its
 				// provider contract. Its arguments still need the ordinary proof.
@@ -956,6 +973,7 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 						if (!group) signalIndices.push(bindings.length);
 						bindings.push([index, bindingKind(tag, name), name]);
 					}
+					providerBindings.add(bindings.length - 1);
 					values.push(
 						group
 							? inheritHookMemoOrigin(
@@ -979,26 +997,31 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 					error(filename, attr, 'binding attribute spreads must be explicitly unbound');
 				if (bindings.some((binding) => binding[0] === index))
 					error(filename, attr, 'unbound attribute spreads must precede owned binding attributes');
+				const addExternalName = (raw, node) => {
+					const name = (
+						raw === 'className' ? 'class' : (ATTRIBUTE_ALIASES.get(raw) ?? raw)
+					).toLowerCase();
+					if (
+						FORBIDDEN_ATTRS.has(name) ||
+						name.startsWith('on') ||
+						name.startsWith('data-octane-class-')
+					)
+						error(
+							filename,
+							node,
+							`unbound spreads cannot supply reserved or structural attribute ${JSON.stringify(raw)}`,
+						);
+					externalNames.add(name);
+				};
 				const external = unwrap(unwrap(attr.argument).arguments[0]);
-				if (external?.type === 'ObjectExpression') {
+				if (attr._octaneKnownAttributeSpread) {
+					for (const raw of attr._octaneKnownAttributeSpread.fields) addExternalName(raw, attr);
+				} else if (external?.type === 'ObjectExpression') {
 					for (const property of external.properties) {
 						if (property.type !== 'Property' || property.computed) continue;
 						const raw = property.key.name ?? property.key.value;
 						if (typeof raw !== 'string') continue;
-						const name = (
-							raw === 'className' ? 'class' : (ATTRIBUTE_ALIASES.get(raw) ?? raw)
-						).toLowerCase();
-						if (
-							FORBIDDEN_ATTRS.has(name) ||
-							name.startsWith('on') ||
-							name.startsWith('data-octane-class-')
-						)
-							error(
-								filename,
-								property,
-								`unbound spreads cannot supply reserved or structural attribute ${JSON.stringify(raw)}`,
-							);
-						externalNames.add(name);
+						addExternalName(raw, property);
 					}
 				}
 				continue;
@@ -1022,6 +1045,16 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 				nodes[index][3] = null;
 				continue;
 			}
+			const value =
+				attr.value === null
+					? b.literal(true)
+					: unwrap(
+							attr.value?.type === 'JSXExpressionContainer' ? attr.value.expression : attr.value,
+						);
+			if ((lower === 'ref' || /^on[A-Z]/.test(raw)) && markUnbound(value)) {
+				unboundAttributes.add(lower);
+				continue;
+			}
 			if (
 				!/^[A-Za-z_][A-Za-z0-9_.:-]*$/.test(name) ||
 				lower.startsWith('on') ||
@@ -1030,13 +1063,10 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 			) {
 				error(filename, attr, `attribute ${JSON.stringify(raw)} is not supported in binding views`);
 			}
-			const value =
-				attr.value === null
-					? b.literal(true)
-					: unwrap(
-							attr.value?.type === 'JSXExpressionContainer' ? attr.value.expression : attr.value,
-						);
-			if (markUnbound(value)) continue;
+			if (markUnbound(value)) {
+				unboundAttributes.add(lower);
+				continue;
+			}
 			if (value?.type !== 'Literal' && externalNames.has(lower))
 				error(
 					filename,
@@ -1139,11 +1169,35 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 				add(index, kind, name, value, attr);
 			}
 		}
-		if (tag !== 'textarea') {
+		if (text) {
+			if (expression) add(index, 'text', '#text', expression, child);
+		} else if (tag !== 'textarea') {
 			for (const child of children) visit(child, index, ns, [...ancestors, tag]);
 		}
 	};
 	visit(render, -1, native?.namespace ?? 0, native?.ancestors ?? []);
+	// Opaque descendants are outside this receipt. Only a scalar native host's
+	// declared presentation channels can transfer independently of those children.
+	const hostHandoff =
+		nodes.length === 1 &&
+		nodes[0][3] === null &&
+		!addressed &&
+		!['textarea', 'input', 'select'].includes(nodes[0][1]) &&
+		bindings.length > 0 &&
+		bindings.every(
+			(binding, index) =>
+				binding[0] === 0 &&
+				(['class', 'styleProperty', 'styleAttribute', 'styleObject'].includes(binding[1]) ||
+					providerBindings.has(index)),
+		) &&
+		[...(render.openingElement?.attributes ?? render.attributes ?? [])].every(
+			(attr) =>
+				!['JSXSpreadAttribute', 'SpreadAttribute'].includes(attr.type) ||
+				(attr._octaneKnownAttributeSpread && !attr._octaneKnownAttributeSpread.unbound),
+		) &&
+		!(render.openingElement?.attributes ?? render.attributes ?? []).some(
+			(attr) => attrName(attr)?.toLowerCase() === 'dangerouslysetinnerhtml',
+		);
 	return {
 		fn,
 		render,
@@ -1159,6 +1213,8 @@ function planView(fn, filename, source, imports, lexical, native = null) {
 		unbound,
 		classAttributes,
 		id,
+		hostHandoff,
+		unboundAttributes,
 	};
 }
 
@@ -1181,6 +1237,7 @@ function scalarProperties(
 		b.prop('init', b.id('nodes'), literalData(plan.nodes)),
 		b.prop('init', b.id('bindings'), literalData(plan.bindings)),
 		b.prop('init', b.id('project'), project),
+		...(plan.hostHandoff ? [b.prop('init', b.id('handoff'), b.literal('host'))] : []),
 		...(plan.signalIndices.length
 			? [
 					b.prop('init', b.id('signalIndices'), literalData(plan.signalIndices)),
@@ -1221,6 +1278,8 @@ function projectionDependencies(plan, lexical) {
 			}
 		});
 	collect(plan.expressions ?? plan.values);
+	collect(plan.scalar?.values);
+	collect(plan.scalar?.projections?.map((declaration) => declaration.declarations[0].init));
 	collect(plan.projections?.map((declaration) => declaration.declarations[0].init));
 	return needed;
 }
@@ -1435,7 +1494,15 @@ function projectProgram(ast, plan, filename, lexical) {
 			b.object(
 				scalarProperties(
 					plan.scalar,
-					b.arrow(plan.fn.params, b.call(b.member(root, 'project'), b.array(plan.fn.params))),
+					inheritHookMemoOrigin(
+						b.arrow(
+							plan.fn.params,
+							plan.scalar.projections.length > 0
+								? b.block([...plan.scalar.projections, b.return(b.array(plan.scalar.values))])
+								: b.array(plan.scalar.values),
+						),
+						plan.fn,
+					),
 					plan.scalar.bindings.some((binding) => binding[1] === 'classGroup')
 						? b.member(root, 'createClassGroup')
 						: null,
@@ -1876,12 +1943,13 @@ export function prepareDomBindings(ast, source, filename, selectedExport, helper
 		: new Map();
 	const isUnbound = (expression) => {
 		const value = unwrap(expression);
-		if (value?.type !== 'CallExpression' || value.callee.type !== 'Identifier') return false;
-		const imported = imports.get(value.callee.name);
+		const callee = unwrap(value?.callee);
+		if (value?.type !== 'CallExpression' || callee?.type !== 'Identifier') return false;
+		const imported = imports.get(callee.name);
 		return (
 			imported?.source === 'octane/behavior' &&
 			imported.imported === 'unbound' &&
-			lexical.resolveBinding(lexical.nodeScopes.get(value.callee), value.callee.name)?.scope ===
+			lexical.resolveBinding(lexical.nodeScopes.get(callee), callee.name)?.scope ===
 				lexical.rootScope
 		);
 	};
@@ -2132,6 +2200,9 @@ export function prepareDomBindings(ast, source, filename, selectedExport, helper
 			_octanePresentationHydration: {
 				id: plan.id,
 				supported: fixedPresentation || structuralPresentation,
+				...(field('nodes').elements.some((node) => node.elements[5]?.value === 'value')
+					? { nativeControl: true }
+					: {}),
 				...(structuralPresentation || conditionalRest ? { structural: true } : {}),
 				...(conditionalRest ? { conditionalRest: true } : {}),
 			},
@@ -2207,6 +2278,16 @@ export function prepareDomBindings(ast, source, filename, selectedExport, helper
 			);
 		}
 		for (const [node, replacement] of rewritten) replacements.set(node, replacement);
+		if (plan.hostHandoff)
+			replacements.set(node, {
+				...mapCow(node, rewritten),
+				_octanePresentationHydration: {
+					id: plan.id,
+					supported: true,
+					host: true,
+					unboundAttributes: plan.unboundAttributes,
+				},
+			});
 	});
 	if (selectedExport !== null) {
 		const plan = plans.get(selectedExport);

package/dist/compiler/volar.js

@@ -31829,11 +31829,10 @@ var OCTANE_PLATFORM = {
   }
 };
 var octaneTransform = createJsxTransform(OCTANE_PLATFORM);
-function projectNativeAttributeReads(ast, contracts) {
+function projectNativeDomReads(ast, contracts) {
   const attributes = new Set(
     contracts?.flatMap((contract) => contract.jsxAttribute ? [contract.jsxAttribute] : [])
   );
-  if (attributes.size === 0) return ast;
   const names = /* @__PURE__ */ new Set();
   const walk2 = (node, replace) => {
     if (!node || typeof node !== "object") return node;
@@ -31858,20 +31857,54 @@ function projectNativeAttributeReads(ast, contracts) {
   let helper = "__octane_nativeAttributeValue";
   while (names.has(helper)) helper += "_";
   let used = false;
+  const read = (value) => {
+    used = true;
+    return inheritHookMemoOrigin(builders_exports.call(builders_exports.id(helper), value), value);
+  };
+  const projectText = (node) => {
+    if (!node) return node;
+    if (["TSAsExpression", "TSTypeAssertion", "TSSatisfiesExpression"].includes(node.type) && node.typeAnnotation?.type === "TSStringKeyword") {
+      used = true;
+      const expression = projectText(node.expression);
+      return {
+        ...node,
+        expression: expression === node.expression ? builders_exports.call(builders_exports.id(helper), expression) : expression
+      };
+    }
+    if ([
+      "TSAsExpression",
+      "TSTypeAssertion",
+      "TSNonNullExpression",
+      "TSSatisfiesExpression",
+      "TSInstantiationExpression",
+      "ParenthesizedExpression"
+    ].includes(node.type)) {
+      const expression = projectText(node.expression);
+      return expression === node.expression ? node : { ...node, expression };
+    }
+    return node;
+  };
   const projected = walk2(ast, (node) => {
-    if (node.type !== "JSXOpeningElement" && node.type !== "Element") return null;
+    if (["JSXElement", "JSXFragment", "Element", "Fragment"].includes(node.type)) {
+      node = {
+        ...node,
+        children: node.children.map((child) => {
+          if (child.type !== "JSXExpressionContainer") return child;
+          const expression = projectText(child.expression);
+          return expression === child.expression ? child : { ...child, expression };
+        })
+      };
+    }
+    if (node.type !== "JSXOpeningElement" && node.type !== "Element") return node;
     const name = node.type === "Element" ? node.id : node.name;
     if (name?.type !== "JSXIdentifier" && name?.type !== "Identifier" || typeof name.name !== "string" || name.name[0] !== name.name[0].toLowerCase())
-      return null;
+      return node;
     return {
       ...node,
       attributes: node.attributes.map((attribute) => {
         if (!attributes.has(attribute.name?.name ?? attribute.name) || attribute.value?.type !== "JSXExpressionContainer")
           return attribute;
-        const result = lowerNativeAttributeReads(attribute.value.expression, (value) => {
-          used = true;
-          return inheritHookMemoOrigin(builders_exports.call(builders_exports.id(helper), value), value);
-        });
+        const result = lowerNativeAttributeReads(attribute.value.expression, read);
         return { ...attribute, value: { ...attribute.value, expression: result.expression } };
       })
     };
@@ -32099,7 +32132,7 @@ function compileToVolarMappings(source, filename, options) {
   const transform = selectOctaneTransform(ast);
   const transformed = transform(
     projectServerContextCalls(
-      renderer.target === "dom" ? projectNativeAttributeReads(transformAst, options?.knownAttributeSpreads) : transformAst,
+      renderer.target === "dom" ? projectNativeDomReads(transformAst, options?.knownAttributeSpreads) : transformAst,
       filename
     ),
     source,
@@ -32251,14 +32284,22 @@ function compileTypesInspection(source, filename, options) {
   const renderer = resolveRendererForFile(rendererConfig, filename ?? "untitled.tsrx");
   const rendererPragma = authoredLeadingPragma(ast, comments) ? null : createRendererTypePragma(renderer, ast);
   const transform = selectOctaneTransform(ast);
-  const transformed = transform(projectServerContextCalls(ast, filename), source, filename, {
-    collect: true,
-    loose: true,
-    typeOnly: true,
-    inspect: true,
-    errors,
-    comments: rendererPragma === null ? comments : [rendererPragma, ...comments]
-  });
+  const transformed = transform(
+    projectServerContextCalls(
+      renderer.target === "dom" ? projectNativeDomReads(ast) : ast,
+      filename
+    ),
+    source,
+    filename,
+    {
+      collect: true,
+      loose: true,
+      typeOnly: true,
+      inspect: true,
+      errors,
+      comments: rendererPragma === null ? comments : [rendererPragma, ...comments]
+    }
+  );
   markNativeTemplateBodies(ast);
   return {
     code: transformed.code,

package/dist/constants.d.ts

@@ -50,7 +50,7 @@ export declare const HYDRATION_TEXT_SEP = " ";
  * render order) so a hydrating boundary returns synchronously instead of
  * re-suspending. Shared so server emit and client read stay byte-identical.
  */
-export declare const SUSPENSE_SCRIPT_ATTR = "data-octane-suspense";
+export { SUSPENSE_SCRIPT_ATTR } from './stream-protocol.js';
 export declare const SUSPENSE_RESOLVED_COMMENT = "oct-suspense:";
 export declare const SUSPENSE_RESOLVED_SEED_ATTR = "data-octane-suspense-seeds";
 export declare const SUSPENSE_RESOLVED_NATIVE_ATTR = "data-octane-suspense-signals";
@@ -105,7 +105,7 @@ export declare const STREAM_SEGMENT_ATTR = "data-oct-s";
 /** Per-boundary seed-JSON script attribute (inside the segment). */
 export declare const STREAM_SEED_ATTR = "data-oct-seed";
 /** Renderer-owned executable/data scripts emitted by the streaming protocol. */
-export declare const STREAM_SCRIPT_ATTR = "data-octane-stream";
+export { STREAM_SCRIPT_ATTR } from './stream-protocol.js';
 /** Hidden carrier for Float sheet resources discovered after the shell; the
  *  inline `$OCTRH` call hoists its tags into document.head. */
 export declare const STREAM_RESOURCE_ATTR = "data-oct-fr";

package/dist/constants.js

@@ -8,7 +8,7 @@ const FOR_BLOCK_OPEN_EMPTY = `<!--${HYDRATION_FOR_EMPTY}-->`;
 const FOR_BLOCK_OPEN_ITEMS = `<!--${HYDRATION_FOR_ITEMS}-->`;
 const EMPTY_COMMENT = "<!---->";
 const HYDRATION_TEXT_SEP = " ";
-const SUSPENSE_SCRIPT_ATTR = "data-octane-suspense";
+import { SUSPENSE_SCRIPT_ATTR } from "./stream-protocol.js";
 const SUSPENSE_RESOLVED_COMMENT = "oct-suspense:";
 const SUSPENSE_RESOLVED_SEED_ATTR = "data-octane-suspense-seeds";
 const SUSPENSE_RESOLVED_NATIVE_ATTR = "data-octane-suspense-signals";
@@ -37,7 +37,7 @@ import {
 import { STREAM_BOUNDARY_ATTR } from "./stream-protocol.js";
 const STREAM_SEGMENT_ATTR = "data-oct-s";
 const STREAM_SEED_ATTR = "data-oct-seed";
-const STREAM_SCRIPT_ATTR = "data-octane-stream";
+import { STREAM_SCRIPT_ATTR } from "./stream-protocol.js";
 const STREAM_RESOURCE_ATTR = "data-oct-fr";
 const STREAM_SEED_COMMENT = "oct-seed:";
 import {

package/dist/dom-binding-claims.d.ts

@@ -0,0 +1 @@
+export declare const domBindingClaims: WeakMap<Element, Map<string, string | null | undefined>>;

package/dist/dom-binding-claims.js

@@ -0,0 +1,4 @@
+const domBindingClaims = /* @__PURE__ */ new WeakMap();
+export {
+  domBindingClaims
+};

package/dist/dom-binding-handoff.d.ts

@@ -1,5 +1,5 @@
-/** Renderer-independent capability carried by an adopted, compiler-proven view. */
-export declare const BINDING_HANDOFF: unique symbol;
+import { BINDING_HANDOFF } from './signals/control-handoff.js';
+export { BINDING_HANDOFF };
 /** Current early-owned range, not a license to render a different shape. */
 export interface BindingHandoffRange {
     readonly kind: 'if' | 'view' | 'slot' | 'text';
@@ -24,13 +24,15 @@ export interface BindingHandoff {
     readonly root: Node;
     readonly anchor: Node;
     readonly end?: Node;
-    /** Allocated only for a claimed structural presentation. -1 means publication is in progress. */
+    /** A scalar host's declared native channels; descendants belong to other owners. */
+    readonly host?: ReadonlySet<string>;
+    /** Revisioned presentations return -1 while publication is in progress. */
     revision?(): number;
     ranges?(): ReadonlyMap<Node, BindingHandoffRange>;
     view?(root: Node): BindingHandoffView | undefined;
     rest?(element: Element, site: number): BindingHandoffRest | undefined;
     valid?(): boolean;
-    /** One deferred retry; only structural leases allocate publication listeners. */
+    /** One deferred retry; listener storage is allocated only when requested. */
     afterPublication?(callback: () => void): () => void;
     active(): boolean;
     retire(publish?: () => void): void;

package/dist/dom-binding-handoff.js

@@ -1,4 +1,4 @@
-const BINDING_HANDOFF = /* @__PURE__ */ Symbol.for("octane.binding-handoff");
+import { BINDING_HANDOFF } from "./signals/control-handoff.js";
 const events = /* @__PURE__ */ new WeakMap();
 const delivered = /* @__PURE__ */ new WeakMap();
 function registerBindingEvent(node, type) {

package/dist/dom-binding-program.d.ts

@@ -15,7 +15,8 @@ export type BindingProgramNode = readonly [
     kind: 'element',
     tag: string,
     namespace: 0 | 1,
-    children: number | null
+    children: number | null,
+    nativeControlContent?: 'value'
 ] | readonly [parent: number, kind: 'text', text: string] | readonly [parent: number, kind: 'region', site: string];
 export interface BindingRange {
     readonly start: Comment;

package/dist/dom-binding-program.js

@@ -1250,15 +1250,30 @@ function bindProgram(root, descriptor, source, options, mount, list = descriptor
           dispose,
           () => !busy
         );
-      if (mount || descriptor.root.handoff !== true || !instance || descriptor.root.regions.length !== 0 || descriptor.root.bindings.some((binding) => binding[1] === "control") || descriptor.root.nodes.some((node) => node[1] === "element" && node[4] === null))
+      if (mount || descriptor.root.handoff !== true || !instance || descriptor.root.regions.length !== 0 || descriptor.root.bindings.some((binding) => binding[1] === "control") || descriptor.root.nodes.some(
+        (node, index) => node[1] === "element" && node[4] === null && !(node[2] === "textarea" && node[3] === 0 && node[5] === "value" && Array.from(instance.nodes[index].childNodes).every((child) => child.nodeType === 3))
+      ))
         throw new Error(
           "Hydration binding leases require an adopted fixed native view without structural regions or controls."
         );
+      const topology = handoff === void 0 && descriptor.root.nodes.some((node) => node[1] === "element" && node[5] === "value") ? [instance.range.start, ...instance.nodes, instance.range.end].map(
+        (node) => [node, node.parentNode, node.previousSibling, node.nextSibling]
+      ) : void 0;
       return handoff ??= {
         id: descriptor.id,
         root: instance.range.start,
         anchor: instance.nodes.find((node) => node.nodeType === 1) ?? instance.range.start,
         active: () => !transaction.disposed,
+        ...topology === void 0 ? {} : {
+          end: instance.range.end,
+          valid: () => topology.every(
+            ([node, parent, before, after]) => node.parentNode === parent && (node === instance.range.start || node.previousSibling === before) && (node === instance.range.end || node.nextSibling === after)
+          ) && descriptor.root.nodes.every(
+            (proof, index) => proof[1] !== "element" || (proof[4] === null ? Array.from(instance.nodes[index].childNodes).every(
+              (child) => child.nodeType === 3
+            ) : instance.nodes[index].childNodes.length === proof[4])
+          )
+        },
         retire: (publish) => {
           transaction.preservePresentation = true;
           dispose(void 0, publish);

package/dist/dom-bindings.d.ts

@@ -45,12 +45,13 @@ export type BindingNode = readonly [
     tag: string,
     namespace: 0 | 1,
     children: number | null,
-    openChildren?: true
+    openChildren?: true | null,
+    text?: 1
 ];
 /** @internal Names and numeric CSS units are resolved by the compiler. */
 export type BindingOperation = readonly [
     node: number,
-    kind: 'attr' | 'boolean' | 'aria' | 'class' | 'classToken' | 'classGroup' | 'styleProperty' | 'styleAttribute' | 'styleObject' | 'control' | 'url',
+    kind: 'attr' | 'boolean' | 'aria' | 'class' | 'classToken' | 'classGroup' | 'styleProperty' | 'styleAttribute' | 'styleObject' | 'control' | 'url' | 'text',
     name: string,
     unitlessOrGroup?: boolean | number
 ];
@@ -59,6 +60,8 @@ export type BindingValue = string | null | BindingStyleSnapshot;
 /** @internal No application function is invoked to discover the DOM topology. */
 export interface CompiledBindings<Props> {
     readonly id: string;
+    /** Compiler-proven single native host, with no descendant ownership. */
+    readonly handoff?: 'host';
     /** Targets carry compiler-issued addresses when unbound siblings may change. */
     readonly addressed?: true;
     readonly nodes: readonly BindingNode[];