@ayapapa-npm/contracts-js 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ayapapa
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,56 @@
+# contracts-js
+A lightweight Design by Contract library for JavaScript.
+
+## Installation
+
+### Install directly from GitHub Release:
+Available now.
+```bash
+npm install https://github.com/ayapapa/contracts-js/releases/download/0.2.0/contracts-js-0.2.0.tgz
+```
+If you see the error:
+```
+npm error code EALLOWREMOTE
+npm error Fetching packages of type "remote" have been disabled
+```
+allow remote packages:
+```bash
+npm config set allow-remote all
+```
+Then run the install command again:
+```bash
+npm install https://github.com/ayapapa/contracts-js/releases/download/0.2.0/contracts-js-0.2.0.tgz
+```
+
+### Install from npm registry
+Coming soon: installable with `npm install contracts-js`.
+
+## Usage
+
+```javascript
+import { Contracts } from 'contracts-js';
+// or,
+//  import Contracts from 'contracts-jss';
+
+// In the case of CommonJS,
+//  const { Contracts } = require('contracts-js');
+// or,
+//  const Contracts = require('contracts-js').Contracts;
+
+// Enable debug mode
+Contracts.setConfig({ debug: true });
+
+// Check a precondition (e.g., argument validation)
+function divide(a, b) {
+  Contracts.REQUIRE(b !== 0, 'Divisor cannot be zero');
+  return a / b;
+}
+
+// Check a postcondition (e.g., return value validation)
+function getPositiveNumber(x) {
+  Contracts.REQUIRE(x > 0, 'Input must be positive');
+  const result = x * 2;
+  Contracts ENSURE(result > 0, 'Result must be positive');
+  return result;
+}
+```

package/dist/index.cjs

