@nestia/migrate 14.0.1 → 14.0.3

package/lib/factories/SupportedStringFormats.js

@@ -0,0 +1,33 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SUPPORTED_STRING_FORMATS = void 0;
+/**
+ * The string formats of the OpenAPI document that the typia `Format` tag
+ * validates, so a schema carrying one of them is generated as a `Format` tag
+ * and a schema carrying any other format stays a plain `string`.
+ */
+exports.SUPPORTED_STRING_FORMATS = new Set([
+    "byte",
+    "password",
+    "regex",
+    "uuid",
+    "email",
+    "hostname",
+    "idn-email",
+    "idn-hostname",
+    "iri",
+    "iri-reference",
+    "ipv4",
+    "ipv6",
+    "uri",
+    "uri-reference",
+    "uri-template",
+    "url",
+    "date-time",
+    "date",
+    "time",
+    "duration",
+    "json-pointer",
+    "relative-json-pointer",
+]);
+//# sourceMappingURL=SupportedStringFormats.js.map

package/lib/factories/SupportedStringFormats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SupportedStringFormats.js","sourceRoot":"","sources":["../../src/factories/SupportedStringFormats.ts"],"names":[],"mappings":";;;AAAA;;;;GAIG;AACU,QAAA,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,MAAM;IACN,UAAU;IACV,OAAO;IACP,MAAM;IACN,OAAO;IACP,UAAU;IACV,WAAW;IACX,cAAc;IACd,KAAK;IACL,eAAe;IACf,MAAM;IACN,MAAM;IACN,KAAK;IACL,eAAe;IACf,cAAc;IACd,KAAK;IACL,WAAW;IACX,MAAM;IACN,MAAM;IACN,UAAU;IACV,cAAc;IACd,uBAAuB;CACxB,CAAC,CAAC"}

package/lib/factories/SupportedStringFormats.mjs

@@ -0,0 +1,34 @@
+//#region src/factories/SupportedStringFormats.ts
+/**
+* The string formats of the OpenAPI document that the typia `Format` tag
+* validates, so a schema carrying one of them is generated as a `Format` tag
+* and a schema carrying any other format stays a plain `string`.
+*/
+const SUPPORTED_STRING_FORMATS = /* @__PURE__ */ new Set([
+	"byte",
+	"password",
+	"regex",
+	"uuid",
+	"email",
+	"hostname",
+	"idn-email",
+	"idn-hostname",
+	"iri",
+	"iri-reference",
+	"ipv4",
+	"ipv6",
+	"uri",
+	"uri-reference",
+	"uri-template",
+	"url",
+	"date-time",
+	"date",
+	"time",
+	"duration",
+	"json-pointer",
+	"relative-json-pointer"
+]);
+//#endregion
+export { SUPPORTED_STRING_FORMATS };
+
+//# sourceMappingURL=SupportedStringFormats.mjs.map

package/lib/factories/SupportedStringFormats.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"SupportedStringFormats.mjs","names":[],"sources":[],"mappings":""}

package/lib/factories/TypeFactory.d.ts

@@ -5,6 +5,11 @@ import { type KeywordTypeNode, SyntaxKind } from "@ttsc/factory";
  * Wraps {@link factory.createKeywordTypeNode} with a name-based interface so
  * generator code reads as `TypeFactory.keyword("any")` instead of selecting the
  * `SyntaxKind.AnyKeyword` token by hand.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps the names of the nine keyword types to their syntax kinds.
+ * @evidence contracts/common.md#clear-and-simple-design One table, one type, and one function.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 export declare namespace TypeFactory {
     const KEYWORDS: {
@@ -18,7 +23,23 @@ export declare namespace TypeFactory {
         readonly never: SyntaxKind.NeverKeyword;
         readonly undefined: SyntaxKind.UndefinedKeyword;
     };
+    /**
+     * The names of the supported keyword types.
+     *
+     * @evidence contracts/common.md#principled-implementation The type is the key set of the table that maps names to syntax kinds, so a new keyword is one table entry.
+     * @evidence contracts/common.md#clear-and-simple-design One derived type.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The comment names the set.
+     */
     export type Keyword = keyof typeof KEYWORDS;
+    /**
+     * Builds the keyword type node of a keyword name.
+     *
+     * @evidence contracts/common.md#principled-implementation The name is looked up in the table, so an unsupported name is a compile error.
+     * @evidence contracts/common.md#clear-and-simple-design One lookup.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the type grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its input.
+     */
     export const keyword: (type: Keyword) => KeywordTypeNode;
     export {};
 }

