npm - typia - Versions diffs - 15.0.0 → 15.1.0 - Mend

typia 15.0.0 → 15.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1330) hide show

package/lib/http.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"http.mjs","names":[],"sources":["../src/http.ts"],"sourcesContent":["import {\n Atomic,\n IReadableURLSearchParams,\n IValidation,\n Resolved,\n} from \"@typia/interface\";\n\nimport { TypeGuardError } from \"./TypeGuardError\";\nimport { NoTransformConfigurationError } from \"./transformers/NoTransformConfigurationError\";\n\n/* ===========================================================\n HTTP\n - FORM-DATA\n - QUERY\n - HEADERS\n - PARAMETER\n - FACTORY FUNCTIONS\n==============================================================\n FORM-DATA\n----------------------------------------------------------- /\n/\n Decodes `FormData` into type `T`.\n \n Parses a `FormData` instance with automatic type casting. Properties typed as\n * `boolean` or `Blob` are cast to expected types during decoding.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertFormData} — Throws on type mismatch\n * - {@link isFormData} — Returns `null` on type mismatch\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n * @param input FormData instance to decode\n * @returns Decoded object of type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function formData<T extends object>(input: FormData): Resolved<T>;\n\n/* @internal /\nexport function formData(): never {\n NoTransformConfigurationError(\"http.formData\");\n}\n\n/\n Decodes `FormData` into type `T` with assertion.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link assert}. Throws {@link TypeGuardError} on mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link isFormData} — Returns `null` instead of throwing\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n * @param input FormData instance to decode\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Decoded object of type `T`\n * @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function assertFormData<T extends object>(\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertFormData(): never {\n NoTransformConfigurationError(\"http.assertFormData\");\n}\n\n/\n Decodes `FormData` into type `T` with type checking.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link is}. Returns `null` on type mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link assertFormData} — Throws instead of returning `null`\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n * @param input FormData instance to decode\n * @returns Decoded object of type `T`, or `null` if invalid\n * @danger You must configure the generic argument `T`\n /\nexport function isFormData<T extends object>(\n input: FormData,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isFormData(): never {\n NoTransformConfigurationError(\"http.isFormData\");\n}\n\n/\n Decodes `FormData` into type `T` with validation.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link validate}. Returns {@link IValidation.IFailure} with all\n * errors on mismatch, or {@link IValidation.ISuccess} with decoded value.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link assertFormData} — Throws on first error\n * - {@link isFormData} — Returns `null` instead of error details\n \n @template T Target object type\n * @param input FormData instance to decode\n * @returns Validation result containing decoded value or errors\n * @danger You must configure the generic argument `T`\n /\nexport function validateFormData<T extends object>(\n input: FormData,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateFormData(): never {\n NoTransformConfigurationError(\"http.validateFormData\");\n}\n\n/ -----------------------------------------------------------\n QUERY\n----------------------------------------------------------- /\n/\n Decodes URL query string into type `T`.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting. Properties typed as `boolean` or `number` are cast to expected types\n * during decoding.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertQuery} — Throws on type mismatch\n * - {@link isQuery} — Returns `null` on type mismatch\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Query string or URLSearchParams instance\n * @returns Decoded object of type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function query<T extends object>(\n input: string \| IReadableURLSearchParams,\n): Resolved<T>;\n\n/* @internal /\nexport function query(): never {\n NoTransformConfigurationError(\"http.query\");\n}\n\n/\n Decodes URL query string into type `T` with assertion.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link assert}. Throws\n * {@link TypeGuardError} on mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link isQuery} — Returns `null` instead of throwing\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Query string or URLSearchParams instance\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Decoded object of type `T`\n * @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function assertQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertQuery(): never {\n NoTransformConfigurationError(\"http.assertQuery\");\n}\n\n/\n Decodes URL query string into type `T` with type checking.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link is}. Returns `null` on type\n * mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link assertQuery} — Throws instead of returning `null`\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Query string or URLSearchParams instance\n * @returns Decoded object of type `T`, or `null` if invalid\n * @danger You must configure the generic argument `T`\n /\nexport function isQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isQuery(): never {\n NoTransformConfigurationError(\"http.isQuery\");\n}\n\n/\n Decodes URL query string into type `T` with validation.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link validate}. Returns\n * {@link IValidation.IFailure} with all errors on mismatch, or\n * {@link IValidation.ISuccess} with decoded value.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link assertQuery} — Throws on first error\n * - {@link isQuery} — Returns `null` instead of error details\n \n @template T Target object type\n * @param input Query string or URLSearchParams instance\n * @returns Validation result containing decoded value or errors\n * @danger You must configure the generic argument `T`\n /\nexport function validateQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateQuery(): never {\n NoTransformConfigurationError(\"http.validateQuery\");\n}\n\n/ -----------------------------------------------------------\n HEADERS\n----------------------------------------------------------- /\n/\n Decodes HTTP headers into type `T`.\n \n Parses HTTP headers object with automatic type casting. Properties typed as\n * `boolean` or `number` are cast to expected types during decoding. Compatible\n * with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys must be lowercase\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertHeaders} — Throws on type mismatch\n * - {@link isHeaders} — Returns `null` on type mismatch\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Headers object from HTTP request\n * @returns Decoded object of type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function headers<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): Resolved<T>;\n\n/* @internal /\nexport function headers(): never {\n NoTransformConfigurationError(\"http.headers\");\n}\n\n/\n Decodes HTTP headers into type `T` with assertion.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link assert}. Throws {@link TypeGuardError} on mismatch.\n * Compatible with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys must be lowercase\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link isHeaders} — Returns `null` instead of throwing\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Headers object from HTTP request\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Decoded object of type `T`\n * @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function assertHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertHeaders(): never {\n NoTransformConfigurationError(\"http.assertHeaders\");\n}\n\n/\n Decodes HTTP headers into type `T` with type checking.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link is}. Returns `null` on type mismatch. Compatible with\n * Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys must be lowercase\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link assertHeaders} — Throws instead of returning `null`\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n * @param input Headers object from HTTP request\n * @returns Decoded object of type `T`, or `null` if invalid\n * @danger You must configure the generic argument `T`\n /\nexport function isHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isHeaders(): never {\n NoTransformConfigurationError(\"http.isHeaders\");\n}\n\n/\n Decodes HTTP headers into type `T` with validation.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link validate}. Returns {@link IValidation.IFailure} with all\n * errors on mismatch, or {@link IValidation.ISuccess} with decoded value.\n * Compatible with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys must be lowercase\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link assertHeaders} — Throws on first error\n * - {@link isHeaders} — Returns `null` instead of error details\n \n @template T Target object type\n * @param input Headers object from HTTP request\n * @returns Validation result containing decoded value or errors\n * @danger You must configure the generic argument `T`\n /\nexport function validateHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateHeaders(): never {\n NoTransformConfigurationError(\"http.validateHeaders\");\n}\n\n/ -----------------------------------------------------------\n PARAMETER\n----------------------------------------------------------- /\n/\n Decodes URL path parameter into type `T`.\n \n Parses a path parameter string with automatic type casting. When type `T` is\n * `boolean` or `number`, casts the string value to the expected type. Also\n * performs type assertion via {@link assert}, throwing {@link TypeGuardError} on\n * mismatch.\n \n @template T Target atomic type (`boolean`, `bigint`, `number`, `string`, or\n * `null`)\n * @param input Path parameter string\n * @returns Decoded value of type `T`\n * @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n * @danger You must configure the generic argument `T`\n /\nexport function parameter<T extends Atomic.Type \| null>(\n input: string,\n): Resolved<T>;\n\n/* @internal /\nexport function parameter(): never {\n NoTransformConfigurationError(\"http.parameter\");\n}\n\n/ -----------------------------------------------------------\n FACTORY FUNCTIONS\n----------------------------------------------------------- /\n/\n Creates reusable {@link formData} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createFormData(): never;\n\n/\n Creates reusable {@link formData} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createFormData<T extends object>(): (input: FormData) => T;\n\n/* @internal /\nexport function createFormData<T>(): (input: FormData) => T {\n NoTransformConfigurationError(\"http.createFormData\");\n}\n\n/\n Creates reusable {@link assertFormData} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @danger You must configure the generic argument `T`\n /\nexport function createAssertFormData(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertFormData} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Reusable decoder function\n /\nexport function createAssertFormData<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T;\n\n/* @internal /\nexport function createAssertFormData<T>(): (\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T {\n NoTransformConfigurationError(\"http.createAssertFormData\");\n}\n\n/\n Creates reusable {@link isFormData} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createIsFormData(): never;\n\n/\n Creates reusable {@link isFormData} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createIsFormData<T extends object>(): (\n input: FormData,\n) => T \| null;\n\n/* @internal /\nexport function createIsFormData<T>(): (input: FormData) => T \| null {\n NoTransformConfigurationError(\"http.createIsFormData\");\n}\n\n/\n Creates reusable {@link validateFormData} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createValidateFormData(): never;\n\n/\n Creates reusable {@link validateFormData} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createValidateFormData<T extends object>(): (\n input: FormData,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateFormData<T>(): (\n input: FormData,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateFormData\");\n}\n\n/\n Creates reusable {@link query} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createQuery(): never;\n\n/\n Creates reusable {@link query} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => T;\n\n/* @internal /\nexport function createQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => T {\n NoTransformConfigurationError(\"http.createQuery\");\n}\n\n/\n Creates reusable {@link assertQuery} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @danger You must configure the generic argument `T`\n /\nexport function createAssertQuery(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertQuery} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Reusable decoder function\n /\nexport function createAssertQuery<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T;\n\n/* @internal /\nexport function createAssertQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T {\n NoTransformConfigurationError(\"http.createAssertQuery\");\n}\n\n/\n Creates reusable {@link isQuery} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createIsQuery(): never;\n\n/\n Creates reusable {@link isQuery} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createIsQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => T \| null;\n\n/* @internal /\nexport function createIsQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => T \| null {\n NoTransformConfigurationError(\"http.createIsQuery\");\n}\n\n/\n Creates reusable {@link validateQuery} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createValidateQuery(): never;\n\n/\n Creates reusable {@link validateQuery} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createValidateQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateQuery\");\n}\n\n/\n Creates reusable {@link headers} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createHeaders(): never;\n\n/\n Creates reusable {@link headers} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => T;\n\n/* @internal /\nexport function createHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => T {\n NoTransformConfigurationError(\"http.createHeaders\");\n}\n\n/\n Creates reusable {@link assertHeaders} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @danger You must configure the generic argument `T`\n /\nexport function createAssertHeaders(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertHeaders} function.\n \n @template T Target object type\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n * @returns Reusable decoder function\n /\nexport function createAssertHeaders<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T;\n\n/* @internal /\nexport function createAssertHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => T {\n NoTransformConfigurationError(\"http.createAssertHeaders\");\n}\n\n/\n Creates reusable {@link isHeaders} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createIsHeaders(): never;\n\n/\n Creates reusable {@link isHeaders} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createIsHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => T \| null;\n\n/* @internal /\nexport function createIsHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => T \| null {\n NoTransformConfigurationError(\"http.createIsHeaders\");\n}\n\n/\n Creates reusable {@link validateHeaders} function.\n \n @template T Target object type\n * @danger You must configure the generic argument `T`\n /\nexport function createValidateHeaders(): never;\n\n/\n Creates reusable {@link validateHeaders} function.\n \n @template T Target object type\n * @returns Reusable decoder function\n /\nexport function createValidateHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateHeaders\");\n}\n\n/\n Creates reusable {@link parameter} function.\n \n @template T Target atomic type\n * @danger You must configure the generic argument `T`\n /\nexport function createParameter(): never;\n\n/\n Creates reusable {@link parameter} function.\n \n @template T Target atomic type\n * @returns Reusable decoder function\n /\nexport function createParameter<T extends Atomic.Type \| null>(): (\n input: string,\n) => T;\n\n/* @internal */\nexport function createParameter<T extends Atomic.Type \| null>(): (\n input: string,\n) => T {\n NoTransformConfigurationError(\"http.createParameter\");\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgDA,SAAgB,WAAkB;CAChC,8BAA8B,eAAe;AAC/C;;AAoCA,SAAgB,iBAAwB;CACtC,8BAA8B,qBAAqB;AACrD;;AAgCA,SAAgB,aAAoB;CAClC,8BAA8B,iBAAiB;AACjD;;AAiCA,SAAgB,mBAA0B;CACxC,8BAA8B,uBAAuB;AACvD;;AAmCA,SAAgB,QAAe;CAC7B,8BAA8B,YAAY;AAC5C;;AAoCA,SAAgB,cAAqB;CACnC,8BAA8B,kBAAkB;AAClD;;AAgCA,SAAgB,UAAiB;CAC/B,8BAA8B,cAAc;AAC9C;;AAiCA,SAAgB,gBAAuB;CACrC,8BAA8B,oBAAoB;AACpD;;AA2CA,SAAgB,UAAiB;CAC/B,8BAA8B,cAAc;AAC9C;;AA4CA,SAAgB,gBAAuB;CACrC,8BAA8B,oBAAoB;AACpD;;AAwCA,SAAgB,YAAmB;CACjC,8BAA8B,gBAAgB;AAChD;;AAyCA,SAAgB,kBAAyB;CACvC,8BAA8B,sBAAsB;AACtD;;AAyBA,SAAgB,YAAmB;CACjC,8BAA8B,gBAAgB;AAChD;;AAsBA,SAAgB,iBAA4C;CAC1D,8BAA8B,qBAAqB;AACrD;;AA8BA,SAAgB,uBAGT;CACL,8BAA8B,2BAA2B;AAC3D;;AAqBA,SAAgB,mBAAqD;CACnE,8BAA8B,uBAAuB;AACvD;;AAqBA,SAAgB,yBAEc;CAC5B,8BAA8B,6BAA6B;AAC7D;;AAqBA,SAAgB,cAET;CACL,8BAA8B,kBAAkB;AAClD;;AA8BA,SAAgB,oBAGT;CACL,8BAA8B,wBAAwB;AACxD;;AAqBA,SAAgB,gBAEF;CACZ,8BAA8B,oBAAoB;AACpD;;AAqBA,SAAgB,sBAEc;CAC5B,8BAA8B,0BAA0B;AAC1D;;AAqBA,SAAgB,gBAET;CACL,8BAA8B,oBAAoB;AACpD;;AA8BA,SAAgB,sBAGT;CACL,8BAA8B,0BAA0B;AAC1D;;AAqBA,SAAgB,kBAEF;CACZ,8BAA8B,sBAAsB;AACtD;;AAqBA,SAAgB,wBAEc;CAC5B,8BAA8B,4BAA4B;AAC5D;;AAqBA,SAAgB,kBAET;CACL,8BAA8B,sBAAsB;AACtD"}
1	+ {"version":3,"file":"http.mjs","names":[],"sources":["../src/http.ts"],"sourcesContent":["import {\n Atomic,\n IReadableURLSearchParams,\n IValidation,\n Resolved,\n} from \"@typia/interface\";\n\nimport { TypeGuardError } from \"./TypeGuardError\";\nimport { NoTransformConfigurationError } from \"./transformers/NoTransformConfigurationError\";\n\n/* ===========================================================\n HTTP\n - FORM-DATA\n - QUERY\n - HEADERS\n - PARAMETER\n - FACTORY FUNCTIONS\n==============================================================\n FORM-DATA\n----------------------------------------------------------- /\n/\n Decodes `FormData` into type `T`.\n \n Parses a `FormData` instance with automatic type casting. Properties typed as\n * `boolean`, `bigint`, or `number` are cast from their text, and `Blob` and\n * `File` properties are read as given, except that the text `null` reads as\n * `null`: as `undefined` instead for an optional single property whose type\n * does not admit `null`, and always as `null` for an array element.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n An absent key decodes a required array to `[]`, a nullable one to `null`, and\n * an optional one to `undefined`. A string property keeps the text `null`\n * unless its type admits `null`, and a blank numeric value decodes to\n * `undefined`.\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertFormData} — Throws on type mismatch\n * - {@link isFormData} — Returns `null` on type mismatch\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input FormData instance to decode\n \n @returns Decoded object of type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function formData<T extends object>(input: FormData): Resolved<T>;\n\n/* @internal /\nexport function formData(): never {\n NoTransformConfigurationError(\"http.formData\");\n}\n\n/\n Decodes `FormData` into type `T` with assertion.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link assert}. Throws {@link TypeGuardError} on mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link isFormData} — Returns `null` instead of throwing\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input FormData instance to decode\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Decoded object of type `T`\n \n @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function assertFormData<T extends object>(\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertFormData(): never {\n NoTransformConfigurationError(\"http.assertFormData\");\n}\n\n/\n Decodes `FormData` into type `T` with type checking.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link is}. Returns `null` on type mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link assertFormData} — Throws instead of returning `null`\n * - {@link validateFormData} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input FormData instance to decode\n \n @returns Decoded object of type `T`, or `null` if invalid\n \n @danger You must configure the generic argument `T`\n /\nexport function isFormData<T extends object>(\n input: FormData,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isFormData(): never {\n NoTransformConfigurationError(\"http.isFormData\");\n}\n\n/\n Decodes `FormData` into type `T` with validation.\n \n Parses a `FormData` instance with automatic type casting, then validates the\n * result via {@link validate}. Returns {@link IValidation.IFailure} with all\n * errors on mismatch, or {@link IValidation.ISuccess} with decoded value.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string`, `Blob`, `File` or their array\n * types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link formData} — No validation\n * - {@link assertFormData} — Throws on first error\n * - {@link isFormData} — Returns `null` instead of error details\n \n @template T Target object type\n \n @param input FormData instance to decode\n \n @returns Validation result containing decoded value or errors\n \n @danger You must configure the generic argument `T`\n /\nexport function validateFormData<T extends object>(\n input: FormData,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateFormData(): never {\n NoTransformConfigurationError(\"http.validateFormData\");\n}\n\n/ -----------------------------------------------------------\n QUERY\n----------------------------------------------------------- /\n/\n Decodes URL query string into type `T`.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting. Properties typed as `boolean`, `bigint`, or `number` are cast to\n * expected types during decoding.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n An absent key decodes a required array to `[]`, a nullable one to `null`, and\n * an optional one to `undefined`, since a query string has no other spelling\n * for an empty array. An absent required non-array property throws\n * `Error(\"missing <key>\")`. A string property keeps the text `null` unless its\n * type admits `null`, and a blank numeric value decodes to `undefined`.\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertQuery} — Throws on type mismatch\n * - {@link isQuery} — Returns `null` on type mismatch\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Query string or URLSearchParams instance\n \n @returns Decoded object of type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function query<T extends object>(\n input: string \| IReadableURLSearchParams,\n): Resolved<T>;\n\n/* @internal /\nexport function query(): never {\n NoTransformConfigurationError(\"http.query\");\n}\n\n/\n Decodes URL query string into type `T` with assertion.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link assert}. Throws\n * {@link TypeGuardError} on mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link isQuery} — Returns `null` instead of throwing\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Query string or URLSearchParams instance\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Decoded object of type `T`\n \n @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function assertQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertQuery(): never {\n NoTransformConfigurationError(\"http.assertQuery\");\n}\n\n/\n Decodes URL query string into type `T` with type checking.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link is}. Returns `null` on type\n * mismatch.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link assertQuery} — Throws instead of returning `null`\n * - {@link validateQuery} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Query string or URLSearchParams instance\n \n @returns Decoded object of type `T`, or `null` if invalid\n \n @danger You must configure the generic argument `T`\n /\nexport function isQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isQuery(): never {\n NoTransformConfigurationError(\"http.isQuery\");\n}\n\n/\n Decodes URL query string into type `T` with validation.\n \n Parses a query string or `URLSearchParams` instance with automatic type\n * casting, then validates the result via {@link validate}. Returns\n * {@link IValidation.IFailure} with all errors on mismatch, or\n * {@link IValidation.ISuccess} with decoded value.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 4. No union types allowed\n \n Related functions:\n \n - {@link query} — No validation\n * - {@link assertQuery} — Throws on first error\n * - {@link isQuery} — Returns `null` instead of error details\n \n @template T Target object type\n \n @param input Query string or URLSearchParams instance\n \n @returns Validation result containing decoded value or errors\n \n @danger You must configure the generic argument `T`\n /\nexport function validateQuery<T extends object>(\n input: string \| IReadableURLSearchParams,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateQuery(): never {\n NoTransformConfigurationError(\"http.validateQuery\");\n}\n\n/ -----------------------------------------------------------\n HEADERS\n----------------------------------------------------------- /\n/\n Decodes HTTP headers into type `T`.\n \n Parses HTTP headers object with automatic type casting. Properties typed as\n * `boolean`, `bigint`, or `number` are cast to expected types during decoding.\n * Compatible with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys are read by their lowercase name; two keys that differ only by\n * case are not allowed\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n An absent optional array header, or one given as an empty array, is omitted,\n * and an absent required one decodes to `[]`. `set-cookie` values are never\n * split. A blank numeric header decodes to `undefined`.\n \n Does not validate the decoded value. For validation, use:\n \n - {@link assertHeaders} — Throws on type mismatch\n * - {@link isHeaders} — Returns `null` on type mismatch\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Headers object from HTTP request\n \n @returns Decoded object of type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function headers<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): Resolved<T>;\n\n/* @internal /\nexport function headers(): never {\n NoTransformConfigurationError(\"http.headers\");\n}\n\n/\n Decodes HTTP headers into type `T` with assertion.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link assert}. Throws {@link TypeGuardError} on mismatch.\n * Compatible with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys are read by their lowercase name; two keys that differ only by\n * case are not allowed\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link isHeaders} — Returns `null` instead of throwing\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Headers object from HTTP request\n * @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Decoded object of type `T`\n \n @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function assertHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): Resolved<T>;\n\n/* @internal /\nexport function assertHeaders(): never {\n NoTransformConfigurationError(\"http.assertHeaders\");\n}\n\n/\n Decodes HTTP headers into type `T` with type checking.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link is}. Returns `null` on type mismatch. Compatible with\n * Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys are read by their lowercase name; two keys that differ only by\n * case are not allowed\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link assertHeaders} — Throws instead of returning `null`\n * - {@link validateHeaders} — Returns detailed validation errors\n \n @template T Target object type\n \n @param input Headers object from HTTP request\n \n @returns Decoded object of type `T`, or `null` if invalid\n \n @danger You must configure the generic argument `T`\n /\nexport function isHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): Resolved<T> \| null;\n\n/* @internal /\nexport function isHeaders(): never {\n NoTransformConfigurationError(\"http.isHeaders\");\n}\n\n/\n Decodes HTTP headers into type `T` with validation.\n \n Parses HTTP headers object with automatic type casting, then validates the\n * result via {@link validate}. Returns {@link IValidation.IFailure} with all\n * errors on mismatch, or {@link IValidation.ISuccess} with decoded value.\n * Compatible with Express and Fastify request headers.\n \n Type `T` constraints:\n \n 1. Must be an object type\n * 2. No dynamic properties allowed\n * 3. Property keys are read by their lowercase name; two keys that differ only by\n * case are not allowed\n * 4. Property values cannot be `null` (but `undefined` is allowed)\n * 5. Only `boolean`, `bigint`, `number`, `string` or their array types allowed\n * 6. No union types allowed\n * 7. Property `set-cookie` must be array type\n * 8. These properties cannot be array type: `age`, `authorization`,\n * `content-length`, `content-type`, `etag`, `expires`, `from`, `host`,\n * `if-modified-since`, `if-unmodified-since`, `last-modified`, `location`,\n * `max-forwards`, `proxy-authorization`, `referer`, `retry-after`, `server`,\n * `user-agent`\n \n Related functions:\n \n - {@link headers} — No validation\n * - {@link assertHeaders} — Throws on first error\n * - {@link isHeaders} — Returns `null` instead of error details\n \n @template T Target object type\n \n @param input Headers object from HTTP request\n \n @returns Validation result containing decoded value or errors\n \n @danger You must configure the generic argument `T`\n /\nexport function validateHeaders<T extends object>(\n input: Record<string, string \| string[] \| undefined>,\n): IValidation<Resolved<T>>;\n\n/* @internal /\nexport function validateHeaders(): never {\n NoTransformConfigurationError(\"http.validateHeaders\");\n}\n\n/ -----------------------------------------------------------\n PARAMETER\n----------------------------------------------------------- /\n/\n Decodes URL path parameter into type `T`.\n \n Parses a path parameter string with automatic type casting. When type `T` is\n * `boolean`, `bigint`, or `number`, casts the string value to the expected\n * type. Also performs type assertion via {@link assert}, throwing\n * {@link TypeGuardError} on mismatch.\n \n A blank value is not a number, and a string parameter keeps the text `null`\n * unless `T` admits `null`.\n \n @template T Target atomic type (`boolean`, `bigint`, `number`, or `string`),\n * optionally with `null`\n \n @param input Path parameter string\n \n @returns Decoded value of type `T`\n \n @throws {TypeGuardError} When decoded value doesn't conform to type `T`\n \n @danger You must configure the generic argument `T`\n /\nexport function parameter<T extends Atomic.Type \| null>(\n input: string,\n): Resolved<T>;\n\n/* @internal /\nexport function parameter(): never {\n NoTransformConfigurationError(\"http.parameter\");\n}\n\n/ -----------------------------------------------------------\n FACTORY FUNCTIONS\n----------------------------------------------------------- /\n/\n Creates reusable {@link formData} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createFormData(): never;\n\n/\n Creates reusable {@link formData} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createFormData<T extends object>(): (\n input: FormData,\n) => Resolved<T>;\n\n/* @internal /\nexport function createFormData<T>(): (input: FormData) => Resolved<T> {\n NoTransformConfigurationError(\"http.createFormData\");\n}\n\n/\n Creates reusable {@link assertFormData} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @danger You must configure the generic argument `T`\n /\nexport function createAssertFormData(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertFormData} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Reusable decoder function\n /\nexport function createAssertFormData<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T>;\n\n/* @internal /\nexport function createAssertFormData<T>(): (\n input: FormData,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createAssertFormData\");\n}\n\n/\n Creates reusable {@link isFormData} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createIsFormData(): never;\n\n/\n Creates reusable {@link isFormData} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createIsFormData<T extends object>(): (\n input: FormData,\n) => Resolved<T> \| null;\n\n/* @internal /\nexport function createIsFormData<T>(): (input: FormData) => Resolved<T> \| null {\n NoTransformConfigurationError(\"http.createIsFormData\");\n}\n\n/\n Creates reusable {@link validateFormData} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createValidateFormData(): never;\n\n/\n Creates reusable {@link validateFormData} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createValidateFormData<T extends object>(): (\n input: FormData,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateFormData<T>(): (\n input: FormData,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateFormData\");\n}\n\n/\n Creates reusable {@link query} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createQuery(): never;\n\n/\n Creates reusable {@link query} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => Resolved<T>;\n\n/* @internal /\nexport function createQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createQuery\");\n}\n\n/\n Creates reusable {@link assertQuery} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @danger You must configure the generic argument `T`\n /\nexport function createAssertQuery(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertQuery} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Reusable decoder function\n /\nexport function createAssertQuery<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T>;\n\n/* @internal /\nexport function createAssertQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createAssertQuery\");\n}\n\n/\n Creates reusable {@link isQuery} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createIsQuery(): never;\n\n/\n Creates reusable {@link isQuery} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createIsQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => Resolved<T> \| null;\n\n/* @internal /\nexport function createIsQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => Resolved<T> \| null {\n NoTransformConfigurationError(\"http.createIsQuery\");\n}\n\n/\n Creates reusable {@link validateQuery} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createValidateQuery(): never;\n\n/\n Creates reusable {@link validateQuery} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createValidateQuery<T extends object>(): (\n input: string \| IReadableURLSearchParams,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateQuery<T>(): (\n input: string \| IReadableURLSearchParams,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateQuery\");\n}\n\n/\n Creates reusable {@link headers} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createHeaders(): never;\n\n/\n Creates reusable {@link headers} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => Resolved<T>;\n\n/* @internal /\nexport function createHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createHeaders\");\n}\n\n/\n Creates reusable {@link assertHeaders} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @danger You must configure the generic argument `T`\n /\nexport function createAssertHeaders(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): never;\n\n/\n Creates reusable {@link assertHeaders} function.\n \n @template T Target object type\n \n @param errorFactory Custom error factory receiving\n * {@link TypeGuardError.IProps}\n \n @returns Reusable decoder function\n /\nexport function createAssertHeaders<T extends object>(\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n): (\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T>;\n\n/* @internal /\nexport function createAssertHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n errorFactory?: undefined \| ((props: TypeGuardError.IProps) => Error),\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createAssertHeaders\");\n}\n\n/\n Creates reusable {@link isHeaders} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createIsHeaders(): never;\n\n/\n Creates reusable {@link isHeaders} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createIsHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => Resolved<T> \| null;\n\n/* @internal /\nexport function createIsHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => Resolved<T> \| null {\n NoTransformConfigurationError(\"http.createIsHeaders\");\n}\n\n/\n Creates reusable {@link validateHeaders} function.\n \n @template T Target object type\n \n @danger You must configure the generic argument `T`\n /\nexport function createValidateHeaders(): never;\n\n/\n Creates reusable {@link validateHeaders} function.\n \n @template T Target object type\n \n @returns Reusable decoder function\n /\nexport function createValidateHeaders<T extends object>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => IValidation<Resolved<T>>;\n\n/* @internal /\nexport function createValidateHeaders<T>(): (\n input: Record<string, string \| string[] \| undefined>,\n) => IValidation<Resolved<T>> {\n NoTransformConfigurationError(\"http.createValidateHeaders\");\n}\n\n/\n Creates reusable {@link parameter} function.\n \n @template T Target atomic type\n \n @danger You must configure the generic argument `T`\n /\nexport function createParameter(): never;\n\n/\n Creates reusable {@link parameter} function.\n \n @template T Target atomic type\n \n @returns Reusable decoder function\n /\nexport function createParameter<T extends Atomic.Type \| null>(): (\n input: string,\n) => Resolved<T>;\n\n/* @internal */\nexport function createParameter<T extends Atomic.Type \| null>(): (\n input: string,\n) => Resolved<T> {\n NoTransformConfigurationError(\"http.createParameter\");\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2DA,SAAgB,WAAkB;CAChC,8BAA8B,eAAe;AAC/C;;AAwCA,SAAgB,iBAAwB;CACtC,8BAA8B,qBAAqB;AACrD;;AAmCA,SAAgB,aAAoB;CAClC,8BAA8B,iBAAiB;AACjD;;AAoCA,SAAgB,mBAA0B;CACxC,8BAA8B,uBAAuB;AACvD;;AA4CA,SAAgB,QAAe;CAC7B,8BAA8B,YAAY;AAC5C;;AAwCA,SAAgB,cAAqB;CACnC,8BAA8B,kBAAkB;AAClD;;AAmCA,SAAgB,UAAiB;CAC/B,8BAA8B,cAAc;AAC9C;;AAoCA,SAAgB,gBAAuB;CACrC,8BAA8B,oBAAoB;AACpD;;AAmDA,SAAgB,UAAiB;CAC/B,8BAA8B,cAAc;AAC9C;;AAiDA,SAAgB,gBAAuB;CACrC,8BAA8B,oBAAoB;AACpD;;AA4CA,SAAgB,YAAmB;CACjC,8BAA8B,gBAAgB;AAChD;;AA6CA,SAAgB,kBAAyB;CACvC,8BAA8B,sBAAsB;AACtD;;AAgCA,SAAgB,YAAmB;CACjC,8BAA8B,gBAAgB;AAChD;;AA0BA,SAAgB,iBAAsD;CACpE,8BAA8B,qBAAqB;AACrD;;AAkCA,SAAgB,uBAGC;CACf,8BAA8B,2BAA2B;AAC3D;;AAuBA,SAAgB,mBAA+D;CAC7E,8BAA8B,uBAAuB;AACvD;;AAuBA,SAAgB,yBAEc;CAC5B,8BAA8B,6BAA6B;AAC7D;;AAuBA,SAAgB,cAEC;CACf,8BAA8B,kBAAkB;AAClD;;AAkCA,SAAgB,oBAGC;CACf,8BAA8B,wBAAwB;AACxD;;AAuBA,SAAgB,gBAEQ;CACtB,8BAA8B,oBAAoB;AACpD;;AAuBA,SAAgB,sBAEc;CAC5B,8BAA8B,0BAA0B;AAC1D;;AAuBA,SAAgB,gBAEC;CACf,8BAA8B,oBAAoB;AACpD;;AAkCA,SAAgB,sBAGC;CACf,8BAA8B,0BAA0B;AAC1D;;AAuBA,SAAgB,kBAEQ;CACtB,8BAA8B,sBAAsB;AACtD;;AAuBA,SAAgB,wBAEc;CAC5B,8BAA8B,4BAA4B;AAC5D;;AAuBA,SAAgB,kBAEC;CACf,8BAA8B,sBAAsB;AACtD"}

package/lib/index.mjs CHANGED Viewed

@@ -1,4 +1,5 @@
 import { TypeGuardError } from "./TypeGuardError.mjs";
+import { assert, assertEquals, assertGuard, assertGuardEquals, createAssert, createAssertEquals, createAssertGuard, createAssertGuardEquals, createEquals, createIs, createRandom, createShallow, createValidate, createValidateEquals, equals, is, random, shallow, validate, validateEquals } from "./basic.mjs";
 import { compare_exports } from "./compare.mjs";
 import { functional_exports } from "./functional.mjs";
 import { http_exports } from "./http.mjs";
@@ -9,7 +10,7 @@ import { notations_exports } from "./notations.mjs";
 import { protobuf_exports } from "./protobuf.mjs";
 import { reflect_exports } from "./reflect.mjs";
 import { tags } from "./re-exports.mjs";
-import { assert, assertEquals, assertGuard, assertGuardEquals, createAssert, createAssertEquals, createAssertGuard, createAssertGuardEquals, createEquals, createIs, createRandom, createShallow, createValidate, createValidateEquals, equals, is, module_exports, random, shallow, validate, validateEquals } from "./module.mjs";
+import { module_exports } from "./module.mjs";
 //#region src/index.ts
 var src_default = module_exports;
 //#endregion

package/lib/index.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.mjs","names":["typia"],"sources":["../src/index.ts"],"sourcesContent":["import * as typia from \"./module\";\n\nexport default typia;\nexport * from \"./module\";\n"],"mappings":"~~;;;;;;;;;;;;;~~AAEA,IAAA,cAAeA"}
1	+ {"version":3,"file":"index.mjs","names":["typia"],"sources":["../src/index.ts"],"sourcesContent":["import * as typia from \"./module\";\n\nexport default typia;\nexport * from \"./module\";\n"],"mappings":";;;;;;;;;;;;;;AAEA,IAAA,cAAeA"}

