@ic-reactor/candid 3.0.2-beta.0 → 3.0.2

package/dist/types.d.ts

@@ -1,6 +1,7 @@
 import type { HttpAgent, Identity } from "@icp-sdk/core/agent";
 import type { IDL } from "@icp-sdk/core/candid";
-import type { BaseActor, CanisterId, ReactorParameters } from "@ic-reactor/core";
+import type { BaseActor, CanisterId, DisplayReactorParameters, ReactorParameters } from "@ic-reactor/core";
+import type { CandidAdapter } from "./adapter";
 export interface DynamicMethodOptions {
     /** The method name to register. */
     functionName: string;
@@ -11,15 +12,45 @@ export interface DynamicMethodOptions {
      */
     candid: string;
 }
-export interface CandidReactorParameters<A = BaseActor> extends Omit<ReactorParameters<A>, "idlFactory" | "actor"> {
+export interface CandidReactorParameters extends Omit<ReactorParameters, "idlFactory"> {
     /** The canister ID. */
-    canisterId: CanisterId;
-    /** The Candid source code. */
+    canisterId?: CanisterId;
+    /** The Candid source code. If not provided, the canister's Candid will be fetched. */
     candid?: string;
     /** The IDL interface factory. */
-    idlFactory?: IDL.InterfaceFactory;
-    /** The actor instance. */
-    actor?: A;
+    idlFactory?: (IDL: any) => any;
+    /** The Candid adapter. */
+    adapter?: CandidAdapter;
+}
+export interface CandidDisplayReactorParameters<A = BaseActor> extends Omit<DisplayReactorParameters<A>, "idlFactory"> {
+    /** The canister ID. */
+    canisterId?: CanisterId;
+    /** The Candid source code. If not provided, the canister's Candid will be fetched. */
+    candid?: string;
+    /** The IDL interface factory. */
+    idlFactory?: (IDL: any) => any;
+    /** The Candid adapter. */
+    adapter?: CandidAdapter;
+    /**
+     * An IDL.FuncClass to register as a single-method service.
+     * Use this to create a reactor for a funcRecord callback.
+     * When provided, the reactor is ready to use immediately (no `initialize()` needed).
+     *
+     * @example
+     * ```typescript
+     * const archiveReactor = new CandidDisplayReactor({
+     *   canisterId: archived.canisterId,
+     *   clientManager,
+     *   funcClass: { methodName: "get_blocks", func: archiveFuncClass },
+     * })
+     * ```
+     */
+    funcClass?: {
+        /** The method name to register */
+        methodName: string;
+        /** The IDL.FuncClass describing the function signature */
+        func: import("@icp-sdk/core/candid").IDL.FuncClass;
+    };
 }
 /**
  * Minimal interface for ClientManager that CandidAdapter depends on.

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAEhF,MAAM,WAAW,oBAAoB;IACnC,mCAAmC;IACnC,YAAY,EAAE,MAAM,CAAA;IACpB;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,uBAAuB,CAAC,CAAC,GAAG,SAAS,CAAE,SAAQ,IAAI,CAClE,iBAAiB,CAAC,CAAC,CAAC,EACpB,YAAY,GAAG,OAAO,CACvB;IACC,uBAAuB;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,8BAA8B;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iCAAiC;IACjC,UAAU,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAA;IACjC,0BAA0B;IAC1B,KAAK,CAAC,EAAE,CAAC,CAAA;CACV;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,+CAA+C;IAC/C,KAAK,EAAE,SAAS,CAAA;IAChB,yDAAyD;IACzD,OAAO,EAAE,OAAO,CAAA;IAChB,sEAAsE;IACtE,SAAS,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,GAAG,MAAM,IAAI,CAAA;CAC9D;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,kEAAkE;IAClE,aAAa,EAAE,mBAAmB,CAAA;IAClC,gFAAgF;IAChF,eAAe,CAAC,EAAE,UAAU,CAAA;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,iCAAiC;IACjC,UAAU,EAAE,GAAG,CAAC,gBAAgB,CAAA;IAChC,+CAA+C;IAC/C,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,OAAO,GAAG,CAAA;KAAE,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;CAC1D;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B;;;;OAIG;IACH,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAA;IACrC;;;;OAIG;IACH,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAA;CAC3C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,wBAAwB,EACxB,iBAAiB,EAClB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAE9C,MAAM,WAAW,oBAAoB;IACnC,mCAAmC;IACnC,YAAY,EAAE,MAAM,CAAA;IACpB;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,uBAAwB,SAAQ,IAAI,CACnD,iBAAiB,EACjB,YAAY,CACb;IACC,uBAAuB;IACvB,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iCAAiC;IACjC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAA;IAC9B,0BAA0B;IAC1B,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAMD,MAAM,WAAW,8BAA8B,CAAC,CAAC,GAAG,SAAS,CAAE,SAAQ,IAAI,CACzE,wBAAwB,CAAC,CAAC,CAAC,EAC3B,YAAY,CACb;IACC,uBAAuB;IACvB,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iCAAiC;IACjC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAA;IAC9B,0BAA0B;IAC1B,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB;;;;;;;;;;;;;OAaG;IACH,SAAS,CAAC,EAAE;QACV,kCAAkC;QAClC,UAAU,EAAE,MAAM,CAAA;QAClB,0DAA0D;QAC1D,IAAI,EAAE,OAAO,sBAAsB,EAAE,GAAG,CAAC,SAAS,CAAA;KACnD,CAAA;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,+CAA+C;IAC/C,KAAK,EAAE,SAAS,CAAA;IAChB,yDAAyD;IACzD,OAAO,EAAE,OAAO,CAAA;IAChB,sEAAsE;IACtE,SAAS,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,GAAG,MAAM,IAAI,CAAA;CAC9D;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,kEAAkE;IAClE,aAAa,EAAE,mBAAmB,CAAA;IAClC,gFAAgF;IAChF,eAAe,CAAC,EAAE,UAAU,CAAA;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,iCAAiC;IACjC,UAAU,EAAE,GAAG,CAAC,gBAAgB,CAAA;IAChC,+CAA+C;IAC/C,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,OAAO,GAAG,CAAA;KAAE,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;CAC1D;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7B;;;;OAIG;IACH,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAA;IACrC;;;;OAIG;IACH,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAA;CAC3C"}

package/dist/utils.d.ts

@@ -1,11 +1,11 @@
 import type { CandidDefinition } from "./types";
-/**
- * A no-operation function placeholder.
- */
-export declare const noop: () => void;
 /**
  * Imports and evaluates a Candid definition from JavaScript code.
  *
+ * This function evaluates JavaScript code in a controlled manner to extract
+ * the idlFactory and init exports. The evaluation is done using Function constructor
+ * which is safer than dynamic imports with data URLs and more CSP-friendly.
+ *
  * @param candidJs - The JavaScript code containing the Candid definition.
  * @returns A promise that resolves to the CandidDefinition.
  * @throws Error if the import fails.

package/dist/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAA;AAE/C;;GAEG;AACH,eAAO,MAAM,IAAI,YAAW,CAAA;AAE5B;;;;;;GAMG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,gBAAgB,CAAC,CAgB3B"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAA;AAG/C;;;;;;;;;;GAUG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,gBAAgB,CAAC,CA2C3B"}

package/dist/utils.js

@@ -1,23 +1,46 @@
-/**
- * A no-operation function placeholder.
- */
-export const noop = () => { };
+import { IDL } from "@icp-sdk/core/candid";
 /**
  * Imports and evaluates a Candid definition from JavaScript code.
  *
+ * This function evaluates JavaScript code in a controlled manner to extract
+ * the idlFactory and init exports. The evaluation is done using Function constructor
+ * which is safer than dynamic imports with data URLs and more CSP-friendly.
+ *
  * @param candidJs - The JavaScript code containing the Candid definition.
  * @returns A promise that resolves to the CandidDefinition.
  * @throws Error if the import fails.
  */
 export async function importCandidDefinition(candidJs) {
     try {
-        // Create a data URL with the JavaScript code
-        const dataUri = "data:text/javascript;charset=utf-8," + encodeURIComponent(candidJs);
-        // Dynamically import the module
-        const module = await import(/* webpackIgnore: true */ dataUri);
+        // Create a module exports object
+        const exports = {};
+        // Transform ES6 export statements to assignments
+        // This is safe because we're only transforming the syntax pattern,
+        // not evaluating arbitrary code
+        const transformedJs = candidJs
+            // Replace 'export const name = value' with 'const name = value; exports.name = name'
+            .replace(/export\s+const\s+(\w+)\s*=/g, "const $1 =")
+            // Replace 'export function name' with 'function name'
+            .replace(/export\s+function\s+(\w+)/g, "function $1");
+        // Create a safe evaluation context with necessary globals
+        // We provide IDL from the trusted @icp-sdk/core/candid package
+        const evalFunction = new Function("exports", "IDL", `
+      ${transformedJs}
+      
+      // Capture exports
+      if (typeof idlFactory !== 'undefined') {
+        exports.idlFactory = idlFactory;
+      }
+      if (typeof init !== 'undefined') {
+        exports.init = init;
+      }
+      return exports;
+      `);
+        // Execute the function with the exports object and IDL
+        const result = evalFunction(exports, IDL);
         return {
-            idlFactory: module.idlFactory,
-            init: module.init,
+            idlFactory: result.idlFactory,
+            init: result.init,
         };
     }
     catch (error) {

package/dist/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,GAAG,EAAE,GAAE,CAAC,CAAA;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,QAAgB;IAEhB,IAAI,CAAC;QACH,6CAA6C;QAC7C,MAAM,OAAO,GACX,qCAAqC,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAA;QAEtE,gCAAgC;QAChC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAA;QAE9D,OAAO;YACL,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;SAClB,CAAA;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAA;IACjE,CAAC;AACH,CAAC"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAE1C;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,QAAgB;IAEhB,IAAI,CAAC;QACH,iCAAiC;QACjC,MAAM,OAAO,GAA4B,EAAE,CAAA;QAE3C,iDAAiD;QACjD,mEAAmE;QACnE,gCAAgC;QAChC,MAAM,aAAa,GAAG,QAAQ;YAC5B,qFAAqF;aACpF,OAAO,CAAC,6BAA6B,EAAE,YAAY,CAAC;YACrD,sDAAsD;aACrD,OAAO,CAAC,4BAA4B,EAAE,aAAa,CAAC,CAAA;QAEvD,0DAA0D;QAC1D,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,QAAQ,CAC/B,SAAS,EACT,KAAK,EACL;QACE,aAAa;;;;;;;;;;OAUd,CACF,CAAA;QAED,uDAAuD;QACvD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAEzC,OAAO;YACL,UAAU,EAAE,MAAM,CAAC,UAA4C;YAC/D,IAAI,EAAE,MAAM,CAAC,IAAgC;SAC9C,CAAA;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAA;IACjE,CAAC;AACH,CAAC"}

package/dist/visitor/arguments/helpers.d.ts

@@ -0,0 +1,55 @@
+import { VisitorDataType, CompoundField, FieldNode, FieldByType, PrimitiveField, RecordField, TupleField, VariantField } from "./types";
+/**
+ * Type guard for checking specific field types.
+ *
+ * @example
+ * ```tsx
+ * function FieldInput({ field }: { field: FieldNode }) {
+ *   if (isFieldType(field, 'record')) {
+ *     // field is now typed as RecordField
+ *     return <RecordInput field={field} />
+ *   }
+ *   if (isFieldType(field, 'text')) {
+ *     // field is now typed as TextField
+ *     return <TextInput field={field} />
+ *   }
+ *   // ...
+ * }
+ * ```
+ */
+export declare function isFieldType<T extends VisitorDataType>(field: FieldNode, type: T): field is FieldByType<T>;
+/**
+ * Check if a field is a compound type (contains other fields).
+ * Compound types: record, variant, tuple, optional, vector, recursive
+ */
+export declare function isCompoundField(field: FieldNode): field is CompoundField;
+/**
+ * Check if a field is a primitive type.
+ * Primitive types: principal, number, text, boolean, null
+ */
+export declare function isPrimitiveField(field: FieldNode): field is PrimitiveField;
+/**
+ * Check if a field has child fields array (for iteration).
+ * Applies to: record (fields), tuple (fields)
+ */
+export declare function hasChildFields(field: FieldNode): field is RecordField | TupleField;
+/**
+ * Check if a field has variant options (for iteration).
+ * Applies to: variant (options)
+ */
+export declare function hasOptions(field: FieldNode): field is VariantField;
+/**
+ * Format a raw Candid label into a human-readable display label.
+ * Handles common patterns like "__arg0", "_0_", "snake_case", etc.
+ *
+ * @example
+ * ```ts
+ * formatLabel("__arg0")        // "Arg 0"
+ * formatLabel("_0_")           // "Item 0"
+ * formatLabel("created_at")    // "Created At"
+ * formatLabel("userAddress")   // "User Address"
+ * formatLabel("__ret0")        // "Result 0"
+ * ```
+ */
+export declare function formatLabel(label: string): string;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/visitor/arguments/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../src/visitor/arguments/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,SAAS,EACT,WAAW,EACX,cAAc,EACd,WAAW,EACX,UAAU,EACV,YAAY,EACb,MAAM,SAAS,CAAA;AAMhB;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,eAAe,EACnD,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,CAAC,GACN,KAAK,IAAI,WAAW,CAAC,CAAC,CAAC,CAEzB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,aAAa,CASxE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,cAAc,CAE1E;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,GACf,KAAK,IAAI,WAAW,GAAG,UAAU,CAMnC;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,YAAY,CAMlE;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CA8CjD"}

package/dist/visitor/arguments/helpers.js

@@ -0,0 +1,123 @@
+// ════════════════════════════════════════════════════════════════════════════
+// Type Guards
+// ════════════════════════════════════════════════════════════════════════════
+/**
+ * Type guard for checking specific field types.
+ *
+ * @example
+ * ```tsx
+ * function FieldInput({ field }: { field: FieldNode }) {
+ *   if (isFieldType(field, 'record')) {
+ *     // field is now typed as RecordField
+ *     return <RecordInput field={field} />
+ *   }
+ *   if (isFieldType(field, 'text')) {
+ *     // field is now typed as TextField
+ *     return <TextInput field={field} />
+ *   }
+ *   // ...
+ * }
+ * ```
+ */
+export function isFieldType(field, type) {
+    return field.type === type;
+}
+/**
+ * Check if a field is a compound type (contains other fields).
+ * Compound types: record, variant, tuple, optional, vector, recursive
+ */
+export function isCompoundField(field) {
+    return [
+        "record",
+        "variant",
+        "tuple",
+        "optional",
+        "vector",
+        "recursive",
+    ].includes(field.type);
+}
+/**
+ * Check if a field is a primitive type.
+ * Primitive types: principal, number, text, boolean, null
+ */
+export function isPrimitiveField(field) {
+    return ["principal", "number", "text", "boolean", "null"].includes(field.type);
+}
+/**
+ * Check if a field has child fields array (for iteration).
+ * Applies to: record (fields), tuple (fields)
+ */
+export function hasChildFields(field) {
+    return ((field.type === "record" || field.type === "tuple") &&
+        "fields" in field &&
+        Array.isArray(field.fields));
+}
+/**
+ * Check if a field has variant options (for iteration).
+ * Applies to: variant (options)
+ */
+export function hasOptions(field) {
+    return (field.type === "variant" &&
+        "options" in field &&
+        Array.isArray(field.options));
+}
+// ════════════════════════════════════════════════════════════════════════════
+// Label Formatting Utilities
+// ════════════════════════════════════════════════════════════════════════════
+/**
+ * Format a raw Candid label into a human-readable display label.
+ * Handles common patterns like "__arg0", "_0_", "snake_case", etc.
+ *
+ * @example
+ * ```ts
+ * formatLabel("__arg0")        // "Arg 0"
+ * formatLabel("_0_")           // "Item 0"
+ * formatLabel("created_at")    // "Created At"
+ * formatLabel("userAddress")   // "User Address"
+ * formatLabel("__ret0")        // "Result 0"
+ * ```
+ */
+export function formatLabel(label) {
+    // Handle argument labels: __arg0 -> Arg 0
+    if (label.startsWith("__arg")) {
+        const num = label.slice(5);
+        return `Arg ${num}`;
+    }
+    // Handle return labels: __ret0 -> Result 0
+    if (label.startsWith("__ret")) {
+        const num = label.slice(5);
+        return `Result ${num}`;
+    }
+    // Handle tuple index labels: _0_ -> Item 0
+    if (/^_\d+_$/.test(label)) {
+        const num = label.slice(1, -1);
+        return `Item ${num}`;
+    }
+    // Handle simple index labels: _0 -> Item 0
+    if (/^_\d+$/.test(label)) {
+        const num = label.slice(1);
+        return `Item ${num}`;
+    }
+    // Handle item labels for vectors: label_item -> Item
+    if (label.endsWith("_item")) {
+        return "Item";
+    }
+    // Convert snake_case or just clean up underscores
+    // and capitalize each word
+    const trimmed = (() => {
+        let start = 0;
+        let end = label.length;
+        while (start < end && label[start] === "_")
+            start++;
+        while (end > start && label[end - 1] === "_")
+            end--;
+        return label.slice(start, end);
+    })();
+    return trimmed
+        .replace(/_/g, " ") // Replace underscores with spaces
+        .replace(/([a-z])([A-Z])/g, "$1 $2") // Add space before capitals (camelCase)
+        .split(" ")
+        .map((word) => word.charAt(0).toUpperCase() + word.slice(1))
+        .join(" ");
+}
+//# sourceMappingURL=helpers.js.map

package/dist/visitor/arguments/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/visitor/arguments/helpers.ts"],"names":[],"mappings":"AAWA,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CACzB,KAAgB,EAChB,IAAO;IAEP,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAgB;IAC9C,OAAO;QACL,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,QAAQ;QACR,WAAW;KACZ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC/C,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AAChF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB;IAEhB,OAAO,CACL,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;QACnD,QAAQ,IAAI,KAAK;QACjB,KAAK,CAAC,OAAO,CAAE,KAAqB,CAAC,MAAM,CAAC,CAC7C,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,SAAS,IAAI,KAAK;QAClB,KAAK,CAAC,OAAO,CAAE,KAAsB,CAAC,OAAO,CAAC,CAC/C,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,0CAA0C;IAC1C,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC1B,OAAO,OAAO,GAAG,EAAE,CAAA;IACrB,CAAC;IAED,2CAA2C;IAC3C,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC1B,OAAO,UAAU,GAAG,EAAE,CAAA;IACxB,CAAC;IAED,2CAA2C;IAC3C,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAC9B,OAAO,QAAQ,GAAG,EAAE,CAAA;IACtB,CAAC;IAED,2CAA2C;IAC3C,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC1B,OAAO,QAAQ,GAAG,EAAE,CAAA;IACtB,CAAC;IAED,qDAAqD;IACrD,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAA;IACf,CAAC;IAED,kDAAkD;IAClD,2BAA2B;IAC3B,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE;QACpB,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAA;QACtB,OAAO,KAAK,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAA;QACnD,OAAO,GAAG,GAAG,KAAK,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,GAAG,EAAE,CAAA;QACnD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAChC,CAAC,CAAC,EAAE,CAAA;IAEJ,OAAO,OAAO;SACX,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,kCAAkC;SACrD,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,wCAAwC;SAC5E,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC3D,IAAI,CAAC,GAAG,CAAC,CAAA;AACd,CAAC"}

package/dist/visitor/arguments/index.d.ts

@@ -0,0 +1,101 @@
+import type { FieldNode, RecordField, VariantField, TupleField, OptionalField, VectorField, BlobField, RecursiveField, PrincipalField, NumberField, BooleanField, NullField, TextField, UnknownField, ArgumentsMeta, ArgumentsServiceMeta } from "./types";
+import { IDL } from "@icp-sdk/core/candid";
+import { BaseActor, FunctionName } from "@ic-reactor/core";
+import * as z from "zod";
+export * from "./types";
+export * from "./helpers";
+export { checkTextFormat, checkNumberFormat } from "../constants";
+/**
+ * FieldVisitor generates metadata for form input fields from Candid IDL types.
+ *
+ * ## Design Principles
+ *
+ * 1. **Works with raw IDL types** - generates metadata at initialization time
+ * 2. **No value dependencies** - metadata is independent of actual values
+ * 3. **Form-framework agnostic** - output can be used with TanStack, React Hook Form, etc.
+ * 4. **Efficient** - single traversal, no runtime type checking
+ * 5. **TanStack Form optimized** - name paths compatible with TanStack Form patterns
+ *
+ * ## Output Structure
+ *
+ * Each field has:
+ * - `type`: The field type (record, variant, text, number, etc.)
+ * - `label`: Raw label from Candid
+ * - `displayLabel`: Human-readable formatted label
+ * - `name`: TanStack Form compatible path (e.g., "[0]", "[0].owner", "tags[1]")
+ * - `component`: Suggested component type for rendering
+ * - `renderHint`: Hints for UI rendering strategy
+ * - `defaultValue`: Initial value for the form
+ * - `schema`: Zod schema for validation
+ * - Type-specific properties (options for variant, fields for record, etc.)
+ * - Helper methods for dynamic forms (getOptionDefault, getItemDefault, etc.)
+ *
+ * ## Usage with TanStack Form
+ *
+ * @example
+ * ```typescript
+ * import { useForm } from '@tanstack/react-form'
+ * import { FieldVisitor } from '@ic-reactor/candid'
+ *
+ * const visitor = new FieldVisitor()
+ * const serviceMeta = service.accept(visitor, null)
+ * const methodMeta = serviceMeta["icrc1_transfer"]
+ *
+ * const form = useForm({
+ *   defaultValues: methodMeta.defaultValue,
+ *   validators: { onBlur: methodMeta.schema },
+ *   onSubmit: async ({ value }) => {
+ *     await actor.icrc1_transfer(...value)
+ *   }
+ * })
+ *
+ * // Render fields dynamically
+ * methodMeta.fields.map((field, index) => (
+ *   <form.Field key={index} name={field.name}>
+ *     {(fieldApi) => <DynamicInput field={field} fieldApi={fieldApi} />}
+ *   </form.Field>
+ * ))
+ * ```
+ */
+export declare class FieldVisitor<A = BaseActor> extends IDL.Visitor<string, FieldNode | ArgumentsMeta<A> | ArgumentsServiceMeta<A>> {
+    recursiveSchemas: Map<string, z.ZodTypeAny>;
+    private nameStack;
+    /**
+     * Execute function with a name segment pushed onto the stack.
+     * Automatically manages stack cleanup.
+     */
+    private withName;
+    /**
+     * Get the current full name path for form binding.
+     * Returns empty string for root level.
+     */
+    private currentName;
+    visitService(t: IDL.ServiceClass): ArgumentsServiceMeta<A>;
+    visitFunc(t: IDL.FuncClass, functionName: FunctionName<A>): ArgumentsMeta<A>;
+    visitRecord(_t: IDL.RecordClass, fields_: Array<[string, IDL.Type]>, label: string): RecordField;
+    visitVariant(_t: IDL.VariantClass, fields_: Array<[string, IDL.Type]>, label: string): VariantField;
+    visitTuple<T extends IDL.Type[]>(_t: IDL.TupleClass<T>, components: IDL.Type[], label: string): TupleField;
+    visitOpt<T>(_t: IDL.OptClass<T>, ty: IDL.Type<T>, label: string): OptionalField;
+    visitVec<T>(_t: IDL.VecClass<T>, ty: IDL.Type<T>, label: string): VectorField | BlobField;
+    visitRec<T>(_t: IDL.RecClass<T>, ty: IDL.ConstructType<T>, label: string): RecursiveField;
+    visitPrincipal(_t: IDL.PrincipalClass, label: string): PrincipalField;
+    visitText(_t: IDL.TextClass, label: string): TextField;
+    /**
+     * Generate format-specific input props for text fields.
+     */
+    private getTextInputProps;
+    /**
+     * Generate format-specific zod schema for text fields.
+     */
+    private getTextSchema;
+    visitBool(_t: IDL.BoolClass, label: string): BooleanField;
+    visitNull(_t: IDL.NullClass, label: string): NullField;
+    private visitNumberType;
+    visitInt(_t: IDL.IntClass, label: string): NumberField | TextField;
+    visitNat(_t: IDL.NatClass, label: string): NumberField | TextField;
+    visitFloat(t: IDL.FloatClass, label: string): NumberField;
+    visitFixedInt(t: IDL.FixedIntClass, label: string): NumberField | TextField;
+    visitFixedNat(t: IDL.FixedNatClass, label: string): NumberField | TextField;
+    visitType<T>(_t: IDL.Type<T>, label: string): UnknownField;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/visitor/arguments/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/visitor/arguments/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,YAAY,EACZ,UAAU,EACV,aAAa,EACb,WAAW,EACX,SAAS,EACT,cAAc,EACd,cAAc,EACd,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,EACb,oBAAoB,EAOrB,MAAM,SAAS,CAAA;AAEhB,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAE1C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAA;AAGxB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AA+FjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,qBAAa,YAAY,CAAC,CAAC,GAAG,SAAS,CAAE,SAAQ,GAAG,CAAC,OAAO,CAC1D,MAAM,EACN,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CACvD;IACQ,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAY;IAE9D,OAAO,CAAC,SAAS,CAAe;IAEhC;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAShB;;;OAGG;IACH,OAAO,CAAC,WAAW;IAQZ,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,GAAG,oBAAoB,CAAC,CAAC,CAAC;IAa1D,SAAS,CACd,CAAC,EAAE,GAAG,CAAC,SAAS,EAChB,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,GAC5B,aAAa,CAAC,CAAC,CAAC;IA2CZ,WAAW,CAChB,EAAE,EAAE,GAAG,CAAC,WAAW,EACnB,OAAO,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAClC,KAAK,EAAE,MAAM,GACZ,WAAW;IAgCP,YAAY,CACjB,EAAE,EAAE,GAAG,CAAC,YAAY,EACpB,OAAO,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAClC,KAAK,EAAE,MAAM,GACZ,YAAY;IAqGR,UAAU,CAAC,CAAC,SAAS,GAAG,CAAC,IAAI,EAAE,EACpC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EACrB,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,EACtB,KAAK,EAAE,MAAM,GACZ,UAAU;IAiCN,QAAQ,CAAC,CAAC,EACf,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACnB,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EACf,KAAK,EAAE,MAAM,GACZ,aAAa;IAqCT,QAAQ,CAAC,CAAC,EACf,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACnB,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EACf,KAAK,EAAE,MAAM,GACZ,WAAW,GAAG,SAAS;IA6EnB,QAAQ,CAAC,CAAC,EACf,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACnB,EAAE,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EACxB,KAAK,EAAE,MAAM,GACZ,cAAc;IAwCV,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc;IA6CrE,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS;IAwB7D;;OAEG;IACH,OAAO,CAAC,iBAAiB;IA6EzB;;OAEG;IACH,OAAO,CAAC,aAAa;IAad,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY;IAmBzD,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS;IAqB7D,OAAO,CAAC,eAAe;IAmFhB,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAOlE,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAOlE,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW;IAQzD,aAAa,CAClB,CAAC,EAAE,GAAG,CAAC,aAAa,EACpB,KAAK,EAAE,MAAM,GACZ,WAAW,GAAG,SAAS;IAenB,aAAa,CAClB,CAAC,EAAE,GAAG,CAAC,aAAa,EACpB,KAAK,EAAE,MAAM,GACZ,WAAW,GAAG,SAAS;IAcnB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY;CAgBlE"}