package/lib/factories/TypeFactory.js

@@ -8,6 +8,11 @@ const factory_1 = require("@ttsc/factory");
  * Wraps {@link factory.createKeywordTypeNode} with a name-based interface so
  * generator code reads as `TypeFactory.keyword("any")` instead of selecting the
  * `SyntaxKind.AnyKeyword` token by hand.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps the names of the nine keyword types to their syntax kinds.
+ * @evidence contracts/common.md#clear-and-simple-design One table, one type, and one function.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 var TypeFactory;
 (function (TypeFactory) {
@@ -22,6 +27,14 @@ var TypeFactory;
         never: factory_1.SyntaxKind.NeverKeyword,
         undefined: factory_1.SyntaxKind.UndefinedKeyword,
     };
+    /**
+     * Builds the keyword type node of a keyword name.
+     *
+     * @evidence contracts/common.md#principled-implementation The name is looked up in the table, so an unsupported name is a compile error.
+     * @evidence contracts/common.md#clear-and-simple-design One lookup.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the type grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its input.
+     */
     TypeFactory.keyword = (type) => factory_1.factory.createKeywordTypeNode(KEYWORDS[type]);
 })(TypeFactory || (exports.TypeFactory = TypeFactory = {}));
 //# sourceMappingURL=TypeFactory.js.map

package/lib/factories/TypeFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"TypeFactory.js","sourceRoot":"","sources":["../../src/factories/TypeFactory.ts"],"names":[],"mappings":";;;AAAA,2CAA0E;AAE1E;;;;;;GAMG;AACH,IAAiB,WAAW,CAiB3B;AAjBD,WAAiB,WAAW;IAC1B,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,oBAAU,CAAC,WAAW;QAC5B,GAAG,EAAE,oBAAU,CAAC,UAAU;QAC1B,OAAO,EAAE,oBAAU,CAAC,cAAc;QAClC,OAAO,EAAE,oBAAU,CAAC,cAAc;QAClC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,KAAK,EAAE,oBAAU,CAAC,YAAY;QAC9B,SAAS,EAAE,oBAAU,CAAC,gBAAgB;KAC9B,CAAC;IAIE,mBAAO,GAAG,CAAC,IAAa,EAAmB,EAAE,CACxD,iBAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC,EAjBgB,WAAW,aAAX,WAAW,GAAX,WAAW,QAiB3B"}
+{"version":3,"file":"TypeFactory.js","sourceRoot":"","sources":["../../src/factories/TypeFactory.ts"],"names":[],"mappings":";;;AAAA,2CAA0E;AAE1E;;;;;;;;;;;GAWG;AACH,IAAiB,WAAW,CAiC3B;AAjCD,WAAiB,WAAW;IAC1B,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,oBAAU,CAAC,WAAW;QAC5B,GAAG,EAAE,oBAAU,CAAC,UAAU;QAC1B,OAAO,EAAE,oBAAU,CAAC,cAAc;QAClC,OAAO,EAAE,oBAAU,CAAC,cAAc;QAClC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,MAAM,EAAE,oBAAU,CAAC,aAAa;QAChC,KAAK,EAAE,oBAAU,CAAC,YAAY;QAC9B,SAAS,EAAE,oBAAU,CAAC,gBAAgB;KAC9B,CAAC;IAYX;;;;;;;OAOG;IACU,mBAAO,GAAG,CAAC,IAAa,EAAmB,EAAE,CACxD,iBAAO,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC,EAjCgB,WAAW,aAAX,WAAW,GAAX,WAAW,QAiC3B"}

package/lib/factories/TypeLiteralFactory.d.ts

@@ -1,4 +1,22 @@
 import ts from "../internal/ts";
+/**
+ * Builds type nodes from JavaScript values, so a value can be written as a
+ * literal type.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps booleans, numbers, strings, null, arrays as tuples, and objects as type literals, and anything else to `any`.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function and small private builders per kind.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is by type, with no value special-cased.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
+ */
 export declare namespace TypeLiteralFactory {
+    /**
+     * Builds the literal type of a value: a literal for a primitive, a tuple for
+     * an array, a type literal for an object, and `any` for other values.
+     *
+     * @evidence contracts/common.md#principled-implementation The value is dispatched by type, negative numbers use a prefix minus as expressions do, and object keys that are not identifiers are quoted.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch per kind.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The dispatch is general.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the mapping.
+     */
     const generate: (value: any) => ts.TypeNode;
 }