package/lib/internal/_IProtobufWriter.d.ts CHANGED Viewed

@@ -1,15 +1,130 @@
+/**
+ * Operations of a Protocol Buffer writer.
+ *
+ * Both {@link _ProtobufSizer} and {@link _ProtobufWriter} implement it, so one
+ * generated encoder can first measure a message and then write it.
+ *
+ * @evidence contracts/common.md#principled-implementation The interface lists the primitive operations that the generated encoder calls on a writer, so one generated code path can drive both a sizer and a writer: scalars, bytes, strings and the fork and ldelim pair that delimit a length-prefixed message.
+ * @evidence contracts/common.md#clear-and-simple-design One interface implemented by the sizer and the writer; scalars take number or bigint where the wire format needs 64 bits.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+ * @evidence contracts/common.md#meaningful-documentation A comment states the role of the interface and that both implementations share it.
+ */
 export interface _IProtobufWriter {
+    /**
+     * Write a boolean as one byte.
+     *
+     * @evidence contracts/common.md#principled-implementation A boolean is written as one varint byte of zero or one.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     bool(value: boolean): void;
+    /**
+     * Write a signed 32-bit integer as a varint.
+     *
+     * @evidence contracts/common.md#principled-implementation A signed 32-bit integer in the two's-complement varint form, taking a number.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     int32(value: number): void;
+    /**
+     * Write a signed 32-bit integer in ZigZag form.
+     *
+     * @evidence contracts/common.md#principled-implementation A signed 32-bit integer in ZigZag form, so small magnitudes take few bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     sint32(value: number): void;
+    /**
+     * Write an unsigned 32-bit integer as a varint.
+     *
+     * @evidence contracts/common.md#principled-implementation An unsigned 32-bit integer in varint form.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     uint32(value: number): void;
+    /**
+     * Write a signed 64-bit integer as a varint.
+     *
+     * @evidence contracts/common.md#principled-implementation A signed 64-bit integer in varint form. Bigint inputs retain integer precision; number inputs retain only the precision already present in the number before conversion.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     int64(value: bigint | number): void;
+    /**
+     * Write a signed 64-bit integer in ZigZag form.
+     *
+     * @evidence contracts/common.md#principled-implementation A signed 64-bit integer in ZigZag form, taking a bigint or a number.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     sint64(value: bigint | number): void;
+    /**
+     * Write an unsigned 64-bit integer as a varint.
+     *
+     * @evidence contracts/common.md#principled-implementation An unsigned 64-bit integer in varint form, taking a bigint or a number.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     uint64(value: bigint | number): void;
+    /**
+     * Write a 32-bit float in little-endian order.
+     *
+     * @evidence contracts/common.md#principled-implementation A 32-bit float, written little-endian in four bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     float(value: number): void;
+    /**
+     * Write a 64-bit float in little-endian order.
+     *
+     * @evidence contracts/common.md#principled-implementation A 64-bit float, written little-endian in eight bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     double(value: number): void;
+    /**
+     * Write a byte array with its length prefix.
+     *
+     * @evidence contracts/common.md#principled-implementation A byte array with its length prefix.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     bytes(value: Uint8Array): void;
+    /**
+     * Write a UTF-8 string with its byte-length prefix.
+     *
+     * @evidence contracts/common.md#principled-implementation A string in UTF-8 with a byte-length prefix.
+     * @evidence contracts/common.md#clear-and-simple-design One member.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     string(value: string): void;
+    /**
+     * Begin a length-delimited message.
+     *
+     * @evidence contracts/common.md#principled-implementation Marks the start of a length-delimited message, whose length is known only after the body has been sized.
+     * @evidence contracts/common.md#clear-and-simple-design One member paired with ldelim.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     fork(): void;
+    /**
+     * End the message that the matching `fork` began.
+     *
+     * @evidence contracts/common.md#principled-implementation Marks the end of the message opened by the matching fork, where the sizer records the length and the writer has nothing left to do.
+     * @evidence contracts/common.md#clear-and-simple-design One member paired with fork.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A declaration only.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states the member's role.
+     */
     ldelim(): void;
 }

