typesea 0.2.0 → 0.3.1

package/dist/schema/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/schema/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAoBH,OAAO,KAAK,EAER,MAAM,EAET,MAAM,YAAY,CAAC;AAEpB;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAK7D"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/schema/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAsBH,OAAO,KAAK,EAIR,MAAM,EAET,MAAM,YAAY,CAAC;AAEpB;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAK7D"}

package/dist/schema/validate.js

@@ -4,7 +4,7 @@
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
-import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { ArrayCheckTag, DateCheckTag, NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
 import { isLiteralValue } from "./literal.js";
 import { includesString, isMissingDataProperty, isObjectKeyLookup, isPlainRegExp, isRecord, isStringArray, isUnknownArray, readOwnDataProperty } from "./common.js";
 /**
@@ -69,6 +69,8 @@ function isSchemaRecord(value, state) {
         case SchemaTag.Symbol:
         case SchemaTag.Boolean:
             return true;
+        case SchemaTag.Date:
+            return isDateChecks(readOwnDataProperty(value, "checks"));
         case SchemaTag.String:
             return isStringChecks(readOwnDataProperty(value, "checks"));
         case SchemaTag.Number:
@@ -82,11 +84,25 @@ function isSchemaRecord(value, state) {
             return !isMissingDataProperty(literal) && isLiteralValue(literal);
         }
         case SchemaTag.Array:
-            return isSchemaValueInner(readOwnDataProperty(value, "item"), state);
+            return isSchemaValueInner(readOwnDataProperty(value, "item"), state) &&
+                isArrayChecks(readOwnDataProperty(value, "checks"));
         case SchemaTag.Tuple:
-            return isSchemaArray(readOwnDataProperty(value, "items"), state);
+            return isSchemaArray(readOwnDataProperty(value, "items"), state) &&
+                isOptionalSchemaValue(readOwnDataProperty(value, "rest"), state);
         case SchemaTag.Record:
             return isSchemaValueInner(readOwnDataProperty(value, "value"), state);
+        case SchemaTag.Map:
+            return isSchemaValueInner(readOwnDataProperty(value, "key"), state) &&
+                isSchemaValueInner(readOwnDataProperty(value, "value"), state);
+        case SchemaTag.Set:
+            return isSchemaValueInner(readOwnDataProperty(value, "item"), state);
+        case SchemaTag.InstanceOf:
+            return typeof readOwnDataProperty(value, "constructor") === "function" &&
+                typeof readOwnDataProperty(value, "name") === "string";
+        case SchemaTag.Property:
+            return typeof readOwnDataProperty(value, "key") === "string" &&
+                isSchemaValueInner(readOwnDataProperty(value, "base"), state) &&
+                isSchemaValueInner(readOwnDataProperty(value, "value"), state);
         case SchemaTag.Object:
             return isObjectSchemaValue(value, state);
         case SchemaTag.Union:
@@ -113,6 +129,15 @@ function isSchemaRecord(value, state) {
             return false;
     }
 }
+/**
+ * @brief Validate an optional schema payload.
+ * @param value Candidate child schema or undefined.
+ * @param state Recursion state for child schemas.
+ * @returns True when the value is absent or a valid schema.
+ */
+function isOptionalSchemaValue(value, state) {
+    return value === undefined || isSchemaValueInner(value, state);
+}
 /**
  * @brief Validate the check vector attached to a string schema.
  * @param value Candidate check vector.
@@ -149,6 +174,13 @@ function isStringChecks(value) {
                 }
                 break;
             case StringCheckTag.Uuid:
+            case StringCheckTag.Email:
+            case StringCheckTag.Url:
+            case StringCheckTag.IsoDate:
+            case StringCheckTag.IsoDateTime:
+            case StringCheckTag.Ulid:
+            case StringCheckTag.Ipv4:
+            case StringCheckTag.Ipv6:
                 break;
             default:
                 return false;
@@ -176,7 +208,47 @@ function isNumberChecks(value) {
             case NumberCheckTag.Integer:
                 break;
             case NumberCheckTag.Gte:
-            case NumberCheckTag.Lte: {
+            case NumberCheckTag.Lte:
+            case NumberCheckTag.Gt:
+            case NumberCheckTag.Lt: {
+                const bound = readOwnDataProperty(check, "value");
+                if (typeof bound !== "number" || !Number.isFinite(bound)) {
+                    return false;
+                }
+                break;
+            }
+            case NumberCheckTag.MultipleOf: {
+                const divisor = readOwnDataProperty(check, "value");
+                if (typeof divisor !== "number" ||
+                    !Number.isFinite(divisor) ||
+                    divisor <= 0) {
+                    return false;
+                }
+                break;
+            }
+            default:
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * @brief Validate the check vector attached to a Date schema.
+ * @param value Candidate check vector.
+ * @returns True when every Date bound is finite epoch milliseconds.
+ */
+function isDateChecks(value) {
+    if (!isUnknownArray(value)) {
+        return false;
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        const check = value[index];
+        if (!isRecord(check)) {
+            return false;
+        }
+        switch (readOwnDataProperty(check, "tag")) {
+            case DateCheckTag.Min:
+            case DateCheckTag.Max: {
                 const bound = readOwnDataProperty(check, "value");
                 if (typeof bound !== "number" || !Number.isFinite(bound)) {
                     return false;
@@ -189,6 +261,37 @@ function isNumberChecks(value) {
     }
     return true;
 }
+/**
+ * @brief Validate the check vector attached to an array schema.
+ * @param value Candidate check vector.
+ * @returns True when every array length bound is a non-negative integer.
+ * @details Array length checks are admitted once at schema construction so
+ * interpreters and code generators can emit direct `length` comparisons later.
+ */
+function isArrayChecks(value) {
+    if (!isUnknownArray(value)) {
+        return false;
+    }
+    for (let index = 0; index < value.length; index += 1) {
+        const check = value[index];
+        if (!isRecord(check)) {
+            return false;
+        }
+        switch (readOwnDataProperty(check, "tag")) {
+            case ArrayCheckTag.Min:
+            case ArrayCheckTag.Max: {
+                const bound = readOwnDataProperty(check, "value");
+                if (typeof bound !== "number" || !Number.isInteger(bound) || bound < 0) {
+                    return false;
+                }
+                break;
+            }
+            default:
+                return false;
+        }
+    }
+    return true;
+}
 /**
  * @brief Validate a dense vector of child schemas.
  * @details Schema helpers enforce construction-time invariants before values reach
@@ -226,10 +329,14 @@ function isObjectSchemaValue(value, state) {
     const entries = readOwnDataProperty(value, "entries");
     const keys = readOwnDataProperty(value, "keys");
     const keyLookup = readOwnDataProperty(value, "keyLookup");
+    const catchall = readOwnDataProperty(value, "catchall");
     if (!isUnknownArray(entries) || !isStringArray(keys) ||
         !isObjectKeyLookup(keyLookup, keys) || entries.length !== keys.length) {
         return false;
     }
+    if (catchall !== undefined && !isSchemaValueInner(catchall, state)) {
+        return false;
+    }
     const seen = [];
     for (let index = 0; index < entries.length; index += 1) {
         const entry = entries[index];

package/docs/api.md

@@ -27,6 +27,7 @@ condition.
 interface Guard<T> {
   is(value: unknown): value is T;
   check(value: unknown): CheckResult<T>;
+  checkFirst(value: unknown): CheckResult<T>;
   assert(value: unknown): asserts value is T;
   graph(): Graph;
 }
@@ -36,6 +37,7 @@ interface Guard<T> {
 | --- | --- | --- |
 | `is` | Hot boolean narrowing | Avoids diagnostic allocation on the success path. |
 | `check` | Validation with issues | Returns frozen `Result<T, Issue[]>` containers. |
+| `checkFirst` | Hot rejection diagnostics | Returns the same frozen `Result` shape, but failure contains at most one issue. Compiled and AOT guards use a dedicated first-fault collector. |
 | `assert` | Throwing integration boundaries | Throws `TypeSeaAssertionError` with copied, frozen issues. |
 | `graph` | Runtime plan introspection | Returns the validated, optimized, frozen Sea-of-Nodes graph held by the validation plan. |
 
@@ -47,14 +49,19 @@ cross the API boundary.
 
 | Family | Builders |
 | --- | --- |
-| Scalars | `t.unknown`, `t.never`, `t.string`, `t.number`, `t.bigint`, `t.symbol`, `t.boolean` |
-| Literals and containers | `t.literal(value)`, `t.array(item)`, `t.tuple([a, b])`, `t.record(value)` |
+| Scalars | `t.unknown`, `t.never`, `t.string`, `t.number`, `t.date`, `t.bigint`, `t.symbol`, `t.boolean`, `t.null`, `t.undefined`, `t.void` |
+| String checks | `.min`, `.max`, `.length`, `.nonempty`, `.regex`, `.startsWith`, `.endsWith`, `.includes`, `.uuid`, `.email`, `.url`, `.isoDate`, `.isoDateTime`, `.ulid`, `.ipv4`, `.ipv6` |
+| Number checks | `.int`, `.finite`, `.safe`, `.gte`, `.lte`, `.min`, `.max`, `.gt`, `.lt`, `.multipleOf`, `.positive`, `.nonnegative`, `.negative`, `.nonpositive` |
+| Date checks | `.min`, `.max` |
+| Literals and containers | `t.literal(value)`, `t.enum(values)`, `t.array(item)`, `t.tuple([a, b])`, `t.tuple([head], rest)`, `t.record(value)`, `t.map(key, value)`, `t.set(item)`, `t.json()` |
+| Array checks | `.min`, `.max`, `.length`, `.nonempty` |
 | Objects | `t.object(shape)`, `t.strictObject(shape)` |
-| Object transforms | `t.extend`, `t.pick`, `t.omit`, `t.partial`, and matching object guard methods |
+| Object transforms | `t.extend`, `t.safeExtend`, `t.merge`, `t.pick`, `t.omit`, `t.partial`, `t.deepPartial`, `t.required`, `t.strict`, `t.passthrough`, `t.strip`, `t.catchall`, and matching object guard methods |
+| Runtime object contracts | `t.instanceOf(Ctor)`, `t.property(base, key, value)`, `guard.property(key, value)` |
 | Composition | `t.union`, `t.discriminatedUnion`, `t.intersect`, `guard.intersect` |
-| Presence | `t.optional`, `t.undefinedable`, `t.nullable` |
+| Presence | `t.optional`, `t.undefinedable`, `t.nullable`, `t.nullish` |
 | Dynamic guards | `t.lazy`, `t.refine` |
-| Decoders | `t.decoder`, `t.transform`, `t.pipe`, `t.coerce` |
+| Decoders | `t.decoder`, `t.transform`, `t.pipe`, `t.default`, `t.defaultValue`, `t.prefault`, `t.catch`, `t.codec`, `t.coerce`, `t.string.trim()`, `t.string.toLowerCase()`, `t.string.toUpperCase()` |
 | Async decoders | `t.asyncDecoder`, `t.asyncRefine`, `t.asyncTransform`, `t.asyncPipe` |
 
 Builder functions validate inputs before a schema can enter the validation plan,
@@ -80,6 +87,8 @@ const Shape = t.object({
 - `name` may be absent. If `name` exists, its value must be a string.
 - `nickname` must be present. Its value may be a string or `undefined`.
 - `t.nullable(inner)` adds `null` to the value domain.
+- `t.nullish(inner)` combines nullable value semantics with optional object-key
+  presence.
 - Presence-preserving wrappers keep optional-key semantics through `nullable`,
   `undefinedable`, `brand`, and `refine`.
 
@@ -87,6 +96,18 @@ Object combinators preserve object mode. Strict object guards remain strict
 after `extend`, `pick`, `omit`, or `partial`; passthrough object guards keep
 allowing unknown keys.
 
+`catchall(schema)` validates every undeclared own key with `schema`.
+`strip()` is validation-only in TypeSea: guards return the original value, so it
+has the same validation behavior as `passthrough()`.
+`pick` and `omit` accept either key arrays or Zod-style `{ key: true }` masks.
+`deepPartial()` recursively partializes pure object, array, tuple, tuple rest,
+record, map, set, property, union, intersection, nullable, undefinedable,
+optional, and brand schemas. Lazy and refinement schemas are semantic barriers.
+
+`property` validates only own data descriptors. It is useful for class instances
+with stable fields; prototype getters and accessor-backed properties are rejected
+instead of executed.
+
 ## Composition
 
 `t.union(a, b)` accepts a value that satisfies at least one branch.
@@ -125,6 +146,22 @@ lazy chain must eventually resolve to a concrete non-lazy schema.
 ```ts
 const Count = t.pipe(t.coerce.number(), t.number.int().gte(0));
 const result = Count.decode("42");
+
+const Name = t.default(t.string.min(1), "anonymous");
+const NormalizedName = t.string
+  .trim()
+  .pipe(t.string.min(1))
+  .transform((value) => value.toLowerCase())
+  .default("anonymous")
+  .catch("anonymous");
+const NumberText = t.codec(
+  t.string.regex(/^\d+$/u, "digits"),
+  t.number.int().nonnegative(),
+  {
+    decode: (value) => Number(value),
+    encode: (value) => String(value)
+  }
+);
 ```
 
 Decoders are for output-producing operations. They return `Result` from
@@ -132,10 +169,16 @@ Decoders are for output-producing operations. They return `Result` from
 not be the same runtime value as the input.
 
 - `t.transform(source, mapper)` decodes `source`, then maps the decoded value.
-- `t.pipe(source, next)` feeds a successful decoded value into the next guard or
-  decoder.
+- `t.pipe(source, next)` feeds a successful decoded value into the next guard or decoder.
+- `t.default(source, value)` returns a fallback output for `undefined` input.
+- `t.prefault(source, value)` feeds a fallback input through the source.
+- `t.catch(source, value)` returns a fallback output after a failed decode.
+- `t.codec(input, output, mapping)` validates both sides of a bidirectional decode/encode pair.
 - `t.coerce.string`, `t.coerce.number`, and `t.coerce.boolean` provide explicit
   primitive coercion.
+- `t.string.trim()`, `t.string.toLowerCase()`, and `t.string.toUpperCase()`
+  are decoder helpers. They validate the string first, then return transformed
+  output from `decode()`.
 - `t.asyncRefine`, `t.asyncTransform`, and `t.asyncPipe` return
   `Promise<Result<T, Issue[]>>` from `decodeAsync()`.
 
@@ -152,14 +195,16 @@ const checked = withMessages(User.check(input), {
 });
 ```
 
-`formatIssue`, `formatIssues`, and `withMessages` render diagnostics after
-validation has finished. This keeps `is()` and ordinary `check()` paths free from
-message allocation.
+`formatIssue`, `formatIssues`, `flattenIssues`, and `withMessages` render
+diagnostics after validation has finished. This keeps `is()` and ordinary
+`check()` paths free from message allocation.
 
 Built-in locales are `en` and `ko`. Custom catalogs can use string templates
 with `{path}`, `{code}`, `{expected}`, and `{actual}`, or formatter callbacks.
 `withMessages(result, options)` preserves successful results and returns a new
 failed `Result` with copied, frozen issues whose `message` fields are populated.
+`flattenIssues(issues, options)` groups rendered messages into `formErrors` and
+top-level `fieldErrors` buckets.
 
 ## Runtime Compile
 
@@ -270,6 +315,29 @@ const resolver = toReactHookFormResolver(User);
 Adapters are structural and zero-dependency. TypeSea does not import tRPC,
 Fastify, or React Hook Form.
 
+Compiled guards can be passed to the same adapters. This is the preferred shape
+for hot request paths: compile once during startup, then let the adapter reuse
+the generated predicate.
+
+```ts
+const FastUser = compile(User);
+const fastParser = toTrpcParser(FastUser);
+const fastValidatorCompiler = toFastifyValidatorCompiler(FastUser);
+```
+
+Use the default compiled mode at public input boundaries. It keeps the safe
+descriptor-read contract even when an adapter hides the direct `is()` call. For
+trusted, already-normalized internal data, the faster modes can be wired through
+adapters the same way.
+
+```ts
+const UnsafeUser = compile(User, { mode: "unsafe" });
+const internalParser = toTrpcParser(UnsafeUser);
+
+const TrustedShapeUser = compile(User, { mode: "unchecked" });
+const internalValidatorCompiler = toFastifyValidatorCompiler(TrustedShapeUser);
+```
+
 | Adapter | Export | Behavior |
 | --- | --- | --- |
 | tRPC | `toTrpcParser`, `toAsyncTrpcParser` | Return parser objects that emit decoded values or throw `TypeSeaAssertionError`. |
@@ -314,6 +382,7 @@ Runtime-only concepts return explicit export issues:
 - `undefined`
 - `bigint`
 - `symbol`
+- JavaScript `Date`, `Map`, `Set`, `instanceOf`, and `property` contracts
 - `lazy`
 - `refine`
 - decoder transforms

package/docs/assets/benchmark-headline.svg

@@ -58,92 +58,92 @@
     <circle cx="84" cy="690" r="220" fill="#38bdf8" opacity="0.07"/>
 
     <text id="headline" x="44" y="58" class="title">TypeSea benchmark comparison</text>
-    <text x="46" y="88" class="subtitle">Local run on 2026-07-04 KST, strict-object contract, ops/sec. Higher is better.</text>
+    <text x="46" y="88" class="subtitle">Local run on 2026-07-05 KST, strict-object contract, ops/sec. Higher is better.</text>
 
     <g filter="url(#shadow)">
         <rect x="44" y="118" width="322" height="108" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="66" y="148" class="metric-label">Unchecked valid hot path</text>
-        <text x="66" y="188" class="metric-value">42.58M</text>
-        <text x="66" y="210" class="metric-sub">31.7x Zod, 10.0x Ajv</text>
+        <text x="66" y="188" class="metric-value">42.62M</text>
+        <text x="66" y="210" class="metric-sub">30.4x Zod, 10.1x Ajv</text>
 
         <rect x="399" y="118" width="322" height="108" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="421" y="148" class="metric-label">Safe invalid fast-fail</text>
-        <text x="421" y="188" class="metric-value">42.08M</text>
-        <text x="421" y="210" class="metric-sub">1.51x Ajv, 499x Zod</text>
+        <text x="421" y="188" class="metric-value">43.09M</text>
+        <text x="421" y="210" class="metric-sub">1.41x Ajv, 509x Zod</text>
 
         <rect x="754" y="118" width="322" height="108" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="776" y="148" class="metric-label">Safe valid path</text>
-        <text x="776" y="188" class="metric-value">4.30M</text>
-        <text x="776" y="210" class="metric-sub">Ajv-class while staying safe</text>
+        <text x="776" y="188" class="metric-value">5.11M</text>
+        <text x="776" y="210" class="metric-sub">1.21x Ajv while staying safe</text>
     </g>
 
     <g filter="url(#shadow)">
         <rect x="44" y="260" width="1032" height="136" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="66" y="291" class="card-title">Valid object path</text>
-        <text x="230" y="291" class="card-note">linear scale to 42.58M</text>
+        <text x="230" y="291" class="card-note">linear scale to 42.62M</text>
         <line x1="270" y1="318" x2="1010" y2="318" class="axis"/>
 
         <text x="66" y="326" class="bar-label">TypeSea unchecked</text>
         <rect x="270" y="312" width="740" height="15" rx="7.5" fill="url(#unchecked)"/>
-        <text x="1024" y="326" class="bar-value">42.58M</text>
+        <text x="1024" y="326" class="bar-value">42.62M</text>
 
         <text x="66" y="350" class="bar-label">TypeSea unsafe</text>
-        <rect x="270" y="336" width="631" height="15" rx="7.5" fill="url(#unsafe)"/>
-        <text x="915" y="350" class="bar-value">36.30M</text>
+        <rect x="270" y="336" width="639" height="15" rx="7.5" fill="url(#unsafe)"/>
+        <text x="923" y="350" class="bar-value">36.78M</text>
 
         <text x="66" y="374" class="bar-label">TypeSea safe / Ajv / Zod</text>
-        <rect x="270" y="360" width="75" height="15" rx="7.5" fill="url(#safe)"/>
-        <rect x="354" y="360" width="74" height="15" rx="7.5" fill="url(#ajv)"/>
-        <rect x="437" y="360" width="24" height="15" rx="7.5" fill="url(#valibot)"/>
-        <rect x="470" y="360" width="23" height="15" rx="7.5" fill="url(#zod)"/>
-        <text x="506" y="374" class="bar-value">safe 4.30M, Ajv 4.28M, Valibot 1.41M, Zod 1.34M</text>
+        <rect x="270" y="360" width="89" height="15" rx="7.5" fill="url(#safe)"/>
+        <rect x="368" y="360" width="74" height="15" rx="7.5" fill="url(#ajv)"/>
+        <rect x="451" y="360" width="24" height="15" rx="7.5" fill="url(#valibot)"/>
+        <rect x="484" y="360" width="24" height="15" rx="7.5" fill="url(#zod)"/>
+        <text x="522" y="374" class="bar-value">safe 5.11M, Ajv 4.24M, Valibot 1.40M, Zod 1.40M</text>
     </g>
 
     <g filter="url(#shadow)">
         <rect x="44" y="418" width="1032" height="150" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="66" y="449" class="card-title">Invalid object fast-fail</text>
-        <text x="268" y="449" class="card-note">linear scale to 50.48M</text>
+        <text x="268" y="449" class="card-note">linear scale to 50.90M</text>
         <line x1="270" y1="476" x2="1010" y2="476" class="axis"/>
 
         <text x="66" y="482" class="bar-label">TypeSea unchecked</text>
         <rect x="270" y="468" width="740" height="15" rx="7.5" fill="url(#unchecked)"/>
-        <text x="1024" y="482" class="bar-value">50.48M</text>
+        <text x="1024" y="482" class="bar-value">50.90M</text>
 
         <text x="66" y="506" class="bar-label">TypeSea unsafe</text>
-        <rect x="270" y="492" width="728" height="15" rx="7.5" fill="url(#unsafe)"/>
-        <text x="1024" y="506" class="bar-value">49.65M</text>
+        <rect x="270" y="492" width="738" height="15" rx="7.5" fill="url(#unsafe)"/>
+        <text x="1024" y="506" class="bar-value">50.74M</text>
 
         <text x="66" y="530" class="bar-label">TypeSea safe</text>
-        <rect x="270" y="516" width="617" height="15" rx="7.5" fill="url(#safe)"/>
-        <text x="902" y="530" class="bar-value">42.08M</text>
+        <rect x="270" y="516" width="627" height="15" rx="7.5" fill="url(#safe)"/>
+        <text x="912" y="530" class="bar-value">43.09M</text>
 
         <text x="66" y="554" class="bar-label">Ajv / Valibot / Zod</text>
-        <rect x="270" y="540" width="408" height="15" rx="7.5" fill="url(#ajv)"/>
-        <rect x="690" y="540" width="13" height="15" rx="7.5" fill="url(#valibot)"/>
-        <rect x="714" y="540" width="3" height="15" rx="1.5" fill="url(#zod)"/>
-        <text x="734" y="554" class="bar-value">Ajv 27.82M, Valibot 0.88M, Zod 0.08M</text>
+        <rect x="270" y="540" width="444" height="15" rx="7.5" fill="url(#ajv)"/>
+        <rect x="726" y="540" width="13" height="15" rx="7.5" fill="url(#valibot)"/>
+        <rect x="750" y="540" width="3" height="15" rx="1.5" fill="url(#zod)"/>
+        <text x="770" y="554" class="bar-value">Ajv 30.54M, Valibot 0.87M, Zod 0.08M</text>
     </g>
 
     <g filter="url(#shadow)">
         <rect x="44" y="576" width="1032" height="136" rx="18" fill="url(#panel)" stroke="#1f2937"/>
         <text x="66" y="607" class="card-title">Invalid diagnostic path</text>
-        <text x="270" y="607" class="card-note">linear scale to 28.71M; Ajv is a boolean baseline</text>
+        <text x="270" y="607" class="card-note">linear scale to 29.95M; Ajv is a boolean baseline</text>
         <line x1="270" y1="634" x2="1010" y2="634" class="axis"/>
 
         <text x="66" y="642" class="bar-label">Ajv compiled</text>
         <rect x="270" y="628" width="740" height="15" rx="7.5" fill="url(#ajv)"/>
-        <text x="1024" y="642" class="bar-value">28.71M</text>
+        <text x="1024" y="642" class="bar-value">29.95M</text>
 
         <text x="66" y="666" class="bar-label">TypeSea modes</text>
-        <rect x="270" y="652" width="95" height="15" rx="7.5" fill="url(#unchecked)"/>
+        <rect x="270" y="652" width="87" height="15" rx="7.5" fill="url(#unchecked)"/>
         <rect x="374" y="652" width="79" height="15" rx="7.5" fill="url(#unsafe)"/>
-        <rect x="462" y="652" width="54" height="15" rx="7.5" fill="url(#safe)"/>
-        <text x="532" y="666" class="bar-value">unchecked 3.67M, unsafe 3.08M, safe 2.09M</text>
+        <rect x="462" y="652" width="52" height="15" rx="7.5" fill="url(#safe)"/>
+        <text x="532" y="666" class="bar-value">unchecked 3.51M, unsafe 3.19M, safe 2.11M</text>
 
         <text x="66" y="690" class="bar-label">Valibot / Zod</text>
-        <rect x="270" y="676" width="23" height="15" rx="7.5" fill="url(#valibot)"/>
+        <rect x="270" y="676" width="20" height="15" rx="7.5" fill="url(#valibot)"/>
         <rect x="302" y="676" width="3" height="15" rx="1.5" fill="url(#zod)"/>
-        <text x="322" y="690" class="bar-value">Valibot 0.89M, Zod 0.08M</text>
+        <text x="322" y="690" class="bar-value">Valibot 0.79M, Zod 0.09M</text>
     </g>
 
     <g transform="translate(44 730)">

package/docs/engine-notes.md

@@ -154,6 +154,10 @@ still checking the original object fields on the outer frame.
 Compiled `lazy` and `refine` fallbacks use the same IR-backed runtime path, so
 recursive behavior stays consistent across execution engines.
 
+`checkFirst()` has a separate generated collector. It returns one frozen issue
+as soon as the first diagnostic is known, instead of running the full `check()`
+collector and truncating its issue array.
+
 ## JSON Schema Export
 
 JSON Schema export succeeds only when the TypeSea schema can be represented over
@@ -181,15 +185,15 @@ Zod, Valibot, and Ajv are dev dependencies for measurement only. They are not
 imported by `src`, and package policy rejects runtime, peer, optional, or
 bundled dependency fields before release.
 
-Last local benchmark on 2026-07-04 KST reported these ecosystem paths over the
+Last local benchmark on 2026-07-05 KST reported these ecosystem paths over the
 JSON-compatible strict-object benchmark:
 
 | Case | TypeSea runtime plan | TypeSea compiled safe | TypeSea compiled unsafe | TypeSea compiled unchecked | Ajv compiled |
 | --- | ---: | ---: | ---: | ---: | ---: |
-| Valid `is()` | 513,701 hz | 4,297,306 hz | 36,297,653 hz | 42,581,174 hz | 4,275,389 hz |
-| Valid `check()` | 503,232 hz | 3,903,929 hz | 35,568,425 hz | 40,084,605 hz | 4,278,587 hz |
-| Invalid `is()` | 3,636,369 hz | 42,080,241 hz | 49,654,076 hz | 50,482,732 hz | 27,820,643 hz |
-| Invalid `check()` | 420,446 hz | 2,086,129 hz | 3,077,367 hz | 3,673,508 hz | 28,713,035 hz |
+| Valid `is()` | 478,576 hz | 5,109,602 hz | 36,777,097 hz | 42,620,570 hz | 4,238,036 hz |
+| Valid `check()` | 424,989 hz | 4,642,948 hz | 37,184,199 hz | 42,487,325 hz | 4,338,063 hz |
+| Invalid `is()` | 3,325,603 hz | 43,094,061 hz | 50,738,235 hz | 50,898,012 hz | 30,535,761 hz |
+| Invalid `check()` | 405,590 hz | 2,107,460 hz | 3,186,702 hz | 3,509,673 hz | 29,951,403 hz |
 
 Benchmark numbers are machine-local telemetry. They are useful for catching
 regressions, not for promising a fixed throughput floor. Unsafe and unchecked