package/lib/factories/TypeLiteralFactory.js

@@ -3,8 +3,26 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypeLiteralFactory = void 0;
 const factory_1 = require("@ttsc/factory");
 const utils_1 = require("@typia/utils");
+/**
+ * Builds type nodes from JavaScript values, so a value can be written as a
+ * literal type.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps booleans, numbers, strings, null, arrays as tuples, and objects as type literals, and anything else to `any`.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function and small private builders per kind.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is by type, with no value special-cased.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
+ */
 var TypeLiteralFactory;
 (function (TypeLiteralFactory) {
+    /**
+     * Builds the literal type of a value: a literal for a primitive, a tuple for
+     * an array, a type literal for an object, and `any` for other values.
+     *
+     * @evidence contracts/common.md#principled-implementation The value is dispatched by type, negative numbers use a prefix minus as expressions do, and object keys that are not identifiers are quoted.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch per kind.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The dispatch is general.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the mapping.
+     */
     TypeLiteralFactory.generate = (value) => typeof value === "boolean"
         ? generateBoolean(value)
         : typeof value === "number"

package/lib/factories/TypeLiteralFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"TypeLiteralFactory.js","sourceRoot":"","sources":["../../src/factories/TypeLiteralFactory.ts"],"names":[],"mappings":";;;AAAA,2CAAoD;AACpD,wCAAgD;AAIhD,IAAiB,kBAAkB,CAqDlC;AArDD,WAAiB,kBAAkB;IACpB,2BAAQ,GAAG,CAAC,KAAU,EAAe,EAAE,CAClD,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;QACxB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;YACvB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;gBACzB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;gBACvB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,KAAK,KAAK,IAAI;wBACd,CAAC,CAAC,YAAY,EAAE;wBAChB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;4BACpB,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC;4BACtB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;oBAC3B,CAAC,CAAC,iBAAO,CAAC,qBAAqB,CAAC,oBAAU,CAAC,UAAU,CAAC,CAAC;IAEjE,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;IAElE,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAC3B,GAAG,GAAG,CAAC;QACL,CAAC,CAAC,iBAAO,CAAC,2BAA2B,CACjC,oBAAU,CAAC,UAAU,EACrB,iBAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CACnC;QACH,CAAC,CAAC,iBAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,CACtC,CAAC;IAEJ,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,EAAE,CACxC,iBAAO,CAAC,qBAAqB,CAC3B,IAAI,CAAC,CAAC,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,iBAAO,CAAC,WAAW,EAAE,CACpD,CAAC;IAEJ,MAAM,YAAY,GAAG,GAAG,EAAE,CACxB,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAEtD,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,EAAE,CACrC,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,2BAAQ,CAAC,CAAC,CAAC;IAEnD,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAC3B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACvC,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,wBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC5B,CAAC,CAAC,iBAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC/B,CAAC,CAAC,iBAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EACpC,SAAS,EACT,2BAAQ,CAAC,KAAK,CAAC,CAChB,CACF,CACF,CAAC;AACN,CAAC,EArDgB,kBAAkB,aAAlB,kBAAkB,GAAlB,kBAAkB,QAqDlC"}
+{"version":3,"file":"TypeLiteralFactory.js","sourceRoot":"","sources":["../../src/factories/TypeLiteralFactory.ts"],"names":[],"mappings":";;;AAAA,2CAAoD;AACpD,wCAAgD;AAIhD;;;;;;;;GAQG;AACH,IAAiB,kBAAkB,CA8DlC;AA9DD,WAAiB,kBAAkB;IACjC;;;;;;;;OAQG;IACU,2BAAQ,GAAG,CAAC,KAAU,EAAe,EAAE,CAClD,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;QACxB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;YACvB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;gBACzB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;gBACvB,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,KAAK,KAAK,IAAI;wBACd,CAAC,CAAC,YAAY,EAAE;wBAChB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;4BACpB,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC;4BACtB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;oBAC3B,CAAC,CAAC,iBAAO,CAAC,qBAAqB,CAAC,oBAAU,CAAC,UAAU,CAAC,CAAC;IAEjE,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;IAElE,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAC3B,GAAG,GAAG,CAAC;QACL,CAAC,CAAC,iBAAO,CAAC,2BAA2B,CACjC,oBAAU,CAAC,UAAU,EACrB,iBAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CACnC;QACH,CAAC,CAAC,iBAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,CACtC,CAAC;IAEJ,MAAM,eAAe,GAAG,CAAC,IAAa,EAAE,EAAE,CACxC,iBAAO,CAAC,qBAAqB,CAC3B,IAAI,CAAC,CAAC,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,iBAAO,CAAC,WAAW,EAAE,CACpD,CAAC;IAEJ,MAAM,YAAY,GAAG,GAAG,EAAE,CACxB,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAEtD,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,EAAE,CACrC,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,2BAAQ,CAAC,CAAC,CAAC;IAEnD,MAAM,cAAc,GAAG,CAAC,GAAW,EAAE,EAAE,CACrC,iBAAO,CAAC,qBAAqB,CAC3B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACvC,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,wBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC5B,CAAC,CAAC,iBAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC/B,CAAC,CAAC,iBAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,EACpC,SAAS,EACT,2BAAQ,CAAC,KAAK,CAAC,CAChB,CACF,CACF,CAAC;AACN,CAAC,EA9DgB,kBAAkB,aAAlB,kBAAkB,GAAlB,kBAAkB,QA8DlC"}

package/lib/internal/ts.d.ts

@@ -20,24 +20,177 @@ type _TypeNode = TypeNode;
 type _TypeReferenceNode = TypeReferenceNode;
 type _UnionTypeNode = UnionTypeNode;
 type _VariableStatement = VariableStatement;
+/**
+ * A compatibility stand-in for `import ts from "typescript"`: the one value the
+ * generators still call, and the node types under the names they use.
+ *
+ * @evidence contracts/common.md#principled-implementation The value is the union-type guard, and the namespace aliases map each used compiler type name to the matching node type of the factory package, so existing annotations keep their exact shapes.
+ * @evidence contracts/common.md#clear-and-simple-design One value and one declaration-only namespace of aliases.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It avoids loading the compiler; the guard is implemented on the node kind, not on a patched compiler.
+ * @evidence contracts/common.md#meaningful-documentation The leading comment explains why the shim exists.
+ */
 declare namespace ts {
+    /**
+     * The `Node` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Node` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Node = _Node;
+    /**
+     * The `Block` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Block` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Block = _Block;
+    /**
+     * The `CallExpression` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `CallExpression` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type CallExpression = _CallExpression;
+    /**
+     * The `ConciseBody` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation A concise body is a block or an expression, the same union the compiler defines.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type ConciseBody = _Block | _Expression;
+    /**
+     * The `Decorator` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Decorator` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Decorator = _Decorator;
+    /**
+     * The `Expression` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Expression` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Expression = _Expression;
+    /**
+     * The `FunctionDeclaration` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `FunctionDeclaration` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type FunctionDeclaration = _FunctionDeclaration;
+    /**
+     * The `Identifier` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Identifier` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Identifier = _Identifier;
+    /**
+     * The `KeywordTypeNode` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `KeywordTypeNode` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type KeywordTypeNode = _KeywordTypeNode;
+    /**
+     * The `MethodDeclaration` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `MethodDeclaration` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type MethodDeclaration = _MethodDeclaration;
+    /**
+     * The `ModuleDeclaration` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `ModuleDeclaration` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type ModuleDeclaration = _ModuleDeclaration;
+    /**
+     * The `ParameterDeclaration` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `ParameterDeclaration` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type ParameterDeclaration = _ParameterDeclaration;
+    /**
+     * The `Statement` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `Statement` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type Statement = _Statement;
+    /**
+     * The `TypeAliasDeclaration` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `TypeAliasDeclaration` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type TypeAliasDeclaration = _TypeAliasDeclaration;
+    /**
+     * The `TypeNode` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `TypeNode` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type TypeNode = _TypeNode;
+    /**
+     * The `TypeReferenceNode` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `TypeReferenceNode` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type TypeReferenceNode = _TypeReferenceNode;
+    /**
+     * The `UnionTypeNode` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `UnionTypeNode` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type UnionTypeNode = _UnionTypeNode;
+    /**
+     * The `VariableStatement` node type under the name the generators use.
+     *
+     * @evidence contracts/common.md#principled-implementation The alias names the `VariableStatement` node type of the factory package.
+     * @evidence contracts/common.md#clear-and-simple-design One alias.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The alias is named after the compiler type it replaces, and the file comment explains the shim.
+     */
     type VariableStatement = _VariableStatement;
 }
 export default ts;

package/lib/internal/ts.js.map

@@ -1 +1 @@
-{"version":3,"file":"ts.js","sourceRoot":"","sources":["../../src/internal/ts.ts"],"names":[],"mappings":";;AA8BA,MAAM,EAAE,GAAY;IAClB,eAAe,EAAE,CAAC,IAAsB,EAAyB,EAAE,CACjE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;CAC1C,CAAC;kBAyCa,EAAE"}
+{"version":3,"file":"ts.js","sourceRoot":"","sources":["../../src/internal/ts.ts"],"names":[],"mappings":";;AA8BA,MAAM,EAAE,GAAY;IAClB,eAAe,EAAE,CAAC,IAAsB,EAAyB,EAAE,CACjE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;CAC1C,CAAC;kBAkMa,EAAE"}

package/lib/package.mjs

@@ -0,0 +1,55 @@
+import { __commonJSMin } from "./_virtual/_rolldown/runtime.mjs";
+//#region ../../package.json
+var require_package = /* @__PURE__ */ __commonJSMin(((exports, module) => {
+	module.exports = {
+		"private": true,
+		"name": "@nestia/station",
+		"version": "14.0.3",
+		"description": "Nestia station",
+		"scripts": {
+			"build": "pnpm --filter=./packages/* -r build",
+			"evidence": "pnpm --filter=./config --filter=./packages/* --filter=./tests/* -r --no-bail --workspace-concurrency=1 run evidence",
+			"evidence:tests": "pnpm --filter=./tests/* --fail-if-no-match -r --no-bail --workspace-concurrency=1 run evidence",
+			"format": "prettier --write \"packages/**/*.ts\" \"tests/**/*.ts\"",
+			"format:check": "prettier --check \"packages/**/*.ts\" \"tests/**/*.ts\"",
+			"test": "pnpm build && pnpm evidence && pnpm test:go && pnpm test:unit && pnpm test:e2e",
+			"package:prepare": "pnpm build && node deploy/copy-readme.cjs",
+			"package:latest": "pnpm package:prepare && pnpm --filter=./packages/* -r publish --tag latest",
+			"package:next": "pnpm package:prepare && pnpm --filter=./packages/* -r publish --tag next",
+			"package:rc": "pnpm package:prepare && pnpm --filter=./packages/* -r publish --tag rc",
+			"package:tgz": "pnpm package:prepare && node deploy/tarballs",
+			"release": "rimraf packages/migrate/assets && bumpp -r",
+			"test:unit": "pnpm --filter=./packages/* --filter=./tests/* -r --no-bail --if-present run test:unit",
+			"test:go": "ttsx --no-plugins --tsconfig config/tsconfig.json config/testing/CompilerEnvironment.ts",
+			"test:e2e": "pnpm --filter=@nestia/test-sdk --fail-if-no-match integration"
+		},
+		"repository": {
+			"type": "git",
+			"url": "https://github.com/samchon/nestia"
+		},
+		"author": "Jeongho Nam",
+		"license": "MIT",
+		"bugs": { "url": "https://github.com/samchon/nestia/issues" },
+		"homepage": "https://nestia.io",
+		"devDependencies": {
+			"@trivago/prettier-plugin-sort-imports": "catalog:typescript",
+			"@wrtnlabs/evidence": "catalog:samchon",
+			"@types/ts-expose-internals": "npm:ts-expose-internals@5.4.5",
+			"bumpp": "^10.4.1",
+			"cross-env": "catalog:utils",
+			"prettier": "catalog:typescript",
+			"prettier-plugin-jsdoc": "catalog:typescript",
+			"rimraf": "catalog:utils",
+			"sloc": "^0.3.0",
+			"ttsc": "catalog:typescript",
+			"typescript": "catalog:typescript",
+			"yaml": "catalog:utils"
+		},
+		"packageManager": "pnpm@10.6.4"
+	};
+}));
+//#endregion
+export default require_package();
+export { require_package };
+
+//# sourceMappingURL=package.mjs.map

package/lib/package.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"package.mjs","names":[],"sources":["../../../package.json"],"sourcesContent":[""],"mappings":""}

