@ic-reactor/candid 3.0.13-beta.0 → 3.0.14-beta.0

package/dist/visitor/types.d.ts

@@ -2,4 +2,18 @@ export type FieldType = "functionRecord" | "function" | "record" | "variant" | "
 export type { Principal } from "@icp-sdk/core/principal";
 import type { IDL } from "@icp-sdk/core/candid";
 export type AllNumberTypes = IDL.NatClass | IDL.IntClass | IDL.FixedNatClass | IDL.FixedIntClass | IDL.FloatClass;
+/**
+ * The core Candid type category used across visitors.
+ */
+export type VisitorDataType = "record" | "variant" | "tuple" | "optional" | "vector" | "blob" | "recursive" | "principal" | "number" | "text" | "boolean" | "null" | "unknown";
+/**
+ * Detected format for text fields based on label heuristics.
+ * Used to provide format-specific validation and display.
+ */
+export type TextFormat = "plain" | "timestamp" | "uuid" | "url" | "email" | "phone" | "btc" | "eth" | "account-id" | "principal" | "cycle";
+/**
+ * Detected format for number fields based on label heuristics.
+ * Used to provide format-specific validation and display.
+ */
+export type NumberFormat = "timestamp" | "cycle" | "value" | "token" | "normal";
 //# sourceMappingURL=types.d.ts.map

package/dist/visitor/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/visitor/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GACjB,gBAAgB,GAChB,UAAU,GACV,QAAQ,GACR,SAAS,GACT,OAAO,GACP,UAAU,GACV,QAAQ,GACR,OAAO,GACP,MAAM,GACN,YAAY,GACZ,WAAW,GACX,SAAS,GACT,MAAM,GACN,QAAQ,GACR,WAAW,GACX,SAAS,GACT,MAAM,CAAA;AAEV,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAExD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAC/C,MAAM,MAAM,cAAc,GACtB,GAAG,CAAC,QAAQ,GACZ,GAAG,CAAC,QAAQ,GACZ,GAAG,CAAC,aAAa,GACjB,GAAG,CAAC,aAAa,GACjB,GAAG,CAAC,UAAU,CAAA"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/visitor/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GACjB,gBAAgB,GAChB,UAAU,GACV,QAAQ,GACR,SAAS,GACT,OAAO,GACP,UAAU,GACV,QAAQ,GACR,OAAO,GACP,MAAM,GACN,YAAY,GACZ,WAAW,GACX,SAAS,GACT,MAAM,GACN,QAAQ,GACR,WAAW,GACX,SAAS,GACT,MAAM,CAAA;AAEV,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAExD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAA;AAC/C,MAAM,MAAM,cAAc,GACtB,GAAG,CAAC,QAAQ,GACZ,GAAG,CAAC,QAAQ,GACZ,GAAG,CAAC,aAAa,GACjB,GAAG,CAAC,aAAa,GACjB,GAAG,CAAC,UAAU,CAAA;AAMlB;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,SAAS,GACT,OAAO,GACP,UAAU,GACV,QAAQ,GACR,MAAM,GACN,WAAW,GACX,WAAW,GACX,QAAQ,GACR,MAAM,GACN,SAAS,GACT,MAAM,GACN,SAAS,CAAA;AAEb;;;GAGG;AACH,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,WAAW,GACX,MAAM,GACN,KAAK,GACL,OAAO,GACP,OAAO,GACP,KAAK,GACL,KAAK,GACL,YAAY,GACZ,WAAW,GACX,OAAO,CAAA;AAEX;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ic-reactor/candid",
-  "version": "3.0.13-beta.0",
+  "version": "3.0.14-beta.0",
   "description": "IC Reactor Candid Adapter - Fetch and parse Candid definitions from Internet Computer canisters",
   "main": "dist/index.js",
   "module": "dist/index.js",
