Clean up ENS spec format: remove type field, use deploy overrides

ENS record format is now:
  { spec: "ERC20", deploy: { symbol: "USDC", decimals: 6 }, circuits: {...} }

- Remove type field from EnsSpecEntry, IntentSpec, and ResolvedAddress
  (it was not derived from the compiler, just made-up metadata)
- IntentSpec.deploy replaces the flat decimals/symbol/type fields
- Resolver uses deploy.symbol as display name, falls back to contractName
- Admin page form no longer has a Type dropdown
- loader.ts accepts the new entry format

Author: Th0rgal

src/app/clear-signing/admin/page.tsx

@@ -20,24 +20,19 @@ const KNOWN_CONTRACTS = [
 
 const PRESET_SPECS: Record<string, EnsSpecEntry> = {
   "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48": {
-    specName: "ERC20",
-    type: "token",
-    decimals: 6,
-    symbol: "USDC",
+    spec: "ERC20",
+    deploy: { symbol: "USDC", decimals: 6 },
     circuits: {
       transfer: "7a97aa1eb1a3aa3650a45efe1142ef01f45bf8c3b162c382c33f74bfd21d1435",
       approve: "dd2bcbb99a4830637a7ec903932d134e83d094cd2e51e6ffb38cd48e8251ef0f",
     },
   },
   "0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D": {
-    specName: "UniswapV2Router",
-    type: "protocol",
+    spec: "UniswapV2Router",
   },
   "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2": {
-    specName: "ERC20",
-    type: "token",
-    decimals: 18,
-    symbol: "WETH",
+    spec: "ERC20",
+    deploy: { symbol: "WETH", decimals: 18 },
   },
 };
 
@@ -54,7 +49,6 @@ export default function AdminPage() {
   // Custom entry form
   const [customAddr, setCustomAddr] = useState("");
   const [customSpecName, setCustomSpecName] = useState("ERC20");
-  const [customType, setCustomType] = useState<"token" | "protocol">("token");
   const [customDecimals, setCustomDecimals] = useState("18");
   const [customSymbol, setCustomSymbol] = useState("");
 
@@ -111,11 +105,12 @@ export default function AdminPage() {
   const handleWriteCustom = useCallback(async () => {
     if (!provider || !customAddr) return;
 
+    const deploy = (customDecimals || customSymbol)
+      ? { decimals: customDecimals ? parseInt(customDecimals) : undefined, symbol: customSymbol || undefined }
+      : undefined;
     const entry: EnsSpecEntry = {
-      specName: customSpecName,
-      type: customType,
-      decimals: customDecimals ? parseInt(customDecimals) : undefined,
-      symbol: customSymbol || undefined,
+      spec: customSpecName,
+      deploy,
     };
 
     setTxStatus(`Sending setText for ${customAddr.slice(0, 10)}...`);
@@ -126,7 +121,7 @@ export default function AdminPage() {
     } catch (e) {
       setTxStatus(`Error: ${e instanceof Error ? e.message : String(e)}`);
     }
-  }, [provider, customAddr, customSpecName, customType, customDecimals, customSymbol, refreshEntries]);
+  }, [provider, customAddr, customSpecName, customDecimals, customSymbol, refreshEntries]);
 
   return (
     <main className="font-serif max-w-[680px] mx-auto px-6 py-20 md:py-32">
@@ -255,19 +250,6 @@ export default function AdminPage() {
                   <option value="UniswapV2Router">UniswapV2Router</option>
                 </select>
               </div>
-              <div>
-                <label className="block text-[12px] text-secondary mb-1">
-                  Type
-                </label>
-                <select
-                  value={customType}
-                  onChange={(e) => setCustomType(e.target.value as "token" | "protocol")}
-                  className="w-full text-[13px] px-3 py-2 border border-border rounded bg-white"
-                >
-                  <option value="token">token</option>
-                  <option value="protocol">protocol</option>
-                </select>
-              </div>
             </div>
             <div className="grid grid-cols-2 gap-3">
               <div>

src/app/clear-signing/engine/ens.ts

@@ -17,14 +17,21 @@ import { ethers } from "ethers";
 export const ENS_NAME = "veryclear.eth";
 const MAINNET_RPC = "https://ethereum-rpc.publicnode.com";
 
-/** Metadata stored in ENS for each registered contract. */
+/**
+ * ENS text record format for a registered contract.
+ *
+ * - spec: name of the compiled spec (matches a JSON file in /public/specs/)
+ * - deploy: per-address overrides (symbol, decimals differ per deployment
+ *   of the same spec, e.g. USDC vs USDT both use ERC20 spec)
+ * - circuits: SHA-256 hashes of verification keys, keyed by function name,
+ *   pinning the exact circuits compiled from this spec
+ */
 export type EnsSpecEntry = {
-  specName: string;
-  type: "token" | "protocol" | "contract" | "ens";
-  decimals?: number;
-  symbol?: string;
-  /** SHA-256 hashes of verification keys, keyed by function name.
-   *  Pins the exact circuit that was compiled from this spec. */
+  spec: string;
+  deploy?: {
+    symbol?: string;
+    decimals?: number;
+  };
   circuits?: Record<string, string>;
 };
 

src/app/clear-signing/engine/loader.ts

@@ -153,13 +153,14 @@ function parseParamType(t: string): ParamType {
  *
  * @param json - The raw JSON from the Verity compiler
  * @param address - Contract address (not in the Lean spec, added per-deployment)
- * @param meta - Additional metadata (type, decimals, symbol)
+ * @param entry - ENS registry entry with deploy overrides
  */
 export function loadIntentSpec(
   json: JsonSpec,
   address: string,
-  meta: { type: "token" | "protocol" | "contract" | "ens"; decimals?: number; symbol?: string }
+  entry: { spec: string; deploy?: { symbol?: string; decimals?: number }; circuits?: Record<string, string> }
 ): IntentSpec {
+  const meta = entry.deploy;
   // First, extract constant values for predicate resolution
   const constantValues = new Map<string, bigint>();
   for (const c of json.constants) {
@@ -201,9 +202,7 @@ export function loadIntentSpec(
   return {
     contractName: json.contractName,
     address,
-    type: meta.type,
-    decimals: meta.decimals,
-    symbol: meta.symbol,
+    deploy: meta ? { symbol: meta.symbol, decimals: meta.decimals } : undefined,
     constants: Object.fromEntries(constantValues),
     fns,
     bindings,

src/app/clear-signing/engine/resolver.ts

@@ -33,10 +33,9 @@ export function resolveAddress(address: string): ResolvedAddress | null {
   if (!spec) return null;
   return {
     address: spec.address,
-    name: spec.contractName,
-    type: spec.type,
-    decimals: spec.decimals,
-    symbol: spec.symbol,
+    name: spec.deploy?.symbol ?? spec.contractName,
+    decimals: spec.deploy?.decimals,
+    symbol: spec.deploy?.symbol,
   };
 }
 

src/app/clear-signing/engine/specs.ts

@@ -5,9 +5,10 @@
  * 1. ENS registry (veryclear.eth) — on-chain source of truth
  * 2. Static fallback — bundled compiler output for offline use
  *
- * The ENS registry maps contract addresses to spec identifiers
- * (specName, type, decimals, symbol). The spec AST is loaded from
- * static JSON files generated by the Verity compiler.
+ * ENS records map contract addresses to:
+ *   { spec: "ERC20", deploy: { symbol: "USDC", decimals: 6 }, circuits: {...} }
+ *
+ * The spec name points to a compiler-generated JSON in /public/specs/.
  */
 
 import type { IntentSpec } from "./types";
@@ -16,7 +17,7 @@ import { readSpecFromEns, type EnsSpecEntry } from "./ens";
 import ERC20_INTENT_JSON from "../../../../public/specs/ERC20.intent.json";
 import UNISWAP_V2_INTENT_JSON from "../../../../public/specs/UniswapV2.intent.json";
 
-// ─── Spec JSON index (keyed by specName from ENS) ───────────────────────────
+// ─── Spec JSON index (keyed by spec name from ENS) ──────────────────────────
 
 /* eslint-disable @typescript-eslint/no-explicit-any */
 const SPEC_JSONS: Record<string, any> = {
@@ -29,31 +30,23 @@ const SPEC_JSONS: Record<string, any> = {
 
 const STATIC_SPECS: Record<string, IntentSpec> = {};
 
-function registerStatic(address: string, specName: string, meta: EnsSpecEntry) {
-  const json = SPEC_JSONS[specName];
+function registerStatic(address: string, entry: EnsSpecEntry) {
+  const json = SPEC_JSONS[entry.spec];
   if (!json) return;
-  STATIC_SPECS[address.toLowerCase()] = loadIntentSpec(json, address, meta);
+  STATIC_SPECS[address.toLowerCase()] = loadIntentSpec(json, address, entry);
 }
 
-// Pre-register known contracts as fallback
-registerStatic("0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48", "ERC20", {
-  specName: "ERC20", type: "token", decimals: 6, symbol: "USDC",
+registerStatic("0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48", {
+  spec: "ERC20",
+  deploy: { symbol: "USDC", decimals: 6 },
 });
-registerStatic("0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D", "UniswapV2Router", {
-  specName: "UniswapV2Router", type: "protocol",
+registerStatic("0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D", {
+  spec: "UniswapV2Router",
+});
+registerStatic("0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2", {
+  spec: "ERC20",
+  deploy: { symbol: "WETH", decimals: 18 },
 });
-
-// Address-only specs for display resolution
-STATIC_SPECS["0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2"] = {
-  contractName: "WETH",
-  address: "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2",
-  type: "token",
-  decimals: 18,
-  symbol: "WETH",
-  constants: {},
-  fns: [],
-  bindings: [],
-};
 
 export const SPECS = STATIC_SPECS;
 
@@ -66,16 +59,13 @@ export const SPECS = STATIC_SPECS;
 export async function findSpecFromEns(
   contractAddress: string
 ): Promise<IntentSpec | null> {
-  // Try ENS
   const ensEntry = await readSpecFromEns(contractAddress);
   if (ensEntry) {
-    const json = SPEC_JSONS[ensEntry.specName];
+    const json = SPEC_JSONS[ensEntry.spec];
     if (json) {
       return loadIntentSpec(json, contractAddress, ensEntry);
     }
   }
-
-  // Fall back to static
   return STATIC_SPECS[contractAddress.toLowerCase()] ?? null;
 }
 

src/app/clear-signing/engine/types.ts

@@ -125,16 +125,15 @@ export type Binding = {
  * decode any supported function call and produce a human-readable intent.
  */
 export type IntentSpec = {
-  /** Contract name (e.g. "USDC", "Uniswap V2 Router") */
+  /** Spec name from the compiler (e.g. "ERC20", "UniswapV2Router") */
   contractName: string;
-  /** Ethereum address (checksummed) */
+  /** Ethereum address this spec is deployed at */
   address: string;
-  /** Display category for the address */
-  type: "token" | "protocol" | "contract" | "ens";
-  /** Token decimals (only for tokens) */
-  decimals?: number;
-  /** Token symbol (only for tokens) */
-  symbol?: string;
+  /** Deployment overrides (symbol, decimals differ per deployment of same spec) */
+  deploy?: {
+    symbol?: string;
+    decimals?: number;
+  };
   /** Named constants used in conditions */
   constants: Record<string, bigint>;
   /** Intent function declarations */
@@ -176,13 +175,11 @@ export type EmittedTemplate = {
  */
 export type ResolvedAddress = {
   address: string;
-  /** Human-readable name from spec's contractName */
+  /** Display name: deploy.symbol if available, otherwise contractName */
   name: string;
-  /** Category from spec's type field */
-  type: "token" | "protocol" | "contract" | "ens";
-  /** Token decimals (only for tokens) */
+  /** Token decimals from deploy overrides */
   decimals?: number;
-  /** Token symbol (only for tokens) */
+  /** Token symbol from deploy overrides */
   symbol?: string;
 };