typesea 0.1.0 → 0.3.0

package/CHANGELOG.md

@@ -1,9 +1,88 @@
 # Changelog
 
-## 0.1.0
+All notable changes to TypeSea are recorded here.
 
-- Added the initial zero-dependency TypeSea runtime narrowing API.
-- Added interpreted, compiled, and AOT validation paths with parity coverage.
-- Added Sea-of-Nodes graph introspection and optimizer validation.
-- Added JSON Schema export, tRPC, Fastify, and React Hook Form adapters.
-- Added release gates, package surface checks, and benchmark smoke coverage.
+## 0.3.0 - 2026-07-05
+
+### Added
+
+- Added Date bounds with `t.date.min()` and `t.date.max()`.
+- Added tuple rest support with `t.tuple([head], rest)`.
+- Added `t.map`, `t.set`, `t.instanceOf`, `t.property`, `guard.property`, and
+  `t.json`.
+- Added scalar aliases `t.null`, `t.undefined`, `t.void`, and presence helper
+  `t.nullish`.
+- Added string decoder helpers `t.string.trim()`, `t.string.toLowerCase()`,
+  and `t.string.toUpperCase()`.
+
+### Changed
+
+- Hardened Date validation to use intrinsic Date reads instead of
+  user-overridable Date instance methods.
+
+## 0.2.0 - 2026-07-04
+
+Initial public release of TypeSea: a zero-runtime-dependency TypeScript runtime
+narrowing library built around immutable guards, optimized Sea-of-Nodes
+validation plans, runtime compilation, and AOT source generation.
+
+### Added
+
+- Added the `t` builder surface for scalar, object, strict object, array,
+  tuple, record, union, discriminated union, intersection, optional,
+  undefinedable, nullable, literal, brand, refine, lazy, unknown, and never
+  guards.
+- Added `is()`, `check()`, and `assert()` guard APIs with explicit Result-style
+  diagnostics and frozen public outputs.
+- Added `compile()` for runtime-generated validators and `emitAotModule()` for
+  standalone validator source.
+- Added safe, unsafe, and unchecked compile modes. Safe mode keeps hostile-input
+  descriptor semantics by default; unsafe and unchecked modes opt into
+  trusted-data FastMode codegen.
+- Added optimized Sea-of-Nodes validation plans, graph introspection, constant
+  folding, algebraic simplification, peephole optimization, and
+  validation-domain specialization for composite loops.
+- Added lossless JSON Schema export with typed issues for unsupported runtime
+  semantics.
+- Added adapters for tRPC, async tRPC-style parsers, Fastify route schemas,
+  Fastify validator compilers, and React Hook Form resolvers.
+- Added seeded parity fuzzing across runtime plan, compiled validators, AOT
+  output, sparse arrays, accessors, symbol keys, non-enumerable extras, and
+  FastMode trusted-data invariants.
+- Added release gates for source policy, docs validation, typechecking, linting,
+  tests, dist policy, public API drift, package contents, consumer smoke tests,
+  and benchmark smoke coverage.
+
+### Performance
+
+- Measured TypeSea compiled safe `is()` at `4,297,306 hz` on valid benchmark
+  objects, essentially Ajv-class throughput while keeping TypeSea's hostile
+  boundary contract.
+- Measured TypeSea compiled unsafe `is()` at `36,297,653 hz` and unchecked
+  `is()` at `42,581,174 hz` on valid benchmark objects.
+- Measured TypeSea compiled safe invalid `is()` at `42,080,241 hz`, ahead of
+  Ajv on the local strict-object benchmark run.
+- Measured TypeSea compiled safe invalid `check()` at `2,086,129 hz`, with
+  unsafe and unchecked diagnostic modes at `3,077,367 hz` and `3,673,508 hz`.
+
+### Security And Correctness
+
+- Enforced zero runtime dependencies, strict TypeScript settings, no `any`, and
+  no expected-failure exceptions through policy gates.
+- Kept safe validation getter-free by using property descriptors for hostile
+  boundary data.
+- Rejected strict-object symbol and non-enumerable extras in safe mode.
+- Fixed strict object compiled/AOT parity around own-key counting and required
+  non-enumerable properties.
+- Fixed interpreter step-budget divergence on large valid arrays by making the
+  limit configurable and parity-covered.
+- Fixed React Hook Form nested error output and Fastify validator compiler
+  route-part handling.
+- Fixed unsafe optional own-`undefined` field codegen so child guard refinements
+  cannot leak between generated branches.
+
+### Packaging
+
+- Published as ESM-only with Node.js `>=20.19`.
+- Added repository metadata, package export defaults, docs site checks, CI
+  matrices, Pages deployment workflow, and npm publish workflow support.

