@warlock.js/seal 5.28.0 → 5.30.0

package/CHANGELOG.md

@@ -4,6 +4,40 @@ All notable changes to `@warlock.js/seal` are documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/). `@warlock.js/*` packages are released in lockstep — every package shares the same version number, so a version below may list only the changes that affected this package.
 
+## 5.30.0 - 2026-10-16
+
+### Upgrading
+
+- **BREAKING (types only):** `validate()` now returns a result narrowed on `isValid`. On success `data` is `Infer.Output<typeof schema>`, on failure it is `undefined`. Code that read `result.data` without checking `isValid`, or assigned it to an unrelated type, may need a check or a cast. A schema typed as bare `BaseValidator`/`ObjectValidator` keeps `data: any`.
+
+### Added
+
+- `TypedValidationResult<T>` and `ValidatedOutput<T>` types.
+- `pnpm bench:types` measures inference compile cost on a generated composed-schema project (16 entities, 8 services) and fails when instantiations or types grow more than 5% over `bench/types-baseline.json` (WR-001). It also fails when it cannot read a metric or is given a malformed option, warns when the TypeScript version differs from the baseline's (`--strict` makes that a failure), and removes its temporary project on Ctrl+C.
+
+### Changed
+
+- `validate()` takes `data: unknown` instead of `any`.
+- `Infer.Input`/`Infer.Output` of an object is one flat object type instead of an intersection of its optional and required halves; the shape is unchanged and compile cost moves by 0.1%.
+- `pnpm typecheck` now also checks the `expectTypeOf` assertions in `tests/unit/types/` (`tsconfig.typecheck.json`); they were never enforced before.
+- `.refine()` callbacks stay `value: any` on purpose: custom rules run before an object or array validates its children, so the value is not the schema output (WR-020).
+- **Behaviour change:** `v.union([...])` now checks a present empty value (`""`) against its members instead of accepting it unchecked; a missing key is still the required/`.optional()` question. `v.union([v.literal("x"), v.int()]).present()` now rejects `""`.
+- `validate()` keeps the typed output of `v.record(...)` (`Record<string, …>`); only an index signature over `any`/`unknown` (the wide `Schema`) stays `any`.
+
+### Fixed
+
+- `v.literal("")` accepts a present `""` again (regressed in 5.25): its default (implicit) required state and `.present()` keep it, `.optional()` and `.nullable()` no longer drop it. An explicit `.required()` or `requiredIf(...)` still rejects `""`. A literal set without a blank value still reads `""` as missing (WR-008).
+- A field with an empty default (`v.string().max(n).default("")`) no longer fails "is required" when the input omits it, sends `null`, or sends a blank string (an untouched HTML input); the output is the default (WR-008).
+- A `null` default no longer satisfies "required" on a field that is not `.nullable()`, and an empty default of the wrong type (`v.int().default("")`) now fails the type rule instead of being returned unchecked.
+- `v.discriminatedUnion(...).optional()` accepts an absent, `undefined` or `null` field, as every other validator does; `.default(...)` replaces `null` too and is validated through its branch. A required union reports a missing or `null` field with the `required` error; `.nullable()` keeps `null` (WR-007).
+- `schema["~standard"].validate(...)` on a discriminated union resolves to the branch output union instead of `unknown` (WR-020).
+
+## 5.29.0 - 2026-10-01
+
+### Changed
+
+- Lockstep release; package APIs are unchanged. Skills refer to other topics by name instead of file paths, so cross-references keep working after `agent-kit` copies them into an app.
+
 ## 5.28.0 - 2026-10-01
 
 ### Fixed

package/README.md

