@yuhere/js-jsonrpc2 2.1.10 → 2.1.11

package/dist/schema/json/primitives.d.ts

@@ -12,6 +12,13 @@ export type SchemaKind = string;
 export interface SchemaDescription {
     kind: SchemaKind;
     description?: string;
+    /**
+     * 该值是否允许为 null。
+     *
+     * 唯一真相来源：由 `NullableSchema` 及其子类通过 `.nullable(bool)` 设置，
+     * `UnknownSchema` / `NullSchema` 不使用该字段（它们本身就接受 null）。
+     * `kind` 永远表示值的真实形状，不会被 nullability 污染。
+     */
     nullable?: boolean;
     constraints?: Record<string, unknown>;
     children?: Record<string, unknown>;
@@ -21,10 +28,11 @@ export declare class SchemaValidationError extends Error {
     constructor(message: string, path?: string[]);
 }
 /**
- * 所有 Schema 的共同基类。
+ * 所有 Schema 的抽象基类。
  *
- * 不包含 nullable()，因此 UnknownSchema 可以天然接受 null，
- * 同时不会暴露无意义的 nullable() 方法。
+ * 只负责 description 与描述输出；nullability 由 `NullableSchema` 提供。
+ * `UnknownSchema` / `NullSchema` 直接继承本类——它们天然接受 null，
+ * 不需要 `.nullable()`。
  */
 export declare abstract class Schema<T> {
     abstract readonly kind: SchemaKind;
@@ -33,7 +41,6 @@ export declare abstract class Schema<T> {
     describe(description: string): this;
     /**
      * 创建保留原型和现有字段的新实例，供不可变链式方法使用。
-     * Schema 子类的状态字段会一并复制，因此扩展类仍保留自身原型和状态。
      */
     protected cloneWith(updates: Record<string, unknown>): this;
     getDescription(): string | undefined;
@@ -51,62 +58,67 @@ export declare abstract class Schema<T> {
     protected fail(message: string, path: string[]): never;
 }
 /**
- * 普通 JSON Schema 的基类。
- * 通过 nullable() 显式接受 null。
- */
-export declare abstract class NullableCapableSchema<T> extends Schema<T> {
-    nullable(): NullableSchema<T>;
-}
-/**
- * nullable 包装器。
+ * 支持 nullability 的 Schema 基类。
+ *
+ * 除 `UnknownSchema` / `NullSchema` 外的所有具体 Schema 都继承本类。
+ *
+ * - `nullable()` / `nullable(true)`  → 允许 null
+ * - `nullable(false)`                → 不允许 null（撤销之前的标记）
  *
- * 注意：NullableSchema 不提供 nullable()，
- * 避免无意义的重复 nullable 调用。
+ * `_parse` 在调用子类 `_parseValue` 前统一做 null 短路；
+ * `toJSON()` 在基类输出上附加 `nullable: true`。
  */
-export declare class NullableSchema<T> extends Schema<T | null> {
-    private readonly inner;
-    readonly kind: "nullable";
-    constructor(inner: Schema<T>);
+export declare abstract class NullableSchema<T> extends Schema<T | null> {
+    private _nullable;
+    nullable(value?: boolean): this;
+    isNullable(): boolean;
     protected _parse(input: unknown, path: string[]): T | null;
-    protected _describe(): SchemaDescription;
+    protected abstract _parseValue(input: unknown, path: string[]): T;
+    toJSON(): SchemaDescription;
 }
-export declare class StringSchema<K extends string = "string"> extends NullableCapableSchema<string> {
+export declare class StringSchema<K extends string = "string"> extends NullableSchema<string> {
     readonly kind: K;
     constructor();
     private minimum?;
     private maximum?;
     min(value: number): this;
     max(value: number): this;
-    protected _parse(input: unknown, path: string[]): string;
+    protected _parseValue(input: unknown, path: string[]): string;
     protected _describe(): SchemaDescription;
     protected validateBound(value: number): void;
 }
-export declare class NumberSchema extends NullableCapableSchema<number> {
+export declare class NumberSchema extends NullableSchema<number> {
     readonly kind: "number";
     constructor();
     private minimum?;
     private maximum?;
     min(value: number): this;
     max(value: number): this;
-    protected _parse(input: unknown, path: string[]): number;
+    protected _parseValue(input: unknown, path: string[]): number;
     protected _describe(): SchemaDescription;
     protected validateBound(value: number): void;
 }
-export declare class BooleanSchema extends NullableCapableSchema<boolean> {
+export declare class BooleanSchema extends NullableSchema<boolean> {
     readonly kind: "boolean";
     constructor();
-    protected _parse(input: unknown, path: string[]): boolean;
+    protected _parseValue(input: unknown, path: string[]): boolean;
     protected _describe(): SchemaDescription;
 }
-export type LiteralValue = string | number | boolean | null;
-export declare class LiteralSchema<const T extends LiteralValue> extends NullableCapableSchema<T> {
+/**
+ * 字面量只支持 string / number / boolean。
+ *
+ * null 由 `s.null()` 表达；需要「该字面量或 null」时，对字面量调用
+ * `.nullable()`。`literal(null)` 会抛 TypeError。
+ */
+export type LiteralValue = string | number | boolean;
+export declare class LiteralSchema<const T extends LiteralValue> extends NullableSchema<T> {
     private readonly expected;
     readonly kind: "literal";
     constructor(expected: T);
-    protected _parse(input: unknown, path: string[]): T;
+    protected _parseValue(input: unknown, path: string[]): T;
     protected _describe(): SchemaDescription;
 }
-export declare class ArraySchema<T> extends NullableCapableSchema<T[]> {
+export declare class ArraySchema<T> extends NullableSchema<T[]> {
     private readonly itemSchema;
     readonly kind: "array";
     private minimum?;
@@ -114,7 +126,7 @@ export declare class ArraySchema<T> extends NullableCapableSchema<T[]> {
     constructor(itemSchema: Schema<T>);
     min(value: number): this;
     max(value: number): this;
-    protected _parse(input: unknown, path: string[]): T[];
+    protected _parseValue(input: unknown, path: string[]): T[];
     protected _describe(): SchemaDescription;
     protected validateBound(value: number): void;
 }
@@ -126,7 +138,7 @@ type ShapeOutput<S extends ObjectShape> = {
 type OptionalShapeOutput<S extends ObjectShape> = {
     [K in keyof S]?: SchemaValue<S[K]>;
 };
-export declare class ObjectSchema<S extends ObjectShape, Strict extends boolean = false> extends NullableCapableSchema<Strict extends true ? ShapeOutput<S> : OptionalShapeOutput<S>> {
+export declare class ObjectSchema<S extends ObjectShape, Strict extends boolean = false> extends NullableSchema<Strict extends true ? ShapeOutput<S> : OptionalShapeOutput<S>> {
     private readonly shape;
     readonly kind: "object";
     private isStrict;
@@ -135,10 +147,10 @@ export declare class ObjectSchema<S extends ObjectShape, Strict extends boolean
      * strict() 要求所有声明属性存在，并拒绝未声明属性。
      */
     strict(): ObjectSchema<S, true>;
-    protected _parse(input: unknown, path: string[]): Strict extends true ? ShapeOutput<S> : OptionalShapeOutput<S>;
+    protected _parseValue(input: unknown, path: string[]): Strict extends true ? ShapeOutput<S> : OptionalShapeOutput<S>;
     protected _describe(): SchemaDescription;
 }
-export declare class RecordSchema<T> extends NullableCapableSchema<Record<string, T>> {
+export declare class RecordSchema<T> extends NullableSchema<Record<string, T>> {
     private readonly valueSchema;
     readonly kind: "record";
     private minimum?;
@@ -146,37 +158,51 @@ export declare class RecordSchema<T> extends NullableCapableSchema<Record<string
     constructor(valueSchema: Schema<T>);
     min(value: number): this;
     max(value: number): this;
-    protected _parse(input: unknown, path: string[]): Record<string, T>;
+    protected _parseValue(input: unknown, path: string[]): Record<string, T>;
     protected _describe(): SchemaDescription;
     protected validateBound(value: number): void;
 }
-export declare class UnionSchema<const S extends readonly [Schema<unknown>, ...Schema<unknown>[]]> extends NullableCapableSchema<SchemaValue<S[number]>> {
-    private readonly schemas;
+/**
+ * 联合。
+ *
+ * 传入的 member schemas 会被 clone 并 `nullable(false)`——因为「某个
+ * 分支允许 null」这件事在 union 层面没有意义：null 是否允许应通过
+ * `union(...).nullable()` 统一表达。
+ */
+export declare class UnionSchema<const S extends readonly [Schema<unknown>, ...Schema<unknown>[]]> extends NullableSchema<SchemaValue<S[number]>> {
     readonly kind: "union";
+    private readonly options;
     constructor(schemas: S);
-    protected _parse(input: unknown, path: string[]): SchemaValue<S[number]>;
+    protected _parseValue(input: unknown, path: string[]): SchemaValue<S[number]>;
     protected _describe(): SchemaDescription;
 }
-export declare class TupleSchema<const S extends readonly [Schema<unknown>, ...Schema<unknown>[]]> extends NullableCapableSchema<SchemaValue<S[number]>[]> {
+export declare class TupleSchema<const S extends readonly [Schema<unknown>, ...Schema<unknown>[]]> extends NullableSchema<SchemaValue<S[number]>[]> {
     private readonly schemas;
     readonly kind: "tuple";
     constructor(schemas: S);
-    protected _parse(input: unknown, path: string[]): SchemaValue<S[number]>[];
+    protected _parseValue(input: unknown, path: string[]): SchemaValue<S[number]>[];
     protected _describe(): SchemaDescription;
 }
-export declare class EnumSchema<const T extends readonly [string, ...string[]]> extends NullableCapableSchema<T[number]> {
+/**
+ * 字符串枚举。
+ *
+ * 继承 `NullableSchema`，因此可以 `s.enum([...]).nullable()`；
+ * 它不包含嵌套 schema，所以不需要像 union 那样处理成员 nullability。
+ */
+export declare class EnumSchema<const T extends readonly [string, ...string[]]> extends NullableSchema<T[number]> {
     private readonly values;
     readonly kind: "enum";
     private readonly allowedValues;
     constructor(values: T);
-    protected _parse(input: unknown, path: string[]): T[number];
+    protected _parseValue(input: unknown, path: string[]): T[number];
     protected _describe(): SchemaDescription;
 }
 /**
  * 校验任意 JSON 值。
  *
  * 不允许 undefined、非有限数字、循环引用等非 JSON 数据。
- * UnknownSchema 不提供 nullable()，因为 null 本身就是合法值。
+ * null 本身就在接受范围内，因此不继承 `NullableSchema`，也不提供
+ * `.nullable()`——那是冗余的。
  */
 export declare class UnknownSchema extends Schema<JSONValue> {
     readonly kind: "unknown";
@@ -184,6 +210,18 @@ export declare class UnknownSchema extends Schema<JSONValue> {
     protected _parse(input: unknown, path: string[]): JSONValue;
     protected _describe(): SchemaDescription;
 }
+/**
+ * 精确的 null 值。
+ *
+ * 与 `UnknownSchema` 一样天然表达 null，不需要 `.nullable()`。
+ * 想表达「某类型或 null」用 `.nullable()`；想表达「就是 null」用 `s.null()`。
+ */
+export declare class NullSchema extends Schema<null> {
+    readonly kind: "null";
+    constructor();
+    protected _parse(input: unknown, path: string[]): null;
+    protected _describe(): SchemaDescription;
+}
 export type Infer<T extends Schema<unknown>> = T extends Schema<infer U> ? U : never;
 export declare const primitives: {
     string: () => StringSchema<"string">;
@@ -197,6 +235,7 @@ export declare const primitives: {
     tuple: <const S extends readonly [Schema<unknown>, ...Schema<unknown>[]]>(schemas: S) => TupleSchema<S>;
     enum: <const T extends readonly [string, ...string[]]>(values: T) => EnumSchema<T>;
     unknown: () => UnknownSchema;
+    null: () => NullSchema;
 };
 export {};
 //# sourceMappingURL=primitives.d.ts.map

package/dist/schema/json/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/schema/json/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE7D,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,qBAAa,qBAAsB,SAAQ,KAAK;aAG5B,IAAI,EAAE,MAAM,EAAE;IAFhC,YACE,OAAO,EAAE,MAAM,EACC,IAAI,GAAE,MAAM,EAAO,EAIpC;CACF;AAED;;;;;GAKG;AACH,8BAAsB,MAAM,CAAC,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAEnC,OAAO,CAAC,WAAW,CAAC,CAAqB;IAEzC,YAAY,WAAW,CAAC,EAAE,MAAM,EAE/B;IAED,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAElC;IAED;;;OAGG;IACH,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAO1D;IAED,cAAc,IAAI,MAAM,GAAG,SAAS,CAEnC;IAED,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,CAAC,CAEvB;IAED,SAAS,CACP,KAAK,EAAE,OAAO,GAEZ;QAAE,OAAO,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,CAAC,CAAA;KAAE,GAC1B;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,EAAE,qBAAqB,CAAA;KAAE,CAUnD;IAED,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAE7D,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,iBAAiB,CAAC;IAElD,MAAM,IAAI,iBAAiB,CAS1B;IAED,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAErD;CACF;AAED;;;GAGG;AACH,8BAAsB,qBAAqB,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IAC9D,QAAQ,IAAI,cAAc,CAAC,CAAC,CAAC,CAE5B;CACF;AAED;;;;;GAKG;AACH,qBAAa,cAAc,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;IAGzC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAFlC,QAAQ,CAAC,IAAI,EAAG,UAAU,CAAU;IAEpC,YAA6B,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAE5C;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAiBzD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAMvC;CACF;AAED,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAE,SAAQ,qBAAqB,CAAC,MAAM,CAAC;IAC1F,QAAQ,CAAC,IAAI,EAAe,CAAC,CAAC;IAE9B,cAEC;IAED,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAcvD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAQvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,qBAAa,YAAa,SAAQ,qBAAqB,CAAC,MAAM,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,cAEC;IAED,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAcvD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAQvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,qBAAa,aAAc,SAAQ,qBAAqB,CAAC,OAAO,CAAC;IAC/D,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,cAEC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAMxD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAEvC;CACF;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE5D,qBAAa,aAAa,CACxB,KAAK,CAAC,CAAC,SAAS,YAAY,CAC5B,SAAQ,qBAAqB,CAAC,CAAC,CAAC;IAGpB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAFrC,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,YAA6B,QAAQ,EAAE,CAAC,EAUvC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAQlD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAKvC;CACF;AAED,qBAAa,WAAW,CAAC,CAAC,CAAE,SAAQ,qBAAqB,CAAC,CAAC,EAAE,CAAC;IAMhD,OAAO,CAAC,QAAQ,CAAC,UAAU;IALvC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,YAA6B,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAEjD;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CA2BpD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CASvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1D,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5D,KAAK,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClC,CAAC;AAEF,KAAK,mBAAmB,CAAC,CAAC,SAAS,WAAW,IAAI;KAC/C,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACnC,CAAC;AAEF,qBAAa,YAAY,CACvB,CAAC,SAAS,WAAW,EACrB,MAAM,SAAS,OAAO,GAAG,KAAK,CAC9B,SAAQ,qBAAqB,CAC7B,MAAM,SAAS,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAC9D;IAMG,OAAO,CAAC,QAAQ,CAAC,KAAK;IALxB,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,OAAO,CAAC,QAAQ,CAAU;IAE1B,YACmB,KAAK,EAAE,CAAC,EACzB,MAAM,GAAE,MAAwB,EAChC,WAAW,CAAC,EAAE,MAAM,EAIrB;IAED;;OAEG;IACH,MAAM,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAE9B;IAED,SAAS,CAAC,MAAM,CACd,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EAAE,GACb,MAAM,SAAS,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAwD/D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAavC;CACF;AAED,qBAAa,YAAY,CAAC,CAAC,CAAE,SAAQ,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAM/D,OAAO,CAAC,QAAQ,CAAC,WAAW;IALxC,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,YAA6B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,EAElD;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAqClE;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CASvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,qBAAa,WAAW,CACtB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAChE,SAAQ,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAGzC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,YAA6B,OAAO,EAAE,CAAC,EAMtC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAmBvE;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAOvC;CACF;AAED,qBAAa,WAAW,CACtB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAChE,SAAQ,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAG3C,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,YAA6B,OAAO,EAAE,CAAC,EAKtC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAyBzE;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAOvC;CACF;AAED,qBAAa,UAAU,CACrB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAC9C,SAAQ,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAK5B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJnC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;IAEhC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAc;IAE5C,YAA6B,MAAM,EAAE,CAAC,EAGrC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAS1D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAKvC;CACF;AAED;;;;;GAKG;AACH,qBAAa,aAAc,SAAQ,MAAM,CAAC,SAAS,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,cAEC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAG1D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAEvC;CACF;AAwED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErF,eAAO,MAAM,UAAU;IACrB,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,YAAY,SAAS,CAAC;IAEhD,KAAK,GAAG,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC;IAC1B,MAAM,GAAG,CAAC,SAAS,WAAW,SAAS,CAAC;IACxC,MAAM,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC;IAC5B,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAC7D,CAAC;IAEZ,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAC7D,CAAC;IAEZ,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,UAAU,CAAC;IAEhE,OAAO;CACR,CAAC"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/schema/json/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE7D,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,qBAAa,qBAAsB,SAAQ,KAAK;aAG5B,IAAI,EAAE,MAAM,EAAE;IAFhC,YACE,OAAO,EAAE,MAAM,EACC,IAAI,GAAE,MAAM,EAAO,EAIpC;CACF;AAED;;;;;;GAMG;AACH,8BAAsB,MAAM,CAAC,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAEnC,OAAO,CAAC,WAAW,CAAC,CAAqB;IAEzC,YAAY,WAAW,CAAC,EAAE,MAAM,EAE/B;IAED,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAElC;IAED;;OAEG;IACH,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAO1D;IAED,cAAc,IAAI,MAAM,GAAG,SAAS,CAEnC;IAED,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,CAAC,CAEvB;IAED,SAAS,CACP,KAAK,EAAE,OAAO,GAEZ;QAAE,OAAO,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,CAAC,CAAA;KAAE,GAC1B;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,EAAE,qBAAqB,CAAA;KAAE,CAUnD;IAED,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAE7D,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,iBAAiB,CAAC;IAElD,MAAM,IAAI,iBAAiB,CAS1B;IAED,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAErD;CACF;AAED;;;;;;;;;;GAUG;AACH,8BAAsB,cAAc,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;IAC9D,OAAO,CAAC,SAAS,CAAkB;IAEnC,QAAQ,CAAC,KAAK,GAAE,OAAc,GAAG,IAAI,CAEpC;IAED,UAAU,IAAI,OAAO,CAEpB;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAKzD;IAED,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAEzD,MAAM,IAAI,iBAAiB,CAMnC;CACF;AAED,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAE,SAAQ,cAAc,CAAC,MAAM,CAAC;IACnF,QAAQ,CAAC,IAAI,EAAe,CAAC,CAAC;IAE9B,cAEC;IAED,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAc5D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAQvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,qBAAa,YAAa,SAAQ,cAAc,CAAC,MAAM,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,cAEC;IAED,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAc5D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAQvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,qBAAa,aAAc,SAAQ,cAAc,CAAC,OAAO,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,cAEC;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAM7D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAEvC;CACF;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAErD,qBAAa,aAAa,CACxB,KAAK,CAAC,CAAC,SAAS,YAAY,CAC5B,SAAQ,cAAc,CAAC,CAAC,CAAC;IAGb,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAFrC,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,YAA6B,QAAQ,EAAE,CAAC,EAavC;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAQvD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAKvC;CACF;AAED,qBAAa,WAAW,CAAC,CAAC,CAAE,SAAQ,cAAc,CAAC,CAAC,EAAE,CAAC;IAMzC,OAAO,CAAC,QAAQ,CAAC,UAAU;IALvC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,YAA6B,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAEjD;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CA2BzD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CASvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1D,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5D,KAAK,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClC,CAAC;AAEF,KAAK,mBAAmB,CAAC,CAAC,SAAS,WAAW,IAAI;KAC/C,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACnC,CAAC;AAEF,qBAAa,YAAY,CACvB,CAAC,SAAS,WAAW,EACrB,MAAM,SAAS,OAAO,GAAG,KAAK,CAC9B,SAAQ,cAAc,CACtB,MAAM,SAAS,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAC9D;IAMG,OAAO,CAAC,QAAQ,CAAC,KAAK;IALxB,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,OAAO,CAAC,QAAQ,CAAU;IAE1B,YACmB,KAAK,EAAE,CAAC,EACzB,MAAM,GAAE,MAAwB,EAChC,WAAW,CAAC,EAAE,MAAM,EAIrB;IAED;;OAEG;IACH,MAAM,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAE9B;IAED,SAAS,CAAC,WAAW,CACnB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EAAE,GACb,MAAM,SAAS,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAwD/D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAavC;CACF;AAED,qBAAa,YAAY,CAAC,CAAC,CAAE,SAAQ,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAMxD,OAAO,CAAC,QAAQ,CAAC,WAAW;IALxC,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAElC,OAAO,CAAC,OAAO,CAAC,CAAS;IACzB,OAAO,CAAC,OAAO,CAAC,CAAS;IAEzB,YAA6B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,EAElD;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGvB;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAqCvE;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CASvC;IAED,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAI3C;CACF;AAED;;;;;;GAMG;AACH,qBAAa,WAAW,CACtB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAChE,SAAQ,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;IAE5C,YAAY,OAAO,EAAE,CAAC,EAarB;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAmB5E;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAOvC;CACF;AAED,qBAAa,WAAW,CACtB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAChE,SAAQ,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAGpC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAEjC,YAA6B,OAAO,EAAE,CAAC,EAKtC;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAyB9E;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAOvC;CACF;AAED;;;;;GAKG;AACH,qBAAa,UAAU,CACrB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAC9C,SAAQ,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAKrB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJnC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;IAEhC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAc;IAE5C,YAA6B,MAAM,EAAE,CAAC,EAGrC;IAED,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAS/D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAKvC;CACF;AAED;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,MAAM,CAAC,SAAS,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IAEnC,cAEC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAG1D;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAEvC;CACF;AAED;;;;;GAKG;AACH,qBAAa,UAAW,SAAQ,MAAM,CAAC,IAAI,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;IAEhC,cAEC;IAED,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAKrD;IAED,SAAS,CAAC,SAAS,IAAI,iBAAiB,CAEvC;CACF;AAwED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErF,eAAO,MAAM,UAAU;IACrB,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,YAAY,SAAS,CAAC;IAEhD,KAAK,GAAG,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC;IAC1B,MAAM,GAAG,CAAC,SAAS,WAAW,SAAS,CAAC;IACxC,MAAM,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC;IAC5B,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAC7D,CAAC;IAEZ,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAC7D,CAAC;IAEZ,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,UAAU,CAAC;IAEhE,OAAO;IACP,IAAI;CACL,CAAC"}

package/dist/schema/json/primitives.js

@@ -7,10 +7,11 @@ export class SchemaValidationError extends Error {
     }
 }
 /**
- * 所有 Schema 的共同基类。
+ * 所有 Schema 的抽象基类。
  *
- * 不包含 nullable()，因此 UnknownSchema 可以天然接受 null，
- * 同时不会暴露无意义的 nullable() 方法。
+ * 只负责 description 与描述输出；nullability 由 `NullableSchema` 提供。
+ * `UnknownSchema` / `NullSchema` 直接继承本类——它们天然接受 null，
+ * 不需要 `.nullable()`。
  */
 export class Schema {
     description;
@@ -22,7 +23,6 @@ export class Schema {
     }
     /**
      * 创建保留原型和现有字段的新实例，供不可变链式方法使用。
-     * Schema 子类的状态字段会一并复制，因此扩展类仍保留自身原型和状态。
      */
     cloneWith(updates) {
         const clone = Object.assign(Object.create(Object.getPrototypeOf(this)), this);
@@ -58,53 +58,39 @@ export class Schema {
     }
 }
 /**
- * 普通 JSON Schema 的基类。
- * 通过 nullable() 显式接受 null。
- */
-export class NullableCapableSchema extends Schema {
-    nullable() {
-        return new NullableSchema(this);
-    }
-}
-/**
- * nullable 包装器。
+ * 支持 nullability 的 Schema 基类。
  *
- * 注意：NullableSchema 不提供 nullable()，
- * 避免无意义的重复 nullable 调用。
+ * 除 `UnknownSchema` / `NullSchema` 外的所有具体 Schema 都继承本类。
+ *
+ * - `nullable()` / `nullable(true)`  → 允许 null
+ * - `nullable(false)`                → 不允许 null（撤销之前的标记）
+ *
+ * `_parse` 在调用子类 `_parseValue` 前统一做 null 短路；
+ * `toJSON()` 在基类输出上附加 `nullable: true`。
  */
 export class NullableSchema extends Schema {
-    inner;
-    kind = "nullable";
-    constructor(inner) {
-        super();
-        this.inner = inner;
+    _nullable = false;
+    nullable(value = true) {
+        return this.cloneWith({ _nullable: value });
+    }
+    isNullable() {
+        return this._nullable;
     }
     _parse(input, path) {
-        if (input === null) {
+        if (this._nullable && input === null) {
             return null;
         }
-        try {
-            return this.inner.parse(input);
-        }
-        catch (error) {
-            if (error instanceof SchemaValidationError) {
-                throw new SchemaValidationError(error.message, [
-                    ...path,
-                    ...error.path,
-                ]);
-            }
-            throw error;
-        }
+        return this._parseValue(input, path);
     }
-    _describe() {
-        return {
-            kind: "nullable",
-            nullable: true,
-            children: { inner: this.inner.toJSON() },
-        };
+    toJSON() {
+        const result = super.toJSON();
+        if (this._nullable) {
+            result.nullable = true;
+        }
+        return result;
     }
 }
-export class StringSchema extends NullableCapableSchema {
+export class StringSchema extends NullableSchema {
     kind = "string";
     constructor() {
         super();
@@ -119,7 +105,7 @@ export class StringSchema extends NullableCapableSchema {
         this.validateBound(value);
         return this.cloneWith({ maximum: value });
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (typeof input !== "string") {
             return this.fail("Expected a string", path);
         }
@@ -146,7 +132,7 @@ export class StringSchema extends NullableCapableSchema {
         }
     }
 }
-export class NumberSchema extends NullableCapableSchema {
+export class NumberSchema extends NullableSchema {
     kind = "number";
     constructor() {
         super();
@@ -161,7 +147,7 @@ export class NumberSchema extends NullableCapableSchema {
         this.validateBound(value);
         return this.cloneWith({ maximum: value });
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (typeof input !== "number" || !globalThis.Number.isFinite(input)) {
             return this.fail("Expected a finite number", path);
         }
@@ -188,12 +174,12 @@ export class NumberSchema extends NullableCapableSchema {
         }
     }
 }
-export class BooleanSchema extends NullableCapableSchema {
+export class BooleanSchema extends NullableSchema {
     kind = "boolean";
     constructor() {
         super();
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (typeof input !== "boolean") {
             return this.fail("Expected a boolean", path);
         }
@@ -203,7 +189,7 @@ export class BooleanSchema extends NullableCapableSchema {
         return { kind: this.kind };
     }
 }
-export class LiteralSchema extends NullableCapableSchema {
+export class LiteralSchema extends NullableSchema {
     expected;
     kind = "literal";
     constructor(expected) {
@@ -212,11 +198,12 @@ export class LiteralSchema extends NullableCapableSchema {
         if (typeof expected === "number" && !Number.isFinite(expected)) {
             throw new TypeError("LiteralSchema expected number must be finite");
         }
-        if (expected !== null && !["string", "number", "boolean"].includes(typeof expected)) {
-            throw new TypeError("LiteralSchema expected value must be a string, number, boolean, or null");
+        if (expected === null || !["string", "number", "boolean"].includes(typeof expected)) {
+            throw new TypeError("LiteralSchema expected value must be a string, number, or boolean. " +
+                "Use s.null() for null, or .nullable() to allow null alongside a literal.");
         }
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (input !== this.expected) {
             return this.fail(`Expected literal ${JSON.stringify(this.expected)}`, path);
         }
@@ -229,7 +216,7 @@ export class LiteralSchema extends NullableCapableSchema {
         };
     }
 }
-export class ArraySchema extends NullableCapableSchema {
+export class ArraySchema extends NullableSchema {
     itemSchema;
     kind = "array";
     minimum;
@@ -246,7 +233,7 @@ export class ArraySchema extends NullableCapableSchema {
         this.validateBound(value);
         return this.cloneWith({ maximum: value });
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (!globalThis.Array.isArray(input)) {
             return this.fail("Expected an array", path);
         }
@@ -287,7 +274,7 @@ export class ArraySchema extends NullableCapableSchema {
         }
     }
 }
-export class ObjectSchema extends NullableCapableSchema {
+export class ObjectSchema extends NullableSchema {
     shape;
     kind = "object";
     isStrict;
@@ -302,7 +289,7 @@ export class ObjectSchema extends NullableCapableSchema {
     strict() {
         return new ObjectSchema(this.shape, true, this.getDescription());
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (input === null ||
             typeof input !== "object" ||
             globalThis.Array.isArray(input)) {
@@ -361,7 +348,7 @@ export class ObjectSchema extends NullableCapableSchema {
         };
     }
 }
-export class RecordSchema extends NullableCapableSchema {
+export class RecordSchema extends NullableSchema {
     valueSchema;
     kind = "record";
     minimum;
@@ -378,7 +365,7 @@ export class RecordSchema extends NullableCapableSchema {
         this.validateBound(value);
         return this.cloneWith({ maximum: value });
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (input === null ||
             typeof input !== "object" ||
             globalThis.Array.isArray(input)) {
@@ -424,19 +411,31 @@ export class RecordSchema extends NullableCapableSchema {
         }
     }
 }
-export class UnionSchema extends NullableCapableSchema {
-    schemas;
+/**
+ * 联合。
+ *
+ * 传入的 member schemas 会被 clone 并 `nullable(false)`——因为「某个
+ * 分支允许 null」这件事在 union 层面没有意义：null 是否允许应通过
+ * `union(...).nullable()` 统一表达。
+ */
+export class UnionSchema extends NullableSchema {
     kind = "union";
+    options;
     constructor(schemas) {
         super();
-        this.schemas = schemas;
         if (schemas.length === 0) {
             throw new TypeError("UnionSchema requires at least one schema");
         }
+        this.options = schemas.map((schema) => {
+            if (schema instanceof NullableSchema) {
+                return schema.nullable(false);
+            }
+            return schema;
+        });
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         const errors = [];
-        for (const schema of this.schemas) {
+        for (const schema of this.options) {
             try {
                 return schema.parse(input);
             }
@@ -454,12 +453,12 @@ export class UnionSchema extends NullableCapableSchema {
         return {
             kind: this.kind,
             children: {
-                options: this.schemas.map((schema) => schema.toJSON()),
+                options: this.options.map((schema) => schema.toJSON()),
             },
         };
     }
 }
-export class TupleSchema extends NullableCapableSchema {
+export class TupleSchema extends NullableSchema {
     schemas;
     kind = "tuple";
     constructor(schemas) {
@@ -469,7 +468,7 @@ export class TupleSchema extends NullableCapableSchema {
             throw new TypeError("TupleSchema requires at least one schema");
         }
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (!Array.isArray(input)) {
             return this.fail("Expected an array", path);
         }
@@ -500,7 +499,13 @@ export class TupleSchema extends NullableCapableSchema {
         };
     }
 }
-export class EnumSchema extends NullableCapableSchema {
+/**
+ * 字符串枚举。
+ *
+ * 继承 `NullableSchema`，因此可以 `s.enum([...]).nullable()`；
+ * 它不包含嵌套 schema，所以不需要像 union 那样处理成员 nullability。
+ */
+export class EnumSchema extends NullableSchema {
     values;
     kind = "enum";
     allowedValues;
@@ -509,7 +514,7 @@ export class EnumSchema extends NullableCapableSchema {
         this.values = values;
         this.allowedValues = new Set(values);
     }
-    _parse(input, path) {
+    _parseValue(input, path) {
         if (typeof input !== "string" || !this.allowedValues.has(input)) {
             return this.fail(`Expected one of: ${this.values.join(", ")}`, path);
         }
@@ -526,7 +531,8 @@ export class EnumSchema extends NullableCapableSchema {
  * 校验任意 JSON 值。
  *
  * 不允许 undefined、非有限数字、循环引用等非 JSON 数据。
- * UnknownSchema 不提供 nullable()，因为 null 本身就是合法值。
+ * null 本身就在接受范围内，因此不继承 `NullableSchema`，也不提供
+ * `.nullable()`——那是冗余的。
  */
 export class UnknownSchema extends Schema {
     kind = "unknown";
@@ -541,6 +547,27 @@ export class UnknownSchema extends Schema {
         return { kind: this.kind };
     }
 }
+/**
+ * 精确的 null 值。
+ *
+ * 与 `UnknownSchema` 一样天然表达 null，不需要 `.nullable()`。
+ * 想表达「某类型或 null」用 `.nullable()`；想表达「就是 null」用 `s.null()`。
+ */
+export class NullSchema extends Schema {
+    kind = "null";
+    constructor() {
+        super();
+    }
+    _parse(input, path) {
+        if (input !== null) {
+            return this.fail("Expected null", path);
+        }
+        return null;
+    }
+    _describe() {
+        return { kind: this.kind };
+    }
+}
 function assertJSONValue(value, path, ancestors = new Set()) {
     if (value === null ||
         typeof value === "string" ||
@@ -594,5 +621,6 @@ export const primitives = {
     tuple: (schemas) => new TupleSchema(schemas),
     enum: (values) => new EnumSchema(values),
     unknown: () => new UnknownSchema(),
+    null: () => new NullSchema(),
 };
 //# sourceMappingURL=primitives.js.map