package/README.md

@@ -1,9 +1,13 @@
 # TypeSea
 
 [![CI](https://github.com/Feralthedogg/TypeSea/actions/workflows/ci.yml/badge.svg)](https://github.com/Feralthedogg/TypeSea/actions/workflows/ci.yml)
+[![Socket Badge](https://badge.socket.dev/npm/package/typesea/0.3.0)](https://badge.socket.dev/npm/package/typesea/0.3.0)
 [![License](https://img.shields.io/badge/license-MIT-blue.svg)](./LICENSE)
 ![TypeScript](https://img.shields.io/badge/language-TypeScript-informational)
 ![Dependencies](https://img.shields.io/badge/runtime%20deps-zero-brightgreen)
+![Tree-shakeable](https://img.shields.io/badge/tree--shakeable-yes-7CFF9B)
+![Side-effect free](https://img.shields.io/badge/side--effect%20free-yes-7CFF9B)
+![No dependencies](https://img.shields.io/badge/dependencies-none-7CFF9B)
 ![Module](https://img.shields.io/badge/module-ESM--only-orange)
 ![Node](https://img.shields.io/badge/node-%3E%3D20.19-yellowgreen)
 
@@ -11,6 +15,19 @@
 built around **immutable guards**, optimized **Sea-of-Nodes validation plans**,
 runtime compilation, and AOT source generation.
 
+## Benchmark Headline
+
+Last local benchmark on 2026-07-04 KST:
+`npm run bench -- bench/ecosystem.bench.ts --run`, strict-object contract,
+operations per second on one machine.
+
+![TypeSea benchmark comparison](./docs/assets/benchmark-headline.svg)
+
+TypeSea safe compiled validators are already in Ajv's boolean hot-path class
+while keeping descriptor-based hostile-input semantics. Unsafe and unchecked
+FastMode are the bragging-rights path for trusted normalized data: direct field
+loads, allocation-light strict-key loops, and V8-friendly monomorphic codegen.
+
 > Goal: not "probably valid", but **provably parity-tested validation** that
 > never executes user code, never throws on expected failures, and never leaks
 > mutable state across a public boundary.
@@ -76,8 +93,10 @@ import { compile, t, toJsonSchema, type Infer } from "typesea";
 
 const User = t.strictObject({
   id: t.string.uuid(),
-  age: t.number.int().gte(0),
-  role: t.union(t.literal("admin"), t.literal("user"))
+  email: t.string.email(),
+  age: t.number.int().nonnegative(),
+  role: t.enum(["admin", "user"]),
+  tags: t.array(t.string.min(1)).max(8)
 });
 
 type User = Infer<typeof User>;
@@ -101,8 +120,11 @@ const schema = toJsonSchema(User);
 ```
 
 Use `is()` for the allocation-light boolean path. Use `check()` when callers
-need immutable diagnostics. Use `compile()` or `emitAotModule()` when a stable
-schema is hot enough to deserve generated validator code.
+need the full immutable diagnostic list, or `checkFirst()` when a hot rejection
+path only needs one machine-readable issue. Use `compile()` or `emitAotModule()`
+when a stable schema is hot enough to deserve generated validator code.
+Compiled and AOT `checkFirst()` use a dedicated first-fault collector instead
+of building the full issue list and slicing it afterward.
 
 > [!CAUTION]
 > `compile()` builds the validator with `new Function`, which throws under a
@@ -110,6 +132,47 @@ schema is hot enough to deserve generated validator code.
 > environments, generate validator source ahead of time with
 > `emitAotModule()` instead.
 
+### Unsafe FastMode
+
+```ts
+const FastButLooseUser = compile(User, {
+  name: "isUserFast",
+  mode: "unsafe"
+});
+
+const FastTrustedShapeUser = compile(User, {
+  name: "isUserTrustedShape",
+  mode: "unchecked"
+});
+```
+
+`compile(..., { mode: "unsafe" })` and
+`emitAotModule(..., { mode: "unsafe" })` emit the V8-friendliest predicate
+TypeSea can generate: required object fields are read with direct bracket
+access, arrays and tuples use direct indexed loads, discriminants avoid
+descriptor reads, and strict-object extras are checked with an allocation-free
+`for...in` loop. This mode is for trusted, already-normalized data on extremely
+hot paths.
+
+The default is still `mode: "safe"`. Unsafe mode may execute getters, may accept
+prototype-backed values, and strict objects do not reject symbol or
+non-enumerable extras. Use it only when the caller owns the object graph or has
+already normalized input into plain data records. Unsafe generated predicates
+may also embed escaped static property keys directly in source so V8 can use
+ordinary property-load inline caches.
+
+`mode: "unchecked"` goes one step further: it trusts the object shape and skips
+strict extra-key loops entirely. That is the fastest path for already-owned DTOs,
+but strict objects no longer reject any extra keys.
+
+In unsafe and unchecked modes, successful compiled `check()` calls return a raw
+`{ ok: true, value }` object instead of freezing the success result. Failed
+diagnostics are still frozen. Safe mode keeps the fully frozen Result contract.
+FastMode diagnostic collectors also use the same trusted direct-read object
+shape where possible, so their issue codes can be less hostile-input-specific
+than safe mode for missing/accessor-backed fields and sparse/accessor-backed
+array or record slots. Discriminant diagnostics also read tags directly.
+
 ---
 
 ## Presence Semantics
@@ -159,29 +222,56 @@ failed check() -> schema-aware diagnostic collector
 
 ## Performance Snapshot
 
-Last local release smoke on 2026-07-04 KST, using
-`npm run release:check` on the benchmark strict-object contract. These are
-operations per second on one machine, not release guarantees.
+Last local benchmark on 2026-07-04 KST, using
+`npm run bench -- bench/ecosystem.bench.ts --run` on the benchmark strict-object
+contract. These are operations per second on one machine, not release
+guarantees.
 
 | Valid object path | hz |
 | --- | ---: |
-| TypeSea interpreted `is()` | 496,270 |
-| TypeSea compiled `is()` | 4,237,892 |
-| Zod `safeParse` | 1,363,792 |
-| Valibot `safeParse` | 1,384,892 |
-| Ajv compiled | 4,312,174 |
+| TypeSea interpreted `is()` | 513,701 |
+| TypeSea compiled safe `is()` | 4,297,306 |
+| TypeSea compiled unsafe `is()` | 36,297,653 |
+| TypeSea compiled unchecked `is()` | 42,581,174 |
+| Zod `safeParse` | 1,343,756 |
+| Valibot `safeParse` | 1,406,528 |
+| Ajv compiled | 4,275,389 |
+
+| Valid diagnostic path | hz |
+| --- | ---: |
+| TypeSea interpreted `check()` | 503,232 |
+| TypeSea compiled safe `check()` | 3,903,929 |
+| TypeSea compiled unsafe `check()` | 35,568,425 |
+| TypeSea compiled unchecked `check()` | 40,084,605 |
+| Zod `safeParse` | 1,355,014 |
+| Valibot `safeParse` | 1,378,266 |
+| Ajv compiled | 4,278,587 |
 
 | Invalid object path | hz |
 | --- | ---: |
-| TypeSea interpreted `is()` | 3,422,416 |
-| TypeSea compiled `is()` | 27,125,445 |
-| Zod `safeParse` | 83,501 |
-| Valibot `safeParse` | 902,616 |
-| Ajv compiled | 28,953,501 |
-
-The compiled path stays close to Ajv while retaining TypeSea semantics:
-descriptor-based property reads, symbol/non-enumerable strict-key rejection,
-presence semantics, immutable diagnostics, and TypeScript guard inference.
+| TypeSea interpreted `is()` | 3,636,369 |
+| TypeSea compiled safe `is()` | 42,080,241 |
+| TypeSea compiled unsafe `is()` | 49,654,076 |
+| TypeSea compiled unchecked `is()` | 50,482,732 |
+| Zod `safeParse` | 84,272 |
+| Valibot `safeParse` | 878,521 |
+| Ajv compiled | 27,820,643 |
+
+| Invalid diagnostic path | hz |
+| --- | ---: |
+| TypeSea interpreted `check()` | 420,446 |
+| TypeSea compiled safe `check()` | 2,086,129 |
+| TypeSea compiled unsafe `check()` | 3,077,367 |
+| TypeSea compiled unchecked `check()` | 3,673,508 |
+| Zod `safeParse` | 79,613 |
+| Valibot `safeParse` | 887,991 |
+| Ajv compiled | 28,713,035 |
+
+The safe compiled path stays close to Ajv while retaining TypeSea hostile-input
+semantics: descriptor-based property reads, symbol/non-enumerable strict-key
+rejection, presence semantics, immutable diagnostics, and TypeScript guard
+inference. Unsafe and unchecked compiled modes are faster because they
+deliberately give up parts of that hostile-input contract.
 
 ---
 
@@ -194,37 +284,57 @@ grouped under the `t` table.
 
 | Area | Entry points |
 | --- | --- |
-| Scalar guards | `t.unknown`, `t.never`, `t.string`, `t.number`, `t.bigint`, `t.symbol`, `t.boolean` |
-| Literal and containers | `t.literal`, `t.array`, `t.tuple`, `t.record` |
-| Objects | `t.object`, `t.strictObject`, `extend`, `pick`, `omit`, `partial` |
+| Scalar guards | `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` |
+| Literal and containers | `t.literal`, `t.enum`, `t.array`, `t.tuple`, tuple rest, `t.record`, `t.map`, `t.set`, `t.json` |
+| Array checks | `.min`, `.max`, `.length`, `.nonempty` |
+| Objects | `t.object`, `t.strictObject`, `extend`, `safeExtend`, `merge`, `pick`, `omit`, `partial`, `deepPartial`, `required`, `strict`, `passthrough`, `strip`, `catchall` |
+| Runtime object contracts | `t.instanceOf`, `t.property`, `guard.property` |
 | Composition | `t.union`, `t.discriminatedUnion`, `t.intersect`, `guard.intersect` |
-| Presence wrappers | `t.optional`, `t.undefinedable`, `t.nullable` |
+| Presence wrappers | `t.optional`, `t.undefinedable`, `t.nullable`, `t.nullish` |
 | Dynamic contracts | `t.lazy`, `t.refine` |
 
 ### Decoders
 
 | Area | Entry points |
 | --- | --- |
-| Sync decoders | `t.decoder`, `t.transform`, `t.pipe`, `t.coerce` |
+| Sync 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` |
 
 ### Execution & Export
 
 | Area | Entry points |
 | --- | --- |
-| Guard methods | `guard.is()`, `guard.check()`, `guard.graph()` |
+| Guard methods | `guard.is()`, `guard.check()`, `guard.checkFirst()`, `guard.graph()` |
 | Generated validators | `compile`, `emitAotModule` |
 | JSON Schema | `toJsonSchema` |
+| Messages | `formatIssue`, `formatIssues`, `flattenIssues`, `withMessages` |
 
 ### Messages & Adapters
 
 | Area | Entry points |
 | --- | --- |
-| Messages / i18n | `formatIssue`, `formatIssues`, `withMessages`, `defineMessages` |
+| Messages / i18n | `formatIssue`, `formatIssues`, `flattenIssues`, `withMessages`, `defineMessages` |
 | tRPC | `toTrpcParser`, `toAsyncTrpcParser` |
 | Fastify | `toFastifyRouteSchema`, `toFastifyValidatorCompiler` |
 | React Hook Form | `toReactHookFormResolver` |
 
+Adapters accept compiled guards too. Compile once at startup, then pass the
+compiled guard into parser or validator-compiler adapters so framework hot paths
+reuse the generated predicate.
+
+```ts
+const FastUser = compile(User);
+const trpcParser = toTrpcParser(FastUser);
+const fastifyCompiler = toFastifyValidatorCompiler(FastUser);
+
+// Trusted normalized data only: trades hostile-input hardening for direct reads.
+const UnsafeUser = compile(User, { mode: "unsafe" });
+const internalParser = toTrpcParser(UnsafeUser);
+```
+
 > [!TIP]
 > Match the inference alias to the source kind: `Infer<>` for guards,
 > `InferDecoder<>` for decoders, `InferAsyncDecoder<>` for async decoders.
@@ -245,6 +355,11 @@ Deliberate, documented, and pinned by tests:
 | `__proto__`, `constructor` keys | validated as plain own keys, no pollution |
 | Sparse array holes | read as `undefined` without executing accessors |
 | Strict object extras | rejected via `Reflect.ownKeys` — including symbol keys and non-enumerable properties |
+| `catchall` extras | unknown own keys are descriptor-read and validated by the catchall schema |
+| `strip()` | validation-only alias for accepting extras; TypeSea does not clone stripped output |
+| `t.date` | accepts valid JavaScript `Date` objects; `.min` and `.max` compare epoch milliseconds without reading user-overridable Date methods |
+| `t.map`, `t.set`, `t.instanceOf` | runtime-only contracts; JSON Schema and AOT export reject them instead of weakening semantics |
+| `property` | validates own data properties only; getter-backed properties are rejected |
 | Global-flag regexes | cloned at construction; `lastIndex` reset before every test |
 | UUID | accepts RFC 9562 versions 1–8 plus the nil UUID |
 | Cyclic input values | validate finitely via (value × schema) active-pair tracking |

package/dist/adapters/index.d.ts

@@ -6,30 +6,42 @@ import type { Result } from "../result/index.js";
 import { type JsonSchema, type JsonSchemaDialect, type JsonSchemaExportIssue } from "../json-schema/index.js";
 /**
  * @brief sync adapter source.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type SyncAdapterSource = DecodeSource;
 /**
  * @brief infer sync adapter.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type InferSyncAdapter<TSource> = InferDecoder<TSource>;
 /**
  * @brief infer adapter.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type InferAdapter<TSource> = InferAsyncDecoder<TSource>;
 /**
  * @brief trpc parser.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface TrpcParser<TValue> {
     readonly parse: (value: unknown) => TValue;
 }
 /**
  * @brief async trpc parser.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface AsyncTrpcParser<TValue> {
     readonly parseAsync: (value: unknown) => Promise<TValue>;
 }
 /**
  * @brief fastify route schema.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface FastifyRouteSchema {
     readonly body?: JsonSchema;
@@ -40,28 +52,34 @@ export interface FastifyRouteSchema {
 }
 /**
  * @brief fastify http part.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type FastifyHttpPart = "body" | "querystring" | "params" | "headers";
 /**
  * @brief fastify route schema options.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface FastifyRouteSchemaOptions {
     readonly part: FastifyHttpPart;
     /**
-     * @brief schema id.
-     * @details Forwards a concrete `$schema` marker to the JSON Schema exporter.
-     * @invariant When omitted, TypeSea emits its conservative default dialect marker.
-     */
+   * @brief schema id.
+   * @details Forwards a concrete `$schema` marker to the JSON Schema exporter.
+   * @invariant When omitted, TypeSea emits its conservative default dialect marker.
+   */
     readonly schemaId?: string;
     /**
-     * @brief dialect.
-     * @details Selects the JSON Schema keyword set used by generated route schemas.
-     * @invariant Tuple schemas remain validator-visible for the selected dialect.
-     */
+   * @brief dialect.
+   * @details Selects the JSON Schema keyword set used by generated route schemas.
+   * @invariant Tuple schemas remain validator-visible for the selected dialect.
+   */
     readonly dialect?: JsonSchemaDialect;
 }
 /**
  * @brief fastify validator route.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface FastifyValidatorRoute {
     readonly schema: unknown;
@@ -71,6 +89,8 @@ export interface FastifyValidatorRoute {
 }
 /**
  * @brief fastify validation result.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type FastifyValidationResult = {
     readonly value: unknown;
@@ -79,10 +99,14 @@ export type FastifyValidationResult = {
 };
 /**
  * @brief fastify validator.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type FastifyValidator = (value: unknown) => FastifyValidationResult;
 /**
  * @brief fastify validator compiler.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type FastifyValidatorCompiler = (route: FastifyValidatorRoute) => FastifyValidator;
 /**
@@ -99,6 +123,8 @@ export type FastifyValidatorCompilerSourceMap = Readonly<Partial<Record<FastifyH
 export type FastifyValidatorCompilerSource = SyncAdapterSource | FastifyValidatorCompilerSourceMap;
 /**
  * @brief react hook form field error.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface ReactHookFormFieldError {
     readonly type: string;
@@ -114,6 +140,8 @@ export interface ReactHookFormErrors {
 }
 /**
  * @brief react hook form resolver result.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface ReactHookFormResolverResult<TValue> {
     readonly values: TValue | Readonly<Record<string, never>>;
@@ -121,32 +149,46 @@ export interface ReactHookFormResolverResult<TValue> {
 }
 /**
  * @brief react hook form resolver.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export type ReactHookFormResolver<TValue> = (values: unknown, context: unknown, options: unknown) => Promise<ReactHookFormResolverResult<TValue>>;
 /**
  * @brief react hook form resolver options.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export interface ReactHookFormResolverOptions {
     readonly messages: Partial<IssueMessageOptions> | undefined;
 }
 /**
  * @brief to trpc parser.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export declare function toTrpcParser<TSource extends SyncAdapterSource>(source: TSource): TrpcParser<InferSyncAdapter<TSource>>;
 /**
  * @brief to async trpc parser.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export declare function toAsyncTrpcParser<TSource extends AsyncDecodeSource>(source: TSource): AsyncTrpcParser<InferAdapter<TSource>>;
 /**
  * @brief to fastify route schema.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export declare function toFastifyRouteSchema(guard: Guard<unknown, Presence>, options?: Partial<FastifyRouteSchemaOptions>): Result<FastifyRouteSchema, readonly JsonSchemaExportIssue[]>;
 /**
  * @brief to fastify validator compiler.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export declare function toFastifyValidatorCompiler(source: FastifyValidatorCompilerSource): FastifyValidatorCompiler;
 /**
  * @brief to react hook form resolver.
+ * @details Adapter shapes stay local so TypeSea diagnostics can be translated without
+ * adding framework dependencies.
  */
 export declare function toReactHookFormResolver<TSource extends AsyncDecodeSource>(source: TSource, options?: Partial<ReactHookFormResolverOptions>): ReactHookFormResolver<InferAdapter<TSource>>;
 //# sourceMappingURL=index.d.ts.map

package/dist/adapters/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/adapters/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,iBAAiB,EAEtB,KAAK,iBAAiB,EAEvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,KAAK,KAAK,EACV,KAAK,QAAQ,EACd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC3B,MAAM,yBAAyB,CAAC;AAGjC;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,YAAY,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,MAAM;IAChC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,MAAM;IACrC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC1D;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC1D;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,aAAa,GACb,QAAQ,GACR,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAE/B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;CAAE,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,uBAAuB,CAAC;AAE3E;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG,CACrC,KAAK,EAAE,qBAAqB,KACzB,gBAAgB,CAAC;AAEtB;;;;GAIG;AACH,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CACtD,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,8BAA8B,GACtC,iBAAiB,GACjB,iCAAiC,CAAC;AAEtC;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,uBAAuB,GAAG,mBAAmB,CAAC;CACvE;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B,CAAC,MAAM;IACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,IAAI,CAC1C,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,KACb,OAAO,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAC;CAC7D;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,SAAS,iBAAiB,EAC5D,MAAM,EAAE,OAAO,GACd,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAWvC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,SAAS,iBAAiB,EACjE,MAAM,EAAE,OAAO,GACd,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAWxC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAC3C,MAAM,CAAC,kBAAkB,EAAE,SAAS,qBAAqB,EAAE,CAAC,CAY9D;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,8BAA8B,GACrC,wBAAwB,CAgB1B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,SAAS,iBAAiB,EACvE,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,OAAO,CAAC,4BAA4B,CAAC,GAC9C,qBAAqB,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAkB9C"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/adapters/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,iBAAiB,EAEtB,KAAK,iBAAiB,EAEzB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACH,KAAK,YAAY,EACjB,KAAK,YAAY,EAEpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACH,qBAAqB,EACrB,KAAK,KAAK,EACV,KAAK,QAAQ,EAChB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAEH,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC7B,MAAM,yBAAyB,CAAC;AAGjC;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,YAAY,CAAC;AAE7C;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;AAE/D;;;;GAIG;AACH,MAAM,WAAW,UAAU,CAAC,MAAM;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC;CAC9C;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,MAAM;IACnC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC5D;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC5D;AAED;;;;GAIG;AACH,MAAM,MAAM,eAAe,GACrB,MAAM,GACN,aAAa,GACb,QAAQ,GACR,SAAS,CAAC;AAEhB;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACtC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAE/B;;;;KAIC;IACD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B;;;;KAIC;IACD,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,MAAM,uBAAuB,GAC7B;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;CAAE,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,uBAAuB,CAAC;AAE3E;;;;GAIG;AACH,MAAM,MAAM,wBAAwB,GAAG,CACnC,KAAK,EAAE,qBAAqB,KAC3B,gBAAgB,CAAC;AAEtB;;;;GAIG;AACH,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CACpD,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CACtD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,8BAA8B,GACpC,iBAAiB,GACjB,iCAAiC,CAAC;AAMxC;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,uBAAuB,GAAG,mBAAmB,CAAC;CACzE;AAED;;;;GAIG;AACH,MAAM,WAAW,2BAA2B,CAAC,MAAM;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,IAAI,CACxC,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,KACf,OAAO,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IACzC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAC;CAC/D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,SAAS,iBAAiB,EAC1D,MAAM,EAAE,OAAO,GAChB,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAWvC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,SAAS,iBAAiB,EAC/D,MAAM,EAAE,OAAO,GAChB,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAWxC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAC7C,MAAM,CAAC,kBAAkB,EAAE,SAAS,qBAAqB,EAAE,CAAC,CAY9D;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,8BAA8B,GACvC,wBAAwB,CAgB1B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,SAAS,iBAAiB,EACrE,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,OAAO,CAAC,4BAA4B,CAAC,GAChD,qBAAqB,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAkB9C"}