@foldkit/oxlint-plugin 0.15.2-canary.085b787da0a5 → 0.15.2-canary.3b49f516b024

package/dist/guards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EACL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,QAAQ,EACd,MAAM,eAAe,CAAA;AAEtB,eAAO,MAAM,YAAY,SACjB,OAAO,SACN,MAAM,KACZ,IAAI,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAOZ,CAAA;AAE5C,eAAO,MAAM,qBAAqB,SAC1B,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAAyC,CAAA;AAE3D,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,aAM/B,CAAA;AAEhC,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,eAIe,CAAA;AAEjC,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIc,CAAA;AAEhC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIQ,CAAA;AAE1B,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACjC,CAIgC,CAAA;AAEjC,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,OAIjB,CAAA;AAE/B,eAAO,MAAM,eAAe,SACpB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,uBAIuB,CAAA;AAEzC,eAAO,MAAM,gBAAgB,WAAY,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAYtE,CAAA;AAkCD,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,mBAAmB,CAAA;IAChC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAqBhC,CAAA;AAED,eAAO,MAAM,uBAAuB,WAC1B,OAAO,cACH,MAAM,KACjB,OACmE,CAAA;AAEtE,eAAO,MAAM,iBAAiB,SAAU,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAUrE,CAAA;AAED,eAAO,MAAM,gBAAgB,SACrB,MAAM,CAAC,gBAAgB,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAKtB,CAAA;AAED,eAAO,MAAM,kBAAkB,aACnB,QAAQ,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,GAAG,EAAE,MAAM,CAAC,WAAW,CAAA;CACxB,CAAC,KACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAKtB,CAAA;AAED,eAAO,MAAM,eAAe,WAClB,aAAa,CAAC,WAAW,CAAC,KACjC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAShC,CAAA;AAED,eAAO,MAAM,gBAAgB,eACf,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,MAAM,CAAC,mBAAmB,KAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAGtB,CAAA;AAEH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9B,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACpC,CAAC,CAAA;AAOF,eAAO,MAAM,mBAAmB,eAClB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,YAAY,CA8BzB,CAAA;AAmBJ,eAAO,MAAM,qBAAqB,eACpB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAUlC,CAAA;AAkGJ,eAAO,MAAM,0BAA0B,WAC7B,OAAO,cACH,MAAM,cACN,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,SAAS,KACtD,OA8BF,CAAA;AAED,eAAO,MAAM,qBAAqB,eACpB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,SAAS,QACjD,MAAM,CAAC,IAAI,KAChB,OAUF,CAAA;AAED,eAAO,MAAM,oBAAoB,SACzB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,kBAIkB,CAAA;AAEpC,eAAO,MAAM,qBAAqB,SAC1B,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAImB,CAAA;AAErC,eAAO,MAAM,SAAS,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,OAIhC,CAAA;AAEzB,eAAO,MAAM,mBAAmB,SACxB,MAAM,CAAC,cAAc,KAC1B,MAAM,CAAC,aAAa,GAAG,SAGzB,CAAA"}
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EACL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,QAAQ,EACd,MAAM,eAAe,CAAA;AAEtB,eAAO,MAAM,YAAY,SACjB,OAAO,SACN,MAAM,KACZ,IAAI,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAOZ,CAAA;AAE5C,eAAO,MAAM,qBAAqB,SAC1B,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAAyC,CAAA;AAE3D,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,aAM/B,CAAA;AAEhC,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,eAIe,CAAA;AAEjC,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIc,CAAA;AAEhC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIQ,CAAA;AAE1B,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACjC,CAIgC,CAAA;AAEjC,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,OAIjB,CAAA;AAE/B,eAAO,MAAM,eAAe,SACpB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,uBAIuB,CAAA;AAEzC,eAAO,MAAM,gBAAgB,WAAY,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAYtE,CAAA;AAkCD,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,mBAAmB,CAAA;IAChC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAqBhC,CAAA;AAED,eAAO,MAAM,uBAAuB,WAC1B,OAAO,cACH,MAAM,KACjB,OACmE,CAAA;AAEtE,eAAO,MAAM,iBAAiB,SAAU,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAUrE,CAAA;AAED,eAAO,MAAM,gBAAgB,SACrB,MAAM,CAAC,gBAAgB,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAKtB,CAAA;AAED,eAAO,MAAM,kBAAkB,aACnB,QAAQ,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,GAAG,EAAE,MAAM,CAAC,WAAW,CAAA;CACxB,CAAC,KACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAKtB,CAAA;AAED,eAAO,MAAM,eAAe,WAClB,aAAa,CAAC,WAAW,CAAC,KACjC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAShC,CAAA;AAED,eAAO,MAAM,gBAAgB,eACf,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,MAAM,CAAC,mBAAmB,KAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAGtB,CAAA;AAEH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9B,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACpC,CAAC,CAAA;AAOF,eAAO,MAAM,mBAAmB,eAClB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,YAAY,CA8BzB,CAAA;AAoBJ,eAAO,MAAM,qBAAqB,eACpB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QACrC,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAUlC,CAAA;AAkGJ,eAAO,MAAM,0BAA0B,WAC7B,OAAO,cACH,MAAM,cACN,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,SAAS,KACtD,OA8BF,CAAA;AAED,eAAO,MAAM,qBAAqB,eACpB,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,SAAS,QACjD,MAAM,CAAC,IAAI,KAChB,OAUF,CAAA;AAED,eAAO,MAAM,oBAAoB,SACzB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,kBAIkB,CAAA;AAEpC,eAAO,MAAM,qBAAqB,SAC1B,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAImB,CAAA;AAErC,eAAO,MAAM,SAAS,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,OAIhC,CAAA;AAEzB,eAAO,MAAM,mBAAmB,SACxB,MAAM,CAAC,cAAc,KAC1B,MAAM,CAAC,aAAa,GAAG,SAGzB,CAAA"}

