@maroonedog/luq 2.1.0 → 2.2.0

package/dist/compile/compile-field.js

@@ -4,6 +4,7 @@ exports.APPLIES_DEFAULT_TO_NULL_BY_DEFAULT = void 0;
 exports.compileField = compileField;
 exports.compileFieldDeclaration = compileFieldDeclaration;
 const create_value_reader_1 = require("../path/create-value-reader");
+const format_issue_path_1 = require("../path/format-issue-path");
 const create_value_writer_1 = require("../path/create-value-writer");
 const parse_field_path_1 = require("../path/parse-field-path");
 const resolve_conditional_presence_1 = require("./resolve-conditional-presence");
@@ -12,14 +13,22 @@ const resolve_recursion_1 = require("./resolve-recursion");
 const split_rules_by_kind_1 = require("./split-rules-by-kind");
 /** Whether a field with no explicit setting replaces a null with its default. */
 exports.APPLIES_DEFAULT_TO_NULL_BY_DEFAULT = true;
+/** 添字はここでは入らない。開いている添字は実行時に接頭辞が持つ。 */
+const NO_INDICES = Object.freeze([]);
 function compileField(request) {
     const byKind = (0, split_rules_by_kind_1.splitRulesByKind)(request.rules);
     const hasDefault = request.defaultOf !== null;
     const needsWriter = byKind.transforms.length > 0 || hasDefault;
     const template = Object.freeze(request.template);
+    // read を先に作る。ワイルドカードを含むテンプレートを拒むのは
+    // createValueReader の役目で、それより先に formatIssuePath を呼ぶと
+    // 「添字が足りない」という RangeError が、本来の PathSyntaxError を
+    // 追い越して出てしまう (テストがそれを捕まえた)。
+    const read = (0, create_value_reader_1.createValueReader)(template);
     const field = {
         template,
-        read: (0, create_value_reader_1.createValueReader)(template),
+        renderedPath: (0, format_issue_path_1.formatIssuePath)(template, NO_INDICES),
+        read,
         write: needsWriter ? (0, create_value_writer_1.createValueWriter)(template) : null,
         defaultOf: request.defaultOf,
         applyDefaultToNull: request.applyDefaultToNull,

package/dist/compile/compile-field.mjs

@@ -1,4 +1,5 @@
 import { createValueReader } from "../path/create-value-reader.mjs";
+import { formatIssuePath } from "../path/format-issue-path.mjs";
 import { createValueWriter } from "../path/create-value-writer.mjs";
 import { parseFieldPath } from "../path/parse-field-path.mjs";
 import { resolveConditionalPresence } from "./resolve-conditional-presence.mjs";
@@ -7,14 +8,22 @@ import { resolveRecursion } from "./resolve-recursion.mjs";
 import { splitRulesByKind } from "./split-rules-by-kind.mjs";
 /** Whether a field with no explicit setting replaces a null with its default. */
 export const APPLIES_DEFAULT_TO_NULL_BY_DEFAULT = true;
+/** 添字はここでは入らない。開いている添字は実行時に接頭辞が持つ。 */
+const NO_INDICES = Object.freeze([]);
 export function compileField(request) {
     const byKind = splitRulesByKind(request.rules);
     const hasDefault = request.defaultOf !== null;
     const needsWriter = byKind.transforms.length > 0 || hasDefault;
     const template = Object.freeze(request.template);
+    // read を先に作る。ワイルドカードを含むテンプレートを拒むのは
+    // createValueReader の役目で、それより先に formatIssuePath を呼ぶと
+    // 「添字が足りない」という RangeError が、本来の PathSyntaxError を
+    // 追い越して出てしまう (テストがそれを捕まえた)。
+    const read = createValueReader(template);
     const field = {
         template,
-        read: createValueReader(template),
+        renderedPath: formatIssuePath(template, NO_INDICES),
+        read,
         write: needsWriter ? createValueWriter(template) : null,
         defaultOf: request.defaultOf,
         applyDefaultToNull: request.applyDefaultToNull,

package/dist/compile/split-rules-by-kind.js

@@ -11,6 +11,30 @@ class UnknownRuleKindError extends Error {
     }
 }
 exports.UnknownRuleKindError = UnknownRuleKindError;
+/**
+ * 空の束は一つを共有する。
+ *
+ * 七つの種のうち、どのフィールドもたいてい二つか三つしか使わない。残りは
+ * 空配列だが、フィールドごとに新しく Object.freeze([]) を作っていたので、
+ * 空であること自体は同じなのにマップの同一性だけが全部違っていた。実行時の
+ * `field.gates.length` や `field.transforms` の読み出しは、フィールドを
+ * またぐたびに別の受け手を見ることになる。
+ *
+ * この置き換えは src/compile/resolve-conditional-presence.ts の
+ * NO_PRESENCE_OVERRIDES と src/runtime/output-writer.ts の NO_WRITE_TARGETS が
+ * 既にやっていることを、残りの種にも広げただけである。
+ */
+const NO_RULES_OF_THIS_KIND = Object.freeze([]);
+/**
+ * 空なら共有の一つを返す。中身があるならその配列を凍結して返す。
+ *
+ * `readonly never[]` はどの `readonly R[]` にも代入できるので、共有する
+ * ためにアサーションを書く必要はない。型アサーションを書いてよいのは
+ * src/core/type-erasure.ts だけである。
+ */
+function freezeRules(rules) {
+    return rules.length === 0 ? NO_RULES_OF_THIS_KIND : Object.freeze(rules);
+}
 function splitRulesByKind(rules) {
     const checks = [];
     const presences = [];
@@ -38,13 +62,13 @@ function splitRulesByKind(rules) {
             rejectUnknownRuleKind(rule);
     }
     return Object.freeze({
-        checks: Object.freeze(checks),
-        presences: Object.freeze(presences),
-        conditionalPresences: Object.freeze(conditionalPresences),
-        gates: Object.freeze(gates),
-        transforms: Object.freeze(transforms),
-        composites: Object.freeze(composites),
-        recursions: Object.freeze(recursions),
+        checks: freezeRules(checks),
+        presences: freezeRules(presences),
+        conditionalPresences: freezeRules(conditionalPresences),
+        gates: freezeRules(gates),
+        transforms: freezeRules(transforms),
+        composites: freezeRules(composites),
+        recursions: freezeRules(recursions),
     });
 }
 /** The exhaustiveness proof: the parameter is `never`, so an eighth kind is a

package/dist/compile/split-rules-by-kind.mjs

@@ -6,6 +6,30 @@ export class UnknownRuleKindError extends Error {
         this.name = "UnknownRuleKindError";
     }
 }
+/**
+ * 空の束は一つを共有する。
+ *
+ * 七つの種のうち、どのフィールドもたいてい二つか三つしか使わない。残りは
+ * 空配列だが、フィールドごとに新しく Object.freeze([]) を作っていたので、
+ * 空であること自体は同じなのにマップの同一性だけが全部違っていた。実行時の
+ * `field.gates.length` や `field.transforms` の読み出しは、フィールドを
+ * またぐたびに別の受け手を見ることになる。
+ *
+ * この置き換えは src/compile/resolve-conditional-presence.ts の
+ * NO_PRESENCE_OVERRIDES と src/runtime/output-writer.ts の NO_WRITE_TARGETS が
+ * 既にやっていることを、残りの種にも広げただけである。
+ */
+const NO_RULES_OF_THIS_KIND = Object.freeze([]);
+/**
+ * 空なら共有の一つを返す。中身があるならその配列を凍結して返す。
+ *
+ * `readonly never[]` はどの `readonly R[]` にも代入できるので、共有する
+ * ためにアサーションを書く必要はない。型アサーションを書いてよいのは
+ * src/core/type-erasure.ts だけである。
+ */
+function freezeRules(rules) {
+    return rules.length === 0 ? NO_RULES_OF_THIS_KIND : Object.freeze(rules);
+}
 export function splitRulesByKind(rules) {
     const checks = [];
     const presences = [];
@@ -33,13 +57,13 @@ export function splitRulesByKind(rules) {
             rejectUnknownRuleKind(rule);
     }
     return Object.freeze({
-        checks: Object.freeze(checks),
-        presences: Object.freeze(presences),
-        conditionalPresences: Object.freeze(conditionalPresences),
-        gates: Object.freeze(gates),
-        transforms: Object.freeze(transforms),
-        composites: Object.freeze(composites),
-        recursions: Object.freeze(recursions),
+        checks: freezeRules(checks),
+        presences: freezeRules(presences),
+        conditionalPresences: freezeRules(conditionalPresences),
+        gates: freezeRules(gates),
+        transforms: freezeRules(transforms),
+        composites: freezeRules(composites),
+        recursions: freezeRules(recursions),
     });
 }
 /** The exhaustiveness proof: the parameter is `never`, so an eighth kind is a

package/dist/compile/validation-plan.types.d.ts

@@ -65,6 +65,17 @@ export interface RecursionPolicy {
 }
 export interface CompiledField {
     readonly template: readonly PathSegment[];
+    /**
+     * この フィールド自身のパスを、配列の添字を除いて描画したもの。
+     *
+     * コンパイル時に一度だけ作る。実行時に組み直していたのは、テンプレートが
+     * 固定なので **毎回同じ文字列を作る** ことを意味していた: 50要素・3
+     * フィールドの配列なら、1回の validate で 150 回、issue が1件も出なくても
+     * である。実測でそれが要素あたりの費用の 35% を占めていた。
+     *
+     * 実行時に残るのは、開いている添字の接頭辞と繋ぐ連結ひとつだけになる。
+     */
+    readonly renderedPath: string;
     readonly read: (subject: unknown) => unknown;
     /**
      * null unless the field declared a transform or a default — the runtime then
@@ -95,6 +106,18 @@ export interface CompiledField {
 /** Loop interchange: one array is read once however many element fields exist. */
 export interface ArrayNode {
     readonly template: readonly PathSegment[];
+    /**
+     * The node's own path, rendered once at build time — `lines`, never
+     * `lines[*]`, because the grouping already cut the wildcard off.
+     *
+     * CompiledField has carried its `renderedPath` since rebuilding it per
+     * element was measured at 35% of the per-element price. The array NODE was
+     * left behind and went on rendering the same string on every validate().
+     * Rendering can throw on a template with an unconsumed wildcard, so moving
+     * it here also moves that throw from validate() to build(), which is the
+     * direction this layer is supposed to push everything.
+     */
+    readonly renderedPath: string;
     readonly read: (subject: unknown) => unknown;
     readonly elementFields: readonly CompiledField[];
     readonly nested: readonly ArrayNode[];

package/dist/json-schema/flatten-schema.js

@@ -91,7 +91,7 @@ function hasRootRuleKeyword(node) {
 /** The root node MINUS the three keywords the flattener applies itself. A rest
  *  destructuring, so the compiler and not a comment keeps the result a schema. */
 function dropDistributedKeywords(node) {
-    const { type, required, allOf, ...residual } = node;
+    const { type: _type, required: _required, allOf: _allOf, ...residual } = node;
     return residual;
 }
 /** Children of the root, merged across the `allOf` arms, first arm winning. */

package/dist/json-schema/flatten-schema.mjs

@@ -86,7 +86,7 @@ function hasRootRuleKeyword(node) {
 /** The root node MINUS the three keywords the flattener applies itself. A rest
  *  destructuring, so the compiler and not a comment keeps the result a schema. */
 function dropDistributedKeywords(node) {
-    const { type, required, allOf, ...residual } = node;
+    const { type: _type, required: _required, allOf: _allOf, ...residual } = node;
     return residual;
 }
 /** Children of the root, merged across the `allOf` arms, first arm winning. */

package/dist/plugin-kit/marker.types.d.ts

@@ -45,6 +45,22 @@ export interface TransformOut {
 export interface GuardOut {
     readonly [MARKER]: "guardOut";
 }
+/**
+ * Like GuardOut, these exist so ChainMethod can give the method a call-site
+ * type parameter. ResolveArgs resolves each argument against a FIXED
+ * TRoot/TValue and cannot make argument 2 depend on argument 1, so a plugin
+ * whose second argument is typed by its first has to come through this door.
+ *
+ * `StitchOut` types the FIELD VALUES a cross-field predicate receives, from
+ * the paths named in argument 1. `BundleOut` types the SUBJECT of a sub-chain,
+ * from the alias-to-path map in argument 1.
+ */
+export interface StitchOut {
+    readonly [MARKER]: "stitchOut";
+}
+export interface BundleOut {
+    readonly [MARKER]: "bundleOut";
+}
 export type PresenceShiftKind = "excludeMissing" | "excludeUndefined" | "excludeNull" | "allowNull";
 export interface PresenceShift<K extends PresenceShiftKind> {
     readonly [MARKER]: "presence";
@@ -75,6 +91,8 @@ export interface OutputMarkerRegistry {
     readonly unchanged: Unchanged;
     readonly transformOut: TransformOut;
     readonly guardOut: GuardOut;
+    readonly stitchOut: StitchOut;
+    readonly bundleOut: BundleOut;
     readonly excludeMissing: PresenceShift<"excludeMissing">;
     readonly excludeUndefined: PresenceShift<"excludeUndefined">;
     readonly excludeNull: PresenceShift<"excludeNull">;

package/dist/plugins/index.generated.d.ts

@@ -41,6 +41,7 @@ export { requiredPlugin } from "./required";
 export { requiredIfPlugin } from "./required-if";
 export { skipPlugin } from "./skip";
 export { stitchPlugin } from "./stitch";
+export { stitchWithPlugin } from "./stitch-with";
 export { stringAlphanumericPlugin } from "./string-alphanumeric";
 export { stringBase64Plugin } from "./string-base64";
 export { stringContentEncodingPlugin } from "./string-content-encoding";

package/dist/plugins/index.generated.js

@@ -2,8 +2,8 @@
 // GENERATED FILE - 手で編集しないでください。
 // 生成元: プラグインディレクトリ構造 (scripts/catalog/build-plugin-catalog.ts)。
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.stringDurationPlugin = exports.stringDatetimePlugin = exports.stringDatePlugin = exports.stringContentMediaTypePlugin = exports.stringContentEncodingPlugin = exports.stringBase64Plugin = exports.stringAlphanumericPlugin = exports.stitchPlugin = exports.skipPlugin = exports.requiredIfPlugin = exports.requiredPlugin = exports.readOnlyPlugin = exports.orFailPlugin = exports.optionalIfPlugin = exports.optionalPlugin = exports.oneOfPlugin = exports.objectRecursivelyPlugin = exports.objectPropertyNamesPlugin = exports.objectPatternPropertiesPlugin = exports.objectMinPropertiesPlugin = exports.objectMaxPropertiesPlugin = exports.objectDependentSchemasPlugin = exports.objectDependentRequiredPlugin = exports.objectAdditionalPropertiesSchemaPlugin = exports.objectAdditionalPropertiesPlugin = exports.objectPlugin = exports.numberRangePlugin = exports.numberPositivePlugin = exports.numberNegativePlugin = exports.numberMultipleOfPlugin = exports.numberMinPlugin = exports.numberMaxPlugin = exports.numberIntegerPlugin = exports.numberFinitePlugin = exports.nullablePlugin = exports.literalPlugin = exports.jsonSchemaFullFeaturePlugin = exports.jsonSchemaPlugin = exports.fromContextPlugin = exports.customPlugin = exports.conditionalSchemaPlugin = exports.compareFieldPlugin = exports.booleanTruthyPlugin = exports.booleanFalsyPlugin = exports.arrayUniquePlugin = exports.arrayMinLengthPlugin = exports.arrayMaxLengthPlugin = exports.arrayIncludesPlugin = exports.arrayEachPlugin = exports.arrayContainsPlugin = void 0;
-exports.writeOnlyPlugin = exports.validateIfPlugin = exports.uuidPlugin = exports.unionGuardPlugin = exports.tupleBuilderPlugin = exports.transformPlugin = exports.stringUrlPlugin = exports.stringUriTemplatePlugin = exports.stringUriReferencePlugin = exports.stringTimePlugin = exports.stringStartsWithPlugin = exports.stringRelativeJsonPointerPlugin = exports.stringRegexPlugin = exports.stringPatternPlugin = exports.stringMinPlugin = exports.stringMaxPlugin = exports.stringJsonPointerPlugin = exports.stringIriReferencePlugin = exports.stringIriPlugin = exports.stringIpv6Plugin = exports.stringIpv4Plugin = exports.stringIdnHostnamePlugin = exports.stringIdnEmailPlugin = exports.stringHostnamePlugin = exports.stringExactLengthPlugin = exports.stringEndsWithPlugin = exports.stringEmailPlugin = void 0;
+exports.stringDatetimePlugin = exports.stringDatePlugin = exports.stringContentMediaTypePlugin = exports.stringContentEncodingPlugin = exports.stringBase64Plugin = exports.stringAlphanumericPlugin = exports.stitchWithPlugin = exports.stitchPlugin = exports.skipPlugin = exports.requiredIfPlugin = exports.requiredPlugin = exports.readOnlyPlugin = exports.orFailPlugin = exports.optionalIfPlugin = exports.optionalPlugin = exports.oneOfPlugin = exports.objectRecursivelyPlugin = exports.objectPropertyNamesPlugin = exports.objectPatternPropertiesPlugin = exports.objectMinPropertiesPlugin = exports.objectMaxPropertiesPlugin = exports.objectDependentSchemasPlugin = exports.objectDependentRequiredPlugin = exports.objectAdditionalPropertiesSchemaPlugin = exports.objectAdditionalPropertiesPlugin = exports.objectPlugin = exports.numberRangePlugin = exports.numberPositivePlugin = exports.numberNegativePlugin = exports.numberMultipleOfPlugin = exports.numberMinPlugin = exports.numberMaxPlugin = exports.numberIntegerPlugin = exports.numberFinitePlugin = exports.nullablePlugin = exports.literalPlugin = exports.jsonSchemaFullFeaturePlugin = exports.jsonSchemaPlugin = exports.fromContextPlugin = exports.customPlugin = exports.conditionalSchemaPlugin = exports.compareFieldPlugin = exports.booleanTruthyPlugin = exports.booleanFalsyPlugin = exports.arrayUniquePlugin = exports.arrayMinLengthPlugin = exports.arrayMaxLengthPlugin = exports.arrayIncludesPlugin = exports.arrayEachPlugin = exports.arrayContainsPlugin = void 0;
+exports.writeOnlyPlugin = exports.validateIfPlugin = exports.uuidPlugin = exports.unionGuardPlugin = exports.tupleBuilderPlugin = exports.transformPlugin = exports.stringUrlPlugin = exports.stringUriTemplatePlugin = exports.stringUriReferencePlugin = exports.stringTimePlugin = exports.stringStartsWithPlugin = exports.stringRelativeJsonPointerPlugin = exports.stringRegexPlugin = exports.stringPatternPlugin = exports.stringMinPlugin = exports.stringMaxPlugin = exports.stringJsonPointerPlugin = exports.stringIriReferencePlugin = exports.stringIriPlugin = exports.stringIpv6Plugin = exports.stringIpv4Plugin = exports.stringIdnHostnamePlugin = exports.stringIdnEmailPlugin = exports.stringHostnamePlugin = exports.stringExactLengthPlugin = exports.stringEndsWithPlugin = exports.stringEmailPlugin = exports.stringDurationPlugin = void 0;
 var array_contains_1 = require("./array-contains");
 Object.defineProperty(exports, "arrayContainsPlugin", { enumerable: true, get: function () { return array_contains_1.arrayContainsPlugin; } });
 var array_each_1 = require("./array-each");
@@ -90,6 +90,8 @@ var skip_1 = require("./skip");
 Object.defineProperty(exports, "skipPlugin", { enumerable: true, get: function () { return skip_1.skipPlugin; } });
 var stitch_1 = require("./stitch");
 Object.defineProperty(exports, "stitchPlugin", { enumerable: true, get: function () { return stitch_1.stitchPlugin; } });
+var stitch_with_1 = require("./stitch-with");
+Object.defineProperty(exports, "stitchWithPlugin", { enumerable: true, get: function () { return stitch_with_1.stitchWithPlugin; } });
 var string_alphanumeric_1 = require("./string-alphanumeric");
 Object.defineProperty(exports, "stringAlphanumericPlugin", { enumerable: true, get: function () { return string_alphanumeric_1.stringAlphanumericPlugin; } });
 var string_base64_1 = require("./string-base64");

package/dist/plugins/index.generated.mjs

@@ -43,6 +43,7 @@ export { requiredPlugin } from "./required/index.mjs";
 export { requiredIfPlugin } from "./required-if/index.mjs";
 export { skipPlugin } from "./skip/index.mjs";
 export { stitchPlugin } from "./stitch/index.mjs";
+export { stitchWithPlugin } from "./stitch-with/index.mjs";
 export { stringAlphanumericPlugin } from "./string-alphanumeric/index.mjs";
 export { stringBase64Plugin } from "./string-base64/index.mjs";
 export { stringContentEncodingPlugin } from "./string-content-encoding/index.mjs";

package/dist/plugins/manifest.generated.js

@@ -46,6 +46,7 @@ exports.PLUGIN_MANIFEST = [
     { directoryName: "required-if", subpathName: "requiredIf", tier: "isolated", entryFile: "src/plugins/required-if/index.ts", exportedSymbols: ["requiredIfPlugin"] },
     { directoryName: "skip", subpathName: "skip", tier: "isolated", entryFile: "src/plugins/skip/index.ts", exportedSymbols: ["skipPlugin"] },
     { directoryName: "stitch", subpathName: "stitch", tier: "isolated", entryFile: "src/plugins/stitch/index.ts", exportedSymbols: ["stitchPlugin"] },
+    { directoryName: "stitch-with", subpathName: "stitchWith", tier: "isolated", entryFile: "src/plugins/stitch-with/index.ts", exportedSymbols: ["stitchWithPlugin"] },
     { directoryName: "string-alphanumeric", subpathName: "stringAlphanumeric", tier: "isolated", entryFile: "src/plugins/string-alphanumeric/index.ts", exportedSymbols: ["stringAlphanumericPlugin"] },
     { directoryName: "string-base64", subpathName: "stringBase64", tier: "isolated", entryFile: "src/plugins/string-base64/index.ts", exportedSymbols: ["stringBase64Plugin"] },
     { directoryName: "string-content-encoding", subpathName: "stringContentEncoding", tier: "isolated", entryFile: "src/plugins/string-content-encoding/index.ts", exportedSymbols: ["stringContentEncodingPlugin"] },

package/dist/plugins/manifest.generated.mjs

@@ -43,6 +43,7 @@ export const PLUGIN_MANIFEST = [
     { directoryName: "required-if", subpathName: "requiredIf", tier: "isolated", entryFile: "src/plugins/required-if/index.ts", exportedSymbols: ["requiredIfPlugin"] },
     { directoryName: "skip", subpathName: "skip", tier: "isolated", entryFile: "src/plugins/skip/index.ts", exportedSymbols: ["skipPlugin"] },
     { directoryName: "stitch", subpathName: "stitch", tier: "isolated", entryFile: "src/plugins/stitch/index.ts", exportedSymbols: ["stitchPlugin"] },
+    { directoryName: "stitch-with", subpathName: "stitchWith", tier: "isolated", entryFile: "src/plugins/stitch-with/index.ts", exportedSymbols: ["stitchWithPlugin"] },
     { directoryName: "string-alphanumeric", subpathName: "stringAlphanumeric", tier: "isolated", entryFile: "src/plugins/string-alphanumeric/index.ts", exportedSymbols: ["stringAlphanumericPlugin"] },
     { directoryName: "string-base64", subpathName: "stringBase64", tier: "isolated", entryFile: "src/plugins/string-base64/index.ts", exportedSymbols: ["stringBase64Plugin"] },
     { directoryName: "string-content-encoding", subpathName: "stringContentEncoding", tier: "isolated", entryFile: "src/plugins/string-content-encoding/index.ts", exportedSymbols: ["stringContentEncodingPlugin"] },

package/dist/plugins/stitch/stitch.d.ts

@@ -1,6 +1,16 @@
+import type { CrossFieldOutcome } from "../../types";
 import type { PickPaths } from "../../path/index";
-import type { FieldRefs, Unchanged } from "../../plugin-kit/marker.types";
-/** The bundle handed to the check, keyed by the path exactly as declared. */
+import type { FieldRefs, StitchOut } from "../../plugin-kit/marker.types";
+/**
+ * The bundle handed to the check at RUN TIME, keyed by the path exactly as
+ * declared.
+ *
+ * 呼び出し側がこれを見ることはもう無い。`.stitch(["price"], ...)` と書いた
+ * 時点でパスの集合は分かっているので、述語が受け取る束の型は
+ * `PickPaths<TRoot, F>` として組まれる (src/chain/chain-method.types.ts の
+ * StitchOut の腕)。この型が残っているのは、実行時に集める側が「キーは
+ * パス文字列」という事実を書き留めておく場所だからである。
+ */
 export type StitchFieldValues = Readonly<Record<string, unknown>>;
 /**
  * PickPaths applied to a declared tuple: `StitchFieldsOf<Order, ["price",
@@ -11,11 +21,21 @@ export type StitchFieldValues = Readonly<Record<string, unknown>>;
  * the same alternative-2 move readExternalContext makes for async context.
  */
 export type StitchFieldsOf<TRoot, TFields extends readonly string[]> = PickPaths<TRoot, TFields>;
-/** 1.x's `{ valid, message? }`, unchanged. */
-export interface StitchOutcome {
-    readonly valid: boolean;
-    readonly message?: string;
-}
+/**
+ * 1.x の `{ valid, message? }`、名前も形もそのまま。実体は src/types の
+ * CrossFieldOutcome で、チェーン層が呼び出し側の型を組むのに参照する —
+ * L3 から L7 を import しないための置き場である。
+ */
+export type StitchOutcome = CrossFieldOutcome;
+/**
+ * 実行時に build() が受け取る形。**呼び出し側が見る型ではない。**
+ *
+ * `.stitch(["price", "quantity"], ...)` と書いた時点でパスの集合は分かって
+ * いるので、述語が受け取る束は `PickPaths<TRoot, F>` として組まれ、キーごとに
+ * 値の型が付く (src/chain/chain-method.types.ts の StitchOut の腕)。
+ * ここが `Record<string, unknown>` のままだったのが、その腕を足すまでの
+ * stitch である。
+ */
 export type StitchCheck = (fieldValues: StitchFieldValues, value: unknown, root: unknown) => StitchOutcome;
 /** 1.x's messageFactory context for this plugin, minus the re-run. */
 export interface StitchExtra {
@@ -25,6 +45,6 @@ export interface StitchExtra {
 }
 export declare const stitchPlugin: import("../../plugin-kit/plugin-definition").PluginDefinition<"stitch", "stitch", readonly ["string", "number", "boolean", "date", "object", "array", "tuple", "union"], {
     args: readonly [fields: FieldRefs, check: StitchCheck];
-    out: Unchanged;
+    out: StitchOut;
     context: StitchExtra;
 }>;

package/dist/plugins/stitch-with/index.d.ts

@@ -0,0 +1,2 @@
+export { stitchWithPlugin } from "./stitch-with";
+export type { BundleAliasMap, StitchWithExtra } from "./stitch-with";

package/dist/plugins/stitch-with/index.js

@@ -0,0 +1,5 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.stitchWithPlugin = void 0;
+var stitch_with_1 = require("./stitch-with");
+Object.defineProperty(exports, "stitchWithPlugin", { enumerable: true, get: function () { return stitch_with_1.stitchWithPlugin; } });

package/dist/plugins/stitch-with/index.mjs

@@ -0,0 +1 @@
+export { stitchWithPlugin } from "./stitch-with.mjs";

package/dist/plugins/stitch-with/stitch-with.d.ts

@@ -0,0 +1,12 @@
+import type { MessageContextExtra } from "../../types";
+import type { BundleOut, NarrowedChain } from "../../plugin-kit/marker.types";
+/** 別名 -> ルートのパス。実行時はただの文字列の対応表である。 */
+export type BundleAliasMap = Readonly<Record<string, string>>;
+export interface StitchWithExtra extends MessageContextExtra {
+    readonly aliases: readonly string[];
+}
+export declare const stitchWithPlugin: import("../../plugin-kit/plugin-definition").PluginDefinition<"stitchWith", "stitchWith", readonly ["string", "number", "boolean", "date", "object", "array", "tuple", "union"], {
+    args: readonly [fields: BundleAliasMap, define: NarrowedChain];
+    out: BundleOut;
+    context: StitchWithExtra;
+}>;

package/dist/plugins/stitch-with/stitch-with.js

@@ -0,0 +1,94 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.stitchWithPlugin = void 0;
+// ===========================================================================
+// L7  src/plugins/stitch-with/stitch-with.ts — EXPERIMENTAL.
+// `stitch` の型付き後継。クロスフィールド検証のためのメソッドである。
+//
+// stitch の核は「**複数のフィールドを1つの判定にまとめる**」ことなので、
+// 主体は束そのものであって、別名ごとではない。別名ごとにルールを並べる形も
+// 書けるが、それでは `total === price * quantity` が書けず、stitch では
+// なくなる。
+//
+// stitch との違いは一点だけである。stitch は束を
+// `Readonly<Record<string, unknown>>` として手書きの述語に渡すので、束の中身に
+// ついて型が何も言わない。ここでは束が対応表から組まれて **型が付く**:
+//
+//     .v("total", (b) => b.number.stitchWith(
+//       { cost: "price", count: "quantity" },
+//       (f) => f.object.custom((bundle) => bundle.cost * bundle.count === 100)
+//     ))
+//
+// `bundle` は `{ cost: number; count: number }` であって Record ではない。
+// メンバー名を綴り違えれば、型を取り違えれば、コンパイルエラーになる。
+//
+// なぜ別名を経由するのか。束をパス文字列でキーすると、その文字列は宣言の場で
+// **パスとして** 解釈される: `"user.name"` は束の中の `user.name` を探しに
+// 行き、束は平たいので見つからない (実測して分かった)。別名は素の識別子なので
+// その衝突が起きず、参照できるのは宣言した別名だけになる。
+//
+// このファイルに判定は無い。サブチェーンは NarrowedChain と同じ経路で
+// `readonly Rule[]` に解決され、branch がそれを枝にし、エンジンが走らせる。
+// 束専用の収集器をコアに置く案も作って動かしたが、実測でコアが 220 B 増えた
+// (7,590 -> 7,810 B)。stitchWith を使わない利用者が払う形なので採らなかった。
+// 既存の経路に乗せると追加は 0 B である。
+//
+// 1.x が同じ責務の実装を3つ持っていたのは、ここで「もう1つ書く」を選んだ
+// からである。
+// ===========================================================================
+const types_1 = require("../../types");
+const create_rule_1 = require("../../plugin-kit/create-rule");
+const plugin_definition_1 = require("../../plugin-kit/plugin-definition");
+const index_1 = require("../../path/index");
+const STITCH_WITH_SLOTS = [
+    "string",
+    "number",
+    "boolean",
+    "date",
+    "object",
+    "array",
+    "tuple",
+    "union",
+];
+const BUNDLE_BRANCH_LABEL = "bundle";
+function readMembers(aliasMap) {
+    return Object.freeze(Object.entries(aliasMap).map(([alias, path]) => ({
+        alias,
+        read: (0, index_1.createValueReader)((0, index_1.parseFieldPath)(path)),
+    })));
+}
+/** ルートから束を組む。枝の主体はこのオブジェクトになる。 */
+function collectBundle(members, root) {
+    const bundle = {};
+    for (const member of members)
+        bundle[member.alias] = member.read(root);
+    return bundle;
+}
+exports.stitchWithPlugin = (0, plugin_definition_1.definePlugin)()({
+    name: "stitchWith",
+    method: "stitchWith",
+    slots: STITCH_WITH_SLOTS,
+    build: (ctx, aliasMap, rules) => {
+        const members = readMembers((0, types_1.isPlainObject)(aliasMap) ? aliasMap : {});
+        const aliases = Object.freeze(members.map((member) => member.alias));
+        return (0, create_rule_1.composite)({
+            code: ctx.code,
+            messageFactory: ctx.messageFactory,
+            severity: ctx.severity,
+            branches: [(0, create_rule_1.branch)(BUNDLE_BRANCH_LABEL, rules)],
+            // 主体の値は見ない。見るのはルートから組んだ束だけである。
+            combine: (runners) => {
+                const runner = runners[0];
+                if (runner === undefined)
+                    return () => types_1.PASS;
+                return (_value, runCtx) => {
+                    const outcome = runner.run(collectBundle(members, runCtx.root), runCtx);
+                    return outcome.ok ? types_1.PASS : (0, types_1.fail)({ ...outcome.detail });
+                };
+            },
+            describe: (_detail, msgCtx) => `Cross-field validation failed for ${msgCtx.path}`,
+            buildMessageContext: () => ({ aliases }),
+        });
+    },
+    subChainArguments: [1],
+});

package/dist/plugins/stitch-with/stitch-with.mjs

@@ -0,0 +1,91 @@
+// ===========================================================================
+// L7  src/plugins/stitch-with/stitch-with.ts — EXPERIMENTAL.
+// `stitch` の型付き後継。クロスフィールド検証のためのメソッドである。
+//
+// stitch の核は「**複数のフィールドを1つの判定にまとめる**」ことなので、
+// 主体は束そのものであって、別名ごとではない。別名ごとにルールを並べる形も
+// 書けるが、それでは `total === price * quantity` が書けず、stitch では
+// なくなる。
+//
+// stitch との違いは一点だけである。stitch は束を
+// `Readonly<Record<string, unknown>>` として手書きの述語に渡すので、束の中身に
+// ついて型が何も言わない。ここでは束が対応表から組まれて **型が付く**:
+//
+//     .v("total", (b) => b.number.stitchWith(
+//       { cost: "price", count: "quantity" },
+//       (f) => f.object.custom((bundle) => bundle.cost * bundle.count === 100)
+//     ))
+//
+// `bundle` は `{ cost: number; count: number }` であって Record ではない。
+// メンバー名を綴り違えれば、型を取り違えれば、コンパイルエラーになる。
+//
+// なぜ別名を経由するのか。束をパス文字列でキーすると、その文字列は宣言の場で
+// **パスとして** 解釈される: `"user.name"` は束の中の `user.name` を探しに
+// 行き、束は平たいので見つからない (実測して分かった)。別名は素の識別子なので
+// その衝突が起きず、参照できるのは宣言した別名だけになる。
+//
+// このファイルに判定は無い。サブチェーンは NarrowedChain と同じ経路で
+// `readonly Rule[]` に解決され、branch がそれを枝にし、エンジンが走らせる。
+// 束専用の収集器をコアに置く案も作って動かしたが、実測でコアが 220 B 増えた
+// (7,590 -> 7,810 B)。stitchWith を使わない利用者が払う形なので採らなかった。
+// 既存の経路に乗せると追加は 0 B である。
+//
+// 1.x が同じ責務の実装を3つ持っていたのは、ここで「もう1つ書く」を選んだ
+// からである。
+// ===========================================================================
+import { PASS, fail, isPlainObject } from "../../types/index.mjs";
+import { branch, composite } from "../../plugin-kit/create-rule.mjs";
+import { definePlugin } from "../../plugin-kit/plugin-definition.mjs";
+import { createValueReader, parseFieldPath } from "../../path/index.mjs";
+const STITCH_WITH_SLOTS = [
+    "string",
+    "number",
+    "boolean",
+    "date",
+    "object",
+    "array",
+    "tuple",
+    "union",
+];
+const BUNDLE_BRANCH_LABEL = "bundle";
+function readMembers(aliasMap) {
+    return Object.freeze(Object.entries(aliasMap).map(([alias, path]) => ({
+        alias,
+        read: createValueReader(parseFieldPath(path)),
+    })));
+}
+/** ルートから束を組む。枝の主体はこのオブジェクトになる。 */
+function collectBundle(members, root) {
+    const bundle = {};
+    for (const member of members)
+        bundle[member.alias] = member.read(root);
+    return bundle;
+}
+export const stitchWithPlugin = /*#__PURE__*/ definePlugin()({
+    name: "stitchWith",
+    method: "stitchWith",
+    slots: STITCH_WITH_SLOTS,
+    build: (ctx, aliasMap, rules) => {
+        const members = readMembers(isPlainObject(aliasMap) ? aliasMap : {});
+        const aliases = Object.freeze(members.map((member) => member.alias));
+        return composite({
+            code: ctx.code,
+            messageFactory: ctx.messageFactory,
+            severity: ctx.severity,
+            branches: [branch(BUNDLE_BRANCH_LABEL, rules)],
+            // 主体の値は見ない。見るのはルートから組んだ束だけである。
+            combine: (runners) => {
+                const runner = runners[0];
+                if (runner === undefined)
+                    return () => PASS;
+                return (_value, runCtx) => {
+                    const outcome = runner.run(collectBundle(members, runCtx.root), runCtx);
+                    return outcome.ok ? PASS : fail({ ...outcome.detail });
+                };
+            },
+            describe: (_detail, msgCtx) => `Cross-field validation failed for ${msgCtx.path}`,
+            buildMessageContext: () => ({ aliases }),
+        });
+    },
+    subChainArguments: [1],
+});

package/dist/plugins/stitchWith.d.ts

@@ -0,0 +1 @@
+export * from "./stitch-with/index";

package/dist/plugins/stitchWith.js

@@ -0,0 +1,2 @@
+"use strict";
+module.exports = require("./stitch-with/index");

package/dist/plugins/stitchWith.mjs

@@ -0,0 +1 @@
+export * from "./stitch-with/index.mjs";

package/dist/plugins/string-min/string-min.js

@@ -23,9 +23,27 @@ exports.stringMinPlugin = (0, plugin_definition_1.definePlugin)()({
             code: ctx.code,
             messageFactory: ctx.messageFactory,
             severity: ctx.severity,
-            run: (value) => !(0, types_1.isString)(value) || (0, types_1.countCodePoints)(value) >= min
-                ? types_1.PASS
-                : (0, types_1.fail)({ expected: min, actual: (0, types_1.countCodePoints)(value) }),
+            // min に届いた時点で止める。全長を数える必要があるのは**落ちる**
+            // ときだけで、そのときは値が min より短いのだから走査も短い。
+            // 元は countCodePoints を最大二度呼び、どちらも文字列を最後まで
+            // 歩いていた。符号位置で数えるのは変えない (UTF-16 単位ではない) —
+            // 変えているのは、いつ止めるかだけである。受理パスで 12.7%。
+            run: (value) => {
+                if (!(0, types_1.isString)(value))
+                    return types_1.PASS;
+                // min が 0 なら空文字列も通る。ループは空文字列で一度も回らないので、
+                // この行が無いと `""` が actual 0 で落ちる — 早期脱出に書き換えた
+                // ときに実際に開いた穴で、既存のテストは一件も気づかなかった。
+                if (min === 0)
+                    return types_1.PASS;
+                let count = 0;
+                for (const _character of value) {
+                    count += 1;
+                    if (count >= min)
+                        return types_1.PASS;
+                }
+                return (0, types_1.fail)({ expected: min, actual: count });
+            },
             describe: (detail) => `String must have at least ${String(min)} characters, but got ` +
                 `${String(detail.actual)}`,
             buildMessageContext: (detail) => ({