@maroonedog/luq 2.2.0 → 2.3.0

package/dist/presets/presets.d.ts

@@ -1,6 +1,5 @@
 /**
- * 在る・無い・null。ほぼ全ての宣言がこの三つのどれかを使う。
- * 使用実績: required 138 / optional 26 / nullable 12。
+ * Present, absent, null. Nearly every declaration uses one of the three.
  */
 export declare const presence: Readonly<{
     required: import("..").PluginDefinition<"required", "required", readonly import("..").TypeName[], {
@@ -19,7 +18,7 @@ export declare const presence: Readonly<{
         context: import("..").MessageContextExtra;
     }>;
 }>;
-/** 文字列の定番。使用実績: stringMin 95 / stringEmail 33 / stringPattern 12。 */
+/** The everyday string checks. */
 export declare const strings: Readonly<{
     stringMin: import("..").PluginDefinition<"stringMin", "min", readonly ["string"], {
         args: readonly [min: number];
@@ -46,7 +45,7 @@ export declare const strings: Readonly<{
         };
     }>;
 }>;
-/** 数値の定番。使用実績: numberMin 43 / numberMax 8。 */
+/** The everyday number checks. */
 export declare const numbers: Readonly<{
     numberMin: import("..").PluginDefinition<"numberMin", "min", readonly ["number"], {
         args: readonly [min: number, exclusive?: boolean];
@@ -64,7 +63,7 @@ export declare const numbers: Readonly<{
         context: import("..").MessageContextExtra;
     }>;
 }>;
-/** 配列の定番。要素ごとの規則は arrayEach が運ぶ。 */
+/** The everyday array checks. Per-element rules ride on arrayEach. */
 export declare const arrays: Readonly<{
     arrayMinLength: import("..").PluginDefinition<"arrayMinLength", "minLength", readonly ["array", "tuple"], {
         args: readonly [min: number];
@@ -83,14 +82,14 @@ export declare const arrays: Readonly<{
     }>;
 }>;
 /**
- * 上の四つを合わせたもの。13プラグイン、gzip で +1,452 B。
+ * The four bundles above, together.
  *
- * 名前が「common」でないのは、それが何も言っていないからである
- * (lint の禁止語彙にも入っている)。入っているのは presence と、文字列・数値・
- * 配列それぞれの定番で、毎日書くのはこの範囲だ、という主張がこの名前である。
+ * Not called "common", because that name says nothing — and lint bans it. It
+ * holds presence plus the everyday string, number and array checks, and the
+ * name is the claim that this is the range people write day to day.
  *
- * これでも「全部入り」ではない。全部入りが要るなら `@maroonedog/luq/plugins`
- * のバレルがあり、そちらは 77 個ぶん、gzip で +17,986 B を払う。
+ * Still not everything. For everything there is the `@maroonedog/luq/plugins`
+ * barrel, which costs accordingly.
  */
 export declare const everydayRules: Readonly<{
     arrayMinLength: import("..").PluginDefinition<"arrayMinLength", "minLength", readonly ["array", "tuple"], {

package/dist/presets/presets.js

@@ -2,24 +2,24 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.everydayRules = exports.arrays = exports.numbers = exports.strings = exports.presence = void 0;
 // ===========================================================================
-// L7  src/presets/presets.ts — 事前定義したプラグイン束。
+// L7  src/presets/presets.ts — predefined plugin bundles.
 //
-// なぜ要るのか。プラグインを1つずつ import するのは「使った分しか入らない」
-// を成り立たせている仕組みそのものだが、最初の一本を書くのに15行の use() を
-// 並べさせるのは、その正しさの押し付けである。
+// Why they exist. Importing plugins one at a time is the very mechanism behind
+// "you only ship what you used", but making someone write fifteen use() lines
+// for their first validator is imposing that correctness on them.
 //
-// なぜ「小さいのを複数」なのか。全部入りを1つ置くと、5個しか要らない人が
-// 40個分のバイトを払う。束は型としてはただの `PluginBag` なので、必要な束
-// だけを `useAll()` すればよく、混ぜても first-wins で衝突しない:
+// Why several small ones rather than one big one. A single everything-bundle
+// bills the person who needs five plugins for forty. A bundle is just a
+// `PluginBag`, so useAll() takes only the ones wanted, and mixing them is
+// first-wins rather than a collision:
 //
 //     Builder().useAll(presence).useAll(strings).for<User>()
 //
-// 何を入れるかはリポジトリ内の使用実績から決めた (test/ と docs-site/ の
-// use() を数えたもの)。required 138 / stringMin 95 / numberMin 43 /
-// stringEmail 33 / optional 26 という並びで、上位が束の中身になっている。
+// Membership was chosen from how often each plugin is actually used across
+// this repository, most-used first.
 //
-// バイト数は config/size-budget.json が測る。プリセットは便利さと引き換えに
-// バイトを払うものなので、いくら払うかは書いてあるべきである。
+// What a bundle costs in bytes is measured by the size budget. A preset trades
+// bytes for convenience, so the price should be measured rather than asserted.
 // ===========================================================================
 const required_1 = require("../plugins/required");
 const optional_1 = require("../plugins/optional");
@@ -35,42 +35,41 @@ const array_min_length_1 = require("../plugins/array-min-length");
 const array_max_length_1 = require("../plugins/array-max-length");
 const array_each_1 = require("../plugins/array-each");
 /**
- * 在る・無い・null。ほぼ全ての宣言がこの三つのどれかを使う。
- * 使用実績: required 138 / optional 26 / nullable 12。
+ * Present, absent, null. Nearly every declaration uses one of the three.
  */
 exports.presence = Object.freeze({
     required: required_1.requiredPlugin,
     optional: optional_1.optionalPlugin,
     nullable: nullable_1.nullablePlugin,
 });
-/** 文字列の定番。使用実績: stringMin 95 / stringEmail 33 / stringPattern 12。 */
+/** The everyday string checks. */
 exports.strings = Object.freeze({
     stringMin: string_min_1.stringMinPlugin,
     stringMax: string_max_1.stringMaxPlugin,
     stringPattern: string_pattern_1.stringPatternPlugin,
     stringEmail: string_email_1.stringEmailPlugin,
 });
-/** 数値の定番。使用実績: numberMin 43 / numberMax 8。 */
+/** The everyday number checks. */
 exports.numbers = Object.freeze({
     numberMin: number_min_1.numberMinPlugin,
     numberMax: number_max_1.numberMaxPlugin,
     numberInteger: number_integer_1.numberIntegerPlugin,
 });
-/** 配列の定番。要素ごとの規則は arrayEach が運ぶ。 */
+/** The everyday array checks. Per-element rules ride on arrayEach. */
 exports.arrays = Object.freeze({
     arrayMinLength: array_min_length_1.arrayMinLengthPlugin,
     arrayMaxLength: array_max_length_1.arrayMaxLengthPlugin,
     arrayEach: array_each_1.arrayEachPlugin,
 });
 /**
- * 上の四つを合わせたもの。13プラグイン、gzip で +1,452 B。
+ * The four bundles above, together.
  *
- * 名前が「common」でないのは、それが何も言っていないからである
- * (lint の禁止語彙にも入っている)。入っているのは presence と、文字列・数値・
- * 配列それぞれの定番で、毎日書くのはこの範囲だ、という主張がこの名前である。
+ * Not called "common", because that name says nothing — and lint bans it. It
+ * holds presence plus the everyday string, number and array checks, and the
+ * name is the claim that this is the range people write day to day.
  *
- * これでも「全部入り」ではない。全部入りが要るなら `@maroonedog/luq/plugins`
- * のバレルがあり、そちらは 77 個ぶん、gzip で +17,986 B を払う。
+ * Still not everything. For everything there is the `@maroonedog/luq/plugins`
+ * barrel, which costs accordingly.
  */
 exports.everydayRules = Object.freeze({
     ...exports.presence,

package/dist/presets/presets.mjs

@@ -1,22 +1,22 @@
 // ===========================================================================
-// L7  src/presets/presets.ts — 事前定義したプラグイン束。
+// L7  src/presets/presets.ts — predefined plugin bundles.
 //
-// なぜ要るのか。プラグインを1つずつ import するのは「使った分しか入らない」
-// を成り立たせている仕組みそのものだが、最初の一本を書くのに15行の use() を
-// 並べさせるのは、その正しさの押し付けである。
+// Why they exist. Importing plugins one at a time is the very mechanism behind
+// "you only ship what you used", but making someone write fifteen use() lines
+// for their first validator is imposing that correctness on them.
 //
-// なぜ「小さいのを複数」なのか。全部入りを1つ置くと、5個しか要らない人が
-// 40個分のバイトを払う。束は型としてはただの `PluginBag` なので、必要な束
-// だけを `useAll()` すればよく、混ぜても first-wins で衝突しない:
+// Why several small ones rather than one big one. A single everything-bundle
+// bills the person who needs five plugins for forty. A bundle is just a
+// `PluginBag`, so useAll() takes only the ones wanted, and mixing them is
+// first-wins rather than a collision:
 //
 //     Builder().useAll(presence).useAll(strings).for<User>()
 //
-// 何を入れるかはリポジトリ内の使用実績から決めた (test/ と docs-site/ の
-// use() を数えたもの)。required 138 / stringMin 95 / numberMin 43 /
-// stringEmail 33 / optional 26 という並びで、上位が束の中身になっている。
+// Membership was chosen from how often each plugin is actually used across
+// this repository, most-used first.
 //
-// バイト数は config/size-budget.json が測る。プリセットは便利さと引き換えに
-// バイトを払うものなので、いくら払うかは書いてあるべきである。
+// What a bundle costs in bytes is measured by the size budget. A preset trades
+// bytes for convenience, so the price should be measured rather than asserted.
 // ===========================================================================
 import { requiredPlugin } from "../plugins/required/index.mjs";
 import { optionalPlugin } from "../plugins/optional/index.mjs";
@@ -32,42 +32,41 @@ import { arrayMinLengthPlugin } from "../plugins/array-min-length/index.mjs";
 import { arrayMaxLengthPlugin } from "../plugins/array-max-length/index.mjs";
 import { arrayEachPlugin } from "../plugins/array-each/index.mjs";
 /**
- * 在る・無い・null。ほぼ全ての宣言がこの三つのどれかを使う。
- * 使用実績: required 138 / optional 26 / nullable 12。
+ * Present, absent, null. Nearly every declaration uses one of the three.
  */
 export const presence = Object.freeze({
     required: requiredPlugin,
     optional: optionalPlugin,
     nullable: nullablePlugin,
 });
-/** 文字列の定番。使用実績: stringMin 95 / stringEmail 33 / stringPattern 12。 */
+/** The everyday string checks. */
 export const strings = Object.freeze({
     stringMin: stringMinPlugin,
     stringMax: stringMaxPlugin,
     stringPattern: stringPatternPlugin,
     stringEmail: stringEmailPlugin,
 });
-/** 数値の定番。使用実績: numberMin 43 / numberMax 8。 */
+/** The everyday number checks. */
 export const numbers = Object.freeze({
     numberMin: numberMinPlugin,
     numberMax: numberMaxPlugin,
     numberInteger: numberIntegerPlugin,
 });
-/** 配列の定番。要素ごとの規則は arrayEach が運ぶ。 */
+/** The everyday array checks. Per-element rules ride on arrayEach. */
 export const arrays = Object.freeze({
     arrayMinLength: arrayMinLengthPlugin,
     arrayMaxLength: arrayMaxLengthPlugin,
     arrayEach: arrayEachPlugin,
 });
 /**
- * 上の四つを合わせたもの。13プラグイン、gzip で +1,452 B。
+ * The four bundles above, together.
  *
- * 名前が「common」でないのは、それが何も言っていないからである
- * (lint の禁止語彙にも入っている)。入っているのは presence と、文字列・数値・
- * 配列それぞれの定番で、毎日書くのはこの範囲だ、という主張がこの名前である。
+ * Not called "common", because that name says nothing — and lint bans it. It
+ * holds presence plus the everyday string, number and array checks, and the
+ * name is the claim that this is the range people write day to day.
  *
- * これでも「全部入り」ではない。全部入りが要るなら `@maroonedog/luq/plugins`
- * のバレルがあり、そちらは 77 個ぶん、gzip で +17,986 B を払う。
+ * Still not everything. For everything there is the `@maroonedog/luq/plugins`
+ * barrel, which costs accordingly.
  */
 export const everydayRules = Object.freeze({
     ...presence,

package/dist/runtime/create-field-validator.js

@@ -60,13 +60,11 @@ function createSubjectComposer(template) {
     return (siblings, value) => mergeOntoSiblings(siblings, nest(value));
 }
 /**
- * テンプレートを **一度だけ** 歩いて、包む関数に畳んでおく。
+ * Walks the template **once** and folds it into a wrapping function.
  *
- * 以前はここが `nestValue(template, 0, value)` で、検証のたびにテンプレートを
- * 歩き直して `segment.kind` を読み直していた。src/compile/validation-plan.types.ts
- * が書いているとおり「実行時はルールが何であるかを決め直してはならない。
- * 決めるのはコンパイルが済ませたこと」であり、ここはその例外になっていた。
- * 非ワイルドカードの経路 (createValueWriter) は最初からこの形である。
+ * Walking it per validation re-read each segment's kind every time, which is
+ * exactly the thing validation time must not do: what something IS was settled
+ * at compile time. The non-wildcard route was always shaped this way.
  */
 function compileNester(template) {
     let nest = (value) => value;

package/dist/runtime/create-field-validator.mjs

@@ -57,13 +57,11 @@ function createSubjectComposer(template) {
     return (siblings, value) => mergeOntoSiblings(siblings, nest(value));
 }
 /**
- * テンプレートを **一度だけ** 歩いて、包む関数に畳んでおく。
+ * Walks the template **once** and folds it into a wrapping function.
  *
- * 以前はここが `nestValue(template, 0, value)` で、検証のたびにテンプレートを
- * 歩き直して `segment.kind` を読み直していた。src/compile/validation-plan.types.ts
- * が書いているとおり「実行時はルールが何であるかを決め直してはならない。
- * 決めるのはコンパイルが済ませたこと」であり、ここはその例外になっていた。
- * 非ワイルドカードの経路 (createValueWriter) は最初からこの形である。
+ * Walking it per validation re-read each segment's kind every time, which is
+ * exactly the thing validation time must not do: what something IS was settled
+ * at compile time. The non-wildcard route was always shaped this way.
  */
 function compileNester(template) {
     let nest = (value) => value;

package/dist/runtime/create-validator.js

@@ -40,23 +40,23 @@ function hasRejectingIssue(issues) {
     return issues.some((issue) => issue.severity === "error");
 }
 /**
- * 再帰しないプランのための、共有の何もしないランナー。
+ * The shared do-nothing runner for a plan that cannot recurse.
  *
- * createRecursionRunner は WeakSet と四つのクロージャを作る。プランに
- * 再帰規則が一つも無くても validate() のたびに作っていて、それが固定コストの
- * 88% を占めていた — 計測で 9.7%。プランが再帰を含むかは build() 時に
- * 分かることで、実行時に問い直すことではない。
+ * Building a real runner allocates a WeakSet and several closures. Doing that
+ * on every validate() of a plan with no recursive rule in it was most of the
+ * fixed per-call cost. Whether a plan can recurse is known at build time and
+ * is not a question to re-ask at validation time.
  *
- * 呼ばれることはない。呼ばれるのは field.recursion が null でない場合だけで、
- * そのときは planCanRecurse が true を返しているので本物が渡っている。
+ * Never actually called: a field only reaches its runner when it declares
+ * recursion, and a plan containing one gets the real runner instead.
  */
 const NO_RECURSION = () => { };
 /**
- * ルートのランナーが要るか。
+ * Whether the root needs a real runner.
  *
- * 見るのはルートの直下と配列ノードの要素だけでよい。合成 (oneOf など) の
- * 枝は run-branch が自前のランナーを作って入れ子のプランを回すので、
- * ここで渡すものを使わない。
+ * Only the fields directly under the root and the elements of array nodes
+ * matter. A composite branch makes its own runner for the nested plan, so it
+ * never uses the one passed from here.
  */
 function planCanRecurse(plan) {
     return (plan.fields.some((field) => field.recursion !== null) ||

package/dist/runtime/create-validator.mjs

@@ -35,23 +35,23 @@ export function hasRejectingIssue(issues) {
     return issues.some((issue) => issue.severity === "error");
 }
 /**
- * 再帰しないプランのための、共有の何もしないランナー。
+ * The shared do-nothing runner for a plan that cannot recurse.
  *
- * createRecursionRunner は WeakSet と四つのクロージャを作る。プランに
- * 再帰規則が一つも無くても validate() のたびに作っていて、それが固定コストの
- * 88% を占めていた — 計測で 9.7%。プランが再帰を含むかは build() 時に
- * 分かることで、実行時に問い直すことではない。
+ * Building a real runner allocates a WeakSet and several closures. Doing that
+ * on every validate() of a plan with no recursive rule in it was most of the
+ * fixed per-call cost. Whether a plan can recurse is known at build time and
+ * is not a question to re-ask at validation time.
  *
- * 呼ばれることはない。呼ばれるのは field.recursion が null でない場合だけで、
- * そのときは planCanRecurse が true を返しているので本物が渡っている。
+ * Never actually called: a field only reaches its runner when it declares
+ * recursion, and a plan containing one gets the real runner instead.
  */
 const NO_RECURSION = () => { };
 /**
- * ルートのランナーが要るか。
+ * Whether the root needs a real runner.
  *
- * 見るのはルートの直下と配列ノードの要素だけでよい。合成 (oneOf など) の
- * 枝は run-branch が自前のランナーを作って入れ子のプランを回すので、
- * ここで渡すものを使わない。
+ * Only the fields directly under the root and the elements of array nodes
+ * matter. A composite branch makes its own runner for the nested plan, so it
+ * never uses the one passed from here.
  */
 function planCanRecurse(plan) {
     return (plan.fields.some((field) => field.recursion !== null) ||

package/dist/runtime/output-writer.js

@@ -24,8 +24,12 @@ function createArrayWriteTargets(nodes) {
  * hands back the very object it was given.
  */
 function createPlanWriteTargets(plan) {
-    if (!plan.hasTransforms && !plan.hasDefaults)
+    // A field declaring only a normalizer is still written back by parse().
+    // Leave it out of this condition and no writer is made, so the value read
+    // comes back unchanged and in silence.
+    if (!plan.hasTransforms && !plan.hasDefaults && !plan.hasNormalizers) {
         return null;
+    }
     return createArrayWriteTargets(plan.arrays);
 }
 /**

package/dist/runtime/output-writer.mjs

@@ -17,8 +17,12 @@ export function createArrayWriteTargets(nodes) {
  * hands back the very object it was given.
  */
 export function createPlanWriteTargets(plan) {
-    if (!plan.hasTransforms && !plan.hasDefaults)
+    // A field declaring only a normalizer is still written back by parse().
+    // Leave it out of this condition and no writer is made, so the value read
+    // comes back unchanged and in silence.
+    if (!plan.hasTransforms && !plan.hasDefaults && !plan.hasNormalizers) {
         return null;
+    }
     return createArrayWriteTargets(plan.arrays);
 }
 /**

package/dist/runtime/run-array-node.js

@@ -57,12 +57,12 @@ function runElements(node, array, context, target) {
     const nodePath = node.renderedPath;
     const elementSink = context.sink.forArrayElements();
     const nested = target === undefined ? output_writer_1.NO_WRITE_TARGETS : target.nested;
-    // 要素コンテキストはノードごとに一つ。7つの成員のうち要素ごとに変わるのは
-    // `item` だけで、残る6つは validate() 一回のあいだ、あるいはこのノードの
-    // あいだ動かない。毎要素で組み直していたのは、動かないものを動くものと
-    // 同じ場所に置いていたからにすぎない。**プラグインには渡らない** —
-    // プラグインが見るのは runField が組む RuleContext で、そちらは `item` を
-    // 都度読み直すので、この使い回しは外から観測できない。
+    // One element context per node. `item` is the only member that changes per
+    // element; the rest hold still for the whole node, and rebuilding them per
+    // element only happened because the fixed parts sat beside the moving one.
+    // **It never reaches a plugin** — a plugin sees the RuleContext that running
+    // a field assembles, and that reads `item` afresh, so reusing this is not
+    // observable from outside.
     const elementContext = {
         root: context.root,
         sink: elementSink,

package/dist/runtime/run-array-node.mjs

@@ -54,12 +54,12 @@ function runElements(node, array, context, target) {
     const nodePath = node.renderedPath;
     const elementSink = context.sink.forArrayElements();
     const nested = target === undefined ? NO_WRITE_TARGETS : target.nested;
-    // 要素コンテキストはノードごとに一つ。7つの成員のうち要素ごとに変わるのは
-    // `item` だけで、残る6つは validate() 一回のあいだ、あるいはこのノードの
-    // あいだ動かない。毎要素で組み直していたのは、動かないものを動くものと
-    // 同じ場所に置いていたからにすぎない。**プラグインには渡らない** —
-    // プラグインが見るのは runField が組む RuleContext で、そちらは `item` を
-    // 都度読み直すので、この使い回しは外から観測できない。
+    // One element context per node. `item` is the only member that changes per
+    // element; the rest hold still for the whole node, and rebuilding them per
+    // element only happened because the fixed parts sat beside the moving one.
+    // **It never reaches a plugin** — a plugin sees the RuleContext that running
+    // a field assembles, and that reads `item` afresh, so reusing this is not
+    // observable from outside.
     const elementContext = {
         root: context.root,
         sink: elementSink,

package/dist/runtime/run-field.js

@@ -12,7 +12,7 @@ exports.FIELD_VALUE_UNCHANGED = Object.freeze({
 function runField(field, subject, context) {
     const ruleContext = new field_rule_context_1.FieldRuleContext(context.root, context.indices, field.renderedPath, context.item, context.external);
     const read = field.read(subject);
-    const value = applyDefault(field, read, context.root);
+    const value = applyNormalize(field, applyDefault(field, read, context.root));
     if (!(0, decide_presence_1.decidePresence)(field, value, ruleContext, context.sink)) {
         return exports.FIELD_VALUE_UNCHANGED;
     }
@@ -40,15 +40,21 @@ function applyDefault(field, value, root) {
         return field.defaultOf(root);
     return value;
 }
+/**
+ * Tidies the value before anything judges it: after default, before presence.
+ *
+ * Never called for undefined or null. That closes the accident where a
+ * caller's `(v) => String(v).trim()` turns a missing field into the string
+ * `"undefined"` and walks it past `.required()`. Absence is default's job.
+ */
+function applyNormalize(field, value) {
+    if (field.normalize === null || value === undefined || value === null) {
+        return value;
+    }
+    return field.normalize(value);
+}
 /** A closed gate ends the field successfully: no check, no transform. */
 function openGates(field, value, ruleContext) {
-    // 添字ループである。for-of ではない。ここが回るのはコンパイル済みの
-    // 凍結配列で、凍結配列は V8 では PACKED_FROZEN_ELEMENTS になり、配列
-    // イテレータの高速化パスから外れる — イテレータと IteratorResult が
-    // 消去されず、要素×フィールドの回数だけ確保される。配列シェイプでは
-    // それだけで全ゴミの 45〜54% を占めていた (独立に5通りの改変で -45%
-    // 〜 -54%)。凍結は落とさない: コンパイル層の不変条件であり、凍結を
-    // 外しても添字ループより速くはならない。
     const gates = field.gates;
     for (let i = 0; i < gates.length; i += 1) {
         const gate = gates[i];
@@ -60,17 +66,10 @@ function openGates(field, value, ruleContext) {
     return true;
 }
 /**
- * 失敗したときだけ通る側。ループ本体から出してある。
- *
- * runChecks はバイトコードで 302 バイトあり、TurboFan の呼び出し先
- * インライン予算 (既定で累計 920 バイト) の最大の落選候補として
- * --trace-turbo-inlining に名指しされていた。その 302 バイトの大半が、
- * 受理された値では一度も走らない issue の組み立てである。ここへ出すと
- * 残るループ本体が縮み、受理パスで 6.4% 速くなった。
- *
- * 中断の判定はここに含めない。issue を足したあとに shouldStopField を
- * 見るという順序が abortEarlyOnEachField の意味そのものなので、呼び出し側に
- * 並べて置いておく。
+ * The side taken only on failure. Lifted out of the loop body because most of
+ * that body was issue construction an accepted value never runs, and its size
+ * was what pushed the check loop past the inlining budget. Stopping is not
+ * decided here: add the issue, then ask — that order is what abortEarly means.
  */
 function reportCheckFailure(check, detail, value, ruleContext, context) {
     context.sink.add((0, create_issue_1.createIssue)({

package/dist/runtime/run-field.mjs

@@ -8,7 +8,7 @@ export const FIELD_VALUE_UNCHANGED = Object.freeze({
 export function runField(field, subject, context) {
     const ruleContext = new FieldRuleContext(context.root, context.indices, field.renderedPath, context.item, context.external);
     const read = field.read(subject);
-    const value = applyDefault(field, read, context.root);
+    const value = applyNormalize(field, applyDefault(field, read, context.root));
     if (!decidePresence(field, value, ruleContext, context.sink)) {
         return FIELD_VALUE_UNCHANGED;
     }
@@ -36,15 +36,21 @@ function applyDefault(field, value, root) {
         return field.defaultOf(root);
     return value;
 }
+/**
+ * Tidies the value before anything judges it: after default, before presence.
+ *
+ * Never called for undefined or null. That closes the accident where a
+ * caller's `(v) => String(v).trim()` turns a missing field into the string
+ * `"undefined"` and walks it past `.required()`. Absence is default's job.
+ */
+function applyNormalize(field, value) {
+    if (field.normalize === null || value === undefined || value === null) {
+        return value;
+    }
+    return field.normalize(value);
+}
 /** A closed gate ends the field successfully: no check, no transform. */
 function openGates(field, value, ruleContext) {
-    // 添字ループである。for-of ではない。ここが回るのはコンパイル済みの
-    // 凍結配列で、凍結配列は V8 では PACKED_FROZEN_ELEMENTS になり、配列
-    // イテレータの高速化パスから外れる — イテレータと IteratorResult が
-    // 消去されず、要素×フィールドの回数だけ確保される。配列シェイプでは
-    // それだけで全ゴミの 45〜54% を占めていた (独立に5通りの改変で -45%
-    // 〜 -54%)。凍結は落とさない: コンパイル層の不変条件であり、凍結を
-    // 外しても添字ループより速くはならない。
     const gates = field.gates;
     for (let i = 0; i < gates.length; i += 1) {
         const gate = gates[i];
@@ -56,17 +62,10 @@ function openGates(field, value, ruleContext) {
     return true;
 }
 /**
- * 失敗したときだけ通る側。ループ本体から出してある。
- *
- * runChecks はバイトコードで 302 バイトあり、TurboFan の呼び出し先
- * インライン予算 (既定で累計 920 バイト) の最大の落選候補として
- * --trace-turbo-inlining に名指しされていた。その 302 バイトの大半が、
- * 受理された値では一度も走らない issue の組み立てである。ここへ出すと
- * 残るループ本体が縮み、受理パスで 6.4% 速くなった。
- *
- * 中断の判定はここに含めない。issue を足したあとに shouldStopField を
- * 見るという順序が abortEarlyOnEachField の意味そのものなので、呼び出し側に
- * 並べて置いておく。
+ * The side taken only on failure. Lifted out of the loop body because most of
+ * that body was issue construction an accepted value never runs, and its size
+ * was what pushed the check loop past the inlining budget. Stopping is not
+ * decided here: add the issue, then ask — that order is what abortEarly means.
  */
 function reportCheckFailure(check, detail, value, ruleContext, context) {
     context.sink.add(createIssue({

package/dist/standard-schema/assemble-json-schema.d.ts

@@ -0,0 +1,4 @@
+import type { FieldDeclaredCalls } from "../builder/field-declared-calls.types";
+import type { UnrepresentablePolicy } from "./unrepresentable-rule-error";
+/** Assembles the root schema from the list of declarations. */
+export declare function assembleJsonSchema(fields: readonly FieldDeclaredCalls[], policy: UnrepresentablePolicy): Record<string, unknown>;