foldkit 0.156.0 → 0.157.0

package/dist/experimental/server/serialize.js

@@ -1,4 +1,4 @@
-import { Array as Array_ } from 'effect';
+import { Array } from 'effect';
 import { BOOLEAN_PROPERTIES, FOREIGN_REPRESENTABLE_PROPERTIES, GLOBAL_ATTRIBUTE_PROPERTIES, HTML_NAMESPACE, PASSTHROUGH_PROPERTIES, RENAMED_PROPERTY_ATTRIBUTES, assertStyleIsRepresentable, htmlAttributeValue, isHtmlPropertyRepresentable, parsedAttributeName, serializedHtmlPropertyValue, serializedStyleAttribute, } from '../../domReflection.js';
 import { HYDRATION_IDENTITY_ATTRIBUTE, HYDRATION_KEY_ATTRIBUTE, hydrationIdentityMarker, hydrationKeyMarker, } from '../../hydrationMarkers.js';
 import { hasTrustedInnerHtml, isClientOnlyProperty, } from '../../propertyProvenance.js';
@@ -245,7 +245,7 @@ const collectDataAttributes = (attributes, data) => {
     const classes = data.class;
     if (classes !== undefined) {
         const activeClasses = Object.keys(classes).filter(className => classes[className] === true);
-        if (Array_.isArrayNonEmpty(activeClasses)) {
+        if (Array.isArrayNonEmpty(activeClasses)) {
             appendClass(attributes, activeClasses.join(' '));
         }
     }

package/dist/experimental/server/server.js

@@ -1,4 +1,4 @@
-import { Array as Array_, Context, Data, Effect, Option, Predicate, Schema, String, pipe, } from 'effect';
+import { Array, Context, Data, Effect, Option, Predicate, Schema, String, pipe, } from 'effect';
 import { html as Parse5Html, defaultTreeAdapter, parse, parseFragment, } from 'parse5';
 import { HYDRATION_BUILD_ATTRIBUTE } from '../../buildToken.js';
 import { MATHML_NAMESPACE, SVG_NAMESPACE, parsedAttributeName, } from '../../domReflection.js';
@@ -158,7 +158,7 @@ const assertStructureMatches = (parsed, vnode) => {
     if (parsedChildren.length !== vnodeChildren.length) {
         throw structureMismatch(parsed);
     }
-    for (const [parsedChild, vnodeChild] of Array_.zip(parsedChildren, vnodeChildren)) {
+    for (const [parsedChild, vnodeChild] of Array.zip(parsedChildren, vnodeChildren)) {
         if (parsedChild.kind !== vnodeChild.kind) {
             throw structureMismatch(parsed);
         }
@@ -283,7 +283,7 @@ const parsedChildrenAgree = (scripted, unscripted) => {
     if (scriptedChildren.length !== unscriptedChildren.length) {
         return false;
     }
-    for (const [scriptedChild, unscriptedChild] of Array_.zip(scriptedChildren, unscriptedChildren)) {
+    for (const [scriptedChild, unscriptedChild] of Array.zip(scriptedChildren, unscriptedChildren)) {
         if (scriptedChild.kind !== unscriptedChild.kind) {
             return false;
         }
@@ -615,7 +615,7 @@ const elementsAtAndBelow = (element) => {
 };
 const elementsCarrying = (root, attributeName) => elementsAtAndBelow(root).filter(element => element.attrs.some(attribute => attribute.name === attributeName));
 const assertNoReservedHandoffMarkers = (root) => {
-    const maybeMarker = Array_.findFirst(Array_.fromIterable(RESERVED_HANDOFF_ATTRIBUTES), attributeName => elementsCarrying(root, attributeName).length > 0);
+    const maybeMarker = Array.findFirst(Array.fromIterable(RESERVED_HANDOFF_ATTRIBUTES), attributeName => elementsCarrying(root, attributeName).length > 0);
     if (Option.isNone(maybeMarker)) {
         return;
     }

package/dist/fieldValidation/fieldValidation.d.ts

@@ -1,4 +1,4 @@
-import { Array, Option, Schema as S } from 'effect';
+import { Array, Option, Schema } from 'effect';
 import { type Rule, type RuleMessage } from './rule.js';
 /** The `NotValidated` state: user hasn't interacted yet. */
 export type NotValidated<A> = Readonly<{
@@ -43,20 +43,20 @@ export declare const Invalid: <A>(field: Readonly<{
 /** Builds the four-state `Field` Schema for a value of the given Schema. Put the
  *  result in your Model. The value Schema should match what the control
  *  actually holds as the user edits, not the type you parse it into:
- *  `Field(S.String)` for text inputs, `Field(S.Array(S.String))` for a
+ *  `Field(Schema.String)` for text inputs, `Field(Schema.Array(Schema.String))` for a
  *  multi-select. A scalar like a checkbox's boolean usually stays plain
- *  `S.Boolean` in the Model; wrap it in `Field` only when it needs the
+ *  `Schema.Boolean` in the Model; wrap it in `Field` only when it needs the
  *  validation lifecycle. Validation rules stay separate, in a `makeRules`
  *  bundle. */
-export declare const Field: <A, I>(valueSchema: S.Codec<A, I>) => S.Union<readonly [S.TaggedStruct<"NotValidated", {
-    readonly value: S.Codec<A, I, never, never>;
-}>, S.TaggedStruct<"Validating", {
-    readonly value: S.Codec<A, I, never, never>;
-}>, S.TaggedStruct<"Valid", {
-    readonly value: S.Codec<A, I, never, never>;
-}>, S.TaggedStruct<"Invalid", {
-    readonly value: S.Codec<A, I, never, never>;
-    readonly errors: S.NonEmptyArray<S.String>;
+export declare const Field: <A, I>(valueSchema: Schema.Codec<A, I>) => Schema.Union<readonly [Schema.TaggedStruct<"NotValidated", {
+    readonly value: Schema.Codec<A, I, never, never>;
+}>, Schema.TaggedStruct<"Validating", {
+    readonly value: Schema.Codec<A, I, never, never>;
+}>, Schema.TaggedStruct<"Valid", {
+    readonly value: Schema.Codec<A, I, never, never>;
+}>, Schema.TaggedStruct<"Invalid", {
+    readonly value: Schema.Codec<A, I, never, never>;
+    readonly errors: Schema.NonEmptyArray<Schema.String>;
 }>]>;
 /** A field's validation rules: the required message (if any), the list of rules,
  *  and an empty predicate. Produced by `makeRules`; consumed by the module's

package/dist/fieldValidation/fieldValidation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fieldValidation.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/fieldValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAEL,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,WAAW,EAAkB,MAAM,WAAW,CAAA;AAIvE,4DAA4D;AAC5D,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE1E,6DAA6D;AAC7D,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEtE,4CAA4C;AAC5C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE5D,yFAAyF;AACzF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;IAChC,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,CAAC,CAAA;IACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;CAC5C,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAE9E,yCAAyC;AACzC,eAAO,MAAM,YAAY,GAAI,CAAC,SACrB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAC5B,YAAY,CAAC,CAAC,CAGf,CAAA;AAEF,uCAAuC;AACvC,eAAO,MAAM,UAAU,GAAI,CAAC,SACnB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAC5B,UAAU,CAAC,CAAC,CAGb,CAAA;AAEF,kCAAkC;AAClC,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAAG,KAAK,CAAC,CAAC,CAG9D,CAAA;AAEF,qCAAqC;AACrC,eAAO,MAAM,OAAO,GAAI,CAAC,SAChB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,KACzE,OAAO,CAAC,CAAC,CAIV,CAAA;AAEF;;;;;;;cAOc;AACd,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;IASlD,CAAA;AAIJ;;;;gEAIgE;AAChE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;CAC/B,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACzC;;;uDAGmD;IACnD,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;IACzB,KAAK,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B;;oFAEgF;IAChF,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;CAChC,CAAC,CAAA;AAYF;qFACqF;AACrF,eAAO,MAAM,SAAS,GAAI,CAAC,GAAG,MAAM,YACzB,gBAAgB,CAAC,CAAC,CAAC,KAC3B,KAAK,CAAC,CAAC,CAIR,CAAA;AAIF;;;;;;;;;;;;;;GAcG;AAIH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EACxB,QAAQ,EAAE,QAAQ,CAAC;QACjB,cAAc,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC/B,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QACxB,SAAS,EAAE,CACT,OAAO,EAAE,QAAQ,CAAC;YAChB,KAAK,EAAE,CAAC,CAAA;YACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;SAC5C,CAAC,KACC,CAAC,CAAA;KACP,CAAC,GACD,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EACxB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,QAAQ,EAAE,QAAQ,CAAC;QACjB,cAAc,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC/B,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QACxB,SAAS,EAAE,CACT,OAAO,EAAE,QAAQ,CAAC;YAChB,KAAK,EAAE,CAAC,CAAA;YACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;SAC5C,CAAC,KACC,CAAC,CAAA;KACP,CAAC,GACD,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CA4BjB,CAAA;AAED;;;;;4EAK4E;AAC5E,eAAO,MAAM,QAAQ,GAClB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,CAAC,KAAG,KAAK,CAAC,CAAC,CAiBlB,CAAA;AAEH;uEACuE;AACvE,eAAO,MAAM,WAAW,GACrB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,CAAC,KAAG,KAAK,CAAC,CAAC,CAoBlB,CAAA;AAEH;;;;;;;;+CAQ+C;AAC/C,eAAO,MAAM,OAAO,GACjB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,KAAK,CAAC,CAAC,CAAC,KAAG,OAQlB,CAAA;AAEH;sEACsE;AACtE,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,KAAG,OACV,CAAA;AAEtC;;;;kBAIkB;AAClB,eAAO,MAAM,SAAS,UAAW,KAAK,CAAC,OAAO,CAAC,KAAG,OACxB,CAAA;AAE1B;;;;uCAIuC;AACvC,eAAO,MAAM,QAAQ,GAAI,CAAC,SACjB,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAClD,OAAwE,CAAA;AAE3E;wEACwE;AACxE,eAAO,MAAM,UAAU,WAAY,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAG,OACpC,CAAA"}
+{"version":3,"file":"fieldValidation.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/fieldValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,MAAM,EAAU,MAAM,EAAgB,MAAM,QAAQ,CAAA;AAE9E,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,WAAW,EAAkB,MAAM,WAAW,CAAA;AAIvE,4DAA4D;AAC5D,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE1E,6DAA6D;AAC7D,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEtE,4CAA4C;AAC5C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE5D,yFAAyF;AACzF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;IAChC,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,CAAC,CAAA;IACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;CAC5C,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAE9E,yCAAyC;AACzC,eAAO,MAAM,YAAY,GAAI,CAAC,SACrB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAC5B,YAAY,CAAC,CAAC,CAGf,CAAA;AAEF,uCAAuC;AACvC,eAAO,MAAM,UAAU,GAAI,CAAC,SACnB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAC5B,UAAU,CAAC,CAAC,CAGb,CAAA;AAEF,kCAAkC;AAClC,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,KAAG,KAAK,CAAC,CAAC,CAG9D,CAAA;AAEF,qCAAqC;AACrC,eAAO,MAAM,OAAO,GAAI,CAAC,SAChB,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,KACzE,OAAO,CAAC,CAAC,CAIV,CAAA;AAEF;;;;;;;cAOc;AACd,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,eAAe,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;IASvD,CAAA;AAIJ;;;;gEAIgE;AAChE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;CAC/B,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACzC;;;uDAGmD;IACnD,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;IACzB,KAAK,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B;;oFAEgF;IAChF,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;CAChC,CAAC,CAAA;AAYF;qFACqF;AACrF,eAAO,MAAM,SAAS,GAAI,CAAC,GAAG,MAAM,YACzB,gBAAgB,CAAC,CAAC,CAAC,KAC3B,KAAK,CAAC,CAAC,CAIR,CAAA;AAIF;;;;;;;;;;;;;;GAcG;AAIH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EACxB,QAAQ,EAAE,QAAQ,CAAC;QACjB,cAAc,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC/B,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QACxB,SAAS,EAAE,CACT,OAAO,EAAE,QAAQ,CAAC;YAChB,KAAK,EAAE,CAAC,CAAA;YACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;SAC5C,CAAC,KACC,CAAC,CAAA;KACP,CAAC,GACD,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EACxB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,QAAQ,EAAE,QAAQ,CAAC;QACjB,cAAc,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC/B,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QACxB,SAAS,EAAE,CACT,OAAO,EAAE,QAAQ,CAAC;YAChB,KAAK,EAAE,CAAC,CAAA;YACR,MAAM,EAAE,KAAK,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAA;SAC5C,CAAC,KACC,CAAC,CAAA;KACP,CAAC,GACD,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CA4BjB,CAAA;AAED;;;;;4EAK4E;AAC5E,eAAO,MAAM,QAAQ,GAClB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,CAAC,KAAG,KAAK,CAAC,CAAC,CAiBlB,CAAA;AAEH;uEACuE;AACvE,eAAO,MAAM,WAAW,GACrB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,CAAC,KAAG,KAAK,CAAC,CAAC,CAoBlB,CAAA;AAEH;;;;;;;;+CAQ+C;AAC/C,eAAO,MAAM,OAAO,GACjB,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,aACX,KAAK,CAAC,CAAC,CAAC,KAAG,OAQlB,CAAA;AAEH;sEACsE;AACtE,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,KAAG,OACV,CAAA;AAEtC;;;;kBAIkB;AAClB,eAAO,MAAM,SAAS,UAAW,KAAK,CAAC,OAAO,CAAC,KAAG,OACxB,CAAA;AAE1B;;;;uCAIuC;AACvC,eAAO,MAAM,QAAQ,GAAI,CAAC,SACjB,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAClD,OAAwE,CAAA;AAE3E;wEACwE;AACxE,eAAO,MAAM,UAAU,WAAY,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAG,OACpC,CAAA"}

package/dist/fieldValidation/fieldValidation.js

@@ -1,4 +1,4 @@
-import { Array, Function, Option, Result, Schema as S, String, pipe, } from 'effect';
+import { Array, Function, Option, Result, Schema, String, pipe } from 'effect';
 import { resolveMessage } from './rule.js';
 /** Constructs a `NotValidated` state. */
 export const NotValidated = (field) => ({
@@ -24,18 +24,18 @@ export const Invalid = (field) => ({
 /** Builds the four-state `Field` Schema for a value of the given Schema. Put the
  *  result in your Model. The value Schema should match what the control
  *  actually holds as the user edits, not the type you parse it into:
- *  `Field(S.String)` for text inputs, `Field(S.Array(S.String))` for a
+ *  `Field(Schema.String)` for text inputs, `Field(Schema.Array(Schema.String))` for a
  *  multi-select. A scalar like a checkbox's boolean usually stays plain
- *  `S.Boolean` in the Model; wrap it in `Field` only when it needs the
+ *  `Schema.Boolean` in the Model; wrap it in `Field` only when it needs the
  *  validation lifecycle. Validation rules stay separate, in a `makeRules`
  *  bundle. */
-export const Field = (valueSchema) => S.Union([
-    S.TaggedStruct('NotValidated', { value: valueSchema }),
-    S.TaggedStruct('Validating', { value: valueSchema }),
-    S.TaggedStruct('Valid', { value: valueSchema }),
-    S.TaggedStruct('Invalid', {
+export const Field = (valueSchema) => Schema.Union([
+    Schema.TaggedStruct('NotValidated', { value: valueSchema }),
+    Schema.TaggedStruct('Validating', { value: valueSchema }),
+    Schema.TaggedStruct('Valid', { value: valueSchema }),
+    Schema.TaggedStruct('Invalid', {
         value: valueSchema,
-        errors: S.NonEmptyArray(S.String),
+        errors: Schema.NonEmptyArray(Schema.String),
     }),
 ]);
 const isEmptyValue = (value) => {

package/dist/fieldValidation/rule.d.ts

@@ -1,4 +1,4 @@
-import { Predicate, Schema as S } from 'effect';
+import { Predicate, Schema } from 'effect';
 /** An error message for a rule: either a static string, or a function that receives the invalid value. */
 export type RuleMessage<A> = string | ((value: A) => string);
 /** A tuple of a predicate and error message used for field validation. */
@@ -42,5 +42,5 @@ export declare const maxItems: (max: number, message?: RuleMessage<ReadonlyArray
  *  sync with the schema instead of duplicating its logic. It does nothing a
  *  custom rule can't, so prefer the dedicated rules for plain checks. Decoding
  *  is synchronous: the schema must decode without running an effect. */
-export declare const fromSchema: <A, I>(schema: S.Codec<A, I>, message: RuleMessage<I>) => Rule<I>;
+export declare const fromSchema: <A, I>(schema: Schema.Codec<A, I>, message: RuleMessage<I>) => Rule<I>;
 //# sourceMappingURL=rule.d.ts.map

package/dist/fieldValidation/rule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,SAAS,EACT,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAIf,0GAA0G;AAC1G,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAA;AAE5D,0EAA0E;AAC1E,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvE,8GAA8G;AAC9G,eAAO,MAAM,cAAc,GAAI,CAAC,WAAW,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MACd,CAAA;AAIxD,uEAAuE;AACvE,eAAO,MAAM,SAAS,QACf,MAAM,YACD,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,QACf,MAAM,YACD,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,OAAO,UACX,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC3B,IAAI,CAAC,MAAM,CAAwD,CAAA;AAItE,wEAAwE;AACxE,eAAO,MAAM,KAAK,aACP,WAAW,CAAC,MAAM,CAAC,KAC3B,IAAI,CAAC,MAAM,CAAkC,CAAA;AAKhD;;;gEAGgE;AAChE,eAAO,MAAM,GAAG,aACL,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAA;CAC1B,CAAC,KACD,IAAI,CAAC,MAAM,CAMb,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,UAAU,WACb,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,WACX,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,cACR,MAAM,YACP,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,MAAM,aACP,MAAM,YACN,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,4FAA4F;AAC5F,eAAO,MAAM,KAAK,WACR,aAAa,CAAC,MAAM,CAAC,YACnB,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAMb,CAAA;AAID,wEAAwE;AACxE,eAAO,MAAM,QAAQ,QACd,MAAM,YACD,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAC5C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAG7B,CAAA;AAED,uEAAuE;AACvE,eAAO,MAAM,QAAQ,QACd,MAAM,YACD,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAC5C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAG7B,CAAA;AAID;;;;;;wEAMwE;AACxE,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,UACrB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WACZ,WAAW,CAAC,CAAC,CAAC,KACtB,IAAI,CAAC,CAAC,CAA2D,CAAA"}
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,SAAS,EAAE,MAAM,EAAgB,MAAM,QAAQ,CAAA;AAI/E,0GAA0G;AAC1G,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAA;AAE5D,0EAA0E;AAC1E,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvE,8GAA8G;AAC9G,eAAO,MAAM,cAAc,GAAI,CAAC,WAAW,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MACd,CAAA;AAIxD,uEAAuE;AACvE,eAAO,MAAM,SAAS,QACf,MAAM,YACD,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,QACf,MAAM,YACD,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,OAAO,UACX,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC3B,IAAI,CAAC,MAAM,CAAwD,CAAA;AAItE,wEAAwE;AACxE,eAAO,MAAM,KAAK,aACP,WAAW,CAAC,MAAM,CAAC,KAC3B,IAAI,CAAC,MAAM,CAAkC,CAAA;AAKhD;;;gEAGgE;AAChE,eAAO,MAAM,GAAG,aACL,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAA;CAC1B,CAAC,KACD,IAAI,CAAC,MAAM,CAMb,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,UAAU,WACb,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,WACX,MAAM,YACJ,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,cACR,MAAM,YACP,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,MAAM,aACP,MAAM,YACN,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAGb,CAAA;AAED,4FAA4F;AAC5F,eAAO,MAAM,KAAK,WACR,aAAa,CAAC,MAAM,CAAC,YACnB,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,CAAC,MAAM,CAMb,CAAA;AAID,wEAAwE;AACxE,eAAO,MAAM,QAAQ,QACd,MAAM,YACD,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAC5C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAG7B,CAAA;AAED,uEAAuE;AACvE,eAAO,MAAM,QAAQ,QACd,MAAM,YACD,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAC5C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAG7B,CAAA;AAID;;;;;;wEAMwE;AACxE,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,UACrB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WACjB,WAAW,CAAC,CAAC,CAAC,KACtB,IAAI,CAAC,CAAC,CAAgE,CAAA"}

package/dist/fieldValidation/rule.js

@@ -1,15 +1,15 @@
-import { Array, Number as Number_, Option, Schema as S, String, flow, } from 'effect';
+import { Array, Number, Option, Schema, String, flow } from 'effect';
 /** Resolves a `RuleMessage` to a concrete string, applying it to the value when the message is a function. */
 export const resolveMessage = (message, value) => typeof message === 'string' ? message : message(value);
 // STRING RULES
 /** Creates a `Rule` that checks if a string meets a minimum length. */
 export const minLength = (min, message) => [
-    flow(String.length, Number_.isGreaterThanOrEqualTo(min)),
+    flow(String.length, Number.isGreaterThanOrEqualTo(min)),
     message ?? `Must be at least ${min} characters`,
 ];
 /** Creates a `Rule` that checks if a string does not exceed a maximum length. */
 export const maxLength = (max, message) => [
-    flow(String.length, Number_.isLessThanOrEqualTo(max)),
+    flow(String.length, Number.isLessThanOrEqualTo(max)),
     message ?? `Must be at most ${max} characters`,
 ];
 /** Creates a `Rule` that checks if a string matches a regular expression. */
@@ -58,12 +58,12 @@ export const oneOf = (values, message) => {
 // ARRAY RULES
 /** Creates a `Rule` that checks an array holds at least `min` items. */
 export const minItems = (min, message) => [
-    flow(Array.length, Number_.isGreaterThanOrEqualTo(min)),
+    flow(Array.length, Number.isGreaterThanOrEqualTo(min)),
     message ?? `Must select at least ${min}`,
 ];
 /** Creates a `Rule` that checks an array holds at most `max` items. */
 export const maxItems = (max, message) => [
-    flow(Array.length, Number_.isLessThanOrEqualTo(max)),
+    flow(Array.length, Number.isLessThanOrEqualTo(max)),
     message ?? `Must select at most ${max}`,
 ];
 // SCHEMA RULES
@@ -74,4 +74,4 @@ export const maxItems = (max, message) => [
  *  sync with the schema instead of duplicating its logic. It does nothing a
  *  custom rule can't, so prefer the dedicated rules for plain checks. Decoding
  *  is synchronous: the schema must decode without running an effect. */
-export const fromSchema = (schema, message) => [flow(S.decodeOption(schema), Option.isSome), message];
+export const fromSchema = (schema, message) => [flow(Schema.decodeOption(schema), Option.isSome), message];

package/dist/file/file.d.ts

@@ -1,4 +1,4 @@
-import { Schema as S } from 'effect';
+import { Schema } from 'effect';
 /**
  * A file selected by the user. Direct alias for the browser's native `File`
  * type — opaque by convention (Foldkit never constructs files itself, only
@@ -11,10 +11,10 @@ export type File = globalThis.File;
  * Use in Model fields that hold user-selected files:
  *
  * ```ts
- * attachedResume: S.Option(File.File)
+ * attachedResume: Schema.Option(File.File)
  * ```
  */
-export declare const File: S.Schema<File>;
+export declare const File: Schema.Schema<File>;
 /** The file's name including extension, as reported by the browser. */
 export declare const name: (file: File) => string;
 /** The file's size in bytes. */

package/dist/file/file.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"file.d.ts","sourceRoot":"","sources":["../../src/file/file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAA;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAiC,CAAA;AAEjE,uEAAuE;AACvE,eAAO,MAAM,IAAI,SAAU,IAAI,KAAG,MAAmB,CAAA;AAErD,gCAAgC;AAChC,eAAO,MAAM,IAAI,SAAU,IAAI,KAAG,MAAmB,CAAA;AAErD,4GAA4G;AAC5G,eAAO,MAAM,QAAQ,SAAU,IAAI,KAAG,MAAmB,CAAA"}
+{"version":3,"file":"file.d.ts","sourceRoot":"","sources":["../../src/file/file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAA;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAsC,CAAA;AAE3E,uEAAuE;AACvE,eAAO,MAAM,IAAI,SAAU,IAAI,KAAG,MAAmB,CAAA;AAErD,gCAAgC;AAChC,eAAO,MAAM,IAAI,SAAU,IAAI,KAAG,MAAmB,CAAA;AAErD,4GAA4G;AAC5G,eAAO,MAAM,QAAQ,SAAU,IAAI,KAAG,MAAmB,CAAA"}

package/dist/file/file.js

@@ -1,13 +1,13 @@
-import { Schema as S } from 'effect';
+import { Schema } from 'effect';
 /**
  * Schema that accepts any value that is an instance of the DOM `File` class.
  * Use in Model fields that hold user-selected files:
  *
  * ```ts
- * attachedResume: S.Option(File.File)
+ * attachedResume: Schema.Option(File.File)
  * ```
  */
-export const File = S.instanceOf(globalThis.File);
+export const File = Schema.instanceOf(globalThis.File);
 /** The file's name including extension, as reported by the browser. */
 export const name = (file) => file.name;
 /** The file's size in bytes. */

package/dist/html/boundary.d.ts

@@ -9,6 +9,29 @@ export type WrapDescriptor = Readonly<{
  *  contain the separator character; {@link composeBoundary} throws when
  *  they do. */
 export type BoundaryId = string;
+type BoundaryWrapRegistration = Readonly<{
+    _tag: 'Registration';
+    boundaryId: BoundaryId;
+    descriptor: WrapDescriptor;
+    mountOuterDispatch: DispatchSync;
+    previousDescriptor: WrapDescriptor | undefined;
+    previousMountDescriptor: WrapDescriptor | undefined;
+}>;
+type BoundaryWrapRollback = Readonly<{
+    _tag: 'Rollback';
+    rollback: () => void;
+}>;
+type BoundaryWrapTransactionEntry = BoundaryWrapRegistration | BoundaryWrapRollback;
+type BoundaryWrapTransaction = Readonly<{
+    parent: BoundaryWrapTransaction | undefined;
+    startIndex: number;
+}>;
+/** @internal Registration metadata retained by a lazy VNode cache entry. */
+export type TrackedBoundaryWrap = Readonly<{
+    callSite: string;
+    descriptor: WrapDescriptor;
+    mountOuterDispatch: DispatchSync;
+}>;
 export declare const ROOT_BOUNDARY: BoundaryId;
 export declare const composeBoundary: (parent: BoundaryId, childId: string) => BoundaryId;
 /** Per-runtime registry of Submodel wrapping descriptors. The runtime
@@ -28,6 +51,14 @@ export declare const composeBoundary: (parent: BoundaryId, childId: string) => B
  *  dispatcher created during a live render would still close over the
  *  live outerDispatch after a jump-to and silently mutate the live app.
  *
+ *  `mountWraps` provides the corresponding ownership-aware path for Mount
+ *  results. Unlike event handlers, a surviving live Mount can emit while a
+ *  replay render's wraps occupy `wraps`. Its dispatcher therefore reads only
+ *  the wraps registered by renders with the same root Mount dispatcher, while
+ *  still seeing replacements from later live renders. `mountWrapOwners`
+ *  records every owner that has occupied a boundary so its final destroy hook
+ *  can clear entries whose earlier hooks were replaced by in-place patches.
+ *
  *  `seenThisRender` tracks boundaries marked alive during the current
  *  render for duplicate-slotId detection: two `h.submodel` calls
  *  inside the same parent boundary must use different `slotId`s.
@@ -35,53 +66,66 @@ export declare const composeBoundary: (parent: BoundaryId, childId: string) => B
  *  second register collides so both locations land in the throw
  *  message. The map is cleared at the start of each render via
  *  `beginRender`. Boundaries behind a `createLazy`/`createKeyedLazy`
- *  cache hit are replayed into this map via {@link markSeenForLazyHit}
- *  so the duplicate-slotId guard catches collisions against memoized
- *  siblings, not just against siblings that re-ran this frame. It does
- *  not drive pruning (VNode destroy hooks do), but the Submodel destroy
- *  hook reads it during the patch phase to tell a same-cycle remount (a
- *  keyed root whose key changed) from a true unmount, skipping
- *  deregistration in the remount case. See {@link beginRender}.
+ *  cache hit are replayed into this map via
+ *  {@link restoreBoundaryWrapsForLazyHit} so the duplicate-slotId guard
+ *  catches collisions against memoized siblings, not just against siblings
+ *  that re-ran this frame. It does not drive pruning; VNode destroy hooks
+ *  remove a descriptor only when it is still the current entry, so an old
+ *  root cannot delete a same-cycle remount.
  *
- *  `lazyTrackingStack` is a stack of sets used by `createLazy` and
- *  `createKeyedLazy` to capture which boundary ids were marked alive
+ *  `lazyTrackingStack` is a stack of maps used by `createLazy` and
+ *  `createKeyedLazy` to capture which boundary registrations were marked alive
  *  during the wrapped function's first execution. On a later cache
  *  hit, the lazy helper replays the captured ids into
  *  `seenThisRender` so the duplicate-slotId guard sees them. Each
- *  active lazy invocation pushes its own set; `registerBoundaryWrap`
- *  and `markSeenForLazyHit` write to every set on the stack so an
- *  outer lazy correctly captures ids contributed by inner lazies it
- *  wraps. */
+ *  active lazy invocation pushes its own map; `registerBoundaryWrap`
+ *  and `restoreBoundaryWrapsForLazyHit` write to every map on the stack so an
+ *  outer lazy correctly captures registrations contributed by inner lazies it
+ *  wraps. The registration snapshot also lets a cache hit restore wrapping
+ *  descriptors after its cached VNode was removed and later reinserted.
+ *
+ *  `boundaryWrapTransactionLog` and `activeBoundaryWrapTransaction` make a
+ *  Submodel view's registration and lazy-cache writes transactional. If that
+ *  view throws or returns `null`, every nested registration and cache entry it
+ *  produced is restored because none of those VNodes will reach snabbdom and
+ *  run its destroy hook. */
 export type BoundaryRegistry = {
     readonly wraps: Map<BoundaryId, WrapDescriptor>;
     readonly boundaryDispatches: WeakMap<DispatchSync, Map<BoundaryId, DispatchSync>>;
+    readonly mountWraps: WeakMap<DispatchSync, Map<BoundaryId, WrapDescriptor>>;
+    readonly mountWrapOwners: Map<BoundaryId, Set<DispatchSync>>;
     readonly seenThisRender: Map<BoundaryId, string>;
-    readonly lazyTrackingStack: Array<Map<BoundaryId, string>>;
+    readonly lazyTrackingStack: Array<Map<BoundaryId, TrackedBoundaryWrap>>;
+    readonly boundaryWrapTransactionLog: Array<BoundaryWrapTransactionEntry>;
+    activeBoundaryWrapTransaction: BoundaryWrapTransaction | undefined;
     readonly dedupeSeen: Set<object>;
 };
 export declare const createBoundaryRegistry: () => BoundaryRegistry;
-export declare const registerBoundaryWrap: (registry: BoundaryRegistry, boundaryId: BoundaryId, descriptor: WrapDescriptor) => void;
+export declare const registerBoundaryWrap: (registry: BoundaryRegistry, boundaryId: BoundaryId, descriptor: WrapDescriptor, mountOuterDispatch: DispatchSync) => void;
 /** Starts capturing boundary registrations on a fresh set pushed onto
  *  `lazyTrackingStack`. Used by `createLazy`/`createKeyedLazy` around the
  *  wrapped view function. Must be paired with {@link endLazyTracking} on
  *  the same call stack so an exception inside the view does not leak the
  *  tracking frame to a later render. */
-export declare const beginLazyTracking: (registry: BoundaryRegistry) => Map<BoundaryId, string>;
+export declare const beginLazyTracking: (registry: BoundaryRegistry) => Map<BoundaryId, TrackedBoundaryWrap>;
 /** Pops the most recent tracking set. Throws when called on an empty
  *  stack to surface unmatched begin/end pairs immediately rather than
  *  silently corrupting later renders. */
 export declare const endLazyTracking: (registry: BoundaryRegistry) => void;
-/** Replays a set of boundary ids captured during a previous lazy run
- *  into `seenThisRender` so the duplicate-slotId guard sees them. Also
- *  forwards them into any active tracking sets so an outer lazy
- *  wrapping this cache hit captures the ids in its own snapshot.
+/** Restores boundary registrations captured during a previous lazy run and
+ *  replays their ids into `seenThisRender` so the duplicate-slotId guard sees
+ *  them. Also forwards them into active tracking maps so an outer lazy
+ *  wrapping this cache hit captures the registrations in its own snapshot.
  *
- *  Skips ids already present in `seenThisRender` to preserve the
- *  original call site of the live entry (the first registration this
- *  render still wins the error message). */
-export declare const markSeenForLazyHit: (registry: BoundaryRegistry, trackedIds: ReadonlyMap<BoundaryId, string>) => void;
-/** Removes a boundary's wrap. Called by `h.submodel`'s destroy hook when
- *  the corresponding vnode leaves the DOM.
+ *  A registration that still occupies both lookup tables needs only its seen
+ *  marker restored. A registration evicted when the cached VNode left the DOM
+ *  is written back transactionally, so a surrounding Submodel render that
+ *  later fails can still roll the cache hit back. */
+export declare const restoreBoundaryWrapsForLazyHit: (registry: BoundaryRegistry, trackedBoundaries: ReadonlyMap<BoundaryId, TrackedBoundaryWrap>) => void;
+/** Removes a boundary's wrap when it still matches the descriptor owned by the
+ *  VNode being destroyed. A replacement registered earlier in the same patch
+ *  is left intact. Called by `h.submodel`'s destroy hook when the corresponding
+ *  VNode leaves the DOM.
  *
  *  Does not touch `boundaryDispatches`: it is a WeakMap keyed by
  *  outerDispatch, so per-outerDispatch inner Maps become unreachable and
@@ -90,7 +134,19 @@ export declare const markSeenForLazyHit: (registry: BoundaryRegistry, trackedIds
  *  when it cannot find an ancestor wrap, which surfaces a clear error
  *  rather than letting events from a destroyed boundary silently
  *  misroute. */
-export declare const deregisterBoundaryWrap: (registry: BoundaryRegistry, boundaryId: BoundaryId) => void;
+export declare const deregisterBoundaryWrap: (registry: BoundaryRegistry, boundaryId: BoundaryId, descriptor: WrapDescriptor, mountOuterDispatch: DispatchSync) => void;
+/** Starts a nested boundary-registration transaction for one Submodel view. */
+export declare const beginBoundaryWrapTransaction: (registry: BoundaryRegistry) => BoundaryWrapTransaction;
+/** Commits a Submodel view's boundary registrations. Nested registrations stay
+ *  in the parent transaction until that parent also produces a VNode. */
+export declare const commitBoundaryWrapTransaction: (registry: BoundaryRegistry, transaction: BoundaryWrapTransaction) => void;
+/** Registers an internal cache restoration with the active Submodel boundary
+ *  transaction. Calls outside a Submodel view need no rollback and are ignored. */
+export declare const registerBoundaryWrapTransactionRollback: <A>(registry: BoundaryRegistry, value: A, restore: (value: A) => void) => void;
+/** Restores every boundary registration performed since a Submodel view began,
+ *  including registrations from nested Submodels whose VNodes never reached
+ *  snabbdom. */
+export declare const rollbackBoundaryWrapTransaction: (registry: BoundaryRegistry, transaction: BoundaryWrapTransaction) => void;
 /** Resolves a message through `boundaryId`'s wrapping chain immediately,
  *  applying every `toParentMessage` from innermost to outermost against the
  *  wraps present right now, and returns a thunk that dispatches the fully
@@ -115,16 +171,17 @@ export declare const resolveBoundaryDispatchThunk: (registry: BoundaryRegistry,
  *  (boundary alive at call time), matching {@link dispatchAcrossBoundary}. */
 export declare const boundaryMappers: (registry: BoundaryRegistry, boundaryId: BoundaryId) => ReadonlyArray<(message: unknown) => unknown>;
 export declare const getOrCreateBoundaryDispatch: (registry: BoundaryRegistry, outerDispatch: DispatchSync, boundaryId: BoundaryId) => DispatchSync;
+/** Returns a dispatcher for a Mount acquired inside `boundaryId`.
+ *  The root dispatcher identifies the render owner: live and replay renders
+ *  therefore consult separate wrap tables. Within that owner, the dispatcher
+ *  resolves the current wrapping chain at emission time so a surviving Mount
+ *  follows later live `toParentMessage` closures just like an event handler. */
+export declare const resolveMountBoundaryDispatch: (registry: BoundaryRegistry, mountOuterDispatch: DispatchSync, boundaryId: BoundaryId) => DispatchSync;
 /** Called at the start of each top-level render. Clears the
  *  per-render duplicate-slotId tracking map so siblings inside the
- *  same parent boundary can be re-validated. Does NOT touch `wraps`
- *  or `boundaryDispatches`. Those persist across renders and are
- *  evicted by vnode destroy hooks instead.
- *
- *  Clear `seenThisRender` only here, at the start of a cycle, never
- *  between the view and patch phases. The Submodel destroy hook reads
- *  it during patch to tell a same-cycle remount (a keyed root whose
- *  key changed) from a true unmount; clearing it mid-cycle would
- *  resurrect the `dispatchAcrossBoundary missing wrap` crash. */
+ *  same parent boundary can be re-validated. Does not touch the wrap
+ *  or dispatcher tables. Those persist across renders and are evicted
+ *  by VNode destroy hooks instead. */
 export declare const beginRender: (registry: BoundaryRegistry) => void;
+export {};
 //# sourceMappingURL=boundary.d.ts.map

package/dist/html/boundary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../src/html/boundary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,eAAe,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;eAIe;AACf,MAAM,MAAM,UAAU,GAAG,MAAM,CAAA;AAI/B,eAAO,MAAM,aAAa,EAAE,UAAe,CAAA;AAE3C,eAAO,MAAM,eAAe,WAClB,UAAU,WACT,MAAM,KACd,UAUF,CAAA;AAKD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aAwCa;AACb,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAClC,YAAY,EACZ,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAC9B,CAAA;IACD,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAChD,QAAQ,CAAC,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAA;IAI1D,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,sBAAsB,QAAO,gBAMxC,CAAA;AAqBF,eAAO,MAAM,oBAAoB,aACrB,gBAAgB,cACd,UAAU,cACV,cAAc,KACzB,IA6BF,CAAA;AAED;;;;wCAIwC;AACxC,eAAO,MAAM,iBAAiB,aAClB,gBAAgB,KACzB,GAAG,CAAC,UAAU,EAAE,MAAM,CAIxB,CAAA;AAED;;yCAEyC;AACzC,eAAO,MAAM,eAAe,aAAc,gBAAgB,KAAG,IAQ5D,CAAA;AAED;;;;;;;4CAO4C;AAC5C,eAAO,MAAM,kBAAkB,aACnB,gBAAgB,cACd,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,KAC1C,IAWF,CAAA;AAED;;;;;;;;;gBASgB;AAChB,eAAO,MAAM,sBAAsB,aACvB,gBAAgB,cACd,UAAU,KACrB,IAEF,CAAA;AAmGD;;;;;;;;;;;;mFAYmF;AACnF,eAAO,MAAM,4BAA4B,aAC7B,gBAAgB,iBACX,YAAY,cACf,UAAU,WACb,OAAO,KACf,CAAC,MAAM,IAAI,CAqBb,CAAA;AAED;;;;;;;8EAO8E;AAC9E,eAAO,MAAM,eAAe,aAChB,gBAAgB,cACd,UAAU,KACrB,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAiB7C,CAAA;AAED,eAAO,MAAM,2BAA2B,aAC5B,gBAAgB,iBACX,YAAY,cACf,UAAU,KACrB,YAkBF,CAAA;AAED;;;;;;;;;;iEAUiE;AACjE,eAAO,MAAM,WAAW,aAAc,gBAAgB,KAAG,IAGxD,CAAA"}
+{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../src/html/boundary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,eAAe,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;eAIe;AACf,MAAM,MAAM,UAAU,GAAG,MAAM,CAAA;AAI/B,KAAK,wBAAwB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;IACtB,UAAU,EAAE,cAAc,CAAA;IAC1B,kBAAkB,EAAE,YAAY,CAAA;IAChC,kBAAkB,EAAE,cAAc,GAAG,SAAS,CAAA;IAC9C,uBAAuB,EAAE,cAAc,GAAG,SAAS,CAAA;CACpD,CAAC,CAAA;AAEF,KAAK,oBAAoB,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,MAAM,IAAI,CAAA;CACrB,CAAC,CAAA;AAEF,KAAK,4BAA4B,GAC/B,wBAAwB,GAAG,oBAAoB,CAAA;AAEjD,KAAK,uBAAuB,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,uBAAuB,GAAG,SAAS,CAAA;IAC3C,UAAU,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF,4EAA4E;AAC5E,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAA;IAChB,UAAU,EAAE,cAAc,CAAA;IAC1B,kBAAkB,EAAE,YAAY,CAAA;CACjC,CAAC,CAAA;AAEF,eAAO,MAAM,aAAa,EAAE,UAAe,CAAA;AAE3C,eAAO,MAAM,eAAe,WAClB,UAAU,WACT,MAAM,KACd,UAUF,CAAA;AAKD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAsD4B;AAC5B,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAClC,YAAY,EACZ,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAC9B,CAAA;IACD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAA;IAC3E,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAA;IAC5D,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAChD,QAAQ,CAAC,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAA;IACvE,QAAQ,CAAC,0BAA0B,EAAE,KAAK,CAAC,4BAA4B,CAAC,CAAA;IACxE,6BAA6B,EAAE,uBAAuB,GAAG,SAAS,CAAA;IAIlE,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,sBAAsB,QAAO,gBAUxC,CAAA;AAgDF,eAAO,MAAM,oBAAoB,aACrB,gBAAgB,cACd,UAAU,cACV,cAAc,sBACN,YAAY,KAC/B,IAgBF,CAAA;AAyCD;;;;wCAIwC;AACxC,eAAO,MAAM,iBAAiB,aAClB,gBAAgB,KACzB,GAAG,CAAC,UAAU,EAAE,mBAAmB,CAIrC,CAAA;AAED;;yCAEyC;AACzC,eAAO,MAAM,eAAe,aAAc,gBAAgB,KAAG,IAQ5D,CAAA;AAED;;;;;;;;qDAQqD;AACrD,eAAO,MAAM,8BAA8B,aAC/B,gBAAgB,qBACP,WAAW,CAAC,UAAU,EAAE,mBAAmB,CAAC,KAC9D,IA2BF,CAAA;AAED;;;;;;;;;;;gBAWgB;AAChB,eAAO,MAAM,sBAAsB,aACvB,gBAAgB,cACd,UAAU,cACV,cAAc,sBACN,YAAY,KAC/B,IAqBF,CAAA;AAuCD,+EAA+E;AAC/E,eAAO,MAAM,4BAA4B,aAC7B,gBAAgB,KACzB,uBAOF,CAAA;AAED;yEACyE;AACzE,eAAO,MAAM,6BAA6B,aAC9B,gBAAgB,eACb,uBAAuB,KACnC,IAQF,CAAA;AAED;mFACmF;AACnF,eAAO,MAAM,uCAAuC,GAAI,CAAC,YAC7C,gBAAgB,SACnB,CAAC,WACC,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,KAC1B,IASF,CAAA;AAED;;gBAEgB;AAChB,eAAO,MAAM,+BAA+B,aAChC,gBAAgB,eACb,uBAAuB,KACnC,IAyBF,CAAA;AAsKD;;;;;;;;;;;;mFAYmF;AACnF,eAAO,MAAM,4BAA4B,aAC7B,gBAAgB,iBACX,YAAY,cACf,UAAU,WACb,OAAO,KACf,CAAC,MAAM,IAAI,CAYb,CAAA;AAED;;;;;;;8EAO8E;AAC9E,eAAO,MAAM,eAAe,aAChB,gBAAgB,cACd,UAAU,KACrB,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAQ7C,CAAA;AAED,eAAO,MAAM,2BAA2B,aAC5B,gBAAgB,iBACX,YAAY,cACf,UAAU,KACrB,YAkBF,CAAA;AAED;;;;gFAIgF;AAChF,eAAO,MAAM,4BAA4B,aAC7B,gBAAgB,sBACN,YAAY,cACpB,UAAU,KACrB,YAsBF,CAAA;AAED;;;;sCAIsC;AACtC,eAAO,MAAM,WAAW,aAAc,gBAAgB,KAAG,IAGxD,CAAA"}