package/lib/programmers/NestiaMigrateApiFileProgrammer.d.ts

@@ -1,13 +1,44 @@
 import { IHttpMigrateRoute, OpenApi } from "@typia/interface";
 import ts from "../internal/ts";
 import { INestiaMigrateConfig } from "../structures/INestiaMigrateConfig";
+/**
+ * Generates one file of the functional API: the imports, the exports of the
+ * child namespaces, and the functions of the routes at this level.
+ *
+ * @evidence contracts/common.md#principled-implementation Each route contributes its function and its namespace, the imports are collected by one importer and emitted first, and each child namespace is re-exported, so a file is a complete module.
+ * @evidence contracts/common.md#clear-and-simple-design One function over the two per-route programmers and the importer.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The output derives from the routes and the configuration.
+ * @evidence contracts/common.md#meaningful-documentation The comment states the file's content.
+ */
 export declare namespace NestiaMigrateApiFileProgrammer {
+    /**
+     * The input of one API file: the configuration, the components, the namespace
+     * path, the routes, and the child namespaces.
+     *
+     * @evidence contracts/common.md#principled-implementation The record holds exactly what a file needs, so files can be generated independently.
+     * @evidence contracts/common.md#clear-and-simple-design A flat record.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the fields.
+     */
     interface IProps {
+        /** Calling convention and optional generated features for this operation. */
         config: INestiaMigrateConfig;
+        /** Component schemas used to resolve DTO references. */
         components: OpenApi.IComponents;
+        /** Accessor prefix locating this functional API index. */
         namespace: string[];
+        /** Operations whose functions belong directly to this index. */
         routes: IHttpMigrateRoute[];
+        /** Immediate child namespace names re-exported by this index. */
         children: Set<string>;
     }
+    /**
+     * Returns the statements of one API file.
+     *
+     * @evidence contracts/common.md#principled-implementation The relative path to the structures directory is derived from the namespace depth, so imports resolve from every level.
+     * @evidence contracts/common.md#clear-and-simple-design One function.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The depth is computed, not hardcoded.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its result.
+     */
     const write: (props: IProps) => ts.Statement[];
 }

