@zipbul/baker 3.2.0 → 3.3.1

package/CHANGELOG.md

@@ -1,5 +1,33 @@
 # @zipbul/baker
 
+## 3.3.1
+
+### Patch Changes
+
+- 8b15524: Fix `@Field({ context, message })` being dropped on non-rule-body failures. Field-level
+  context/message are now first-class and attached to EVERY field-own-path failure — the type
+  gate (e.g. `isInt` rejecting `NaN`/non-number), required-missing (`isDefined`), implicit
+  conversion (`conversionFailed`), and structural array/object gates — plus per-element
+  validation of `Set`/`Map` collections, matching the array-element behavior. Previously only
+  rule-body failures (e.g. `isInt` rejecting `Infinity`) carried them, so the same field could
+  emit an issue with or without `context` depending on which code path failed.
+
+  Descendant failures (nested child fields, array/collection elements with their own rules) keep
+  their own context, and `invalidDiscriminator` keeps its structural context — field context is
+  not leaked across paths.
+
+## 3.3.0
+
+### Minor Changes
+
+- 317e536: Add the `isStatelessRegExp` type-checker rule: a value is valid if it is a `RegExp`
+  without the `g` (global) or `y` (sticky) flag. Those two flags make
+  `RegExp.prototype.test`/`exec` mutate `lastIndex` across calls, so a regex carrying them
+  produces order-dependent results when reused as a single-shot matcher. `isStatelessRegExp`
+  rejects them at validation time (all other flags — `d`, `i`, `m`, `s`, `u`, `v` — are
+  stateless and pass). It is the safe-form sibling of `isRegExp` (which is unchanged).
+  Exported from `@zipbul/baker/rules`.
+
 ## 3.2.0
 
 ### Minor Changes

package/dist/src/decorators/field.js

@@ -224,6 +224,15 @@ function Field(...args) {
             }
         }
         applyValidation(meta, rules, options);
+        // Field-level message/context — stored regardless of rules so non-rule failures
+        // (type gate, required-missing, conversion, structural gates) and type-only fields
+        // can carry them, not just rule-body failures.
+        if (options.context !== undefined) {
+            meta.context = options.context;
+        }
+        if (options.message !== undefined) {
+            meta.message = options.message;
+        }
         // ── flags ──
         if (options.optional) {
             meta.flags.isOptional = true;

package/dist/src/rules/index.d.ts

@@ -1,4 +1,4 @@
-export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction } from './typechecker';
+export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction, isStatelessRegExp, } from './typechecker';
 export type { IsNumberOptions } from './typechecker';
 export { oneOf, arrayEvery } from './combinators';
 export { min, max, isPositive, isNegative, isDivisibleBy } from './number';

package/dist/src/rules/index.js

@@ -1,4 +1,4 @@
-export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction } from './typechecker.js';
+export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction, isStatelessRegExp, } from './typechecker.js';
 export { oneOf, arrayEvery } from './combinators.js';
 export { min, max, isPositive, isNegative, isDivisibleBy } from './number.js';
 export { minDate, maxDate } from './date.js';

package/dist/src/rules/typechecker.d.ts

@@ -14,3 +14,4 @@ export declare const isArray: import("../types").InternalRule;
 export declare const isObject: import("../types").InternalRule;
 export declare const isRegExp: import("../types").InternalRule;
 export declare const isFunction: import("../types").InternalRule;
+export declare const isStatelessRegExp: import("../types").InternalRule;

package/dist/src/rules/typechecker.js

@@ -159,3 +159,13 @@ export const isFunction = makeRule({
     validate: value => typeof value === 'function',
     emit: (varName, ctx) => `if (typeof ${varName} !== 'function') ${ctx.fail('isFunction')};`,
 });
+// ─────────────────────────────────────────────────────────────────────────────
+// isStatelessRegExp — RegExp without g/y (the only flags that mutate lastIndex
+// across repeated test()/exec()). Safe for reuse as a single-shot matcher.
+// ─────────────────────────────────────────────────────────────────────────────
+export const isStatelessRegExp = makeRule({
+    name: 'isStatelessRegExp',
+    constraints: {},
+    validate: value => value instanceof RegExp && !value.global && !value.sticky,
+    emit: (varName, ctx) => `if (!(${varName} instanceof RegExp) || ${varName}.global || ${varName}.sticky) ${ctx.fail('isStatelessRegExp')};`,
+});