@@ -192,6 +192,8 @@ v.string().refine(async value => {
 });
 ```
 
+The callback's `value` is typed `any` on purpose: custom rules run before an object or array validates its children, so the value is the (mutated) input, not the schema output. Check the shape you rely on.
+
 ### ✅ Mutators & Transformers
 
 Normalize input and format output:

package/cjs/index.cjs

@@ -26,15 +26,15 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
 }) : target, mod));
 
 //#endregion
-const require_required_methods = require('./required-methods-BOVNRtci.cjs');
-const require_object = require('./object-DubGC-xu.cjs');
-const require_string = require('./string-DpDpgefH.cjs');
+const require_required_methods = require('./required-methods-DYsRO9aZ.cjs');
+const require_object = require('./object--LXRt5RF.cjs');
+const require_string = require('./string-DsqnKoSB.cjs');
 let _mongez_reinforcements = require("@mongez/reinforcements");
 let _mongez_supportive_is = require("@mongez/supportive-is");
 let dayjs = require("dayjs");
 dayjs = __toESM(dayjs, 1);
 
-//#region ../seal/src/validators/any-validator.ts
+//#region ../../packages/seal/src/validators/any-validator.ts
 /**
 * Any validator - accepts any value
 */
@@ -64,7 +64,7 @@ var AnyValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/mutators/array-mutators.ts
+//#region ../../packages/seal/src/mutators/array-mutators.ts
 /** Reverse array order */
 const flipArrayMutator = async (value) => {
 	return value.reverse();
@@ -99,7 +99,7 @@ const removeEmptyArrayElementsMutator = async (value) => {
 };
 
 //#endregion
-//#region ../seal/src/rules/scalar/accepted-rule.ts
+//#region ../../packages/seal/src/rules/scalar/accepted-rule.ts
 /**
 * The full set of values treated as "accepted" by `acceptedRule` and its
 * conditional variants. Shared with `formBooleanMutator` (see
@@ -215,7 +215,7 @@ const acceptedWithoutRule = {
 };
 
 //#endregion
-//#region ../seal/src/rules/scalar/declined-rule.ts
+//#region ../../packages/seal/src/rules/scalar/declined-rule.ts
 /**
 * The full set of values treated as "declined" by `declinedRule` and its
 * conditional variants. Shared with `formBooleanMutator` (see
@@ -331,7 +331,7 @@ const declinedWithoutRule = {
 };
 
 //#endregion
-//#region ../seal/src/mutators/boolean-mutators.ts
+//#region ../../packages/seal/src/mutators/boolean-mutators.ts
 /**
 * Coerce a query-string-shaped boolean into a real boolean.
 *
@@ -366,7 +366,7 @@ const formBooleanMutator = async (value) => {
 };
 
 //#endregion
-//#region ../seal/src/mutators/date-mutators.ts
+//#region ../../packages/seal/src/mutators/date-mutators.ts
 /**
 * Convert value to Date object
 * Returns Invalid Date if value cannot be converted
@@ -475,7 +475,7 @@ const toEndOfYearMutator = async (value) => {
 };
 
 //#endregion
-//#region ../seal/src/mutators/number-mutators.ts
+//#region ../../packages/seal/src/mutators/number-mutators.ts
 /** Convert value to number */
 const numberMutator = async (value) => {
 	if (!value) return value;
@@ -531,14 +531,14 @@ const toFixedMutator = async (value, context) => {
 };
 
 //#endregion
-//#region ../seal/src/mutators/scalar-mutators.ts
+//#region ../../packages/seal/src/mutators/scalar-mutators.ts
 const stringMutator = async (value) => {
 	if ([void 0, null].includes(value)) return value;
 	return String(value);
 };
 
 //#endregion
-//#region ../seal/src/validators/array-validator.ts
+//#region ../../packages/seal/src/validators/array-validator.ts
 /**
 * Array validator class
 */
@@ -710,7 +710,7 @@ var ArrayValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/boolean-validator.ts
+//#region ../../packages/seal/src/validators/boolean-validator.ts
 /**
 * Boolean validator class
 *
@@ -874,7 +874,7 @@ var BooleanValidator = class extends require_string.PrimitiveValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/date-validator.ts
+//#region ../../packages/seal/src/validators/date-validator.ts
 /**
 * Date validator class
 */
@@ -1495,7 +1495,7 @@ var DateValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/literal-validator.ts
+//#region ../../packages/seal/src/validators/literal-validator.ts
 /**
 * Literal validator class
 *
@@ -1513,9 +1513,11 @@ var DateValidator = class extends require_required_methods.BaseValidator {
 var LiteralValidator = class extends require_required_methods.BaseValidator {
 	constructor(values, errorMessage) {
 		super();
-		this.blankIsMissing = true;
 		this.values = values;
 		this.addMutableRule(require_required_methods.literalRule, errorMessage, { values });
+		const acceptsBlank = values.some((value) => typeof value === "string" && value.trim() === "");
+		this.blankIsMissing = !acceptsBlank;
+		if (acceptsBlank) this.requiredRule = this.createRule(require_required_methods.presentRule);
 	}
 	/**
 	* Check if value is one of the configured literals
@@ -1557,7 +1559,7 @@ var LiteralValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/discriminated-union-validator.ts
+//#region ../../packages/seal/src/validators/discriminated-union-validator.ts
 /** Whether a value read from the payload can be a discriminator key. */
 function isDiscriminatorValue(value) {
 	return typeof value === "string" || typeof value === "number" || typeof value === "boolean";
@@ -1627,6 +1629,11 @@ var DiscriminatedUnionValidator = class DiscriminatedUnionValidator extends requ
 			errors: [],
 			data: null
 		};
+		if (data == null) {
+			const fallback = this.getDefaultValue();
+			if (fallback == null) return super.validate(void 0, context);
+			data = fallback;
+		}
 		if (!(0, _mongez_supportive_is.isPlainObject)(data)) return {
 			isValid: false,
 			errors: [{
@@ -1679,7 +1686,7 @@ var DiscriminatedUnionValidator = class DiscriminatedUnionValidator extends requ
 };
 
 //#endregion
-//#region ../seal/src/validators/number-validator.ts
+//#region ../../packages/seal/src/validators/number-validator.ts
 /**
 * Number validator class - base for Int and Float validators
 */
@@ -1999,7 +2006,7 @@ var NumberValidator = class extends require_string.PrimitiveValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/float-validator.ts
+//#region ../../packages/seal/src/validators/float-validator.ts
 /**
 * Float validator class
 */
@@ -2011,7 +2018,7 @@ var FloatValidator = class extends NumberValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/instanceof-validator.ts
+//#region ../../packages/seal/src/validators/instanceof-validator.ts
 /**
 * InstanceOf validator class
 *
@@ -2069,7 +2076,7 @@ var InstanceOfValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/int-validator.ts
+//#region ../../packages/seal/src/validators/int-validator.ts
 /**
 * Integer validator class
 */
@@ -2093,7 +2100,7 @@ var IntValidator = class extends NumberValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/lazy-validator.ts
+//#region ../../packages/seal/src/validators/lazy-validator.ts
 /**
 * Lazy validator — defers resolution of the inner validator until validate-time.
 *
@@ -2174,7 +2181,7 @@ var LazyValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/managed-validator.ts
+//#region ../../packages/seal/src/validators/managed-validator.ts
 /**
 * Managed field validator
 *
@@ -2209,7 +2216,7 @@ var ManagedValidator = class extends require_object.ComputedValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/numeric-validator.ts
+//#region ../../packages/seal/src/validators/numeric-validator.ts
 /**
 * Numeric validator class - base for Int and Float validators either as number or string
 */
@@ -2230,7 +2237,7 @@ var NumericValidator = class extends NumberValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/record-validator.ts
+//#region ../../packages/seal/src/validators/record-validator.ts
 /**
 * Record validator class - validates objects with dynamic keys and consistent value types
 *
@@ -2331,7 +2338,7 @@ var RecordValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/scalar-validator.ts
+//#region ../../packages/seal/src/validators/scalar-validator.ts
 /**
 * Scalar validator class
 *
@@ -2491,7 +2498,7 @@ var ScalarValidator = class extends require_string.PrimitiveValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/tuple-validator.ts
+//#region ../../packages/seal/src/validators/tuple-validator.ts
 /**
 * Tuple validator class - validates fixed-length arrays with position-specific types
 *
@@ -2615,7 +2622,7 @@ var TupleValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/validators/union-validator.ts
+//#region ../../packages/seal/src/validators/union-validator.ts
 /**
 * Union validator class - validates value against multiple validator types
 *
@@ -2674,7 +2681,7 @@ var UnionValidator = class extends require_required_methods.BaseValidator {
 };
 
 //#endregion
-//#region ../seal/src/factory/validators.ts
+//#region ../../packages/seal/src/factory/validators.ts
 /**
 * Seal factory object - creates instances of validators
 *
@@ -2778,7 +2785,7 @@ const v = {
 };
 
 //#endregion
-//#region ../seal/src/plugins/plugin-system.ts
+//#region ../../packages/seal/src/plugins/plugin-system.ts
 /**
 * Registry of installed plugins
 */