@maroonedog/luq 2.1.0 → 2.2.0

package/dist/runtime/run-field.mjs

@@ -1,17 +1,12 @@
 import { createIssue } from "./create-issue.mjs";
+import { FieldRuleContext } from "./field-rule-context.mjs";
 import { decidePresence } from "./decide-presence.mjs";
 /** Shared, frozen, never re-assigned: the common answer allocates nothing. */
 export const FIELD_VALUE_UNCHANGED = Object.freeze({
     hasWriteBack: false,
 });
 export function runField(field, subject, context) {
-    const path = context.indices.renderFieldPath(field.template);
-    const ruleContext = {
-        root: context.root,
-        path,
-        item: context.item,
-        external: context.external,
-    };
+    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);
     if (!decidePresence(field, value, ruleContext, context.sink)) {
@@ -43,24 +38,55 @@ function applyDefault(field, value, root) {
 }
 /** A closed gate ends the field successfully: no check, no transform. */
 function openGates(field, value, ruleContext) {
-    for (const gate of field.gates) {
+    // 添字ループである。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];
+        if (gate === undefined)
+            continue;
         if (!gate.shouldRun(value, ruleContext))
             return false;
     }
     return true;
 }
+/**
+ * 失敗したときだけ通る側。ループ本体から出してある。
+ *
+ * runChecks はバイトコードで 302 バイトあり、TurboFan の呼び出し先
+ * インライン予算 (既定で累計 920 バイト) の最大の落選候補として
+ * --trace-turbo-inlining に名指しされていた。その 302 バイトの大半が、
+ * 受理された値では一度も走らない issue の組み立てである。ここへ出すと
+ * 残るループ本体が縮み、受理パスで 6.4% 速くなった。
+ *
+ * 中断の判定はここに含めない。issue を足したあとに shouldStopField を
+ * 見るという順序が abortEarlyOnEachField の意味そのものなので、呼び出し側に
+ * 並べて置いておく。
+ */
+function reportCheckFailure(check, detail, value, ruleContext, context) {
+    context.sink.add(createIssue({
+        path: ruleContext.path,
+        code: check.code,
+        severity: check.severity,
+        value,
+        render: (ctx) => check.describe(detail, ctx),
+    }));
+}
 function runChecks(field, value, ruleContext, context, mark) {
-    for (const check of field.checks) {
+    const checks = field.checks;
+    for (let i = 0; i < checks.length; i += 1) {
+        const check = checks[i];
+        if (check === undefined)
+            continue;
         const outcome = check.run(value, ruleContext);
         if (outcome.ok)
             continue;
-        context.sink.add(createIssue({
-            path: ruleContext.path,
-            code: check.code,
-            severity: check.severity,
-            value,
-            render: (ctx) => check.describe(outcome.detail, ctx),
-        }));
+        reportCheckFailure(check, outcome.detail, value, ruleContext, context);
         if (context.sink.shouldStopField(mark))
             return;
     }
@@ -71,7 +97,11 @@ function runTransforms(field, value, ruleContext, context, mark) {
         return value;
     }
     let current = value;
-    for (const transform of field.transforms) {
+    const transforms = field.transforms;
+    for (let i = 0; i < transforms.length; i += 1) {
+        const transform = transforms[i];
+        if (transform === undefined)
+            continue;
         current = transform.apply(current, ruleContext);
     }
     return current;

package/dist/runtime/run-plan.js

@@ -19,7 +19,11 @@ const output_writer_1 = require("./output-writer");
  */
 function runPlan(plan, subject, context, targets = output_writer_1.NO_WRITE_TARGETS) {
     let current = subject;
-    for (const field of plan.fields) {
+    const fields = plan.fields;
+    for (let i = 0; i < fields.length; i += 1) {
+        const field = fields[i];
+        if (field === undefined)
+            continue;
         const outcome = (0, run_field_1.runField)(field, current, context);
         current = (0, output_writer_1.writeFieldValue)(field, current, outcome, context.shouldApplyTransforms);
         if (context.sink.shouldStopPlan())

package/dist/runtime/run-plan.mjs

@@ -15,7 +15,11 @@ import { NO_WRITE_TARGETS, writeFieldValue } from "./output-writer.mjs";
  */
 export function runPlan(plan, subject, context, targets = NO_WRITE_TARGETS) {
     let current = subject;
-    for (const field of plan.fields) {
+    const fields = plan.fields;
+    for (let i = 0; i < fields.length; i += 1) {
+        const field = fields[i];
+        if (field === undefined)
+            continue;
         const outcome = runField(field, current, context);
         current = writeFieldValue(field, current, outcome, context.shouldApplyTransforms);
         if (context.sink.shouldStopPlan())

package/dist/types/index.d.ts

@@ -43,6 +43,18 @@ export type CheckOutcome = {
 };
 export declare const PASS: CheckOutcome;
 export declare function fail(detail: IssueDetail): CheckOutcome;
+/**
+ * クロスフィールドの判定が返せるもの。真偽だけでも、メッセージ付きでもよい。
+ *
+ * ここ (L0) にあるのは、チェーン層が `stitch` の呼び出し側の型を組むときに
+ * 参照するからである。プラグイン (L7) に置いたままだと L3 -> L7 の import に
+ * なり、層が逆流する。プラグイン側の `StitchOutcome` はこれの別名で、
+ * 公開名は変えていない。
+ */
+export interface CrossFieldOutcome {
+    readonly valid: boolean;
+    readonly message?: string;
+}
 export interface ArrayItemContext {
     readonly index: number;
     readonly item: unknown;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@maroonedog/luq",
-  "version": "2.1.0",
+  "version": "2.2.0",
   "description": "Universal Model & API Definition Platform - TypeScript validation library evolving into cross-language code generation",
   "main": "dist/index.js",
   "module": "dist/index.mjs",
@@ -37,6 +37,11 @@
       "import": "./dist/standard-schema.mjs",
       "require": "./dist/standard-schema.js"
     },
+    "./presets": {
+      "types": "./dist/presets/index.d.ts",
+      "import": "./dist/presets/index.mjs",
+      "require": "./dist/presets/index.js"
+    },
     "./plugins": {
       "types": "./dist/plugins/index.d.ts",
       "import": "./dist/plugins/index.mjs",
@@ -252,6 +257,11 @@
       "import": "./dist/plugins/stitch.mjs",
       "require": "./dist/plugins/stitch.js"
     },
+    "./plugins/stitchWith": {
+      "types": "./dist/plugins/stitchWith.d.ts",
+      "import": "./dist/plugins/stitchWith.mjs",
+      "require": "./dist/plugins/stitchWith.js"
+    },
     "./plugins/stringAlphanumeric": {
       "types": "./dist/plugins/stringAlphanumeric.d.ts",
       "import": "./dist/plugins/stringAlphanumeric.mjs",
@@ -432,14 +442,14 @@
     "build": "npx ts-node --project scripts/tsconfig.json scripts/build.ts",
     "test": "jest --no-watch --no-watchman --passWithNoTests",
     "test:watch": "jest --watch",
-    "lint": "eslint \"src/**/*.ts\" \"bench/**/*.ts\"",
+    "lint": "npm run lint:ox && npm run lint:naming",
     "prepare": "npm run build",
     "prepublishOnly": "npm run verify",
     "generate-docs": "npx ts-node --project scripts/tsconfig.json scripts/generate-docs.ts",
-    "lint:fix": "eslint \"src/**/*.ts\" \"bench/**/*.ts\" --fix",
+    "lint:fix": "oxlint -c .oxlintrc.json --fix src bench",
     "lint:filenames": "node scripts/check-filenames.js",
-    "format": "prettier --write \"src/**/*.ts\" \"test/**/*.ts\" \"scripts/**/*.ts\" \"bench/**/*.ts\"",
-    "format:check": "prettier --check \"src/**/*.ts\" \"test/**/*.ts\" \"scripts/**/*.ts\" \"bench/**/*.ts\"",
+    "format": "oxfmt src test scripts bench",
+    "format:check": "oxfmt --check src test scripts bench",
     "typecheck": "npm run typecheck:src && npm run typecheck:scripts && npm run typecheck:bench",
     "typecheck:src": "tsc --noEmit -p tsconfig.json",
     "typecheck:scripts": "tsc --noEmit -p scripts/tsconfig.json",
@@ -470,10 +480,16 @@
     "check:doc-examples": "npx ts-node --project scripts/tsconfig.json scripts/check-doc-examples.ts",
     "check:doc-imports": "npx ts-node --project scripts/tsconfig.json scripts/check-doc-imports.ts",
     "check:generated-docs": "npx ts-node --project scripts/tsconfig.json scripts/generate-docs.ts --check",
-    "check:docs": "npm run check:generated-docs && npm run check:doc-examples && npm run check:doc-imports && npm run check:conformance-figures",
+    "check:docs": "npm run check:generated-docs && npm run check:doc-examples && npm run check:doc-imports && npm run check:conformance-figures && npm run check:perf-figures",
     "bench:record": "npx ts-node --project scripts/tsconfig.json scripts/run-bench.ts --record",
     "bench:gate": "npx ts-node --project scripts/tsconfig.json scripts/run-bench.ts --gate",
-    "check:conformance-figures": "npx ts-node --project scripts/tsconfig.json scripts/check-conformance-figures.ts"
+    "check:conformance-figures": "npx ts-node --project scripts/tsconfig.json scripts/check-conformance-figures.ts",
+    "bench:competitors": "npx ts-node --project bench/tsconfig.json bench/competitors/report-competitors.ts",
+    "bench:competitors:check": "npx ts-node --project bench/tsconfig.json bench/competitors/check-competitors.ts",
+    "lint:ox": "oxlint -c .oxlintrc.json src bench",
+    "lint:naming": "eslint \"src/**/*.ts\" \"bench/**/*.ts\"",
+    "generate:perf-figures": "npx ts-node --project scripts/tsconfig.json scripts/check-perf-figures.ts --write",
+    "check:perf-figures": "npx ts-node --project scripts/tsconfig.json scripts/check-perf-figures.ts"
   },
   "repository": {
     "type": "git",
@@ -495,28 +511,28 @@
   "files": [
     "dist"
   ],
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
   "devDependencies": {
-    "@playwright/test": "^1.54.2",
     "@standard-schema/spec": "^1.1.0",
-    "@swc/cli": "^0.4.0",
-    "@swc/core": "^1.7.36",
-    "@swc/jest": "^0.2.36",
     "@types/jest": "^29.5.14",
-    "@typescript-eslint/eslint-plugin": "^6.21.0",
-    "@typescript-eslint/parser": "^6.21.0",
-    "dts-bundle-generator": "^9.5.1",
+    "@typescript-eslint/eslint-plugin": "^8.70.0",
+    "@typescript-eslint/parser": "^8.70.0",
+    "ajv": "^8.20.0",
+    "ajv-formats": "^3.0.1",
     "esbuild": "^0.25.5",
     "eslint": "^8.57.1",
-    "expect-type": "^1.4.0",
     "jest": "^29.7.0",
-    "prettier": "^3.6.2",
-    "rollup": "^4.46.2",
-    "rollup-plugin-dts": "^6.2.1",
-    "sharp": "^0.34.3",
+    "oxfmt": "^0.67.0",
+    "oxlint": "^1.82.0",
     "ts-jest": "^29.4.0",
     "ts-node": "^10.9.2",
     "tsx": "^4.20.3",
     "typescript": "^5.8.3",
+    "valibot": "^1.4.2",
+    "yup": "^1.7.1",
     "zod": "^4.0.14"
   },
   "sideEffects": false