@@ -44,7 +44,7 @@
   "dependencies": {
     "@noble/hashes": "^2.0.1",
     "zod": "^4.3.5",
-    "@ic-reactor/core": "^3.0.13-beta.0"
+    "@ic-reactor/core": "^3.0.14-beta.0"
   },
   "peerDependencies": {
     "zod": "^4.3.5",

package/src/visitor/arguments/helpers.ts

@@ -1,7 +1,7 @@
 import {
   ArgumentFieldType,
   CompoundField,
-  Field,
+  FieldNode,
   FieldByType,
   PrimitiveField,
   RecordField,
@@ -28,14 +28,14 @@ import {
  * ```
  */
 export function isFieldType<T extends ArgumentFieldType>(
-  field: Field,
+  field: FieldNode,
   type: T
 ): field is FieldByType<T> {
   return field.type === type
 }
 
 /** Check if a field is a compound type (contains other fields) */
-export function isCompoundField(field: Field): field is CompoundField {
+export function isCompoundField(field: FieldNode): field is CompoundField {
   return [
     "record",
     "variant",
@@ -47,13 +47,13 @@ export function isCompoundField(field: Field): field is CompoundField {
 }
 
 /** Check if a field is a primitive type */
-export function isPrimitiveField(field: Field): field is PrimitiveField {
+export function isPrimitiveField(field: FieldNode): field is PrimitiveField {
   return ["principal", "number", "text", "boolean", "null"].includes(field.type)
 }
 
 /** Check if a field has children (for iteration) */
 export function hasChildFields(
-  field: Field
+  field: FieldNode
 ): field is RecordField | VariantField | TupleField {
   return "fields" in field && Array.isArray((field as RecordField).fields)
 }

package/src/visitor/arguments/index.test.ts

@@ -1,6 +1,12 @@
 import { describe, it, expect } from "vitest"
 import { IDL } from "@icp-sdk/core/candid"
-import { FieldVisitor, VectorField } from "./index"
+import {
+  FieldVisitor,
+  OptionalField,
+  RecordField,
+  VariantField,
+  VectorField,
+} from "./index"
 
 describe("ArgumentFieldVisitor", () => {
   const visitor = new FieldVisitor()
@@ -186,7 +192,9 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.type).toBe("record")
       expect(field.fields).toHaveLength(2)
 
-      const addressField = field.fields.find((f) => f.label === "address")
+      const addressField = field.fields.find(
+        (f) => f.label === "address"
+      ) as RecordField
       if (!addressField || addressField.type !== "record") {
         throw new Error("Address field not found or not record")
       }
@@ -235,7 +243,7 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.fields).toHaveLength(5)
 
       // Check 'to' field
-      const toField = field.fields.find((f) => f.label === "to")
+      const toField = field.fields.find((f) => f.label === "to") as RecordField
       if (!toField || toField.type !== "record") {
         throw new Error("To field not found or not record")
       }
@@ -251,7 +259,9 @@ describe("ArgumentFieldVisitor", () => {
       expect(amountField.candidType).toBe("nat")
 
       // Check optional 'fee' field
-      const feeField = field.fields.find((f) => f.label === "fee")
+      const feeField = field.fields.find(
+        (f) => f.label === "fee"
+      ) as OptionalField
       if (!feeField || feeField.type !== "optional") {
         throw new Error("Fee field not found or not optional")
       }
@@ -289,8 +299,8 @@ describe("ArgumentFieldVisitor", () => {
       })
 
       // Test getOptionDefault helper
-      expect(field.getOptionDefault("Active")).toEqual({ Active: null })
-      expect(field.getOptionDefault("Pending")).toEqual({ Pending: null })
+      expect(field.getOptionDefault("Active")).toEqual({ _type: "Active" })
+      expect(field.getOptionDefault("Pending")).toEqual({ _type: "Pending" })
     })
 
     it("should handle variant with payloads", () => {
@@ -330,7 +340,9 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.type).toBe("variant")
       expect(field.options).toEqual(["Approve", "Burn", "Transfer"]) // Sorted order
 
-      const transferField = field.fields.find((f) => f.label === "Transfer")
+      const transferField = field.fields.find(
+        (f) => f.label === "Transfer"
+      ) as RecordField
       if (!transferField || transferField.type !== "record") {
         throw new Error("Transfer field not found or not record")
       }
@@ -429,7 +441,7 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.type).toBe("optional")
       expect(field.innerField.type).toBe("record")
       expect(field.innerField.type).toBe("record")
-      const inner = field.innerField
+      const inner = field.innerField as RecordField
       if (inner.type === "record") {
         expect(inner.fields).toHaveLength(2)
       } else {
@@ -448,7 +460,7 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.type).toBe("optional")
       expect(field.innerField.type).toBe("optional")
       expect(field.innerField.type).toBe("optional")
-      const inner = field.innerField
+      const inner = field.innerField as OptionalField
       if (inner.type === "optional") {
         expect(inner.innerField.type).toBe("text")
       } else {
@@ -479,7 +491,7 @@ describe("ArgumentFieldVisitor", () => {
 
       expect(field.type).toBe("vector")
       expect(field.itemField.type).toBe("record")
-      const item = field.itemField
+      const item = field.itemField as RecordField
       if (item.type === "record") {
         expect(item.fields).toHaveLength(2)
       } else {
@@ -509,7 +521,7 @@ describe("ArgumentFieldVisitor", () => {
 
       expect(field.type).toBe("vector")
       expect(field.itemField.type).toBe("vector")
-      const item = field.itemField
+      const item = field.itemField as VectorField
       if (item.type === "vector") {
         expect(item.itemField.type).toBe("text")
       } else {
@@ -550,7 +562,7 @@ describe("ArgumentFieldVisitor", () => {
       expect(typeof field.getInnerDefault).toBe("function")
 
       // Extract should return a variant
-      const extracted = field.extract()
+      const extracted = field.extract() as VariantField
       if (extracted.type !== "variant") {
         throw new Error("Extracted field is not variant")
       }
@@ -585,14 +597,16 @@ describe("ArgumentFieldVisitor", () => {
 
       expect(field.type).toBe("recursive")
 
-      const extracted = field.extract()
+      const extracted = field.extract() as VariantField
       if (extracted.type !== "variant") {
         throw new Error("Extracted field is not variant")
       }
       expect(extracted.type).toBe("variant")
       expect(extracted.options).toEqual(["Nil", "Cons"])
 
-      const consField = extracted.fields.find((f) => f.label === "Cons")
+      const consField = extracted.fields.find(
+        (f) => f.label === "Cons"
+      ) as RecordField
       if (!consField || consField.type !== "record") {
         throw new Error("Cons field not found or not record")
       }
@@ -642,7 +656,7 @@ describe("ArgumentFieldVisitor", () => {
       expect(meta.fields).toHaveLength(1)
       expect(meta.fields[0].type).toBe("record")
 
-      const recordField = meta.fields[0]
+      const recordField = meta.fields[0] as RecordField
       if (recordField.type !== "record") {
         throw new Error("Expected record field")
       }
@@ -754,13 +768,15 @@ describe("ArgumentFieldVisitor", () => {
       )
       const meta = visitor.visitFunc(funcType, "updateUser")
 
-      const argRecord = meta.fields[0]
+      const argRecord = meta.fields[0] as RecordField
       if (argRecord.type !== "record") {
         throw new Error("Expected record field")
       }
       expect(argRecord.name).toBe("[0]")
 
-      const userRecord = argRecord.fields.find((f) => f.label === "user")
+      const userRecord = argRecord.fields.find(
+        (f) => f.label === "user"
+      ) as RecordField
       if (!userRecord || userRecord.type !== "record") {
         throw new Error("User record not found or not record")
       }
@@ -783,7 +799,7 @@ describe("ArgumentFieldVisitor", () => {
       const funcType = IDL.Func([IDL.Vec(IDL.Text)], [], [])
       const meta = visitor.visitFunc(funcType, "addTags")
 
-      const vecField = meta.fields[0]
+      const vecField = meta.fields[0] as VectorField
       if (vecField.type !== "vector") {
         throw new Error("Expected vector field")
       }
@@ -837,7 +853,9 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.fields.length).toBeGreaterThan(5)
 
       // Check spender field
-      const spenderField = field.fields.find((f) => f.label === "spender")
+      const spenderField = field.fields.find(
+        (f) => f.label === "spender"
+      ) as RecordField
       if (!spenderField || spenderField.type !== "record") {
         throw new Error("Spender field not found or not record")
       }
@@ -906,7 +924,9 @@ describe("ArgumentFieldVisitor", () => {
       expect(field.options).toContain("UpgradeSnsControlledCanister")
 
       // Check Motion variant
-      const motionField = field.fields.find((f) => f.label === "Motion")
+      const motionField = field.fields.find(
+        (f) => f.label === "Motion"
+      ) as RecordField
       if (!motionField || motionField.type !== "record") {
         throw new Error("Motion field not found or not record")
       }
@@ -916,7 +936,7 @@ describe("ArgumentFieldVisitor", () => {
       // Check TransferSnsTreasuryFunds variant
       const transferField = field.fields.find(
         (f) => f.label === "TransferSnsTreasuryFunds"
-      )
+      ) as RecordField
       if (!transferField || transferField.type !== "record") {
         throw new Error("Transfer field not found or not record")
       }
@@ -944,8 +964,9 @@ describe("ArgumentFieldVisitor", () => {
         "status"
       )
 
-      expect(field.getOptionDefault("Active")).toEqual({ Active: null })
+      expect(field.getOptionDefault("Active")).toEqual({ _type: "Active" })
       expect(field.getOptionDefault("Pending")).toEqual({
+        _type: "Pending",
         Pending: { reason: "" },
       })
     })

package/src/visitor/arguments/index.ts

@@ -1,6 +1,7 @@
 import { isQuery } from "../helpers"
+import { checkTextFormat, checkNumberFormat } from "../constants"
 import type {
-  Field,
+  FieldNode,
   RecordField,
   VariantField,
   TupleField,
@@ -20,6 +21,8 @@ import type {
   PrimitiveInputProps,
   BlobLimits,
   BlobValidationResult,
+  TextFormat,
+  NumberFormat,
 } from "./types"
 
 import { IDL } from "@icp-sdk/core/candid"
@@ -29,6 +32,8 @@ import * as z from "zod"
 import { formatLabel } from "./helpers"
 
 export * from "./types"
+export * from "./helpers"
+export { checkTextFormat, checkNumberFormat } from "../constants"
 
 // ════════════════════════════════════════════════════════════════════════════
 // Render Hint Helpers
@@ -177,7 +182,7 @@ function validateBlobInput(
  */
 export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
   string,
-  Field | ArgumentsMeta<A> | ArgumentsServiceMeta<A>
+  FieldNode | ArgumentsMeta<A> | ArgumentsServiceMeta<A>
 > {
   public recursiveSchemas: Map<string, z.ZodTypeAny> = new Map()
 
@@ -231,7 +236,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     const fields = t.argTypes.map((arg, index) => {
       return this.withName(`[${index}]`, () =>
         arg.accept(this, `__arg${index}`)
-      ) as Field
+      ) as FieldNode
     })
 
     const defaultValues = fields.map((field) => field.defaultValue)
@@ -272,15 +277,15 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     label: string
   ): RecordField {
     const name = this.currentName()
-    const fields: Field[] = []
-    const fieldMap = new Map<string, Field>()
+    const fields: FieldNode[] = []
+    const fieldMap = new Map<string, FieldNode>()
     const defaultValue: Record<string, unknown> = {}
     const schemaShape: Record<string, z.ZodTypeAny> = {}
 
     for (const [key, type] of fields_) {
       const field = this.withName(name ? `.${key}` : key, () =>
         type.accept(this, key)
-      ) as Field
+      ) as FieldNode
 
       fields.push(field)
       fieldMap.set(key, field)
@@ -311,29 +316,44 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     label: string
   ): VariantField {
     const name = this.currentName()
-    const fields: Field[] = []
+    const fields: FieldNode[] = []
     const options: string[] = []
-    const optionMap = new Map<string, Field>()
+    const optionMap = new Map<string, FieldNode>()
     const variantSchemas: z.ZodTypeAny[] = []
 
     for (const [key, type] of fields_) {
       const field = this.withName(`.${key}`, () =>
         type.accept(this, key)
-      ) as Field
+      ) as FieldNode
 
       fields.push(field)
       options.push(key)
       optionMap.set(key, field)
-      variantSchemas.push(z.object({ [key]: field.schema }))
+
+      if (field.type === "null") {
+        variantSchemas.push(z.object({ _type: z.literal(key) }))
+      } else {
+        variantSchemas.push(
+          z.object({
+            _type: z.literal(key),
+            [key]: field.schema,
+          })
+        )
+      }
     }
 
     const defaultOption = options[0]
     const firstField = fields[0]
-    const defaultValue = {
-      [defaultOption]: firstField.defaultValue,
-    }
 
-    const schema = z.union(variantSchemas as [z.ZodTypeAny, ...z.ZodTypeAny[]])
+    const defaultValue =
+      firstField.type === "null"
+        ? { _type: defaultOption }
+        : {
+            _type: defaultOption,
+            [defaultOption]: firstField.defaultValue,
+          }
+
+    const schema = z.union(variantSchemas)
 
     // Helper to get default value for any option
     const getOptionDefault = (option: string): Record<string, unknown> => {
@@ -341,11 +361,13 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       if (!optField) {
         throw new Error(`Unknown variant option: ${option}`)
       }
-      return { [option]: optField.defaultValue }
+      return optField.type === "null"
+        ? { _type: option }
+        : { _type: option, [option]: optField.defaultValue }
     }
 
     // Helper to get field for a specific option
-    const getField = (option: string): Field => {
+    const getField = (option: string): FieldNode => {
       const optField = optionMap.get(option)
       if (!optField) {
         throw new Error(`Unknown variant option: ${option}`)
@@ -355,12 +377,15 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
 
     // Helper to get currently selected option from a value
     const getSelectedOption = (value: Record<string, unknown>): string => {
+      if (value._type && typeof value._type === "string") {
+        return value._type
+      }
       const validKeys = Object.keys(value).filter((k) => options.includes(k))
       return validKeys[0] ?? defaultOption
     }
 
     // Helper to get selected field from a value
-    const getSelectedField = (value: Record<string, unknown>): Field => {
+    const getSelectedField = (value: Record<string, unknown>): FieldNode => {
       const selectedOption = getSelectedOption(value)
       return getField(selectedOption)
     }
@@ -392,7 +417,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     label: string
   ): TupleField {
     const name = this.currentName()
-    const fields: Field[] = []
+    const fields: FieldNode[] = []
     const defaultValue: unknown[] = []
     const schemas: z.ZodTypeAny[] = []
 
@@ -400,7 +425,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       const type = components[index]
       const field = this.withName(`[${index}]`, () =>
         type.accept(this, `_${index}_`)
-      ) as Field
+      ) as FieldNode
 
       fields.push(field)
       defaultValue.push(field.defaultValue)
@@ -432,7 +457,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
 
     // For optional, the inner field keeps the same name path
     // because the value replaces null directly (not nested)
-    const innerField = ty.accept(this, label) as Field
+    const innerField = ty.accept(this, label) as FieldNode
 
     const schema = z.union([
       innerField.schema,
@@ -478,7 +503,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     // Item field uses [0] as template path
     const itemField = this.withName("[0]", () =>
       ty.accept(this, `${label}_item`)
-    ) as Field
+    ) as FieldNode
 
     if (isBlob) {
       const schema = z.union([
@@ -517,7 +542,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     const createItemField = (
       index: number,
       overrides?: { label?: string }
-    ): Field => {
+    ): FieldNode => {
       // Replace [0] in template with actual index
       const itemName = name ? `${name}[${index}]` : `[${index}]`
       const itemLabel = overrides?.label ?? `Item ${index}`
@@ -559,13 +584,13 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     if (this.recursiveSchemas.has(typeName)) {
       schema = this.recursiveSchemas.get(typeName)!
     } else {
-      schema = z.lazy(() => (ty.accept(this, label) as Field).schema)
+      schema = z.lazy(() => (ty.accept(this, label) as FieldNode).schema)
       this.recursiveSchemas.set(typeName, schema)
     }
 
     // Lazy extraction to prevent infinite loops
-    const extract = (): Field =>
-      this.withName(name, () => ty.accept(this, label)) as Field
+    const extract = (): FieldNode =>
+      this.withName(name, () => ty.accept(this, label)) as FieldNode
 
     // Helper to get inner default (evaluates lazily)
     const getInnerDefault = (): unknown => extract().defaultValue
@@ -628,6 +653,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       defaultValue: "",
       maxLength: 64,
       minLength: 7,
+      format: checkTextFormat(label) as TextFormat,
       schema,
       inputProps,
       candidType: "principal",
@@ -635,11 +661,13 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
   }
 
   public visitText(_t: IDL.TextClass, label: string): TextField {
-    const inputProps: PrimitiveInputProps = {
-      type: "text",
-      placeholder: "Enter text...",
-      spellCheck: true,
-    }
+    const format = checkTextFormat(label) as TextFormat
+
+    // Generate format-specific inputProps
+    const inputProps = this.getTextInputProps(format)
+
+    // Generate format-specific schema
+    const schema = this.getTextSchema(format)
 
     return {
       type: "text",
@@ -649,12 +677,109 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       component: "text-input",
       renderHint: TEXT_RENDER_HINT,
       defaultValue: "",
-      schema: z.string().min(1, "Required"),
+      format,
+      schema,
       inputProps,
       candidType: "text",
     }
   }
 
+  /**
+   * Generate format-specific input props for text fields.
+   */
+  private getTextInputProps(format: TextFormat): PrimitiveInputProps {
+    switch (format) {
+      case "email":
+        return {
+          type: "email",
+          placeholder: "email@example.com",
+          inputMode: "email",
+          autoComplete: "email",
+          spellCheck: false,
+        }
+      case "url":
+        return {
+          type: "url",
+          placeholder: "https://example.com",
+          inputMode: "url",
+          autoComplete: "url",
+          spellCheck: false,
+        }
+      case "phone":
+        return {
+          type: "tel",
+          placeholder: "+1 (555) 123-4567",
+          inputMode: "tel",
+          autoComplete: "tel",
+          spellCheck: false,
+        }
+      case "uuid":
+        return {
+          type: "text",
+          placeholder: "xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx",
+          pattern:
+            "[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}",
+          spellCheck: false,
+          autoComplete: "off",
+        }
+      case "btc":
+        return {
+          type: "text",
+          placeholder: "bc1... or 1... or 3...",
+          spellCheck: false,
+          autoComplete: "off",
+        }
+      case "eth":
+        return {
+          type: "text",
+          placeholder: "0x...",
+          pattern: "0x[0-9a-fA-F]{40}",
+          spellCheck: false,
+          autoComplete: "off",
+        }
+      case "account-id":
+        return {
+          type: "text",
+          placeholder: "64-character hex string",
+          pattern: "[0-9a-fA-F]{64}",
+          maxLength: 64,
+          spellCheck: false,
+          autoComplete: "off",
+        }
+      case "principal":
+        return {
+          type: "text",
+          placeholder: "aaaaa-aa or full principal ID",
+          minLength: 7,
+          maxLength: 64,
+          spellCheck: false,
+          autoComplete: "off",
+        }
+      default:
+        return {
+          type: "text",
+          placeholder: "Enter text...",
+          spellCheck: true,
+        }
+    }
+  }
+
+  /**
+   * Generate format-specific zod schema for text fields.
+   */
+  private getTextSchema(format: TextFormat): z.ZodTypeAny {
+    switch (format) {
+      case "email":
+        return z.email("Invalid email address")
+      case "url":
+        return z.url("Invalid URL")
+      case "uuid":
+        return z.uuid("Invalid UUID")
+      default:
+        return z.string().min(1, "Required")
+    }
+  }
+
   public visitBool(_t: IDL.BoolClass, label: string): BooleanField {
     const inputProps: PrimitiveInputProps = {
       type: "checkbox",
@@ -706,6 +831,8 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       max?: string
     }
   ): NumberField | TextField {
+    const format = checkNumberFormat(label) as NumberFormat
+
     let schema = z.string().min(1, "Required")
 
     if (options.isFloat) {
@@ -722,6 +849,11 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
     const type = isBigInt ? "text" : "number"
 
     if (type === "text") {
+      // Propagate timestamp/cycle format if detected, otherwise default to plain
+      let textFormat: TextFormat = "plain"
+      if (format === "timestamp") textFormat = "timestamp"
+      if (format === "cycle") textFormat = "cycle"
+
       const inputProps: PrimitiveInputProps = {
         type: "text",
         placeholder: options.unsigned ? "e.g. 100000" : "e.g. -100000",
@@ -739,6 +871,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
         component: "text-input",
         renderHint: TEXT_RENDER_HINT,
         defaultValue: "",
+        format: textFormat,
         candidType,
         schema,
         inputProps,
@@ -763,7 +896,8 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
       renderHint: NUMBER_RENDER_HINT,
       defaultValue: "",
       candidType,
-      schema: schema,
+      format,
+      schema,
       inputProps,
       ...options,
     }
@@ -838,6 +972,7 @@ export class FieldVisitor<A = BaseActor> extends IDL.Visitor<
         isPrimitive: false,
       },
       defaultValue: undefined,
+      candidType: "unknown",
       schema: z.any(),
     }
   }