package/lib/programmers/NestiaMigrateApiFileProgrammer.js

@@ -6,8 +6,25 @@ const FilePrinter_1 = require("../utils/FilePrinter");
 const NestiaMigrateApiFunctionProgrammer_1 = require("./NestiaMigrateApiFunctionProgrammer");
 const NestiaMigrateApiNamespaceProgrammer_1 = require("./NestiaMigrateApiNamespaceProgrammer");
 const NestiaMigrateImportProgrammer_1 = require("./NestiaMigrateImportProgrammer");
+/**
+ * Generates one file of the functional API: the imports, the exports of the
+ * child namespaces, and the functions of the routes at this level.
+ *
+ * @evidence contracts/common.md#principled-implementation Each route contributes its function and its namespace, the imports are collected by one importer and emitted first, and each child namespace is re-exported, so a file is a complete module.
+ * @evidence contracts/common.md#clear-and-simple-design One function over the two per-route programmers and the importer.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The output derives from the routes and the configuration.
+ * @evidence contracts/common.md#meaningful-documentation The comment states the file's content.
+ */
 var NestiaMigrateApiFileProgrammer;
 (function (NestiaMigrateApiFileProgrammer) {
+    /**
+     * Returns the statements of one API file.
+     *
+     * @evidence contracts/common.md#principled-implementation The relative path to the structures directory is derived from the namespace depth, so imports resolve from every level.
+     * @evidence contracts/common.md#clear-and-simple-design One function.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The depth is computed, not hardcoded.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its result.
+     */
     NestiaMigrateApiFileProgrammer.write = (props) => {
         const importer = new NestiaMigrateImportProgrammer_1.NestiaMigrateImportProgrammer();
         const statements = props.routes

package/lib/programmers/NestiaMigrateApiFileProgrammer.js.map

@@ -1 +1 @@
-{"version":3,"file":"NestiaMigrateApiFileProgrammer.js","sourceRoot":"","sources":["../../src/programmers/NestiaMigrateApiFileProgrammer.ts"],"names":[],"mappings":";;;AAAA,2CAAwC;AAKxC,sDAAmD;AACnD,6FAA0F;AAC1F,+FAA4F;AAC5F,mFAAgF;AAEhF,IAAiB,8BAA8B,CA4C9C;AA5CD,WAAiB,8BAA8B;IAShC,oCAAK,GAAG,CAAC,KAAa,EAAkB,EAAE;QACrD,MAAM,QAAQ,GACZ,IAAI,6DAA6B,EAAE,CAAC;QACtC,MAAM,UAAU,GAAmB,KAAK,CAAC,MAAM;aAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACd,yBAAW,CAAC,OAAO,EAAE;YACrB,uEAAkC,CAAC,KAAK,CAAC;gBACvC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ;gBACR,KAAK;aACN,CAAC;YACF,yEAAmC,CAAC,KAAK,CAAC;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ;gBACR,KAAK;aACN,CAAC;SACH,CAAC;aACD,IAAI,EAAE,CAAC;QACV,OAAO;YACL,GAAG,QAAQ,CAAC,YAAY,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,GAAG,EAAE,CACvE;YACD,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnC,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,KAAK,EACL,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAC9D,iBAAO,CAAC,mBAAmB,CAAC,KAAK,KAAK,QAAQ,CAAC,CAChD,CACF;YACD,GAAG,UAAU;SACd,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EA5CgB,8BAA8B,aAA9B,8BAA8B,GAA9B,8BAA8B,QA4C9C"}
+{"version":3,"file":"NestiaMigrateApiFileProgrammer.js","sourceRoot":"","sources":["../../src/programmers/NestiaMigrateApiFileProgrammer.ts"],"names":[],"mappings":";;;AAAA,2CAAwC;AAKxC,sDAAmD;AACnD,6FAA0F;AAC1F,+FAA4F;AAC5F,mFAAgF;AAEhF;;;;;;;;GAQG;AACH,IAAiB,8BAA8B,CAsE9C;AAtED,WAAiB,8BAA8B;IA2B7C;;;;;;;OAOG;IACU,oCAAK,GAAG,CAAC,KAAa,EAAkB,EAAE;QACrD,MAAM,QAAQ,GACZ,IAAI,6DAA6B,EAAE,CAAC;QACtC,MAAM,UAAU,GAAmB,KAAK,CAAC,MAAM;aAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACd,yBAAW,CAAC,OAAO,EAAE;YACrB,uEAAkC,CAAC,KAAK,CAAC;gBACvC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ;gBACR,KAAK;aACN,CAAC;YACF,yEAAmC,CAAC,KAAK,CAAC;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ;gBACR,KAAK;aACN,CAAC;SACH,CAAC;aACD,IAAI,EAAE,CAAC;QACV,OAAO;YACL,GAAG,QAAQ,CAAC,YAAY,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,GAAG,EAAE,CACvE;YACD,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnC,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,KAAK,EACL,iBAAO,CAAC,qBAAqB,CAAC,iBAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAC9D,iBAAO,CAAC,mBAAmB,CAAC,KAAK,KAAK,QAAQ,CAAC,CAChD,CACF;YACD,GAAG,UAAU;SACd,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EAtEgB,8BAA8B,aAA9B,8BAA8B,GAA9B,8BAA8B,QAsE9C"}

package/lib/programmers/NestiaMigrateApiFunctionProgrammer.d.ts

@@ -2,13 +2,53 @@ import { IHttpMigrateRoute, OpenApi } from "@typia/interface";
 import ts from "../internal/ts";
 import { INestiaMigrateConfig } from "../structures/INestiaMigrateConfig";
 import { NestiaMigrateImportProgrammer } from "./NestiaMigrateImportProgrammer";
+/**
+ * Generates the function of one route in the SDK.
+ *
+ * @evidence contracts/common.md#principled-implementation The function has the connection parameter, the path, query, header, and body parameters in positional or keyword form, and its body calls the plain or the encrypted fetcher, or the simulator when the connection asks for it, and copies response headers when the description asks.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function, one public parameter builder shared with the simulation programmer, and private helpers for the body and the header directives.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The output derives from the route and the configuration, and the header directives are read from the documented tags.
+ * @evidence contracts/common.md#meaningful-documentation The comment states what is generated.
+ */
 export declare namespace NestiaMigrateApiFunctionProgrammer {
+    /**
+     * The input of one function: the configuration, the components, the importer,
+     * and the route.
+     *
+     * @evidence contracts/common.md#principled-implementation The record holds exactly what the function generation needs.
+     * @evidence contracts/common.md#clear-and-simple-design A flat record.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It is a type and adds no runtime behavior.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the fields.
+     */
     interface IContext {
+        /** Calling convention and optional generated features for this operation. */
         config: INestiaMigrateConfig;
+        /** Component schemas used to resolve DTO references. */
         components: OpenApi.IComponents;
+        /** File-local import collector shared with the surrounding file writer. */
         importer: NestiaMigrateImportProgrammer;
+        /** Analyzed operation, with the accessor chosen for this generation. */
         route: IHttpMigrateRoute;
     }
+    /**
+     * Returns the exported async function declaration of the route, with its
+     * description.
+     *
+     * @evidence contracts/common.md#principled-implementation The function name is the last accessor segment, the return type is the namespace's response type or void, and the description comes from the route comment with the path, the accessor, and the author tag.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the private parts.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The names come from the accessor.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the result.
+     */
     const write: (ctx: IContext) => ts.FunctionDeclaration;
+    /**
+     * Returns the parameters of the function: the connection first, then either
+     * one `props` parameter in keyword mode or the path, query, and body
+     * parameters in positional mode.
+     *
+     * @evidence contracts/common.md#principled-implementation The connection type carries the route's header type when it has one, keyword mode adds `props` only when there is something to pass, and an optional body is marked optional.
+     * @evidence contracts/common.md#clear-and-simple-design One function with the two modes as two returns.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The shape follows the configuration.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the two modes.
+     */
     const writeParameterDeclarations: (ctx: IContext, connectionName?: string) => ts.ParameterDeclaration[];
 }

package/lib/programmers/NestiaMigrateApiFunctionProgrammer.js

@@ -9,8 +9,25 @@ const FilePrinter_1 = require("../utils/FilePrinter");
 const RequestBody_1 = require("../utils/RequestBody");
 const SuccessStatus_1 = require("../utils/SuccessStatus");
 const NestiaMigrateSchemaProgrammer_1 = require("./NestiaMigrateSchemaProgrammer");
+/**
+ * Generates the function of one route in the SDK.
+ *
+ * @evidence contracts/common.md#principled-implementation The function has the connection parameter, the path, query, header, and body parameters in positional or keyword form, and its body calls the plain or the encrypted fetcher, or the simulator when the connection asks for it, and copies response headers when the description asks.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function, one public parameter builder shared with the simulation programmer, and private helpers for the body and the header directives.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The output derives from the route and the configuration, and the header directives are read from the documented tags.
+ * @evidence contracts/common.md#meaningful-documentation The comment states what is generated.
+ */
 var NestiaMigrateApiFunctionProgrammer;
 (function (NestiaMigrateApiFunctionProgrammer) {
+    /**
+     * Returns the exported async function declaration of the route, with its
+     * description.
+     *
+     * @evidence contracts/common.md#principled-implementation The function name is the last accessor segment, the return type is the namespace's response type or void, and the description comes from the route comment with the path, the accessor, and the author tag.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the private parts.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The names come from the accessor.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the result.
+     */
     NestiaMigrateApiFunctionProgrammer.write = (ctx) => FilePrinter_1.FilePrinter.description(factory_1.factory.createFunctionDeclaration([
         factory_1.factory.createModifier(factory_1.SyntaxKind.ExportKeyword),
         factory_1.factory.createModifier(factory_1.SyntaxKind.AsyncKeyword),
@@ -19,6 +36,16 @@ var NestiaMigrateApiFunctionProgrammer;
             ? "void"
             : `${ctx.route.accessor.at(-1)}.Response`),
     ]), factory_1.factory.createBlock(writeBody(ctx), true)), writeDescription(ctx.config, ctx.route));
+    /**
+     * Returns the parameters of the function: the connection first, then either
+     * one `props` parameter in keyword mode or the path, query, and body
+     * parameters in positional mode.
+     *
+     * @evidence contracts/common.md#principled-implementation The connection type carries the route's header type when it has one, keyword mode adds `props` only when there is something to pass, and an optional body is marked optional.
+     * @evidence contracts/common.md#clear-and-simple-design One function with the two modes as two returns.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The shape follows the configuration.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the two modes.
+     */
     NestiaMigrateApiFunctionProgrammer.writeParameterDeclarations = (ctx, connectionName) => {
         const connection = IdentifierFactory_1.IdentifierFactory.parameter(connectionName !== null && connectionName !== void 0 ? connectionName : "connection", factory_1.factory.createTypeReferenceNode(ctx.importer.external({
             type: "instance",