package/dist/src/seal/deserialize-builder.js

@@ -295,8 +295,10 @@ function generateFieldCode(fieldKey, meta, ctx) {
     const extractKey = getDeserializeExtractKey(fieldKey, meta.expose);
     const exposeGroups = getDeserializeExposeGroups(meta.expose);
     const inputObj = ctx.inputExpr || 'input';
-    // Create EmitContext
-    const emitCtx = makeEmitCtx(fieldKey, ctx);
+    // Create EmitContext — bake field-level message/context so EVERY field-own-path failure
+    // (gate, required-missing, conversion, structural gates) carries them, not just rule bodies.
+    const fieldExtras = computeFieldExtras(meta, fieldKey, varName, ctx);
+    const emitCtx = makeEmitCtx(fieldKey, ctx, fieldExtras);
     let fieldCode = '';
     // ① @ValidateIf guard
     let validateIfIdx = null;
@@ -413,28 +415,43 @@ function generateValidationCode(fieldKey, varName, meta, ctx, emitCtx, fieldGrou
     return code;
 }
 // ─────────────────────────────────────────────────────────────────────────────
-// Helper for computing per-rule extra fields (message/context) code strings
+// Helpers for computing message/context extra fields in generated issue objects
 // ─────────────────────────────────────────────────────────────────────────────
-/** Convert rule's message/context options into extra field strings within generated code */
-function computeRuleExtras(rd, fieldKey, varName, ctx) {
+/** Build the `,message:...,context:...` extras string for a generated issue object.
+ *  `getConstraintsArg` produces the JS expression for a message function's `constraints`
+ *  field; it runs AFTER the message ref is pushed, preserving ref-array order. */
+function buildIssueExtras(message, context, getConstraintsArg, fieldKey, varName, ctx) {
     let extra = '';
-    if (typeof rd.message === 'string') {
-        extra += `,message:${JSON.stringify(rd.message)}`;
+    if (typeof message === 'string') {
+        extra += `,message:${JSON.stringify(message)}`;
     }
-    else if (typeof rd.message === 'function') {
+    else if (typeof message === 'function') {
         const msgIdx = ctx.refs.length;
-        ctx.refs.push(rd.message);
-        const constraintsIdx = ctx.refs.length;
-        ctx.refs.push(rd.rule.constraints ?? {});
-        extra += `,message:refs[${msgIdx}]({property:${JSON.stringify(fieldKey)},value:${varName},constraints:refs[${constraintsIdx}]})`;
+        ctx.refs.push(message);
+        const constraintsArg = getConstraintsArg();
+        extra += `,message:refs[${msgIdx}]({property:${JSON.stringify(fieldKey)},value:${varName},constraints:${constraintsArg}})`;
     }
-    if (rd.context !== undefined) {
+    if (context !== undefined) {
         const ctxIdx = ctx.refs.length;
-        ctx.refs.push(rd.context);
+        ctx.refs.push(context);
         extra += `,context:refs[${ctxIdx}]`;
     }
     return extra;
 }
+/** Per-rule extras — a message function receives the failing rule's `constraints`. */
+function computeRuleExtras(rd, fieldKey, varName, ctx) {
+    return buildIssueExtras(rd.message, rd.context, () => {
+        const constraintsIdx = ctx.refs.length;
+        ctx.refs.push(rd.rule.constraints ?? {});
+        return `refs[${constraintsIdx}]`;
+    }, fieldKey, varName, ctx);
+}
+/** Field-level extras appended to EVERY failure of a field — including non-rule failures
+ *  (type gate, required-missing, conversion, structural gates) and type-only fields. No
+ *  specific rule applies, so a message function gets `constraints:{}`. */
+function computeFieldExtras(meta, fieldKey, varName, ctx) {
+    return buildIssueExtras(meta.message, meta.context, () => '{}', fieldKey, varName, ctx);
+}
 /** Create per-rule EmitContext (with message/context overrides) */
 function makeRuleEmitCtx(baseEmitCtx, fieldKey, varName, rd, ctx) {
     const extra = computeRuleExtras(rd, fieldKey, varName, ctx);
@@ -862,7 +879,7 @@ function emitEachRules(fieldKey, varName, eachRules, collectErrors, emitCtx, ctx
             code += emitCollectionBlock(collections[1]);
             code += `} else if (${kindVar} === 3) {\n`;
             code += emitCollectionBlock(collections[2]);
-            code += `} else { ${GEN.errList}.push({path:${pathKey},code:'isArray'}); }\n`;
+            code += `} else { ${emitCtx.fail('isArray')}; }\n`;
         }
         else {
             code += `if (${kindVar} === 0) ${emitCtx.fail('isArray')};\n`;
@@ -998,9 +1015,10 @@ function generateCollectionCode(fieldKey, varName, meta, ctx, emitCtx) {
             code += `  var ${siVar} = 0;\n`;
             code += `  for (var ${svVar} of ${GEN.out}[${JSON.stringify(fieldKey)}]) {\n`;
             for (const rd of eachRules) {
+                const extra = computeRuleExtras(rd, fieldKey, varName, ctx);
                 const failFn = (c) => collectErrors
-                    ? `${GEN.errList}.push({path:${JSON.stringify(fieldKey)}+'['+${siVar}+']',code:${JSON.stringify(c)}})`
-                    : `return err([{path:${JSON.stringify(fieldKey)}+'['+${siVar}+']',code:${JSON.stringify(c)}}])`;
+                    ? `${GEN.errList}.push({path:${JSON.stringify(fieldKey)}+'['+${siVar}+']',code:${JSON.stringify(c)}${extra}})`
+                    : `return err([{path:${JSON.stringify(fieldKey)}+'['+${siVar}+']',code:${JSON.stringify(c)}${extra}}])`;
                 const colEmitCtx = { ...emitCtx, fail: failFn };
                 code += `    ${rd.rule.emit(svVar, colEmitCtx)}\n`;
             }
@@ -1514,7 +1532,7 @@ function generateCollectionCodeValidateOnly(fieldKey, varName, meta, ctx, emitCt
 // ─────────────────────────────────────────────────────────────────────────────
 // makeEmitCtx — create per-field EmitContext
 // ─────────────────────────────────────────────────────────────────────────────
-function makeEmitCtx(fieldKey, ctx) {
+function makeEmitCtx(fieldKey, ctx, fieldExtras = '') {
     const { collectErrors, regexes, refs, execs, validateOnly, pathPrefix } = ctx;
     const pathExpr = pathPrefix ? `${pathPrefix}+${JSON.stringify(fieldKey)}` : JSON.stringify(fieldKey);
     return {
@@ -1532,12 +1550,12 @@ function makeEmitCtx(fieldKey, ctx) {
         },
         fail(code) {
             if (collectErrors) {
-                return `${GEN.errList}.push({path:${pathExpr},code:${JSON.stringify(code)}})`;
+                return `${GEN.errList}.push({path:${pathExpr},code:${JSON.stringify(code)}${fieldExtras}})`;
             }
             else if (validateOnly) {
-                return `return [{path:${pathExpr},code:${JSON.stringify(code)}}]`;
+                return `return [{path:${pathExpr},code:${JSON.stringify(code)}${fieldExtras}}]`;
             }
-            return `return err([{path:${pathExpr},code:${JSON.stringify(code)}}])`;
+            return `return err([{path:${pathExpr},code:${JSON.stringify(code)}${fieldExtras}}])`;
         },
         collectErrors,
         pathExpr: pathExpr,

package/dist/src/types.d.ts

@@ -152,6 +152,10 @@ export interface RawPropertyMeta {
     exclude: ExcludeDef | null;
     type: TypeDef | null;
     flags: PropertyFlags;
+    /** Field-level message applied to ALL failures of this field (gate/structural/required/conversion/rule) */
+    message?: string | ((args: MessageArgs) => string);
+    /** Field-level context attached to ALL failures of this field */
+    context?: unknown;
 }
 export interface RawClassMeta {
     [propertyKey: string]: RawPropertyMeta;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zipbul/baker",
-  "version": "3.2.0",
+  "version": "3.3.1",
   "description": "Bun-only AOT decorator-based DTO validation & serialization. class-validator DX, sealed code generation, zero reflect-metadata.",
   "keywords": [
     "aot",