@nestia/e2e 7.0.3 → 7.1.1-dev.20250714

package/src/TestValidator.ts

@@ -1,678 +1,678 @@
-import { RandomGenerator } from "./RandomGenerator";
-import { json_equal_to } from "./internal/json_equal_to";
-
-/**
- * A comprehensive collection of E2E validation utilities for testing
- * applications.
- *
- * TestValidator provides type-safe validation functions for common testing
- * scenarios including condition checking, equality validation, error testing,
- * HTTP error validation, pagination testing, search functionality validation,
- * and sorting validation.
- *
- * All functions follow a currying pattern to enable reusable test
- * configurations and provide detailed error messages for debugging failed
- * assertions.
- *
- * @author Jeongho Nam - https://github.com/samchon
- * @example
- *   ```typescript
- *   // Basic condition testing
- *   TestValidator.predicate("user should be authenticated")(user.isAuthenticated);
- *
- *   // Equality validation
- *   TestValidator.equals("API response should match expected")(expected)(actual);
- *
- *   // Error validation
- *   TestValidator.error("should throw on invalid input")(() => validateInput(""));
- *   ```;
- */
-export namespace TestValidator {
-  /**
-   * Validates that a given condition evaluates to true.
-   *
-   * Supports synchronous boolean values, synchronous functions returning
-   * boolean, and asynchronous functions returning Promise<boolean>. The return
-   * type is automatically inferred based on the input type.
-   *
-   * @example
-   *   ```typescript
-   *   // Synchronous boolean
-   *   TestValidator.predicate("user should exist")(user !== null);
-   *
-   *   // Synchronous function
-   *   TestValidator.predicate("array should be empty")(() => arr.length === 0);
-   *
-   *   // Asynchronous function
-   *   await TestValidator.predicate("database should be connected")(
-   *     async () => await db.ping()
-   *   );
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when validation
-   *   fails
-   * @returns A currying function that accepts the condition to validate
-   * @throws Error with descriptive message when condition is not satisfied
-   */
-  export const predicate =
-    (title: string) =>
-    <T extends boolean | (() => boolean) | (() => Promise<boolean>)>(
-      condition: T,
-    ): T extends () => Promise<boolean> ? Promise<void> : void => {
-      const message = () =>
-        `Bug on ${title}: expected condition is not satisfied.`;
-
-      // SCALAR
-      if (typeof condition === "boolean") {
-        if (condition !== true) throw new Error(message());
-        return undefined as any;
-      }
-
-      // CLOSURE
-      const output: boolean | Promise<boolean> = condition();
-      if (typeof output === "boolean") {
-        if (output !== true) throw new Error(message());
-        return undefined as any;
-      }
-
-      // ASYNCHRONOUS
-      return new Promise<void>((resolve, reject) => {
-        output
-          .then((flag) => {
-            if (flag === true) resolve();
-            else reject(message());
-          })
-          .catch(reject);
-      }) as any;
-    };
-
-  /**
-   * Validates deep equality between two values using JSON comparison.
-   *
-   * Performs recursive comparison of objects and arrays. Supports an optional
-   * exception filter to ignore specific keys during comparison. Useful for
-   * validating API responses, data transformations, and object state changes.
-   *
-   * **Type Safety Notes:**
-   *
-   * - The generic type T is inferred from the `actual` parameter (first in the
-   *   currying chain)
-   * - The `expected` parameter must be assignable to `T | null | undefined`
-   * - For objects, `expected` must have the same or subset of properties as
-   *   `actual`
-   * - For union types like `string | null`, ensure proper type compatibility:
-   *
-   *   ```typescript
-   *   const x: string | null;
-   *   TestValidator.equals("works")(x)(null);        // ✅ Works: null is assignable to string | null
-   *   TestValidator.equals("error")(null)(x);        // ❌ Error: x might be string, but expected is null
-   * ```
-   *
-   * @example
-   *   ```typescript
-   *   // Basic equality
-   *   TestValidator.equals("response should match expected")(expectedUser)(actualUser);
-   *
-   *   // Ignore timestamps in comparison
-   *   TestValidator.equals("user data should match", (key) => key === "updatedAt")(
-   *     expectedUser
-   *   )(actualUser);
-   *
-   *   // Validate API response structure
-   *   const validateResponse = TestValidator.equals("API response structure");
-   *   validateResponse({ id: 1, name: "John" })({ id: 1, name: "John" });
-   *
-   *   // Type-safe nullable comparisons
-   *   const nullableData: { name: string } | null = getData();
-   *   TestValidator.equals("nullable check")(nullableData)(null); // ✅ Safe
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when values differ
-   * @param exception - Optional filter function to exclude specific keys from
-   *   comparison
-   * @returns A currying function chain: first accepts expected value, then
-   *   actual value
-   * @throws Error with detailed diff information when values are not equal
-   */
-  export const equals =
-    (title: string, exception: (key: string) => boolean = () => false) =>
-    <T>(actual: T) =>
-    (expected: T | null | undefined) => {
-      const diff: string[] = json_equal_to(exception)(actual)(expected);
-      if (diff.length)
-        throw new Error(
-          [
-            `Bug on ${title}: found different values - [${diff.join(", ")}]:`,
-            "\n",
-            JSON.stringify({ actual, expected }, null, 2),
-          ].join("\n"),
-        );
-    };
-
-  /**
-   * Validates deep inequality between two values using JSON comparison.
-   *
-   * Performs recursive comparison of objects and arrays to ensure they are NOT
-   * equal. Supports an optional exception filter to ignore specific keys during
-   * comparison. Useful for validating that data has changed, objects are
-   * different, or mutations have occurred.
-   *
-   * **Type Safety Notes:**
-   *
-   * - The generic type T is inferred from the `actual` parameter (first in the
-   *   currying chain)
-   * - The `expected` parameter must be assignable to `T | null | undefined`
-   * - For objects, `expected` must have the same or subset of properties as
-   *   `actual`
-   * - For union types like `string | null`, ensure proper type compatibility:
-   *
-   *   ```typescript
-   *   const x: string | null;
-   *   TestValidator.notEquals("works")(x)(null);     // ✅ Works: null is assignable to string | null
-   *   TestValidator.notEquals("error")(null)(x);     // ❌ Error: x might be string, but expected is null
-   * ```
-   *
-   * @example
-   *   ```typescript
-   *   // Basic inequality
-   *   TestValidator.notEquals("user should be different after update")(originalUser)(updatedUser);
-   *
-   *   // Ignore timestamps in comparison
-   *   TestValidator.notEquals("user data should differ", (key) => key === "updatedAt")(
-   *     originalUser
-   *   )(modifiedUser);
-   *
-   *   // Validate state changes
-   *   const validateStateChange = TestValidator.notEquals("state should have changed");
-   *   validateStateChange(initialState)(currentState);
-   *
-   *   // Type-safe nullable comparisons
-   *   const mutableData: { count: number } | null = getMutableData();
-   *   TestValidator.notEquals("should have changed")(mutableData)(null); // ✅ Safe
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when values are
-   *   equal
-   * @param exception - Optional filter function to exclude specific keys from
-   *   comparison
-   * @returns A currying function chain: first accepts expected value, then
-   *   actual value
-   * @throws Error when values are equal (indicating validation failure)
-   */
-  export const notEquals =
-    (title: string, exception: (key: string) => boolean = () => false) =>
-    <T>(actual: T) =>
-    (expected: T | null | undefined) => {
-      const diff: string[] = json_equal_to(exception)(actual)(expected);
-      if (diff.length === 0)
-        throw new Error(
-          [
-            `Bug on ${title}: values should be different but are equal:`,
-            "\n",
-            JSON.stringify({ actual, expected }, null, 2),
-          ].join("\n"),
-        );
-    };
-
-  /**
-   * Validates that a function throws an error or rejects when executed.
-   *
-   * Expects the provided function to fail. If the function executes
-   * successfully without throwing an error or rejecting, this validator will
-   * throw an exception. Supports both synchronous and asynchronous functions.
-   *
-   * @example
-   *   ```typescript
-   *   // Synchronous error validation
-   *   TestValidator.error("should reject invalid email")(
-   *     () => validateEmail("invalid-email")
-   *   );
-   *
-   *   // Asynchronous error validation
-   *   await TestValidator.error("should reject unauthorized access")(
-   *     async () => await api.functional.getSecretData()
-   *   );
-   *
-   *   // Validate input validation
-   *   TestValidator.error("should throw on empty string")(
-   *     () => processRequiredInput("")
-   *   );
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when no error
-   *   occurs
-   * @returns A currying function that accepts the task function to validate
-   * @throws Error when the task function does not throw an error or reject
-   */
-  export const error =
-    (title: string) =>
-    <T>(task: () => T): T extends Promise<any> ? Promise<void> : void => {
-      const message = () => `Bug on ${title}: exception must be thrown.`;
-      try {
-        const output: T = task();
-        if (is_promise(output))
-          return new Promise<void>((resolve, reject) =>
-            output.catch(() => resolve()).then(() => reject(message())),
-          ) as any;
-        else throw new Error(message());
-      } catch {
-        return undefined as any;
-      }
-    };
-
-  /**
-   * Validates that a function throws an HTTP error with specific status codes.
-   *
-   * Specialized error validator for HTTP operations. Validates that the
-   * function throws an HttpError with one of the specified status codes. Useful
-   * for testing API endpoints, authentication, and authorization logic.
-   *
-   * @example
-   *   ```typescript
-   *   // Validate 401 Unauthorized
-   *   await TestValidator.httpError("should return 401 for invalid token")(401)(
-   *     async () => await api.functional.getProtectedResource("invalid-token")
-   *   );
-   *
-   *   // Validate multiple possible error codes
-   *   await TestValidator.httpError("should return client error")(400, 404, 422)(
-   *     async () => await api.functional.updateNonexistentResource(data)
-   *   );
-   *
-   *   // Validate server errors
-   *   TestValidator.httpError("should handle server errors")(500, 502, 503)(
-   *     () => callFaultyEndpoint()
-   *   );
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages
-   * @returns A currying function that accepts status codes, then the task
-   *   function
-   * @throws Error when function doesn't throw HttpError or status code doesn't
-   *   match
-   */
-  export const httpError =
-    (title: string) =>
-    (...statuses: number[]) =>
-    <T>(task: () => T): T extends Promise<any> ? Promise<void> : void => {
-      const message = (actual?: number) =>
-        typeof actual === "number"
-          ? `Bug on ${title}: status code must be ${statuses.join(
-              " or ",
-            )}, but ${actual}.`
-          : `Bug on ${title}: status code must be ${statuses.join(
-              " or ",
-            )}, but succeeded.`;
-      const predicate = (exp: any): Error | null =>
-        typeof exp === "object" &&
-        exp.constructor.name === "HttpError" &&
-        statuses.some((val) => val === exp.status)
-          ? null
-          : new Error(
-              message(
-                typeof exp === "object" && exp.constructor.name === "HttpError"
-                  ? exp.status
-                  : undefined,
-              ),
-            );
-      try {
-        const output: T = task();
-        if (is_promise(output))
-          return new Promise<void>((resolve, reject) =>
-            output
-              .catch((exp) => {
-                const res: Error | null = predicate(exp);
-                if (res) reject(res);
-                else resolve();
-              })
-              .then(() => reject(new Error(message()))),
-          ) as any;
-        else throw new Error(message());
-      } catch (exp) {
-        const res: Error | null = predicate(exp);
-        if (res) throw res;
-        return undefined!;
-      }
-    };
-
-  /**
-   * Safely executes a function and captures any errors without throwing.
-   *
-   * Utility function for error handling in tests. Executes the provided
-   * function and returns any error that occurs, or null if successful. Supports
-   * both synchronous and asynchronous functions. Useful for testing error
-   * conditions without stopping test execution.
-   *
-   * @example
-   *   ```typescript
-   *   // Synchronous error capture
-   *   const error = TestValidator.proceed(() => {
-   *     throw new Error("Something went wrong");
-   *   });
-   *   console.log(error?.message); // "Something went wrong"
-   *
-   *   // Asynchronous error capture
-   *   const asyncError = await TestValidator.proceed(async () => {
-   *     await failingAsyncOperation();
-   *   });
-   *
-   *   // Success case
-   *   const noError = TestValidator.proceed(() => {
-   *     return "success";
-   *   });
-   *   console.log(noError); // null
-   *   ```;
-   *
-   * @param task - Function to execute safely
-   * @returns Error object if function throws/rejects, null if successful
-   */
-  export function proceed(task: () => Promise<any>): Promise<Error | null>;
-  export function proceed(task: () => any): Error | null;
-  export function proceed(
-    task: () => any,
-  ): Promise<Error | null> | (Error | null) {
-    try {
-      const output: any = task();
-      if (is_promise(output))
-        return new Promise<Error | null>((resolve) =>
-          output
-            .catch((exp) => resolve(exp as Error))
-            .then(() => resolve(null)),
-        );
-    } catch (exp) {
-      return exp as Error;
-    }
-    return null;
-  }
-
-  /**
-   * Validates pagination index API results against expected entity order.
-   *
-   * Compares the order of entities returned by a pagination API with manually
-   * sorted expected results. Validates that entity IDs appear in the correct
-   * sequence. Commonly used for testing database queries, search results, and
-   * any paginated data APIs.
-   *
-   * @example
-   *   ```typescript
-   *   // Test article pagination
-   *   const expectedArticles = await db.articles.findAll({ order: 'created_at DESC' });
-   *   const actualArticles = await api.functional.getArticles({ page: 1, limit: 10 });
-   *
-   *   TestValidator.index("article pagination order")(expectedArticles)(
-   *     actualArticles,
-   *     true // enable trace logging
-   *   );
-   *
-   *   // Test user search results
-   *   const manuallyFilteredUsers = allUsers.filter(u => u.name.includes("John"));
-   *   const apiSearchResults = await api.functional.searchUsers({ query: "John" });
-   *
-   *   TestValidator.index("user search results")(manuallyFilteredUsers)(
-   *     apiSearchResults
-   *   );
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when order differs
-   * @returns A currying function chain: expected entities, then actual entities
-   * @throws Error when entity order differs between expected and actual results
-   */
-  export const index =
-    (title: string) =>
-    <Solution extends IEntity<any>>(expected: Solution[]) =>
-    <Summary extends IEntity<any>>(
-      gotten: Summary[],
-      trace: boolean = false,
-    ): void => {
-      const length: number = Math.min(expected.length, gotten.length);
-      expected = expected.slice(0, length);
-      gotten = gotten.slice(0, length);
-
-      const xIds: string[] = get_ids(expected).slice(0, length);
-      const yIds: string[] = get_ids(gotten)
-        .filter((id) => id >= xIds[0])
-        .slice(0, length);
-
-      const equals: boolean = xIds.every((x, i) => x === yIds[i]);
-      if (equals === true) return;
-      else if (trace === true)
-        console.log({
-          expected: xIds,
-          gotten: yIds,
-        });
-      throw new Error(
-        `Bug on ${title}: result of the index is different with manual aggregation.`,
-      );
-    };
-
-  /**
-   * Validates search functionality by testing API results against manual
-   * filtering.
-   *
-   * Comprehensive search validation that samples entities from a complete
-   * dataset, extracts search values, applies manual filtering, calls the search
-   * API, and compares results. Validates that search APIs return the correct
-   * subset of data matching the search criteria.
-   *
-   * @example
-   *   ```typescript
-   *   // Test article search functionality
-   *   const allArticles = await db.articles.findAll();
-   *   const searchValidator = TestValidator.search("article search API")(
-   *     (req) => api.searchArticles(req)
-   *   )(allArticles, 5); // test with 5 random samples
-   *
-   *   await searchValidator({
-   *     fields: ["title", "content"],
-   *     values: (article) => [article.title.split(" ")[0]], // first word
-   *     filter: (article, [keyword]) =>
-   *       article.title.includes(keyword) || article.content.includes(keyword),
-   *     request: ([keyword]) => ({ q: keyword })
-   *   });
-   *
-   *   // Test user search with multiple criteria
-   *   await TestValidator.search("user search with filters")(
-   *     (req) => api.getUsers(req)
-   *   )(allUsers, 3)({
-   *     fields: ["status", "role"],
-   *     values: (user) => [user.status, user.role],
-   *     filter: (user, [status, role]) =>
-   *       user.status === status && user.role === role,
-   *     request: ([status, role]) => ({ status, role })
-   *   });
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when search fails
-   * @returns A currying function chain: API getter function, then dataset and
-   *   sample count
-   * @throws Error when API search results don't match manual filtering results
-   */
-  export const search =
-    (title: string) =>
-    <Entity extends IEntity<any>, Request>(
-      getter: (input: Request) => Promise<Entity[]>,
-    ) =>
-    (total: Entity[], sampleCount: number = 1) =>
-    async <Values extends any[]>(
-      props: ISearchProps<Entity, Values, Request>,
-    ): Promise<void> => {
-      const samples: Entity[] = RandomGenerator.sample(total)(sampleCount);
-      for (const s of samples) {
-        const values: Values = props.values(s);
-        const filtered: Entity[] = total.filter((entity) =>
-          props.filter(entity, values),
-        );
-        const gotten: Entity[] = await getter(props.request(values));
-
-        TestValidator.index(`${title} (${props.fields.join(", ")})`)(filtered)(
-          gotten,
-        );
-      }
-    };
-
-  /**
-   * Configuration interface for search validation functionality.
-   *
-   * Defines the structure needed to validate search operations by specifying
-   * how to extract search values from entities, filter the dataset manually,
-   * and construct API requests.
-   *
-   * @template Entity - Type of entities being searched, must have an ID field
-   * @template Values - Tuple type representing the search values extracted from
-   *   entities
-   * @template Request - Type of the API request object
-   */
-  export interface ISearchProps<
-    Entity extends IEntity<any>,
-    Values extends any[],
-    Request,
-  > {
-    /** Field names being searched, used in error messages for identification */
-    fields: string[];
-
-    /**
-     * Extracts search values from a sample entity
-     *
-     * @param entity - The entity to extract search values from
-     * @returns Tuple of values used for searching
-     */
-    values(entity: Entity): Values;
-
-    /**
-     * Manual filter function to determine if an entity matches search criteria
-     *
-     * @param entity - Entity to test against criteria
-     * @param values - Search values to match against
-     * @returns True if entity matches the search criteria
-     */
-    filter(entity: Entity, values: Values): boolean;
-
-    /**
-     * Constructs API request object from search values
-     *
-     * @param values - Search values to include in request
-     * @returns Request object for the search API
-     */
-    request(values: Values): Request;
-  }
-
-  /**
-   * Validates sorting functionality of pagination APIs.
-   *
-   * Tests sorting operations by calling the API with sort parameters and
-   * validating that results are correctly ordered. Supports multiple fields,
-   * ascending/descending order, and optional filtering. Provides detailed error
-   * reporting for sorting failures.
-   *
-   * @example
-   *   ```typescript
-   *   // Test single field sorting
-   *   const sortValidator = TestValidator.sort("article sorting")(
-   *     (sortable) => api.getArticles({ sort: sortable })
-   *   )("created_at")(
-   *     (a, b) => new Date(a.created_at).getTime() - new Date(b.created_at).getTime()
-   *   );
-   *
-   *   await sortValidator("+"); // ascending
-   *   await sortValidator("-"); // descending
-   *
-   *   // Test multi-field sorting with filtering
-   *   const userSortValidator = TestValidator.sort("user sorting")(
-   *     (sortable) => api.getUsers({ sort: sortable })
-   *   )("status", "created_at")(
-   *     (a, b) => {
-   *       if (a.status !== b.status) return a.status.localeCompare(b.status);
-   *       return new Date(a.created_at).getTime() - new Date(b.created_at).getTime();
-   *     },
-   *     (user) => user.isActive // only test active users
-   *   );
-   *
-   *   await userSortValidator("+", true); // ascending with trace logging
-   *   ```;
-   *
-   * @param title - Descriptive title used in error messages when sorting fails
-   * @returns A currying function chain: API getter, field names, comparator,
-   *   then direction
-   * @throws Error when API results are not properly sorted according to
-   *   specification
-   */
-  export const sort =
-    (title: string) =>
-    <
-      T extends object,
-      Fields extends string,
-      Sortable extends Array<`-${Fields}` | `+${Fields}`> = Array<
-        `-${Fields}` | `+${Fields}`
-      >,
-    >(
-      getter: (sortable: Sortable) => Promise<T[]>,
-    ) =>
-    (...fields: Fields[]) =>
-    (comp: (x: T, y: T) => number, filter?: (elem: T) => boolean) =>
-    async (direction: "+" | "-", trace: boolean = false) => {
-      let data: T[] = await getter(
-        fields.map((field) => `${direction}${field}` as const) as Sortable,
-      );
-      if (filter) data = data.filter(filter);
-
-      const reversed: typeof comp =
-        direction === "+" ? comp : (x, y) => comp(y, x);
-      if (is_sorted(data, reversed) === false) {
-        if (
-          fields.length === 1 &&
-          data.length &&
-          (data as any)[0][fields[0]] !== undefined &&
-          trace
-        )
-          console.log(data.map((elem) => (elem as any)[fields[0]]));
-        throw new Error(
-          `Bug on ${title}: wrong sorting on ${direction}(${fields.join(
-            ", ",
-          )}).`,
-        );
-      }
-    };
-
-  /**
-   * Type alias for sortable field specifications.
-   *
-   * Represents an array of sort field specifications where each field can be
-   * prefixed with '+' for ascending order or '-' for descending order.
-   *
-   * @example
-   *   ```typescript
-   *   type UserSortable = TestValidator.Sortable<"name" | "email" | "created_at">;
-   *   // Results in: Array<"-name" | "+name" | "-email" | "+email" | "-created_at" | "+created_at">
-   *
-   *   const userSort: UserSortable = ["+name", "-created_at"];
-   *   ```;
-   *
-   * @template Literal - String literal type representing available field names
-   */
-  export type Sortable<Literal extends string> = Array<
-    `-${Literal}` | `+${Literal}`
-  >;
-}
-
-interface IEntity<Type extends string | number | bigint> {
-  id: Type;
-}
-
-function get_ids<Entity extends IEntity<any>>(entities: Entity[]): string[] {
-  return entities.map((entity) => entity.id).sort((x, y) => (x < y ? -1 : 1));
-}
-
-function is_promise(input: any): input is Promise<any> {
-  return (
-    typeof input === "object" &&
-    input !== null &&
-    typeof (input as any).then === "function" &&
-    typeof (input as any).catch === "function"
-  );
-}
-
-function is_sorted<T>(data: T[], comp: (x: T, y: T) => number): boolean {
-  for (let i: number = 1; i < data.length; ++i)
-    if (comp(data[i - 1], data[i]) > 0) return false;
-  return true;
-}
+import { RandomGenerator } from "./RandomGenerator";
+import { json_equal_to } from "./internal/json_equal_to";
+
+/**
+ * A comprehensive collection of E2E validation utilities for testing
+ * applications.
+ *
+ * TestValidator provides type-safe validation functions for common testing
+ * scenarios including condition checking, equality validation, error testing,
+ * HTTP error validation, pagination testing, search functionality validation,
+ * and sorting validation.
+ *
+ * All functions follow a currying pattern to enable reusable test
+ * configurations and provide detailed error messages for debugging failed
+ * assertions.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @example
+ *   ```typescript
+ *   // Basic condition testing
+ *   TestValidator.predicate("user should be authenticated")(user.isAuthenticated);
+ *
+ *   // Equality validation
+ *   TestValidator.equals("API response should match expected")(expected)(actual);
+ *
+ *   // Error validation
+ *   TestValidator.error("should throw on invalid input")(() => validateInput(""));
+ *   ```;
+ */
+export namespace TestValidator {
+  /**
+   * Validates that a given condition evaluates to true.
+   *
+   * Supports synchronous boolean values, synchronous functions returning
+   * boolean, and asynchronous functions returning Promise<boolean>. The return
+   * type is automatically inferred based on the input type.
+   *
+   * @example
+   *   ```typescript
+   *   // Synchronous boolean
+   *   TestValidator.predicate("user should exist")(user !== null);
+   *
+   *   // Synchronous function
+   *   TestValidator.predicate("array should be empty")(() => arr.length === 0);
+   *
+   *   // Asynchronous function
+   *   await TestValidator.predicate("database should be connected")(
+   *     async () => await db.ping()
+   *   );
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when validation
+   *   fails
+   * @returns A currying function that accepts the condition to validate
+   * @throws Error with descriptive message when condition is not satisfied
+   */
+  export const predicate =
+    (title: string) =>
+    <T extends boolean | (() => boolean) | (() => Promise<boolean>)>(
+      condition: T,
+    ): T extends () => Promise<boolean> ? Promise<void> : void => {
+      const message = () =>
+        `Bug on ${title}: expected condition is not satisfied.`;
+
+      // SCALAR
+      if (typeof condition === "boolean") {
+        if (condition !== true) throw new Error(message());
+        return undefined as any;
+      }
+
+      // CLOSURE
+      const output: boolean | Promise<boolean> = condition();
+      if (typeof output === "boolean") {
+        if (output !== true) throw new Error(message());
+        return undefined as any;
+      }
+
+      // ASYNCHRONOUS
+      return new Promise<void>((resolve, reject) => {
+        output
+          .then((flag) => {
+            if (flag === true) resolve();
+            else reject(message());
+          })
+          .catch(reject);
+      }) as any;
+    };
+
+  /**
+   * Validates deep equality between two values using JSON comparison.
+   *
+   * Performs recursive comparison of objects and arrays. Supports an optional
+   * exception filter to ignore specific keys during comparison. Useful for
+   * validating API responses, data transformations, and object state changes.
+   *
+   * **Type Safety Notes:**
+   *
+   * - The generic type T is inferred from the `actual` parameter (first in the
+   *   currying chain)
+   * - The `expected` parameter must be assignable to `T | null | undefined`
+   * - For objects, `expected` must have the same or subset of properties as
+   *   `actual`
+   * - For union types like `string | null`, ensure proper type compatibility:
+   *
+   *   ```typescript
+   *   const x: string | null;
+   *   TestValidator.equals("works")(x)(null);        // ✅ Works: null is assignable to string | null
+   *   TestValidator.equals("error")(null)(x);        // ❌ Error: x might be string, but expected is null
+   * ```
+   *
+   * @example
+   *   ```typescript
+   *   // Basic equality
+   *   TestValidator.equals("response should match expected")(expectedUser)(actualUser);
+   *
+   *   // Ignore timestamps in comparison
+   *   TestValidator.equals("user data should match", (key) => key === "updatedAt")(
+   *     expectedUser
+   *   )(actualUser);
+   *
+   *   // Validate API response structure
+   *   const validateResponse = TestValidator.equals("API response structure");
+   *   validateResponse({ id: 1, name: "John" })({ id: 1, name: "John" });
+   *
+   *   // Type-safe nullable comparisons
+   *   const nullableData: { name: string } | null = getData();
+   *   TestValidator.equals("nullable check")(nullableData)(null); // ✅ Safe
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when values differ
+   * @param exception - Optional filter function to exclude specific keys from
+   *   comparison
+   * @returns A currying function chain: first accepts expected value, then
+   *   actual value
+   * @throws Error with detailed diff information when values are not equal
+   */
+  export const equals =
+    (title: string, exception: (key: string) => boolean = () => false) =>
+    <T>(actual: T) =>
+    (expected: T | null | undefined) => {
+      const diff: string[] = json_equal_to(exception)(actual)(expected);
+      if (diff.length)
+        throw new Error(
+          [
+            `Bug on ${title}: found different values - [${diff.join(", ")}]:`,
+            "\n",
+            JSON.stringify({ actual, expected }, null, 2),
+          ].join("\n"),
+        );
+    };
+
+  /**
+   * Validates deep inequality between two values using JSON comparison.
+   *
+   * Performs recursive comparison of objects and arrays to ensure they are NOT
+   * equal. Supports an optional exception filter to ignore specific keys during
+   * comparison. Useful for validating that data has changed, objects are
+   * different, or mutations have occurred.
+   *
+   * **Type Safety Notes:**
+   *
+   * - The generic type T is inferred from the `actual` parameter (first in the
+   *   currying chain)
+   * - The `expected` parameter must be assignable to `T | null | undefined`
+   * - For objects, `expected` must have the same or subset of properties as
+   *   `actual`
+   * - For union types like `string | null`, ensure proper type compatibility:
+   *
+   *   ```typescript
+   *   const x: string | null;
+   *   TestValidator.notEquals("works")(x)(null);     // ✅ Works: null is assignable to string | null
+   *   TestValidator.notEquals("error")(null)(x);     // ❌ Error: x might be string, but expected is null
+   * ```
+   *
+   * @example
+   *   ```typescript
+   *   // Basic inequality
+   *   TestValidator.notEquals("user should be different after update")(originalUser)(updatedUser);
+   *
+   *   // Ignore timestamps in comparison
+   *   TestValidator.notEquals("user data should differ", (key) => key === "updatedAt")(
+   *     originalUser
+   *   )(modifiedUser);
+   *
+   *   // Validate state changes
+   *   const validateStateChange = TestValidator.notEquals("state should have changed");
+   *   validateStateChange(initialState)(currentState);
+   *
+   *   // Type-safe nullable comparisons
+   *   const mutableData: { count: number } | null = getMutableData();
+   *   TestValidator.notEquals("should have changed")(mutableData)(null); // ✅ Safe
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when values are
+   *   equal
+   * @param exception - Optional filter function to exclude specific keys from
+   *   comparison
+   * @returns A currying function chain: first accepts expected value, then
+   *   actual value
+   * @throws Error when values are equal (indicating validation failure)
+   */
+  export const notEquals =
+    (title: string, exception: (key: string) => boolean = () => false) =>
+    <T>(actual: T) =>
+    (expected: T | null | undefined) => {
+      const diff: string[] = json_equal_to(exception)(actual)(expected);
+      if (diff.length === 0)
+        throw new Error(
+          [
+            `Bug on ${title}: values should be different but are equal:`,
+            "\n",
+            JSON.stringify({ actual, expected }, null, 2),
+          ].join("\n"),
+        );
+    };
+
+  /**
+   * Validates that a function throws an error or rejects when executed.
+   *
+   * Expects the provided function to fail. If the function executes
+   * successfully without throwing an error or rejecting, this validator will
+   * throw an exception. Supports both synchronous and asynchronous functions.
+   *
+   * @example
+   *   ```typescript
+   *   // Synchronous error validation
+   *   TestValidator.error("should reject invalid email")(
+   *     () => validateEmail("invalid-email")
+   *   );
+   *
+   *   // Asynchronous error validation
+   *   await TestValidator.error("should reject unauthorized access")(
+   *     async () => await api.functional.getSecretData()
+   *   );
+   *
+   *   // Validate input validation
+   *   TestValidator.error("should throw on empty string")(
+   *     () => processRequiredInput("")
+   *   );
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when no error
+   *   occurs
+   * @returns A currying function that accepts the task function to validate
+   * @throws Error when the task function does not throw an error or reject
+   */
+  export const error =
+    (title: string) =>
+    <T>(task: () => T): T extends Promise<any> ? Promise<void> : void => {
+      const message = () => `Bug on ${title}: exception must be thrown.`;
+      try {
+        const output: T = task();
+        if (is_promise(output))
+          return new Promise<void>((resolve, reject) =>
+            output.catch(() => resolve()).then(() => reject(message())),
+          ) as any;
+        else throw new Error(message());
+      } catch {
+        return undefined as any;
+      }
+    };
+
+  /**
+   * Validates that a function throws an HTTP error with specific status codes.
+   *
+   * Specialized error validator for HTTP operations. Validates that the
+   * function throws an HttpError with one of the specified status codes. Useful
+   * for testing API endpoints, authentication, and authorization logic.
+   *
+   * @example
+   *   ```typescript
+   *   // Validate 401 Unauthorized
+   *   await TestValidator.httpError("should return 401 for invalid token")(401)(
+   *     async () => await api.functional.getProtectedResource("invalid-token")
+   *   );
+   *
+   *   // Validate multiple possible error codes
+   *   await TestValidator.httpError("should return client error")(400, 404, 422)(
+   *     async () => await api.functional.updateNonexistentResource(data)
+   *   );
+   *
+   *   // Validate server errors
+   *   TestValidator.httpError("should handle server errors")(500, 502, 503)(
+   *     () => callFaultyEndpoint()
+   *   );
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages
+   * @returns A currying function that accepts status codes, then the task
+   *   function
+   * @throws Error when function doesn't throw HttpError or status code doesn't
+   *   match
+   */
+  export const httpError =
+    (title: string) =>
+    (...statuses: number[]) =>
+    <T>(task: () => T): T extends Promise<any> ? Promise<void> : void => {
+      const message = (actual?: number) =>
+        typeof actual === "number"
+          ? `Bug on ${title}: status code must be ${statuses.join(
+              " or ",
+            )}, but ${actual}.`
+          : `Bug on ${title}: status code must be ${statuses.join(
+              " or ",
+            )}, but succeeded.`;
+      const predicate = (exp: any): Error | null =>
+        typeof exp === "object" &&
+        exp.constructor.name === "HttpError" &&
+        statuses.some((val) => val === exp.status)
+          ? null
+          : new Error(
+              message(
+                typeof exp === "object" && exp.constructor.name === "HttpError"
+                  ? exp.status
+                  : undefined,
+              ),
+            );
+      try {
+        const output: T = task();
+        if (is_promise(output))
+          return new Promise<void>((resolve, reject) =>
+            output
+              .catch((exp) => {
+                const res: Error | null = predicate(exp);
+                if (res) reject(res);
+                else resolve();
+              })
+              .then(() => reject(new Error(message()))),
+          ) as any;
+        else throw new Error(message());
+      } catch (exp) {
+        const res: Error | null = predicate(exp);
+        if (res) throw res;
+        return undefined!;
+      }
+    };
+
+  /**
+   * Safely executes a function and captures any errors without throwing.
+   *
+   * Utility function for error handling in tests. Executes the provided
+   * function and returns any error that occurs, or null if successful. Supports
+   * both synchronous and asynchronous functions. Useful for testing error
+   * conditions without stopping test execution.
+   *
+   * @example
+   *   ```typescript
+   *   // Synchronous error capture
+   *   const error = TestValidator.proceed(() => {
+   *     throw new Error("Something went wrong");
+   *   });
+   *   console.log(error?.message); // "Something went wrong"
+   *
+   *   // Asynchronous error capture
+   *   const asyncError = await TestValidator.proceed(async () => {
+   *     await failingAsyncOperation();
+   *   });
+   *
+   *   // Success case
+   *   const noError = TestValidator.proceed(() => {
+   *     return "success";
+   *   });
+   *   console.log(noError); // null
+   *   ```;
+   *
+   * @param task - Function to execute safely
+   * @returns Error object if function throws/rejects, null if successful
+   */
+  export function proceed(task: () => Promise<any>): Promise<Error | null>;
+  export function proceed(task: () => any): Error | null;
+  export function proceed(
+    task: () => any,
+  ): Promise<Error | null> | (Error | null) {
+    try {
+      const output: any = task();
+      if (is_promise(output))
+        return new Promise<Error | null>((resolve) =>
+          output
+            .catch((exp) => resolve(exp as Error))
+            .then(() => resolve(null)),
+        );
+    } catch (exp) {
+      return exp as Error;
+    }
+    return null;
+  }
+
+  /**
+   * Validates pagination index API results against expected entity order.
+   *
+   * Compares the order of entities returned by a pagination API with manually
+   * sorted expected results. Validates that entity IDs appear in the correct
+   * sequence. Commonly used for testing database queries, search results, and
+   * any paginated data APIs.
+   *
+   * @example
+   *   ```typescript
+   *   // Test article pagination
+   *   const expectedArticles = await db.articles.findAll({ order: 'created_at DESC' });
+   *   const actualArticles = await api.functional.getArticles({ page: 1, limit: 10 });
+   *
+   *   TestValidator.index("article pagination order")(expectedArticles)(
+   *     actualArticles,
+   *     true // enable trace logging
+   *   );
+   *
+   *   // Test user search results
+   *   const manuallyFilteredUsers = allUsers.filter(u => u.name.includes("John"));
+   *   const apiSearchResults = await api.functional.searchUsers({ query: "John" });
+   *
+   *   TestValidator.index("user search results")(manuallyFilteredUsers)(
+   *     apiSearchResults
+   *   );
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when order differs
+   * @returns A currying function chain: expected entities, then actual entities
+   * @throws Error when entity order differs between expected and actual results
+   */
+  export const index =
+    (title: string) =>
+    <Solution extends IEntity<any>>(expected: Solution[]) =>
+    <Summary extends IEntity<any>>(
+      gotten: Summary[],
+      trace: boolean = false,
+    ): void => {
+      const length: number = Math.min(expected.length, gotten.length);
+      expected = expected.slice(0, length);
+      gotten = gotten.slice(0, length);
+
+      const xIds: string[] = get_ids(expected).slice(0, length);
+      const yIds: string[] = get_ids(gotten)
+        .filter((id) => id >= xIds[0])
+        .slice(0, length);
+
+      const equals: boolean = xIds.every((x, i) => x === yIds[i]);
+      if (equals === true) return;
+      else if (trace === true)
+        console.log({
+          expected: xIds,
+          gotten: yIds,
+        });
+      throw new Error(
+        `Bug on ${title}: result of the index is different with manual aggregation.`,
+      );
+    };
+
+  /**
+   * Validates search functionality by testing API results against manual
+   * filtering.
+   *
+   * Comprehensive search validation that samples entities from a complete
+   * dataset, extracts search values, applies manual filtering, calls the search
+   * API, and compares results. Validates that search APIs return the correct
+   * subset of data matching the search criteria.
+   *
+   * @example
+   *   ```typescript
+   *   // Test article search functionality
+   *   const allArticles = await db.articles.findAll();
+   *   const searchValidator = TestValidator.search("article search API")(
+   *     (req) => api.searchArticles(req)
+   *   )(allArticles, 5); // test with 5 random samples
+   *
+   *   await searchValidator({
+   *     fields: ["title", "content"],
+   *     values: (article) => [article.title.split(" ")[0]], // first word
+   *     filter: (article, [keyword]) =>
+   *       article.title.includes(keyword) || article.content.includes(keyword),
+   *     request: ([keyword]) => ({ q: keyword })
+   *   });
+   *
+   *   // Test user search with multiple criteria
+   *   await TestValidator.search("user search with filters")(
+   *     (req) => api.getUsers(req)
+   *   )(allUsers, 3)({
+   *     fields: ["status", "role"],
+   *     values: (user) => [user.status, user.role],
+   *     filter: (user, [status, role]) =>
+   *       user.status === status && user.role === role,
+   *     request: ([status, role]) => ({ status, role })
+   *   });
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when search fails
+   * @returns A currying function chain: API getter function, then dataset and
+   *   sample count
+   * @throws Error when API search results don't match manual filtering results
+   */
+  export const search =
+    (title: string) =>
+    <Entity extends IEntity<any>, Request>(
+      getter: (input: Request) => Promise<Entity[]>,
+    ) =>
+    (total: Entity[], sampleCount: number = 1) =>
+    async <Values extends any[]>(
+      props: ISearchProps<Entity, Values, Request>,
+    ): Promise<void> => {
+      const samples: Entity[] = RandomGenerator.sample(total)(sampleCount);
+      for (const s of samples) {
+        const values: Values = props.values(s);
+        const filtered: Entity[] = total.filter((entity) =>
+          props.filter(entity, values),
+        );
+        const gotten: Entity[] = await getter(props.request(values));
+
+        TestValidator.index(`${title} (${props.fields.join(", ")})`)(filtered)(
+          gotten,
+        );
+      }
+    };
+
+  /**
+   * Configuration interface for search validation functionality.
+   *
+   * Defines the structure needed to validate search operations by specifying
+   * how to extract search values from entities, filter the dataset manually,
+   * and construct API requests.
+   *
+   * @template Entity - Type of entities being searched, must have an ID field
+   * @template Values - Tuple type representing the search values extracted from
+   *   entities
+   * @template Request - Type of the API request object
+   */
+  export interface ISearchProps<
+    Entity extends IEntity<any>,
+    Values extends any[],
+    Request,
+  > {
+    /** Field names being searched, used in error messages for identification */
+    fields: string[];
+
+    /**
+     * Extracts search values from a sample entity
+     *
+     * @param entity - The entity to extract search values from
+     * @returns Tuple of values used for searching
+     */
+    values(entity: Entity): Values;
+
+    /**
+     * Manual filter function to determine if an entity matches search criteria
+     *
+     * @param entity - Entity to test against criteria
+     * @param values - Search values to match against
+     * @returns True if entity matches the search criteria
+     */
+    filter(entity: Entity, values: Values): boolean;
+
+    /**
+     * Constructs API request object from search values
+     *
+     * @param values - Search values to include in request
+     * @returns Request object for the search API
+     */
+    request(values: Values): Request;
+  }
+
+  /**
+   * Validates sorting functionality of pagination APIs.
+   *
+   * Tests sorting operations by calling the API with sort parameters and
+   * validating that results are correctly ordered. Supports multiple fields,
+   * ascending/descending order, and optional filtering. Provides detailed error
+   * reporting for sorting failures.
+   *
+   * @example
+   *   ```typescript
+   *   // Test single field sorting
+   *   const sortValidator = TestValidator.sort("article sorting")(
+   *     (sortable) => api.getArticles({ sort: sortable })
+   *   )("created_at")(
+   *     (a, b) => new Date(a.created_at).getTime() - new Date(b.created_at).getTime()
+   *   );
+   *
+   *   await sortValidator("+"); // ascending
+   *   await sortValidator("-"); // descending
+   *
+   *   // Test multi-field sorting with filtering
+   *   const userSortValidator = TestValidator.sort("user sorting")(
+   *     (sortable) => api.getUsers({ sort: sortable })
+   *   )("status", "created_at")(
+   *     (a, b) => {
+   *       if (a.status !== b.status) return a.status.localeCompare(b.status);
+   *       return new Date(a.created_at).getTime() - new Date(b.created_at).getTime();
+   *     },
+   *     (user) => user.isActive // only test active users
+   *   );
+   *
+   *   await userSortValidator("+", true); // ascending with trace logging
+   *   ```;
+   *
+   * @param title - Descriptive title used in error messages when sorting fails
+   * @returns A currying function chain: API getter, field names, comparator,
+   *   then direction
+   * @throws Error when API results are not properly sorted according to
+   *   specification
+   */
+  export const sort =
+    (title: string) =>
+    <
+      T extends object,
+      Fields extends string,
+      Sortable extends Array<`-${Fields}` | `+${Fields}`> = Array<
+        `-${Fields}` | `+${Fields}`
+      >,
+    >(
+      getter: (sortable: Sortable) => Promise<T[]>,
+    ) =>
+    (...fields: Fields[]) =>
+    (comp: (x: T, y: T) => number, filter?: (elem: T) => boolean) =>
+    async (direction: "+" | "-", trace: boolean = false) => {
+      let data: T[] = await getter(
+        fields.map((field) => `${direction}${field}` as const) as Sortable,
+      );
+      if (filter) data = data.filter(filter);
+
+      const reversed: typeof comp =
+        direction === "+" ? comp : (x, y) => comp(y, x);
+      if (is_sorted(data, reversed) === false) {
+        if (
+          fields.length === 1 &&
+          data.length &&
+          (data as any)[0][fields[0]] !== undefined &&
+          trace
+        )
+          console.log(data.map((elem) => (elem as any)[fields[0]]));
+        throw new Error(
+          `Bug on ${title}: wrong sorting on ${direction}(${fields.join(
+            ", ",
+          )}).`,
+        );
+      }
+    };
+
+  /**
+   * Type alias for sortable field specifications.
+   *
+   * Represents an array of sort field specifications where each field can be
+   * prefixed with '+' for ascending order or '-' for descending order.
+   *
+   * @example
+   *   ```typescript
+   *   type UserSortable = TestValidator.Sortable<"name" | "email" | "created_at">;
+   *   // Results in: Array<"-name" | "+name" | "-email" | "+email" | "-created_at" | "+created_at">
+   *
+   *   const userSort: UserSortable = ["+name", "-created_at"];
+   *   ```;
+   *
+   * @template Literal - String literal type representing available field names
+   */
+  export type Sortable<Literal extends string> = Array<
+    `-${Literal}` | `+${Literal}`
+  >;
+}
+
+interface IEntity<Type extends string | number | bigint> {
+  id: Type;
+}
+
+function get_ids<Entity extends IEntity<any>>(entities: Entity[]): string[] {
+  return entities.map((entity) => entity.id).sort((x, y) => (x < y ? -1 : 1));
+}
+
+function is_promise(input: any): input is Promise<any> {
+  return (
+    typeof input === "object" &&
+    input !== null &&
+    typeof (input as any).then === "function" &&
+    typeof (input as any).catch === "function"
+  );
+}
+
+function is_sorted<T>(data: T[], comp: (x: T, y: T) => number): boolean {
+  for (let i: number = 1; i < data.length; ++i)
+    if (comp(data[i - 1], data[i]) > 0) return false;
+  return true;
+}