package/dist/index.js

@@ -12114,7 +12114,8 @@ const foldkitNamespaceBySource = {
 	"foldkit/schema": "Schema",
 	"foldkit/struct": "Struct",
 	"foldkit/submodel": "Submodel",
-	"foldkit/subscription": "Subscription"
+	"foldkit/subscription": "Subscription",
+	"foldkit/update": "Update"
 };
 const resolveFoldkitApiPath = (references, node) => flatMap$3(resolveImportedPath(references, node), (path) => {
 	if (path.source === "foldkit") return some$1(path.members);
@@ -12998,7 +12999,7 @@ const noArrayIndexViewKeys = Rule_exports.define({
 //#endregion
 //#region src/rules/no-child-message-construction-in-root.ts
 const pascalIdentifierPattern = /^[A-Z][A-Za-z0-9]*$/;
-const childMessageConstructionMessage = (calleeLabel) => `Do not construct the child Message \`${calleeLabel}(...)\` from a parent. Expose a child update capability that applies this fact, then invoke it with Update.foldChild or Update.foldChildStep. Child-owned views, Commands, and Subscriptions may construct their own Messages.`;
+const childMessageConstructionMessage = (calleeLabel) => `Do not construct the child Message \`${calleeLabel}(...)\` from a parent. Expose a child update capability that applies this fact, then invoke it with Update.foldChild, Update.foldChildAt, or Update.foldChildStep. Child-owned views, Commands, and Subscriptions may construct their own Messages.`;
 const moduleExtensionPattern = /\.(?:cjs|cts|js|jsx|mjs|mts|ts|tsx)$/;
 const moduleSegmentName = (segment) => segment.replace(moduleExtensionPattern, "");
 const messageModuleSegmentNames = /* @__PURE__ */ new Set([
@@ -13163,7 +13164,7 @@ const noChildMessageConstructionInRoot = Rule_exports.define({
 });
 //#endregion
 //#region src/rules/no-direct-submodel-state-update.ts
-const directSubmodelStateUpdateMessage = (fieldName) => `Do not update the Submodel field \`${fieldName}\` directly from its parent. Expose a child-owned update capability, then apply it with Update.foldChild or Update.foldChildStep.`;
+const directSubmodelStateUpdateMessage = (fieldName) => `Do not update the Submodel field \`${fieldName}\` directly from its parent. Expose a child-owned update capability, then apply it with Update.foldChild, Update.foldChildAt, or Update.foldChildStep.`;
 const isNode$2 = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
 const isArrowFunction = (value) => isNode$2(value) && value.type === "ArrowFunctionExpression";
 const isReturnStatement$3 = (value) => isNode$2(value) && value.type === "ReturnStatement";
@@ -13224,8 +13225,9 @@ const directReadField = (callback) => {
 const propertyValue = (object, name) => {
 	for (const property of object.properties) if (property.type === "Property" && !property.computed && isIdentifier(property.key, name)) return property.value;
 };
-const directWriteField = (callback, references) => {
-	const [modelParameter, nextChildParameter] = callback.params;
+const directWriteField = (callback, references, nextChildParameterIndex = 1) => {
+	const [modelParameter, secondParameter, thirdParameter] = callback.params;
+	const nextChildParameter = nextChildParameterIndex === 2 ? thirdParameter : secondParameter;
 	if (!isIdentifier(modelParameter) || !isIdentifier(nextChildParameter)) return;
 	const returned = expressionReturnedBy(callback);
 	if (!isCallExpression$1(returned) || !isModifyFieldsCall$1(returned, references)) return;
@@ -13250,6 +13252,7 @@ const isModifyFieldsCall$1 = (node, references) => {
 const foldKind = (node, references) => {
 	const foldKindForName = (helperName) => {
 		if (helperName === "foldChild") return "Fold";
+		if (helperName === "foldChildAt") return "Keyed";
 		if (helperName === "foldChildStep") return "Step";
 	};
 	if (references === void 0) return getOrUndefined(flatMap$3(staticMemberPath(node.callee), (path) => {
@@ -13307,12 +13310,14 @@ const foldDefinitions = (program, scopes, references) => {
 			if (kind === void 0) continue;
 			const [configuration] = declarator.init.arguments;
 			if (!isObjectExpression(configuration)) continue;
-			const read = callbackValue$1(propertyValue(configuration, "read"), callbacks);
-			const write = callbackValue$1(propertyValue(configuration, "write"), callbacks);
+			const readPropertyName = kind === "Keyed" ? "readAt" : "read";
+			const writePropertyName = kind === "Keyed" ? "writeAt" : "write";
+			const read = callbackValue$1(propertyValue(configuration, readPropertyName), callbacks);
+			const write = callbackValue$1(propertyValue(configuration, writePropertyName), callbacks);
 			if (read === void 0 || write === void 0) continue;
 			writeCallbacks.add(write);
 			const readField = directReadField(read);
-			const writeField = directWriteField(write, references);
+			const writeField = directWriteField(write, references, kind === "Keyed" ? 2 : 1);
 			if (readField === void 0 || readField !== writeField) continue;
 			const definition = {
 				childField: readField,
@@ -13348,7 +13353,7 @@ const childFieldsForCombine = (node, definitions, references) => {
 		}
 		if (!isCallExpression$1(step)) continue;
 		const definition = foldDefinitionFor(step.callee, definitions, references);
-		if (definition?.kind === "Fold") childFields.add(definition.childField);
+		if (definition?.kind === "Fold" || definition?.kind === "Keyed") childFields.add(definition.childField);
 	}
 	return childFields;
 };
@@ -13419,9 +13424,11 @@ const foldEvidence = (program, scopes, references) => {
 		}
 		const directDefinition = foldDefinitionFor(node.callee, definitions, references);
 		const dataLastDefinition = isCallExpression$1(node.callee) ? foldDefinitionFor(node.callee.callee, definitions, references) : void 0;
-		if (directDefinition === void 0 && (dataLastDefinition === void 0 || dataLastDefinition.kind !== "Fold")) return;
-		const [firstArgument, secondArgument] = node.arguments;
+		if (directDefinition === void 0 && dataLastDefinition === void 0) return;
+		const [firstArgument, secondArgument, thirdArgument] = node.arguments;
 		if (directDefinition?.kind === "Fold" && secondArgument === void 0) return;
+		if (directDefinition?.kind === "Keyed" && thirdArgument === void 0) return;
+		if (dataLastDefinition?.kind === "Step") return;
 		const definition = directDefinition ?? dataLastDefinition;
 		const parentModel = firstArgument;
 		if (!isIdentifierReference(parentModel) || definition === void 0) return;
@@ -13996,7 +14003,19 @@ const directlyReturnsUndefined = (references, mapper) => {
 	const [firstStatement, secondStatement] = mapper.body.body;
 	return firstStatement?.type === "ReturnStatement" && secondStatement === void 0 && isUnshadowedUndefined(references, firstStatement.argument);
 };
-const isEmptyMapperProperty = (references, property) => property.kind === "init" && contains$1(staticPropertyName(property), TO_PARENT_OUT_MESSAGE_PROPERTY) && isMapperFunction(property.value) && directlyReturnsUndefined(references, property.value);
+const directlyReturnedMapper = (mapper) => {
+	if (mapper.body === null) return;
+	if (mapper.body.type !== "BlockStatement") return isMapperFunction(mapper.body) ? mapper.body : void 0;
+	const [firstStatement, secondStatement] = mapper.body.body;
+	if (firstStatement?.type !== "ReturnStatement" || secondStatement !== void 0 || !isMapperFunction(firstStatement.argument)) return;
+	return firstStatement.argument;
+};
+const forwardsNothing = (references, mapper) => {
+	if (directlyReturnsUndefined(references, mapper)) return true;
+	const returnedMapper = directlyReturnedMapper(mapper);
+	return returnedMapper !== void 0 && directlyReturnsUndefined(references, returnedMapper);
+};
+const isEmptyMapperProperty = (references, property) => property.kind === "init" && contains$1(staticPropertyName(property), TO_PARENT_OUT_MESSAGE_PROPERTY) && isMapperFunction(property.value) && forwardsNothing(references, property.value);
 const removalRange = (sourceText, object, property, index) => {
 	const maybePrevious = get$1(object.properties, index - 1);
 	if (isSome(maybePrevious)) return [maybePrevious.value.end, property.end];
@@ -14008,18 +14027,19 @@ const removalRange = (sourceText, object, property, index) => {
 	if (isNone(maybeMatchedText)) return property.range;
 	return [property.start, property.end + maybeMatchedText.value.length];
 };
-const emptyMapperMessage = "Omit toParentOutMessage. This mapper directly returns undefined, so it forwards nothing to the parent.";
+const emptyMapperMessage = "Omit toParentOutMessage. Its inline mapper returns undefined for every child OutMessage, so it forwards nothing to the parent.";
 /**
 * Flags an inline `toParentOutMessage` mapper that directly returns
-* `undefined`. That mapper forwards nothing to the parent, so the property
-* should be omitted. This syntax-only rule does not inspect async functions,
-* generators, getters, setters, or mappers referenced by name.
+* `undefined`, including the mapper returned by a keyed mapper factory. That
+* mapper forwards nothing to the parent, so the property should be omitted.
+* This syntax-only rule does not inspect async functions, generators, getters,
+* setters, or mappers referenced by name.
 */
 const noEmptyToParentOutMessage = Rule_exports.define({
 	name: "no-empty-to-parent-out-message",
 	meta: Rule_exports.meta({
 		type: "suggestion",
-		description: "Omit an inline toParentOutMessage mapper that directly returns undefined.",
+		description: "Omit an inline toParentOutMessage mapper that returns undefined for every child OutMessage.",
 		fixable: "code"
 	}),
 	create: function* () {
@@ -15121,7 +15141,7 @@ const referencedFunction = (node, references) => {
 		return isVariableDeclarator$1(definition.node) && isFunctionNode(definition.node.init) ? some$1(definition.node.init) : none();
 	}));
 };
-const diagnosticMessage = (operatorName) => `\`preventDefault()\` inside a \`Stream.${operatorName}\` callback does not reliably run inside the browser's event dispatch. For a DOM-event Stream, the default action may already have happened by the time the callback runs. Cancel the event inside the listener with \`Subscription.fromEventFilterMapPreventDefault\`, which calls \`preventDefault()\` for every handled event before the native listener returns. If this callback does not handle a DOM event, suppress this rule with a disable comment.`;
+const diagnosticMessage = (operatorName) => `\`preventDefault()\` inside a \`Stream.${operatorName}\` callback does not reliably run inside the browser's event dispatch. For a DOM-event Stream, the default action may already have happened by the time the callback runs. Cancel the event inside the listener with \`Dom.streamFromEventFilterMapPreventDefault\`, which calls \`preventDefault()\` for every handled event before the native listener returns. If this callback does not handle a DOM event, suppress this rule with a disable comment.`;
 /**
 * Flags `event.preventDefault()` inside callbacks passed to Stream operators
 * (`Stream.map`, `Stream.mapEffect`, `Stream.filterMap`,
@@ -15129,7 +15149,7 @@ const diagnosticMessage = (operatorName) => `\`preventDefault()\` inside a \`Str
 * `Stream.tap`).
 * Those callbacks do not reliably run inside the browser's event dispatch.
 * For a DOM-event Stream, cancellation belongs inside the native listener,
-* which is where `Subscription.fromEventFilterMapPreventDefault` runs its
+* which is where `Dom.streamFromEventFilterMapPreventDefault` runs its
 * mapper.
 */
 const noPreventDefaultInStreamOperator = Rule_exports.define({
@@ -15770,14 +15790,14 @@ const isFoldkitModifyFieldsCall = (node, references) => {
 	return exists(staticMemberPath(node.callee), (path) => path.root.name === "modifyFields" && isReadonlyArrayEmpty(path.members) || path.root.name === "Struct" && sameNames(path.members, ["modifyFields"]));
 };
 const isFoldCall = (node, references) => {
-	const isFoldPath = (path) => sameNames(path, ["Update", "foldChild"]) || sameNames(path, ["Update", "foldChildStep"]);
+	const isFoldPath = (path) => sameNames(path, ["Update", "foldChild"]) || sameNames(path, ["Update", "foldChildAt"]) || sameNames(path, ["Update", "foldChildStep"]);
 	if (references !== void 0) return exists(resolveFoldkitApiPath(references, node.callee), isFoldPath);
 	return exists(staticMemberPath(node.callee), (path) => isFoldPath([path.root.name, ...path.members]));
 };
 const isInsideFoldWrite = (node, references) => {
 	let ancestor = node.parent;
 	while (ancestor !== null && ancestor !== void 0) {
-		if (isObjectProperty(ancestor) && contains$1(staticPropertyName(ancestor), "write") && isObjectExpression(ancestor.parent) && isCallExpression$1(ancestor.parent.parent) && isFoldCall(ancestor.parent.parent, references)) return true;
+		if (isObjectProperty(ancestor) && exists(staticPropertyName(ancestor), (propertyName) => propertyName === "write" || propertyName === "writeAt") && isObjectExpression(ancestor.parent) && isCallExpression$1(ancestor.parent.parent) && isFoldCall(ancestor.parent.parent, references)) return true;
 		ancestor = ancestor.parent;
 	}
 	return false;
@@ -15816,8 +15836,9 @@ const modelFieldNames = (functionNode) => {
 	});
 	return fieldNames;
 };
-const modifyFieldsFieldNames = (functionNode, references) => {
-	const [parentModel, nextChild] = functionNode.params;
+const modifyFieldsFieldNames = (functionNode, references, nextChildParameterIndex = 1) => {
+	const [parentModel, secondParameter, thirdParameter] = functionNode.params;
+	const nextChild = nextChildParameterIndex === 2 ? thirdParameter : secondParameter;
 	if (!isIdentifier(parentModel) || !isIdentifier(nextChild)) return /* @__PURE__ */ new Set();
 	const fieldNames = /* @__PURE__ */ new Set();
 	walk(functionNode.body, (node) => {
@@ -15861,12 +15882,12 @@ const foldChildFieldsByNamespace = (program, references) => {
 			if (contains$1(staticPropertyName(property), "update")) pipe(staticMemberPath(property.value), filter$2((path) => length(path.members) === 1), map$5((path) => {
 				namespace = path.root.name;
 			}));
-			else if (contains$1(staticPropertyName(property), "read")) {
+			else if (exists(staticPropertyName(property), (propertyName) => propertyName === "read" || propertyName === "readAt")) {
 				const callback = callbackValue(property.value, callbacks);
 				if (callback !== void 0) readFields = modelFieldNames(callback);
-			} else if (contains$1(staticPropertyName(property), "write")) {
+			} else if (exists(staticPropertyName(property), (propertyName) => propertyName === "write" || propertyName === "writeAt")) {
 				const callback = callbackValue(property.value, callbacks);
-				if (callback !== void 0) writeFields = modifyFieldsFieldNames(callback, references);
+				if (callback !== void 0) writeFields = modifyFieldsFieldNames(callback, references, contains$1(staticPropertyName(property), "writeAt") ? 2 : 1);
 			}
 		}
 		if (namespace === void 0 || readFields === void 0 || writeFields === void 0) return;
@@ -15912,11 +15933,12 @@ const sameBinding = (a, b, references) => {
 	const maybeB = resolvedVariable(references, b);
 	return isSome(maybeA) && isSome(maybeB) ? maybeA.value === maybeB.value : a.name === b.name;
 };
-const manualChildResultMessage = (childFieldName, helperLabel, resultName) => `The parent writes \`${resultName}.model\` into \`${childFieldName}\` after calling \`${helperLabel}\`. A child Return can include Commands or an OutMessage that this copy ignores. Use Update.foldChild or Update.foldChildStep.`;
+const manualChildResultMessage = (childFieldName, helperLabel, resultName) => `The parent writes \`${resultName}.model\` into \`${childFieldName}\` after calling \`${helperLabel}\`. A child Return can include Commands or an OutMessage that this copy ignores. Use Update.foldChild, Update.foldChildAt, or Update.foldChildStep.`;
 /** Flags a parent that copies a namespaced child helper or update Return's Model
-*  into the matching modifyFields field. It requires a matching Update.foldChild or
-*  Update.foldChildStep reference in the file, and leaves ordinary helpers,
-*  direct imports, aliases, init assembly, and Model-only reflect helpers alone. */
+*  into the matching modifyFields field. It requires a matching
+*  Update.foldChild, Update.foldChildAt, or Update.foldChildStep reference in
+*  the file, and leaves ordinary helpers, direct imports, aliases, init
+*  assembly, keyed collection writes, and Model-only reflect helpers alone. */
 const requireFoldForChildUpdateResult = Rule_exports.define({
 	name: "require-fold-for-child-update-result",
 	meta: Rule_exports.meta({

package/dist/rules/no-direct-submodel-state-update.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-direct-submodel-state-update.d.ts","sourceRoot":"","sources":["../../src/rules/no-direct-submodel-state-update.ts"],"names":[],"mappings":"AA0yBA,yFAAyF;AACzF,eAAO,MAAM,2BAA2B,oCA+DtC,CAAA"}
+{"version":3,"file":"no-direct-submodel-state-update.d.ts","sourceRoot":"","sources":["../../src/rules/no-direct-submodel-state-update.ts"],"names":[],"mappings":"AAyzBA,yFAAyF;AACzF,eAAO,MAAM,2BAA2B,oCA+DtC,CAAA"}

package/dist/rules/no-empty-to-parent-out-message.d.ts

@@ -1,8 +1,9 @@
 /**
  * Flags an inline `toParentOutMessage` mapper that directly returns
- * `undefined`. That mapper forwards nothing to the parent, so the property
- * should be omitted. This syntax-only rule does not inspect async functions,
- * generators, getters, setters, or mappers referenced by name.
+ * `undefined`, including the mapper returned by a keyed mapper factory. That
+ * mapper forwards nothing to the parent, so the property should be omitted.
+ * This syntax-only rule does not inspect async functions, generators, getters,
+ * setters, or mappers referenced by name.
  */
 export declare const noEmptyToParentOutMessage: import("effect-oxlint").CreateRule;
 //# sourceMappingURL=no-empty-to-parent-out-message.d.ts.map

package/dist/rules/no-empty-to-parent-out-message.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-empty-to-parent-out-message.d.ts","sourceRoot":"","sources":["../../src/rules/no-empty-to-parent-out-message.ts"],"names":[],"mappings":"AAgHA;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,oCAgFpC,CAAA"}
+{"version":3,"file":"no-empty-to-parent-out-message.d.ts","sourceRoot":"","sources":["../../src/rules/no-empty-to-parent-out-message.ts"],"names":[],"mappings":"AAqJA;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,oCAgFpC,CAAA"}

package/dist/rules/no-prevent-default-in-stream-operator.d.ts

@@ -5,7 +5,7 @@
  * `Stream.tap`).
  * Those callbacks do not reliably run inside the browser's event dispatch.
  * For a DOM-event Stream, cancellation belongs inside the native listener,
- * which is where `Subscription.fromEventFilterMapPreventDefault` runs its
+ * which is where `Dom.streamFromEventFilterMapPreventDefault` runs its
  * mapper.
  */
 export declare const noPreventDefaultInStreamOperator: import("effect-oxlint").CreateRule;

package/dist/rules/require-fold-for-child-update-result.d.ts

@@ -1,6 +1,7 @@
 /** Flags a parent that copies a namespaced child helper or update Return's Model
- *  into the matching modifyFields field. It requires a matching Update.foldChild or
- *  Update.foldChildStep reference in the file, and leaves ordinary helpers,
- *  direct imports, aliases, init assembly, and Model-only reflect helpers alone. */
+ *  into the matching modifyFields field. It requires a matching
+ *  Update.foldChild, Update.foldChildAt, or Update.foldChildStep reference in
+ *  the file, and leaves ordinary helpers, direct imports, aliases, init
+ *  assembly, keyed collection writes, and Model-only reflect helpers alone. */
 export declare const requireFoldForChildUpdateResult: import("effect-oxlint").CreateRule;
 //# sourceMappingURL=require-fold-for-child-update-result.d.ts.map

package/dist/rules/require-fold-for-child-update-result.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"require-fold-for-child-update-result.d.ts","sourceRoot":"","sources":["../../src/rules/require-fold-for-child-update-result.ts"],"names":[],"mappings":"AAocA;;;oFAGoF;AACpF,eAAO,MAAM,+BAA+B,oCAiJ1C,CAAA"}
+{"version":3,"file":"require-fold-for-child-update-result.d.ts","sourceRoot":"","sources":["../../src/rules/require-fold-for-child-update-result.ts"],"names":[],"mappings":"AA0dA;;;;+EAI+E;AAC/E,eAAO,MAAM,+BAA+B,oCAiJ1C,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@foldkit/oxlint-plugin",
-  "version": "0.15.2-canary.085b787da0a5",
+  "version": "0.15.2-canary.3b49f516b024",
   "description": "Oxlint rules for Foldkit applications",
   "type": "module",
   "main": "./dist/index.js",