package/lib/internal/_ProtobufReader.d.ts CHANGED Viewed

@@ -1,4 +1,18 @@
 import { ProtobufWire } from "@typia/interface";
+/**
+ * Reads a Protocol Buffer message from a buffer.
+ *
+ * Every malformed input throws an error prefixed with
+ * `typia.protobuf.decode()`. Length-prefixed bytes, message forks and field
+ * skips restore their position on failure. Scalar varints may consume bytes
+ * before failing, and invalid UTF-8 is reported after its byte range has been
+ * consumed. Adapted from the fixed reader of as-proto.
+ *
+ * @evidence contracts/common.md#principled-implementation The reader decodes the wire format from a buffer with a pointer and a length-delimited boundary, throwing a typia-prefixed error for overflow, malformed varints or invalid UTF-8. Atomic bytes, fork and skip operations restore their pointer and boundary on failure; scalar varint reads can retain consumed bytes, and UTF-8 decoding can fail after bytes has completed. Varints are bounded to ten bytes with a tenth byte limited to bit 63 in every reading path, so skipping and reading agree on the wire limits.
+ * @evidence contracts/common.md#clear-and-simple-design One class with public typed readers, skip methods and a message fork and close pair, and private varint readers and a bounds check shared by all of them; the fault builder and limits are module constants.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Limits come from the wire format; invalid input throws and is never repaired by truncation or guessing.
+ * @evidence contracts/common.md#meaningful-documentation A reference comment names the origin, the fields have comments and the skip and varint helpers explain their bounds.
+ */
 export declare class _ProtobufReader {
     /** Read buffer */
     private buf;
@@ -9,22 +23,153 @@ export declare class _ProtobufReader {
     /** Current length-delimited boundary. */
     private end;
     constructor(buf: Uint8Array);
+    /**
+     * Return the offset of the next byte to read.
+     *
+     * @evidence contracts/common.md#principled-implementation Returns the read pointer, which is the offset of the next byte to be read.
+     * @evidence contracts/common.md#clear-and-simple-design One accessor.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It exposes no mutable state.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is returned.
+     */
     index(): number;
+    /**
+     * Return the end of the buffer or of the open length-delimited message.
+     *
+     * @evidence contracts/common.md#principled-implementation Returns the current boundary, which is the end of the whole buffer or of the open length-delimited message.
+     * @evidence contracts/common.md#clear-and-simple-design One accessor.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It exposes no mutable state.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is returned.
+     */
     size(): number;
+    /**
+     * Read an unsigned 32-bit varint.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads a varint and reinterprets it as an unsigned 32-bit number, so values of 2^31 or more are positive.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation with an unsigned shift.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The reading follows the wire format.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     uint32(): number;
+    /**
+     * Read a signed 32-bit varint.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads a varint as a signed 32-bit number, which keeps the two's-complement meaning of a ten-byte negative value after truncation to 32 bits.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The reading follows the wire format.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     int32(): number;
+    /**
+     * Read a ZigZag encoded signed 32-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The varint is decoded with the ZigZag inverse `(v >>> 1) ^ -(v & 1)`, where the unsigned shift treats the 32-bit pattern as unsigned.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the varint reader.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     sint32(): number;
+    /**
+     * Read an unsigned 64-bit varint.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads a varint as an unsigned bigint, rejecting a payload above bit 63 or a varint longer than ten bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bounds are the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     uint64(): bigint;
+    /**
+     * Read a signed 64-bit varint.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads the unsigned pattern and reinterprets it as a signed 64-bit bigint.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation with an integer cast.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The reading follows the wire format.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     int64(): bigint;
+    /**
+     * Read a ZigZag encoded signed 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The varint is decoded with the ZigZag inverse on a bigint.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the 64-bit reader.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     sint64(): bigint;
+    /**
+     * Read a boolean, which is true for any non-zero varint.
+     *
+     * @evidence contracts/common.md#principled-implementation A varint is true when it is not zero, as the format defines.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The reading follows the wire format.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     bool(): boolean;
+    /**
+     * Read a little-endian 32-bit float.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads four little-endian bytes through the data view after a bounds check.
+     * @evidence contracts/common.md#clear-and-simple-design One checked read.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bounds check throws rather than reading past the boundary.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     float(): number;
+    /**
+     * Read a little-endian 64-bit float.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads eight little-endian bytes through the data view after a bounds check.
+     * @evidence contracts/common.md#clear-and-simple-design One checked read.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bounds check throws rather than reading past the boundary.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     double(): number;
+    /**
+     * Read a length-prefixed byte range as a view into the buffer, without
+     * copying.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads a length-prefixed byte range as a view of the buffer and not a copy, inside an atomic block that restores the pointer if the length is invalid.
+     * @evidence contracts/common.md#clear-and-simple-design One function using the checked read.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The returned view shares memory with the input buffer, a stated aliasing.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     bytes(): Uint8Array;
+    /**
+     * Read a length-prefixed UTF-8 string, throwing on invalid UTF-8 after
+     * consuming its byte range. An invalid length restores the read position.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads the bytes and decodes them with a decoder that is fatal on invalid UTF-8, so malformed text throws a typia error instead of producing replacement characters. A byte-range failure rolls back through bytes; a decoding failure occurs after that range has been consumed and does not rewind it.
+     * @evidence contracts/common.md#clear-and-simple-design One function over bytes with a shared decoder.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The error is raised, not repaired.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is read.
+     */
     string(): string;
+    /**
+     * Begin a length-delimited message and return the previous boundary to pass
+     * to `close`.
+     *
+     * @evidence contracts/common.md#principled-implementation Reads the length prefix, checks that it fits within the current boundary, narrows the boundary to the message end and returns the previous boundary for `close`; the pointer is restored on failure.
+     * @evidence contracts/common.md#clear-and-simple-design One atomic function paired with close.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bounds check throws on an oversized prefix.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states what is returned.
+     */
     fork(): number;
+    /**
+     * End the message that `fork` began, which must have been consumed
+     * completely.
+     *
+     * @evidence contracts/common.md#principled-implementation Requires that the whole message was consumed and restores the previous boundary; an unread remainder is a malformed message and throws.
+     * @evidence contracts/common.md#clear-and-simple-design One check and one assignment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The strictness is intentional and reports corruption.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states the check.
+     */
     close(previous: number): void;
-    /** Advance by exactly `length` bytes, for every length including zero. */
+    /**
+     * Advance by exactly `length` bytes, for every length including zero.
+     *
+     * @evidence contracts/common.md#principled-implementation Advances exactly the given number of bytes after a bounds check, including zero, so a zero-length field is skipped without moving or failing.
+     * @evidence contracts/common.md#clear-and-simple-design One checked advance.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bounds check throws on overflow.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states the zero-length case.
+     */
     skip(length: number): void;
     /**
      * Advance by exactly one varint, which carries no length prefix.
@@ -37,8 +182,21 @@ export declare class _ProtobufReader {
      * never notices a value it could not have represented. Relaxing either bound
      * here would accept a varint that `varint32` and `varint64` reject, making
      * the limit depend on which method happens to consume the value.
+     *
+     * @evidence contracts/common.md#principled-implementation Advances over one varint, which has no length prefix, using the same ten-byte and bit-63 limits as the value readers, so the limit does not depend on which method consumes the value.
+     * @evidence contracts/common.md#clear-and-simple-design One atomic loop that delegates the last byte check to a shared helper.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The skipped bytes are validated, which is the point of the helper; no looser limit is used.
+     * @evidence contracts/common.md#meaningful-documentation A long comment explains the bounds and why skipping must match reading.
      */
     skipVarint(): void;
+    /**
+     * Skip a field of the given wire type, including a nested group.
+     *
+     * @evidence contracts/common.md#principled-implementation A wire type selects how far to advance: a varint, eight bytes, a length-prefixed range, a group read until its end tag or four bytes; an unknown type throws with the offset. Group skipping recurses on nested types.
+     * @evidence contracts/common.md#clear-and-simple-design One atomic function with a switch.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Unknown wire types are an error and not skipped by guess.
+     * @evidence contracts/common.md#meaningful-documentation A short comment states the supported wire types.
+     */
     skipType(wireType: ProtobufWire): void;
     private varint32;
     private varint64;