@zipbul/baker 3.3.1 → 3.4.0

package/CHANGELOG.md

@@ -1,5 +1,23 @@
 # @zipbul/baker
 
+## 3.4.0
+
+### Minor Changes
+
+- 92028cf: Add two binary-value validation rules to `@zipbul/baker/rules`:
+
+  - `isUint8Array` — a bare type guard (`value instanceof Uint8Array`), mirroring `isRegExp` /
+    `isArray`. Accepts `Uint8Array` and its subclasses (e.g. `Buffer`); rejects `Uint8ClampedArray`,
+    `DataView`, and plain arrays.
+  - `isByteSize(min, max?)` — the binary analogue of `isByteLength`. Validates the `.byteLength` of
+    any `ArrayBuffer.isView(v)` value (all typed arrays + `DataView`), measuring the view window
+    rather than the backing buffer. The generated code guards `ArrayBuffer.isView` before any
+    `.byteLength` read, so non-views fail cleanly instead of throwing.
+
+  Both are exported from `@zipbul/baker/rules` as imported identifiers (AOT-safe), are synchronous,
+  and compose inside a single `@Field(...)` — e.g. `@Field(isUint8Array, isByteSize(16), { optional: true })`
+  for raw key material such as an HKDF salt.
+
 ## 3.3.1
 
 ### Patch Changes

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

@@ -0,0 +1,3 @@
+import type { EmittableRule } from '../types';
+export declare const isUint8Array: import("../types").InternalRule;
+export declare function isByteSize(min: number, max?: number): EmittableRule;

package/dist/src/rules/binary.js

@@ -0,0 +1,51 @@
+import { makeRule } from '../rule-plan.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// isUint8Array — instanceof guard (self-narrowing, no typeof gate; mirrors isRegExp)
+// ─────────────────────────────────────────────────────────────────────────────
+export const isUint8Array = makeRule({
+    name: 'isUint8Array',
+    constraints: {},
+    validate: value => value instanceof Uint8Array,
+    emit: (varName, ctx) => `if (!(${varName} instanceof Uint8Array)) ${ctx.fail('isUint8Array')};`,
+});
+// ─────────────────────────────────────────────────────────────────────────────
+// isByteSize(min, max?) — byte length of any ArrayBufferView (binary analogue of isByteLength)
+//
+// The ArrayBuffer.isView guard MUST short-circuit before any .byteLength read: reading .byteLength
+// on a non-view yields undefined (and undefined < min is false → would wrongly pass), and on
+// null/undefined it throws. The guard-first else-if chain prevents both. .byteLength is inlined
+// (not aliased to a local like isByteLength) — it is a trivial getter, not an expensive call.
+//
+// min/max are dev-supplied constants; per "trust TS for dev inputs" they are not runtime-guarded,
+// consistent with isByteLength.
+// ─────────────────────────────────────────────────────────────────────────────
+export function isByteSize(min, max) {
+    return makeRule({
+        name: 'isByteSize',
+        constraints: { min, max },
+        // Fail-form mirrors emit exactly (same as isByteLength), so validate() and the generated code
+        // agree for ALL inputs — including degenerate NaN bounds, where pass-form (>= NaN) would reject
+        // but the emitted (< NaN) accepts, breaking validate/emit parity.
+        validate: value => {
+            if (!ArrayBuffer.isView(value)) {
+                return false;
+            }
+            const byteLen = value.byteLength;
+            if (byteLen < min) {
+                return false;
+            }
+            if (max !== undefined && byteLen > max) {
+                return false;
+            }
+            return true;
+        },
+        emit: (varName, ctx) => {
+            let code = `if (!ArrayBuffer.isView(${varName})) ${ctx.fail('isByteSize')};`;
+            code += `\nelse if (${varName}.byteLength < ${min}) ${ctx.fail('isByteSize')};`;
+            if (max !== undefined) {
+                code += `\nelse if (${varName}.byteLength > ${max}) ${ctx.fail('isByteSize')};`;
+            }
+            return code;
+        },
+    });
+}

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

@@ -10,3 +10,4 @@ export { arrayContains, arrayNotContains, arrayMinSize, arrayMaxSize, arrayUniqu
 export { isNotEmptyObject, isInstance } from './object';
 export type { IsNotEmptyObjectOptions } from './object';
 export { isMobilePhone, isPostalCode, isIdentityCard, isPassportNumber } from './locales';
+export { isUint8Array, isByteSize } from './binary';

package/dist/src/rules/index.js

@@ -7,3 +7,4 @@ export { minLength, maxLength, length, contains, notContains, matches, isLowerca
 export { arrayContains, arrayNotContains, arrayMinSize, arrayMaxSize, arrayUnique, arrayNotEmpty } from './array.js';
 export { isNotEmptyObject, isInstance } from './object.js';
 export { isMobilePhone, isPostalCode, isIdentityCard, isPassportNumber } from './locales.js';
+export { isUint8Array, isByteSize } from './binary.js';

package/package.json

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