@@ -0,0 +1,186 @@
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __typeError = (msg) => {
+  throw TypeError(msg);
+};
+var __defNormalProp = (obj, key, value) => key in obj ? __defProp(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var __publicField = (obj, key, value) => __defNormalProp(obj, typeof key !== "symbol" ? key + "" : key, value);
+var __accessCheck = (obj, member, msg) => member.has(obj) || __typeError("Cannot " + msg);
+var __privateAdd = (obj, member, value) => member.has(obj) ? __typeError("Cannot add the same private member more than once") : member instanceof WeakSet ? member.add(obj) : member.set(obj, value);
+var __privateMethod = (obj, member, method) => (__accessCheck(obj, member, "access private method"), method);
+
+// src/index.js
+var index_exports = {};
+__export(index_exports, {
+  Contracts: () => Contracts,
+  default: () => index_default
+});
+module.exports = __toCommonJS(index_exports);
+
+// src/lib/Contracts.js
+var _Contracts_static, check_fn, checkDebug_fn;
+var _Contracts = class _Contracts {
+  /**
+   * Configures the contract checking behavior.
+   * @param {{debug?: boolean}} config Configuration object
+   */
+  static setConfig(config) {
+    if (config) {
+      _Contracts.DEBUG_MODE = config.debug || false;
+    }
+  }
+  /**
+   * Checks a general condition.
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static VERIFY(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "VERIFY", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a general condition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static VERIFY_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "VERIFY_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a precondition.
+   * Use this to verify conditions that must be true before a function executes (e.g., argument validation).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static REQUIRE(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "REQUIRE", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a precondition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static REQUIRE_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "REQUIRE_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a postcondition.
+   * Use this to verify conditions that must be true after a function executes (e.g., return value or object state).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static ENSURE(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "ENSURE", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a postcondition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static ENSURE_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "ENSURE_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks an invariant.
+   * Use this to verify conditions that must remain true before and after a function call (e.g., object integrity).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static INVARIANT(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "INVARIANT", ngMsg, error, eProps);
+  }
+  /**
+   * Checks an invariant (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static INVARIANT_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "INVARIANT_DEBUG", ngMsg, error, eProps);
+  }
+};
+_Contracts_static = new WeakSet();
+check_fn = function(isOk, prefix = "CHECK", ngMsg = "", error = Error, eProps = {}) {
+  if (!isOk) {
+    const msg = `[${prefix}]${ngMsg ?? ""}`;
+    if (error) throw Object.assign(new error(msg), eProps);
+    if (ngMsg) console.error(msg, eProps);
+  }
+  return isOk;
+};
+checkDebug_fn = function(isOk, prefix = "CHECK_DEBUG", ngMsg = "", error = Error, eProps = {}) {
+  var _a;
+  return _Contracts.DEBUG_MODE ? __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, prefix, ngMsg, error, eProps) : isOk;
+};
+__privateAdd(_Contracts, _Contracts_static);
+// @type {boolean}
+__publicField(_Contracts, "DEBUG_MODE", false);
+var Contracts = _Contracts;
+
+// src/index.js
+var index_default = Contracts;
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  Contracts
+});

package/dist/index.d.cts

@@ -0,0 +1,154 @@
+/**
+ * Contract checking utilities.
+ * Provides methods to verify preconditions, postconditions, invariants, and general conditions.
+ */
+declare class Contracts {
+    static DEBUG_MODE: boolean;
+    /**
+     * Configures the contract checking behavior.
+     * @param {{debug?: boolean}} config Configuration object
+     */
+    static setConfig(config: {
+        debug?: boolean;
+    }): void;
+    /**
+     * Checks a general condition.
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static VERIFY(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a general condition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static VERIFY_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a precondition.
+     * Use this to verify conditions that must be true before a function executes (e.g., argument validation).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static REQUIRE(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a precondition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static REQUIRE_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a postcondition.
+     * Use this to verify conditions that must be true after a function executes (e.g., return value or object state).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static ENSURE(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a postcondition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static ENSURE_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks an invariant.
+     * Use this to verify conditions that must remain true before and after a function call (e.g., object integrity).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static INVARIANT(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks an invariant (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static INVARIANT_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Private methods
+     */
+    /**
+     * Core evaluation logic.
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [prefix]  Prefix for the error message.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static "__#1@#check"(isOk: boolean, prefix?: string, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Debug evaluation logic (no message output or exception thrown unless in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [prefix]  Prefix for the error message.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static "__#1@#checkDebug"(isOk: boolean, prefix?: string, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+}
+
+export { Contracts, Contracts as default };

package/dist/index.d.ts

@@ -0,0 +1,154 @@
+/**
+ * Contract checking utilities.
+ * Provides methods to verify preconditions, postconditions, invariants, and general conditions.
+ */
+declare class Contracts {
+    static DEBUG_MODE: boolean;
+    /**
+     * Configures the contract checking behavior.
+     * @param {{debug?: boolean}} config Configuration object
+     */
+    static setConfig(config: {
+        debug?: boolean;
+    }): void;
+    /**
+     * Checks a general condition.
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static VERIFY(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a general condition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static VERIFY_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a precondition.
+     * Use this to verify conditions that must be true before a function executes (e.g., argument validation).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static REQUIRE(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a precondition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static REQUIRE_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a postcondition.
+     * Use this to verify conditions that must be true after a function executes (e.g., return value or object state).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static ENSURE(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks a postcondition (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static ENSURE_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks an invariant.
+     * Use this to verify conditions that must remain true before and after a function call (e.g., object integrity).
+     * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+     * Otherwise, logs the error message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static INVARIANT(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Checks an invariant (for debugging: outputs execution message but throws no exception in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static INVARIANT_DEBUG(isOk: boolean, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Private methods
+     */
+    /**
+     * Core evaluation logic.
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [prefix]  Prefix for the error message.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static "__#1@#check"(isOk: boolean, prefix?: string, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+    /**
+     * Debug evaluation logic (no message output or exception thrown unless in debug mode).
+     * If the result is false and an `error` class is provided, throws an exception.
+     * Otherwise, logs the message to `console.error`.
+     * @param   {boolean}   isOk      The result of the condition check.
+     * @param   {string}    [prefix]  Prefix for the error message.
+     * @param   {string}    [ngMsg]   The error message.
+     * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+     * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+     * @return  {boolean} The evaluation result (returns `isOk` as is).
+     */
+    static "__#1@#checkDebug"(isOk: boolean, prefix?: string, ngMsg?: string, error?: new (...args: any[]) => Error, eProps?: {
+        [x: string]: any;
+    }): boolean;
+}
+
+export { Contracts, Contracts as default };

package/dist/index.js

@@ -0,0 +1,162 @@
+var __defProp = Object.defineProperty;
+var __typeError = (msg) => {
+  throw TypeError(msg);
+};
+var __defNormalProp = (obj, key, value) => key in obj ? __defProp(obj, key, { enumerable: true, configurable: true, writable: true, value }) : obj[key] = value;
+var __publicField = (obj, key, value) => __defNormalProp(obj, typeof key !== "symbol" ? key + "" : key, value);
+var __accessCheck = (obj, member, msg) => member.has(obj) || __typeError("Cannot " + msg);
+var __privateAdd = (obj, member, value) => member.has(obj) ? __typeError("Cannot add the same private member more than once") : member instanceof WeakSet ? member.add(obj) : member.set(obj, value);
+var __privateMethod = (obj, member, method) => (__accessCheck(obj, member, "access private method"), method);
+
+// src/lib/Contracts.js
+var _Contracts_static, check_fn, checkDebug_fn;
+var _Contracts = class _Contracts {
+  /**
+   * Configures the contract checking behavior.
+   * @param {{debug?: boolean}} config Configuration object
+   */
+  static setConfig(config) {
+    if (config) {
+      _Contracts.DEBUG_MODE = config.debug || false;
+    }
+  }
+  /**
+   * Checks a general condition.
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static VERIFY(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "VERIFY", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a general condition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static VERIFY_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "VERIFY_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a precondition.
+   * Use this to verify conditions that must be true before a function executes (e.g., argument validation).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static REQUIRE(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "REQUIRE", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a precondition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static REQUIRE_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "REQUIRE_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a postcondition.
+   * Use this to verify conditions that must be true after a function executes (e.g., return value or object state).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static ENSURE(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "ENSURE", ngMsg, error, eProps);
+  }
+  /**
+   * Checks a postcondition (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static ENSURE_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "ENSURE_DEBUG", ngMsg, error, eProps);
+  }
+  /**
+   * Checks an invariant.
+   * Use this to verify conditions that must remain true before and after a function call (e.g., object integrity).
+   * If `isOk` is false and an `error` class is provided, throws an exception with `ngMsg`.
+   * Otherwise, logs the error message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error=Error] The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static INVARIANT(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, "INVARIANT", ngMsg, error, eProps);
+  }
+  /**
+   * Checks an invariant (for debugging: outputs execution message but throws no exception in debug mode).
+   * If the result is false and an `error` class is provided, throws an exception.
+   * Otherwise, logs the message to `console.error`.
+   * @param   {boolean}   isOk      The result of the condition check.
+   * @param   {string}    [ngMsg]   The error message.
+   * @param   {new (...args: any[]) => Error}  [error]   The error class to throw (Error or its subclass).
+   * @param   {Object<string, *>}    [eProps={}]   Properties to assign to the error instance.
+   * @return  {boolean} The evaluation result (returns `isOk` as is).
+   */
+  static INVARIANT_DEBUG(isOk, ngMsg, error = Error, eProps = {}) {
+    var _a;
+    return __privateMethod(_a = _Contracts, _Contracts_static, checkDebug_fn).call(_a, isOk, "INVARIANT_DEBUG", ngMsg, error, eProps);
+  }
+};
+_Contracts_static = new WeakSet();
+check_fn = function(isOk, prefix = "CHECK", ngMsg = "", error = Error, eProps = {}) {
+  if (!isOk) {
+    const msg = `[${prefix}]${ngMsg ?? ""}`;
+    if (error) throw Object.assign(new error(msg), eProps);
+    if (ngMsg) console.error(msg, eProps);
+  }
+  return isOk;
+};
+checkDebug_fn = function(isOk, prefix = "CHECK_DEBUG", ngMsg = "", error = Error, eProps = {}) {
+  var _a;
+  return _Contracts.DEBUG_MODE ? __privateMethod(_a = _Contracts, _Contracts_static, check_fn).call(_a, isOk, prefix, ngMsg, error, eProps) : isOk;
+};
+__privateAdd(_Contracts, _Contracts_static);
+// @type {boolean}
+__publicField(_Contracts, "DEBUG_MODE", false);
+var Contracts = _Contracts;
+
+// src/index.js
+var index_default = Contracts;
+export {
+  Contracts,
+  index_default as default
+};

package/package.json

@@ -0,0 +1,34 @@
+{
+  "name": "@ayapapa-npm/contracts-js",
+  "version": "0.2.0",
+  "description": "Design by Contract utilities for JavaScript: preconditions, postconditions, and invariants.",
+  "license": "MIT",
+  "author": "ayapapa",
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsup src/index.js --format esm,cjs --out-dir dist --clean --dts",
+    "test": "vitest run",
+    "test:debug": "vitest --inspect-brk --run",
+    "test:watch": "vitest",
+    "prepublishOnly": "npm run build && npm test"
+  },
+  "devDependencies": {
+    "tsup": "^8.5.1",
+    "typescript": "^5.7.3",
+    "vitest": "^4.1.10"
+  },
+  "allowScripts": {
+    "esbuild@0.28.1": true
+  }
+}