@creationix/rex 0.1.3 → 0.3.0

package/{rex-compile.js → rex-repl.js}

@@ -1,3 +1,7 @@
+// rex-repl.ts
+import * as readline from "node:readline";
+import { createRequire as createRequire2 } from "node:module";
+
 // rex.ts
 import { createRequire } from "node:module";
 var require2 = createRequire(import.meta.url);
@@ -33,19 +37,8 @@ var OPCODE_IDS = {
   mod: 20,
   neg: 21
 };
-var registeredDomainRefs = {};
-function resolveDomainRefMap(overrides) {
-  if (!overrides || Object.keys(overrides).length === 0) {
-    return Object.keys(registeredDomainRefs).length > 0 ? { ...registeredDomainRefs } : undefined;
-  }
-  const merged = { ...registeredDomainRefs };
-  for (const [name, refId] of Object.entries(overrides)) {
-    if (!Number.isInteger(refId) || refId < 0)
-      throw new Error(`Invalid domain extension ref id for '${name}': ${refId}`);
-    merged[name] = refId;
-  }
-  return merged;
-}
+var FIRST_NON_RESERVED_REF = 5;
+var DOMAIN_DIGIT_INDEX = new Map(Array.from(DIGITS).map((char, index) => [char, index]));
 var BINARY_TO_OPCODE = {
   add: "add",
   sub: "sub",
@@ -198,13 +191,13 @@ function needsOptionalPrefix(encoded) {
   const first = encoded[0];
   if (!first)
     return false;
-  return first === "[" || first === "{" || first === "(" || first === "=" || first === "~" || first === "?" || first === "!" || first === "|" || first === "&" || first === ">" || first === "<";
+  return first === "[" || first === "{" || first === "(" || first === "=" || first === "~" || first === "?" || first === "!" || first === "|" || first === "&" || first === ">" || first === "<" || first === "#";
 }
 function addOptionalPrefix(encoded) {
   if (!needsOptionalPrefix(encoded))
     return encoded;
   let payload = encoded;
-  if (encoded.startsWith("?(") || encoded.startsWith("!(") || encoded.startsWith("|(") || encoded.startsWith("&(") || encoded.startsWith(">(") || encoded.startsWith("<(")) {
+  if (encoded.startsWith("?(") || encoded.startsWith("!(") || encoded.startsWith("|(") || encoded.startsWith("&(") || encoded.startsWith(">(") || encoded.startsWith("<(") || encoded.startsWith("#(")) {
     payload = encoded.slice(2, -1);
   } else if (encoded.startsWith(">[") || encoded.startsWith(">{")) {
     payload = encoded.slice(2, -1);
@@ -235,6 +228,33 @@ function encodeConditionalElse(elseBranch) {
   return encodeNode(nested);
 }
 function encodeNavigation(node) {
+  const domainRefs = activeEncodeOptions?.domainRefs;
+  if (domainRefs && node.target.type === "identifier") {
+    const staticPath = [node.target.name];
+    for (const segment of node.segments) {
+      if (segment.type !== "static")
+        break;
+      staticPath.push(segment.key);
+    }
+    for (let pathLength = staticPath.length;pathLength >= 1; pathLength -= 1) {
+      const dottedName = staticPath.slice(0, pathLength).join(".");
+      const domainRef = domainRefs[dottedName];
+      if (domainRef === undefined)
+        continue;
+      const consumedStaticSegments = pathLength - 1;
+      if (consumedStaticSegments === node.segments.length) {
+        return `${encodeUint(domainRef)}'`;
+      }
+      const parts2 = [`${encodeUint(domainRef)}'`];
+      for (const segment of node.segments.slice(consumedStaticSegments)) {
+        if (segment.type === "static")
+          parts2.push(encodeBareOrLengthString(segment.key));
+        else
+          parts2.push(encodeNode(segment.key));
+      }
+      return encodeCallParts(parts2);
+    }
+  }
   const parts = [encodeNode(node.target)];
   for (const segment of node.segments) {
     if (segment.type === "static")
@@ -244,6 +264,11 @@ function encodeNavigation(node) {
   }
   return encodeCallParts(parts);
 }
+function encodeWhile(node) {
+  const cond = encodeNode(node.condition);
+  const body = addOptionalPrefix(encodeBlockExpression(node.body));
+  return `#(${cond}${body})`;
+}
 function encodeFor(node) {
   const body = addOptionalPrefix(encodeBlockExpression(node.body));
   if (node.binding.type === "binding:expr") {
@@ -380,6 +405,8 @@ function encodeNode(node) {
     }
     case "for":
       return encodeFor(node);
+    case "while":
+      return encodeWhile(node);
     case "break":
       return ";";
     case "continue":
@@ -403,6 +430,178 @@ function parseToIR(source) {
   }
   return semantics(match).toIR();
 }
+function isPlainObject(value) {
+  if (!value || typeof value !== "object" || Array.isArray(value))
+    return false;
+  const proto = Object.getPrototypeOf(value);
+  return proto === Object.prototype || proto === null;
+}
+function isBareKeyName(key) {
+  return /^[A-Za-z_][A-Za-z0-9_-]*$/.test(key);
+}
+function stringifyString(value) {
+  return JSON.stringify(value);
+}
+function stringifyInline(value) {
+  if (value === undefined)
+    return "undefined";
+  if (value === null)
+    return "null";
+  if (typeof value === "boolean")
+    return value ? "true" : "false";
+  if (typeof value === "number") {
+    if (!Number.isFinite(value))
+      throw new Error("Rex stringify() cannot encode non-finite numbers");
+    return String(value);
+  }
+  if (typeof value === "string")
+    return stringifyString(value);
+  if (Array.isArray(value)) {
+    if (value.length === 0)
+      return "[]";
+    return `[${value.map((item) => stringifyInline(item)).join(" ")}]`;
+  }
+  if (isPlainObject(value)) {
+    const entries = Object.entries(value);
+    if (entries.length === 0)
+      return "{}";
+    const body = entries.map(([key, item]) => `${isBareKeyName(key) ? key : stringifyString(key)}: ${stringifyInline(item)}`).join(" ");
+    return `{${body}}`;
+  }
+  throw new Error(`Rex stringify() cannot encode value of type ${typeof value}`);
+}
+function fitsInline(rendered, depth, indentSize, maxWidth) {
+  if (rendered.includes(`
+`))
+    return false;
+  return depth * indentSize + rendered.length <= maxWidth;
+}
+function stringifyPretty(value, depth, indentSize, maxWidth) {
+  const inline = stringifyInline(value);
+  if (fitsInline(inline, depth, indentSize, maxWidth))
+    return inline;
+  const indent = " ".repeat(depth * indentSize);
+  const childIndent = " ".repeat((depth + 1) * indentSize);
+  if (Array.isArray(value)) {
+    if (value.length === 0)
+      return "[]";
+    const lines = value.map((item) => {
+      const rendered = stringifyPretty(item, depth + 1, indentSize, maxWidth);
+      if (!rendered.includes(`
+`))
+        return `${childIndent}${rendered}`;
+      return `${childIndent}${rendered}`;
+    });
+    return `[
+${lines.join(`
+`)}
+${indent}]`;
+  }
+  if (isPlainObject(value)) {
+    const entries = Object.entries(value);
+    if (entries.length === 0)
+      return "{}";
+    const lines = entries.map(([key, item]) => {
+      const keyText = isBareKeyName(key) ? key : stringifyString(key);
+      const rendered = stringifyPretty(item, depth + 1, indentSize, maxWidth);
+      return `${childIndent}${keyText}: ${rendered}`;
+    });
+    return `{
+${lines.join(`
+`)}
+${indent}}`;
+  }
+  return inline;
+}
+function domainRefsFromConfig(config) {
+  if (!config || typeof config !== "object" || Array.isArray(config)) {
+    throw new Error("Domain config must be an object");
+  }
+  const refs = {};
+  for (const section of Object.values(config)) {
+    if (!section || typeof section !== "object" || Array.isArray(section))
+      continue;
+    mapConfigEntries(section, refs);
+  }
+  return refs;
+}
+function decodeDomainRefKey(refText) {
+  if (!refText)
+    throw new Error("Domain ref key cannot be empty");
+  if (!/^[0-9A-Za-z_-]+$/.test(refText)) {
+    throw new Error(`Invalid domain ref key '${refText}' (must use base64 alphabet 0-9a-zA-Z-_)`);
+  }
+  if (refText.length > 1 && refText[0] === "0") {
+    throw new Error(`Invalid domain ref key '${refText}' (leading zeroes are not allowed)`);
+  }
+  if (/^[1-9]$/.test(refText)) {
+    throw new Error(`Invalid domain ref key '${refText}' (reserved by core language)`);
+  }
+  let value = 0;
+  for (const char of refText) {
+    const digit = DOMAIN_DIGIT_INDEX.get(char);
+    if (digit === undefined)
+      throw new Error(`Invalid domain ref key '${refText}'`);
+    value = value * 64 + digit;
+    if (value > Number.MAX_SAFE_INTEGER) {
+      throw new Error(`Invalid domain ref key '${refText}' (must fit in 53 bits)`);
+    }
+  }
+  if (value < FIRST_NON_RESERVED_REF) {
+    throw new Error(`Invalid domain ref key '${refText}' (maps to reserved id ${value})`);
+  }
+  return value;
+}
+function mapConfigEntries(entries, refs) {
+  const sourceKindByRoot = new Map;
+  for (const root of Object.keys(refs)) {
+    sourceKindByRoot.set(root, "explicit");
+  }
+  for (const [refText, rawEntry] of Object.entries(entries)) {
+    const entry = rawEntry;
+    if (!entry || typeof entry !== "object")
+      continue;
+    if (!Array.isArray(entry.names))
+      continue;
+    const refId = decodeDomainRefKey(refText);
+    for (const rawName of entry.names) {
+      if (typeof rawName !== "string")
+        continue;
+      const existingNameRef = refs[rawName];
+      if (existingNameRef !== undefined && existingNameRef !== refId) {
+        throw new Error(`Conflicting refs for '${rawName}': ${existingNameRef} vs ${refId}`);
+      }
+      refs[rawName] = refId;
+      const root = rawName.split(".")[0];
+      if (!root)
+        continue;
+      const currentKind = rawName.includes(".") ? "implicit" : "explicit";
+      const existing = refs[root];
+      if (existing !== undefined) {
+        if (existing === refId)
+          continue;
+        const existingKind = sourceKindByRoot.get(root) ?? "explicit";
+        if (currentKind === "explicit") {
+          throw new Error(`Conflicting refs for '${root}': ${existing} vs ${refId}`);
+        }
+        if (existingKind === "explicit")
+          continue;
+        continue;
+      }
+      refs[root] = refId;
+      sourceKindByRoot.set(root, currentKind);
+    }
+  }
+}
+function stringify(value, options) {
+  const indent = options?.indent ?? 2;
+  const maxWidth = options?.maxWidth ?? 80;
+  if (!Number.isInteger(indent) || indent < 0)
+    throw new Error("Rex stringify() indent must be a non-negative integer");
+  if (!Number.isInteger(maxWidth) || maxWidth < 20)
+    throw new Error("Rex stringify() maxWidth must be an integer >= 20");
+  return stringifyPretty(value, 0, indent, maxWidth);
+}
 var DIGIT_SET = new Set(DIGITS.split(""));
 var DIGIT_INDEX = new Map(Array.from(DIGITS).map((char, index) => [char, index]));
 function readPrefixAt(text, start) {
@@ -1284,12 +1483,12 @@ function optimizeNode(node, env, currentDepth, asPlace = false) {
       if (conditionValue !== undefined || condition.type === "undefined") {
         const passes = node.head === "when" ? isDefinedValue(conditionValue) : !isDefinedValue(conditionValue);
         if (passes) {
-          const thenBlock = optimizeBlock(node.thenBlock, thenEnv, currentDepth);
-          if (thenBlock.length === 0)
+          const thenBlock2 = optimizeBlock(node.thenBlock, thenEnv, currentDepth);
+          if (thenBlock2.length === 0)
             return { type: "undefined" };
-          if (thenBlock.length === 1)
-            return thenBlock[0];
-          return { type: "program", body: thenBlock };
+          if (thenBlock2.length === 1)
+            return thenBlock2[0];
+          return { type: "program", body: thenBlock2 };
         }
         if (!node.elseBranch)
           return { type: "undefined" };
@@ -1311,12 +1510,26 @@ function optimizeNode(node, env, currentDepth, asPlace = false) {
           elseBranch: loweredElse.elseBranch
         };
       }
+      const thenBlock = optimizeBlock(node.thenBlock, thenEnv, currentDepth);
+      const elseBranch = optimizeElse(node.elseBranch, cloneOptimizeEnv(env), currentDepth);
+      let finalCondition = condition;
+      if (condition.type === "assign" && condition.op === "=" && condition.place.type === "identifier") {
+        const name = condition.place.name;
+        const reads = new Set;
+        for (const part of thenBlock)
+          collectReads(part, reads);
+        if (elseBranch)
+          collectReadsElse(elseBranch, reads);
+        if (!reads.has(name)) {
+          finalCondition = condition.value;
+        }
+      }
       return {
         type: "conditional",
         head: node.head,
-        condition,
-        thenBlock: optimizeBlock(node.thenBlock, thenEnv, currentDepth),
-        elseBranch: optimizeElse(node.elseBranch, cloneOptimizeEnv(env), currentDepth)
+        condition: finalCondition,
+        thenBlock,
+        elseBranch
       };
     }
     case "for": {
@@ -1771,8 +1984,9 @@ function compile(source, options) {
   let lowered = options?.optimize ? optimizeIR(ir) : ir;
   if (options?.minifyNames)
     lowered = minifyLocalNamesIR(lowered);
+  const domainRefs = options?.domainConfig ? domainRefsFromConfig(options.domainConfig) : undefined;
   return encodeIR(lowered, {
-    domainRefs: resolveDomainRefMap(options?.domainRefs),
+    domainRefs,
     dedupeValues: options?.dedupeValues,
     dedupeMinBytes: options?.dedupeMinBytes
   });
@@ -2002,6 +2216,13 @@ semantics.addOperation("toIR", {
       return body[0];
     return { type: "program", body };
   },
+  WhileExpr(_while, condition, _do, block, _end) {
+    return {
+      type: "while",
+      condition: condition.toIR(),
+      body: block.toIR()
+    };
+  },
   ForExpr(_for, binding, _do, block, _end) {
     return {
       type: "for",
@@ -2145,196 +2366,1356 @@ semantics.addOperation("toIR", {
   }
 });
 
-// rex-compile.ts
-import { dirname, resolve } from "node:path";
-import { readFile, writeFile } from "node:fs/promises";
-function parseArgs(argv) {
-  const options = {
-    ir: false,
-    minifyNames: false,
-    dedupeValues: false,
-    domainRefs: {},
-    help: false
-  };
-  for (let index = 0;index < argv.length; index += 1) {
-    const arg = argv[index];
-    if (!arg)
-      continue;
-    if (arg === "--help" || arg === "-h") {
-      options.help = true;
-      continue;
+// rexc-interpreter.ts
+var DIGITS2 = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ-_";
+var digitMap = new Map(Array.from(DIGITS2).map((char, index) => [char, index]));
+var OPCODES = {
+  do: 0,
+  add: 1,
+  sub: 2,
+  mul: 3,
+  div: 4,
+  eq: 5,
+  neq: 6,
+  lt: 7,
+  lte: 8,
+  gt: 9,
+  gte: 10,
+  and: 11,
+  or: 12,
+  xor: 13,
+  not: 14,
+  boolean: 15,
+  number: 16,
+  string: 17,
+  array: 18,
+  object: 19,
+  mod: 20,
+  neg: 21
+};
+function decodePrefix(text, start, end) {
+  let value = 0;
+  for (let index = start;index < end; index += 1) {
+    const digit = digitMap.get(text[index] ?? "") ?? -1;
+    if (digit < 0)
+      throw new Error(`Invalid digit '${text[index]}'`);
+    value = value * 64 + digit;
+  }
+  return value;
+}
+function decodeZigzag(value) {
+  return value % 2 === 0 ? value / 2 : -(value + 1) / 2;
+}
+function isDefined(value) {
+  return value !== undefined;
+}
+
+class CursorInterpreter {
+  text;
+  pos = 0;
+  state;
+  selfStack;
+  opcodeMarkers;
+  pointerCache = new Map;
+  gasLimit;
+  gas = 0;
+  tick() {
+    if (this.gasLimit && ++this.gas > this.gasLimit) {
+      throw new Error("Gas limit exceeded (too many loop iterations)");
     }
-    if (arg === "--ir") {
-      options.ir = true;
-      continue;
+  }
+  constructor(text, ctx = {}) {
+    const initialSelf = ctx.selfStack && ctx.selfStack.length > 0 ? ctx.selfStack[ctx.selfStack.length - 1] : ctx.self;
+    this.text = text;
+    this.state = {
+      vars: ctx.vars ?? {},
+      refs: {
+        0: ctx.refs?.[0],
+        1: ctx.refs?.[1] ?? true,
+        2: ctx.refs?.[2] ?? false,
+        3: ctx.refs?.[3] ?? null,
+        4: ctx.refs?.[4] ?? undefined
+      }
+    };
+    this.selfStack = ctx.selfStack && ctx.selfStack.length > 0 ? [...ctx.selfStack] : [initialSelf];
+    this.gasLimit = ctx.gasLimit ?? 0;
+    this.opcodeMarkers = Array.from({ length: 256 }, (_, id) => ({ __opcode: id }));
+    for (const [idText, value] of Object.entries(ctx.refs ?? {})) {
+      const id = Number(idText);
+      if (Number.isInteger(id))
+        this.state.refs[id] = value;
     }
-    if (arg === "--minify-names" || arg === "-m") {
-      options.minifyNames = true;
-      continue;
+    if (ctx.opcodes) {
+      for (const [idText, op] of Object.entries(ctx.opcodes)) {
+        if (op)
+          this.customOpcodes.set(Number(idText), op);
+      }
     }
-    if (arg === "--dedupe-values") {
-      options.dedupeValues = true;
-      continue;
+  }
+  customOpcodes = new Map;
+  readSelf(depthPrefix) {
+    const depth = depthPrefix + 1;
+    const index = this.selfStack.length - depth;
+    if (index < 0)
+      return;
+    return this.selfStack[index];
+  }
+  get runtimeState() {
+    return this.state;
+  }
+  evaluateTopLevel() {
+    this.skipNonCode();
+    if (this.pos >= this.text.length)
+      return;
+    const value = this.evalValue();
+    this.skipNonCode();
+    if (this.pos < this.text.length)
+      throw new Error(`Unexpected trailing input at ${this.pos}`);
+    return value;
+  }
+  skipNonCode() {
+    while (this.pos < this.text.length) {
+      const ch = this.text[this.pos];
+      if (ch === " " || ch === "\t" || ch === `
+` || ch === "\r") {
+        this.pos += 1;
+        continue;
+      }
+      if (ch === "/" && this.text[this.pos + 1] === "/") {
+        this.pos += 2;
+        while (this.pos < this.text.length && this.text[this.pos] !== `
+`)
+          this.pos += 1;
+        continue;
+      }
+      if (ch === "/" && this.text[this.pos + 1] === "*") {
+        this.pos += 2;
+        while (this.pos < this.text.length) {
+          if (this.text[this.pos] === "*" && this.text[this.pos + 1] === "/") {
+            this.pos += 2;
+            break;
+          }
+          this.pos += 1;
+        }
+        continue;
+      }
+      break;
     }
-    if (arg === "--dedupe-min-bytes") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --dedupe-min-bytes");
-      const parsed = Number(value);
-      if (!Number.isInteger(parsed) || parsed < 1)
-        throw new Error("--dedupe-min-bytes must be a positive integer");
-      options.dedupeMinBytes = parsed;
-      index += 1;
-      continue;
+  }
+  readPrefix() {
+    const start = this.pos;
+    while (this.pos < this.text.length && digitMap.has(this.text[this.pos] ?? ""))
+      this.pos += 1;
+    const end = this.pos;
+    return { start, end, value: decodePrefix(this.text, start, end), raw: this.text.slice(start, end) };
+  }
+  ensure(char) {
+    if (this.text[this.pos] !== char)
+      throw new Error(`Expected '${char}' at ${this.pos}`);
+    this.pos += 1;
+  }
+  hasMoreBefore(close) {
+    const save = this.pos;
+    this.skipNonCode();
+    const more = this.pos < this.text.length && this.text[this.pos] !== close;
+    this.pos = save;
+    return more;
+  }
+  readBindingVarIfPresent() {
+    const save = this.pos;
+    this.skipNonCode();
+    const prefix = this.readPrefix();
+    const tag = this.text[this.pos];
+    if (tag === "$" && prefix.raw.length > 0) {
+      this.pos += 1;
+      return prefix.raw;
     }
-    if (arg === "--domain-extension") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --domain-extension");
-      options.domainRefs[value] = 0;
-      index += 1;
-      continue;
+    this.pos = save;
+    return;
+  }
+  evalValue() {
+    this.skipNonCode();
+    const prefix = this.readPrefix();
+    const tag = this.text[this.pos];
+    if (!tag)
+      throw new Error("Unexpected end of input");
+    switch (tag) {
+      case "+":
+        this.pos += 1;
+        return decodeZigzag(prefix.value);
+      case "*": {
+        this.pos += 1;
+        const power = decodeZigzag(prefix.value);
+        const significand = this.evalValue();
+        if (typeof significand !== "number")
+          throw new Error("Decimal significand must be numeric");
+        return significand * 10 ** power;
+      }
+      case ":":
+        this.pos += 1;
+        return prefix.raw;
+      case "%":
+        this.pos += 1;
+        return this.opcodeMarkers[prefix.value] ?? { __opcode: prefix.value };
+      case "@":
+        this.pos += 1;
+        return this.readSelf(prefix.value);
+      case "'":
+        this.pos += 1;
+        return this.state.refs[prefix.value];
+      case "$":
+        this.pos += 1;
+        return this.state.vars[prefix.raw];
+      case ",": {
+        this.pos += 1;
+        const start = this.pos;
+        const end = start + prefix.value;
+        if (end > this.text.length)
+          throw new Error("String container overflows input");
+        const value = this.text.slice(start, end);
+        this.pos = end;
+        return value;
+      }
+      case "^": {
+        this.pos += 1;
+        const target = this.pos + prefix.value;
+        if (this.pointerCache.has(target))
+          return this.pointerCache.get(target);
+        const save = this.pos;
+        this.pos = target;
+        const value = this.evalValue();
+        this.pos = save;
+        this.pointerCache.set(target, value);
+        return value;
+      }
+      case "=": {
+        this.pos += 1;
+        const place = this.readPlace();
+        const value = this.evalValue();
+        this.writePlace(place, value);
+        return value;
+      }
+      case "~": {
+        this.pos += 1;
+        const place = this.readPlace();
+        this.deletePlace(place);
+        return;
+      }
+      case ";": {
+        this.pos += 1;
+        const kind = prefix.value % 2 === 0 ? "break" : "continue";
+        const depth = Math.floor(prefix.value / 2) + 1;
+        return { kind, depth };
+      }
+      case "(":
+        return this.evalCall(prefix.value);
+      case "[":
+        return this.evalArray(prefix.value);
+      case "{":
+        return this.evalObject(prefix.value);
+      case "?":
+      case "!":
+      case "|":
+      case "&":
+        return this.evalFlowParen(tag);
+      case ">":
+      case "<":
+        return this.evalLoopLike(tag);
+      case "#":
+        return this.evalWhileLoop();
+      default:
+        throw new Error(`Unexpected tag '${tag}' at ${this.pos}`);
+    }
+  }
+  evalCall(_prefix) {
+    this.ensure("(");
+    this.skipNonCode();
+    if (this.text[this.pos] === ")") {
+      this.pos += 1;
+      return;
     }
-    if (arg === "--domain-ref") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --domain-ref");
-      const separator = value.indexOf("=");
-      if (separator < 1 || separator === value.length - 1) {
-        throw new Error("--domain-ref expects NAME=ID (for example: headers=0)");
+    const callee = this.evalValue();
+    const args = [];
+    while (true) {
+      this.skipNonCode();
+      if (this.text[this.pos] === ")")
+        break;
+      args.push(this.evalValue());
+    }
+    this.ensure(")");
+    if (typeof callee === "object" && callee && "__opcode" in callee) {
+      return this.applyOpcode(callee.__opcode, args);
+    }
+    return this.navigate(callee, args);
+  }
+  evalArray(_prefix) {
+    this.ensure("[");
+    this.skipNonCode();
+    this.skipIndexHeaderIfPresent();
+    const out = [];
+    while (true) {
+      this.skipNonCode();
+      if (this.text[this.pos] === "]")
+        break;
+      out.push(this.evalValue());
+    }
+    this.ensure("]");
+    return out;
+  }
+  evalObject(_prefix) {
+    this.ensure("{");
+    this.skipNonCode();
+    this.skipIndexHeaderIfPresent();
+    const out = {};
+    while (true) {
+      this.skipNonCode();
+      if (this.text[this.pos] === "}")
+        break;
+      const key = this.evalValue();
+      const value = this.evalValue();
+      out[String(key)] = value;
+    }
+    this.ensure("}");
+    return out;
+  }
+  skipIndexHeaderIfPresent() {
+    const save = this.pos;
+    const countPrefix = this.readPrefix();
+    if (this.text[this.pos] !== "#") {
+      this.pos = save;
+      return;
+    }
+    this.pos += 1;
+    const widthChar = this.text[this.pos];
+    const width = widthChar ? digitMap.get(widthChar) ?? 0 : 0;
+    if (widthChar)
+      this.pos += 1;
+    const skipLen = countPrefix.value * width;
+    this.pos += skipLen;
+  }
+  evalFlowParen(tag) {
+    this.pos += 1;
+    this.ensure("(");
+    if (tag === "?") {
+      const cond = this.evalValue();
+      if (isDefined(cond)) {
+        this.selfStack.push(cond);
+        const thenValue = this.evalValue();
+        this.selfStack.pop();
+        if (this.hasMoreBefore(")"))
+          this.skipValue();
+        this.ensure(")");
+        return thenValue;
       }
-      const name = value.slice(0, separator);
-      const idText = value.slice(separator + 1);
-      const id = Number(idText);
-      if (!Number.isInteger(id) || id < 0)
-        throw new Error(`Invalid domain ref id in --domain-ref '${value}'`);
-      options.domainRefs[name] = id;
-      index += 1;
+      this.skipValue();
+      let elseValue = undefined;
+      if (this.hasMoreBefore(")"))
+        elseValue = this.evalValue();
+      this.ensure(")");
+      return elseValue;
+    }
+    if (tag === "!") {
+      const cond = this.evalValue();
+      if (!isDefined(cond)) {
+        const thenValue = this.evalValue();
+        if (this.hasMoreBefore(")"))
+          this.skipValue();
+        this.ensure(")");
+        return thenValue;
+      }
+      this.skipValue();
+      let elseValue = undefined;
+      if (this.hasMoreBefore(")")) {
+        this.selfStack.push(cond);
+        elseValue = this.evalValue();
+        this.selfStack.pop();
+      }
+      this.ensure(")");
+      return elseValue;
+    }
+    if (tag === "|") {
+      let result2 = undefined;
+      while (this.hasMoreBefore(")")) {
+        if (isDefined(result2))
+          this.skipValue();
+        else
+          result2 = this.evalValue();
+      }
+      this.ensure(")");
+      return result2;
+    }
+    let result = undefined;
+    while (this.hasMoreBefore(")")) {
+      if (!isDefined(result) && result !== undefined) {
+        this.skipValue();
+        continue;
+      }
+      result = this.evalValue();
+      if (!isDefined(result)) {
+        while (this.hasMoreBefore(")"))
+          this.skipValue();
+        break;
+      }
+    }
+    this.ensure(")");
+    return result;
+  }
+  evalLoopLike(tag) {
+    this.pos += 1;
+    const open = this.text[this.pos];
+    if (!open || !"([{".includes(open))
+      throw new Error(`Expected loop opener after '${tag}'`);
+    const close = open === "(" ? ")" : open === "[" ? "]" : "}";
+    this.pos += 1;
+    const iterable = this.evalValue();
+    const afterIterable = this.pos;
+    const bodyValueCount = open === "{" ? 2 : 1;
+    let varA;
+    let varB;
+    let bodyStart = afterIterable;
+    let bodyEnd = afterIterable;
+    let matched = false;
+    for (const bindingCount of [2, 1, 0]) {
+      this.pos = afterIterable;
+      const vars = [];
+      let bindingsOk = true;
+      for (let index = 0;index < bindingCount; index += 1) {
+        const binding = this.readBindingVarIfPresent();
+        if (!binding) {
+          bindingsOk = false;
+          break;
+        }
+        vars.push(binding);
+      }
+      if (!bindingsOk)
+        continue;
+      const candidateBodyStart = this.pos;
+      let cursor = candidateBodyStart;
+      let bodyOk = true;
+      for (let index = 0;index < bodyValueCount; index += 1) {
+        const next = this.skipValueFrom(cursor);
+        if (next <= cursor) {
+          bodyOk = false;
+          break;
+        }
+        cursor = next;
+      }
+      if (!bodyOk)
+        continue;
+      this.pos = cursor;
+      this.skipNonCode();
+      if (this.text[this.pos] !== close)
+        continue;
+      varA = vars[0];
+      varB = vars[1];
+      bodyStart = candidateBodyStart;
+      bodyEnd = cursor;
+      matched = true;
+      break;
+    }
+    if (!matched)
+      throw new Error(`Invalid loop/comprehension body before '${close}' at ${this.pos}`);
+    this.pos = bodyEnd;
+    this.ensure(close);
+    if (open === "[")
+      return this.evalArrayComprehension(iterable, varA, varB, bodyStart, bodyEnd, tag === "<");
+    if (open === "{")
+      return this.evalObjectComprehension(iterable, varA, varB, bodyStart, bodyEnd, tag === "<");
+    return this.evalForLoop(iterable, varA, varB, bodyStart, bodyEnd, tag === "<");
+  }
+  iterate(iterable, keysOnly) {
+    if (Array.isArray(iterable)) {
+      if (keysOnly)
+        return iterable.map((_value, index) => ({ key: index, value: index }));
+      return iterable.map((value, index) => ({ key: index, value }));
+    }
+    if (iterable && typeof iterable === "object") {
+      const entries = Object.entries(iterable);
+      if (keysOnly)
+        return entries.map(([key]) => ({ key, value: key }));
+      return entries.map(([key, value]) => ({ key, value }));
+    }
+    if (typeof iterable === "number" && Number.isFinite(iterable) && iterable > 0) {
+      const out = [];
+      for (let index = 0;index < Math.floor(iterable); index += 1) {
+        if (keysOnly)
+          out.push({ key: index, value: index });
+        else
+          out.push({ key: index, value: index + 1 });
+      }
+      return out;
+    }
+    return [];
+  }
+  evalBodySlice(start, end) {
+    const save = this.pos;
+    this.pos = start;
+    const value = this.evalValue();
+    this.pos = end;
+    this.pos = save;
+    return value;
+  }
+  handleLoopControl(value) {
+    if (value && typeof value === "object" && "kind" in value && "depth" in value) {
+      return value;
+    }
+    return;
+  }
+  evalForLoop(iterable, varA, varB, bodyStart, bodyEnd, keysOnly) {
+    const items = this.iterate(iterable, keysOnly);
+    let last = undefined;
+    for (const item of items) {
+      this.tick();
+      const currentSelf = keysOnly ? item.key : item.value;
+      this.selfStack.push(currentSelf);
+      if (varA && varB) {
+        this.state.vars[varA] = item.key;
+        this.state.vars[varB] = keysOnly ? item.key : item.value;
+      } else if (varA) {
+        this.state.vars[varA] = keysOnly ? item.key : item.value;
+      }
+      last = this.evalBodySlice(bodyStart, bodyEnd);
+      this.selfStack.pop();
+      const control = this.handleLoopControl(last);
+      if (!control)
+        continue;
+      if (control.depth > 1)
+        return { kind: control.kind, depth: control.depth - 1 };
+      if (control.kind === "break")
+        return;
+      last = undefined;
       continue;
     }
-    if (arg === "--expr" || arg === "-e") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --expr");
-      options.expr = value;
-      index += 1;
+    return last;
+  }
+  evalWhileLoop() {
+    this.pos += 1;
+    this.ensure("(");
+    const condStart = this.pos;
+    const condValue = this.evalValue();
+    const bodyStart = this.pos;
+    const bodyValueCount = 1;
+    let cursor = bodyStart;
+    for (let index = 0;index < bodyValueCount; index += 1) {
+      cursor = this.skipValueFrom(cursor);
+    }
+    const bodyEnd = cursor;
+    this.pos = bodyEnd;
+    this.ensure(")");
+    const afterClose = this.pos;
+    let last = undefined;
+    let currentCond = condValue;
+    while (isDefined(currentCond)) {
+      this.tick();
+      this.selfStack.push(currentCond);
+      last = this.evalBodySlice(bodyStart, bodyEnd);
+      this.selfStack.pop();
+      const control = this.handleLoopControl(last);
+      if (control) {
+        if (control.depth > 1)
+          return { kind: control.kind, depth: control.depth - 1 };
+        if (control.kind === "break")
+          return;
+        last = undefined;
+      }
+      currentCond = this.evalBodySlice(condStart, bodyStart);
+    }
+    this.pos = afterClose;
+    return last;
+  }
+  evalArrayComprehension(iterable, varA, varB, bodyStart, bodyEnd, keysOnly) {
+    const items = this.iterate(iterable, keysOnly);
+    const out = [];
+    for (const item of items) {
+      this.tick();
+      const currentSelf = keysOnly ? item.key : item.value;
+      this.selfStack.push(currentSelf);
+      if (varA && varB) {
+        this.state.vars[varA] = item.key;
+        this.state.vars[varB] = keysOnly ? item.key : item.value;
+      } else if (varA) {
+        this.state.vars[varA] = keysOnly ? item.key : item.value;
+      }
+      const value = this.evalBodySlice(bodyStart, bodyEnd);
+      this.selfStack.pop();
+      const control = this.handleLoopControl(value);
+      if (control) {
+        if (control.depth > 1)
+          return { kind: control.kind, depth: control.depth - 1 };
+        if (control.kind === "break")
+          break;
+        continue;
+      }
+      if (isDefined(value))
+        out.push(value);
+    }
+    return out;
+  }
+  evalObjectComprehension(iterable, varA, varB, bodyStart, bodyEnd, keysOnly) {
+    const items = this.iterate(iterable, keysOnly);
+    const out = {};
+    for (const item of items) {
+      this.tick();
+      const currentSelf = keysOnly ? item.key : item.value;
+      this.selfStack.push(currentSelf);
+      if (varA && varB) {
+        this.state.vars[varA] = item.key;
+        this.state.vars[varB] = keysOnly ? item.key : item.value;
+      } else if (varA) {
+        this.state.vars[varA] = keysOnly ? item.key : item.value;
+      }
+      const save = this.pos;
+      this.pos = bodyStart;
+      const key = this.evalValue();
+      const value = this.evalValue();
+      this.pos = save;
+      this.selfStack.pop();
+      const control = this.handleLoopControl(value);
+      if (control) {
+        if (control.depth > 1)
+          return { kind: control.kind, depth: control.depth - 1 };
+        if (control.kind === "break")
+          break;
+        continue;
+      }
+      if (isDefined(value))
+        out[String(key)] = value;
+    }
+    return out;
+  }
+  applyOpcode(id, args) {
+    const custom = this.customOpcodes.get(id);
+    if (custom)
+      return custom(args, this.state);
+    switch (id) {
+      case OPCODES.do:
+        return args.length ? args[args.length - 1] : undefined;
+      case OPCODES.add:
+        if (typeof args[0] === "string" || typeof args[1] === "string") {
+          return String(args[0] ?? "") + String(args[1] ?? "");
+        }
+        return Number(args[0] ?? 0) + Number(args[1] ?? 0);
+      case OPCODES.sub:
+        return Number(args[0] ?? 0) - Number(args[1] ?? 0);
+      case OPCODES.mul:
+        return Number(args[0] ?? 0) * Number(args[1] ?? 0);
+      case OPCODES.div:
+        return Number(args[0] ?? 0) / Number(args[1] ?? 0);
+      case OPCODES.mod:
+        return Number(args[0] ?? 0) % Number(args[1] ?? 0);
+      case OPCODES.neg:
+        return -Number(args[0] ?? 0);
+      case OPCODES.not: {
+        const value = args[0];
+        if (typeof value === "boolean")
+          return !value;
+        return ~Number(value ?? 0);
+      }
+      case OPCODES.and: {
+        const [a, b] = args;
+        if (typeof a === "boolean" || typeof b === "boolean")
+          return Boolean(a) && Boolean(b);
+        return Number(a ?? 0) & Number(b ?? 0);
+      }
+      case OPCODES.or: {
+        const [a, b] = args;
+        if (typeof a === "boolean" || typeof b === "boolean")
+          return Boolean(a) || Boolean(b);
+        return Number(a ?? 0) | Number(b ?? 0);
+      }
+      case OPCODES.xor: {
+        const [a, b] = args;
+        if (typeof a === "boolean" || typeof b === "boolean")
+          return Boolean(a) !== Boolean(b);
+        return Number(a ?? 0) ^ Number(b ?? 0);
+      }
+      case OPCODES.eq:
+        return args[0] === args[1] ? args[0] : undefined;
+      case OPCODES.neq:
+        return args[0] !== args[1] ? args[0] : undefined;
+      case OPCODES.gt:
+        return Number(args[0]) > Number(args[1]) ? args[0] : undefined;
+      case OPCODES.gte:
+        return Number(args[0]) >= Number(args[1]) ? args[0] : undefined;
+      case OPCODES.lt:
+        return Number(args[0]) < Number(args[1]) ? args[0] : undefined;
+      case OPCODES.lte:
+        return Number(args[0]) <= Number(args[1]) ? args[0] : undefined;
+      case OPCODES.boolean:
+        return typeof args[0] === "boolean" ? args[0] : undefined;
+      case OPCODES.number:
+        return typeof args[0] === "number" ? args[0] : undefined;
+      case OPCODES.string:
+        return typeof args[0] === "string" ? args[0] : undefined;
+      case OPCODES.array:
+        return Array.isArray(args[0]) ? args[0] : undefined;
+      case OPCODES.object:
+        return args[0] && typeof args[0] === "object" && !Array.isArray(args[0]) ? args[0] : undefined;
+      default:
+        throw new Error(`Unknown opcode ${id}`);
+    }
+  }
+  navigate(base, keys) {
+    let current = base;
+    for (const key of keys) {
+      if (current === undefined || current === null)
+        return;
+      current = current[String(key)];
+    }
+    return current;
+  }
+  readPlace() {
+    this.skipNonCode();
+    const direct = this.readRootVarOrRefIfPresent();
+    if (direct) {
+      const keys = [];
+      this.skipNonCode();
+      if (this.text[this.pos] === "(") {
+        this.pos += 1;
+        while (true) {
+          this.skipNonCode();
+          if (this.text[this.pos] === ")")
+            break;
+          keys.push(this.evalValue());
+        }
+        this.pos += 1;
+      }
+      return {
+        root: direct.root,
+        keys,
+        isRef: direct.isRef
+      };
+    }
+    if (this.text[this.pos] === "(") {
+      this.pos += 1;
+      this.skipNonCode();
+      const rootFromNav = this.readRootVarOrRefIfPresent();
+      if (!rootFromNav)
+        throw new Error(`Invalid place root at ${this.pos}`);
+      const keys = [];
+      while (true) {
+        this.skipNonCode();
+        if (this.text[this.pos] === ")")
+          break;
+        keys.push(this.evalValue());
+      }
+      this.pos += 1;
+      return {
+        root: rootFromNav.root,
+        keys,
+        isRef: rootFromNav.isRef
+      };
+    }
+    throw new Error(`Invalid place at ${this.pos}`);
+  }
+  readRootVarOrRefIfPresent() {
+    const save = this.pos;
+    const prefix = this.readPrefix();
+    const tag = this.text[this.pos];
+    if (tag !== "$" && tag !== "'") {
+      this.pos = save;
+      return;
+    }
+    this.pos += 1;
+    return {
+      root: tag === "$" ? prefix.raw : prefix.value,
+      isRef: tag === "'"
+    };
+  }
+  writePlace(place, value) {
+    const rootTable = place.isRef ? this.state.refs : this.state.vars;
+    const rootKey = String(place.root);
+    if (place.keys.length === 0) {
+      rootTable[rootKey] = value;
+      return;
+    }
+    let target = rootTable[rootKey];
+    if (!target || typeof target !== "object") {
+      target = {};
+      rootTable[rootKey] = target;
+    }
+    for (let index = 0;index < place.keys.length - 1; index += 1) {
+      const key = String(place.keys[index]);
+      const next = target[key];
+      if (!next || typeof next !== "object")
+        target[key] = {};
+      target = target[key];
+    }
+    target[String(place.keys[place.keys.length - 1])] = value;
+  }
+  deletePlace(place) {
+    const rootTable = place.isRef ? this.state.refs : this.state.vars;
+    const rootKey = String(place.root);
+    if (place.keys.length === 0) {
+      delete rootTable[rootKey];
+      return;
+    }
+    let target = rootTable[rootKey];
+    if (!target || typeof target !== "object")
+      return;
+    for (let index = 0;index < place.keys.length - 1; index += 1) {
+      target = target[String(place.keys[index])];
+      if (!target || typeof target !== "object")
+        return;
+    }
+    delete target[String(place.keys[place.keys.length - 1])];
+  }
+  skipValue() {
+    this.pos = this.skipValueFrom(this.pos);
+  }
+  skipValueFrom(startPos) {
+    const save = this.pos;
+    this.pos = startPos;
+    this.skipNonCode();
+    const prefix = this.readPrefix();
+    const tag = this.text[this.pos];
+    if (!tag) {
+      this.pos = save;
+      return startPos;
+    }
+    if (tag === ",") {
+      this.pos += 1 + prefix.value;
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    if (tag === "=") {
+      this.pos += 1;
+      this.skipValue();
+      this.skipValue();
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    if (tag === "~") {
+      this.pos += 1;
+      this.skipValue();
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    if (tag === "*") {
+      this.pos += 1;
+      this.skipValue();
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    if ("+:%$@'^;".includes(tag)) {
+      this.pos += 1;
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    if (tag === "?" || tag === "!" || tag === "|" || tag === "&" || tag === ">" || tag === "<" || tag === "#") {
+      this.pos += 1;
+    }
+    const opener = this.text[this.pos];
+    if (opener && "([{".includes(opener)) {
+      const close = opener === "(" ? ")" : opener === "[" ? "]" : "}";
+      if (prefix.value > 0) {
+        this.pos += 1 + prefix.value + 1;
+        const end3 = this.pos;
+        this.pos = save;
+        return end3;
+      }
+      this.pos += 1;
+      while (true) {
+        this.skipNonCode();
+        if (this.text[this.pos] === close)
+          break;
+        this.skipValue();
+      }
+      this.pos += 1;
+      const end2 = this.pos;
+      this.pos = save;
+      return end2;
+    }
+    this.pos += 1;
+    const end = this.pos;
+    this.pos = save;
+    return end;
+  }
+}
+function evaluateRexc(text, ctx = {}) {
+  const interpreter = new CursorInterpreter(text, ctx);
+  const value = interpreter.evaluateTopLevel();
+  return { value, state: interpreter.runtimeState };
+}
+
+// rex-repl.ts
+var req = createRequire2(import.meta.url);
+var { version } = req("./package.json");
+var C = {
+  reset: "\x1B[0m",
+  bold: "\x1B[1m",
+  dim: "\x1B[2m",
+  red: "\x1B[31m",
+  green: "\x1B[32m",
+  yellow: "\x1B[33m",
+  blue: "\x1B[34m",
+  cyan: "\x1B[36m",
+  gray: "\x1B[90m",
+  boldBlue: "\x1B[1;34m"
+};
+var TOKEN_RE = /(?<blockComment>\/\*[\s\S]*?(?:\*\/|$))|(?<lineComment>\/\/[^\n]*)|(?<dstring>"(?:[^"\\]|\\.)*"?)|(?<sstring>'(?:[^'\\]|\\.)*'?)|(?<keyword>\b(?:when|unless|while|for|do|end|in|of|and|or|else|break|continue|delete|self)(?![a-zA-Z0-9_-]))|(?<literal>\b(?:true|false|null|undefined)(?![a-zA-Z0-9_-]))|(?<typePred>\b(?:string|number|object|array|boolean)(?![a-zA-Z0-9_-]))|(?<num>\b(?:0x[0-9a-fA-F]+|0b[01]+|(?:0|[1-9]\d*)(?:\.\d+)?(?:[eE][+-]?\d+)?)\b)/g;
+function highlightLine(line) {
+  let result = "";
+  let lastIndex = 0;
+  TOKEN_RE.lastIndex = 0;
+  for (const m of line.matchAll(TOKEN_RE)) {
+    result += line.slice(lastIndex, m.index);
+    const text = m[0];
+    const g = m.groups;
+    if (g.blockComment || g.lineComment) {
+      result += C.gray + text + C.reset;
+    } else if (g.dstring || g.sstring) {
+      result += C.green + text + C.reset;
+    } else if (g.keyword) {
+      result += C.boldBlue + text + C.reset;
+    } else if (g.literal) {
+      result += C.yellow + text + C.reset;
+    } else if (g.typePred) {
+      result += C.cyan + text + C.reset;
+    } else if (g.num) {
+      result += C.cyan + text + C.reset;
+    } else {
+      result += text;
+    }
+    lastIndex = m.index + text.length;
+  }
+  result += line.slice(lastIndex);
+  return result;
+}
+var REXC_DIGITS = new Set("0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ-_");
+function highlightRexc(text) {
+  let out = "";
+  let i = 0;
+  function readPrefix() {
+    const start = i;
+    while (i < text.length && REXC_DIGITS.has(text[i]))
+      i++;
+    return text.slice(start, i);
+  }
+  while (i < text.length) {
+    const ch = text[i];
+    if (ch === " " || ch === "\t" || ch === `
+` || ch === "\r") {
+      out += ch;
+      i++;
       continue;
     }
-    if (arg === "--file" || arg === "-f") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --file");
-      options.file = value;
-      index += 1;
+    if (ch === "/" && text[i + 1] === "/") {
+      const start = i;
+      i += 2;
+      while (i < text.length && text[i] !== `
+`)
+        i++;
+      out += C.gray + text.slice(start, i) + C.reset;
       continue;
     }
-    if (arg === "--out" || arg === "-o") {
-      const value = argv[index + 1];
-      if (!value)
-        throw new Error("Missing value for --out");
-      options.out = value;
-      index += 1;
+    if (ch === "/" && text[i + 1] === "*") {
+      const start = i;
+      i += 2;
+      while (i < text.length && !(text[i] === "*" && text[i + 1] === "/"))
+        i++;
+      if (i < text.length)
+        i += 2;
+      out += C.gray + text.slice(start, i) + C.reset;
       continue;
     }
-    throw new Error(`Unknown option: ${arg}`);
-  }
-  return options;
-}
-function usage() {
-  return [
-    "Compile high-level Rex to compact encoding (rexc).",
-    "",
-    "Usage:",
-    '  rex --expr "when x do y end"',
-    "  rex --file input.rex",
-    "  cat input.rex | rex",
-    "",
-    '(Repo script alternative: bun run rex:compile --expr "when x do y end")',
-    "",
-    "Options:",
-    "  -e, --expr <source>   Compile an inline expression/program",
-    "  -f, --file <path>     Compile source from a file",
-    "  -o, --out <path>      Write output to file instead of stdout",
-    "      --ir              Output lowered IR JSON instead of compact encoding",
-    "  -m, --minify-names    Minify local variable names in compiled output",
-    "      --dedupe-values   Deduplicate large repeated values using forward pointers",
-    "      --dedupe-min-bytes <n>  Minimum encoded value bytes for pointer dedupe (default: 4)",
-    "      --domain-extension <name>  Map domain symbol name to ref 0 (apostrophe)",
-    "      --domain-ref <name=id>    Map domain symbol name to a specific ref id",
-    "  -h, --help            Show this message"
-  ].join(`
-`);
+    const prefix = readPrefix();
+    if (i >= text.length) {
+      out += prefix;
+      break;
+    }
+    const tag = text[i];
+    switch (tag) {
+      case "+":
+      case "*":
+        out += C.cyan + prefix + tag + C.reset;
+        i++;
+        break;
+      case ":":
+        out += C.dim + prefix + tag + C.reset;
+        i++;
+        break;
+      case "%":
+        out += C.boldBlue + prefix + tag + C.reset;
+        i++;
+        break;
+      case "$":
+        out += C.yellow + prefix + tag + C.reset;
+        i++;
+        break;
+      case "@":
+        out += C.yellow + prefix + tag + C.reset;
+        i++;
+        break;
+      case "'":
+        out += C.dim + prefix + tag + C.reset;
+        i++;
+        break;
+      case ",": {
+        i++;
+        let len = 0;
+        for (const ch2 of prefix)
+          len = len * 64 + (REXC_DIGITS.has(ch2) ? "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ-_".indexOf(ch2) : 0);
+        const content = text.slice(i, i + len);
+        i += len;
+        out += C.green + prefix + "," + content + C.reset;
+        break;
+      }
+      case "=":
+      case "~":
+        out += C.red + prefix + tag + C.reset;
+        i++;
+        break;
+      case "?":
+      case "!":
+      case "|":
+      case "&":
+      case ">":
+      case "<":
+      case "#":
+        out += C.boldBlue + prefix + tag + C.reset;
+        i++;
+        break;
+      case ";":
+        out += C.boldBlue + prefix + tag + C.reset;
+        i++;
+        break;
+      case "^":
+        out += C.dim + prefix + tag + C.reset;
+        i++;
+        break;
+      case "(":
+      case ")":
+      case "[":
+      case "]":
+      case "{":
+      case "}":
+        out += C.dim + prefix + C.reset + tag;
+        i++;
+        break;
+      default:
+        out += prefix + tag;
+        i++;
+        break;
+    }
+  }
+  return out;
+}
+function stripStringsAndComments(source) {
+  return source.replace(/\/\*[\s\S]*?\*\/|\/\/[^\n]*|"(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'/g, (m) => " ".repeat(m.length));
+}
+function countWord(text, word) {
+  const re = new RegExp(`\\b${word}(?![a-zA-Z0-9_-])`, "g");
+  return (text.match(re) || []).length;
 }
-async function readStdin() {
-  const chunks = [];
-  for await (const chunk of process.stdin) {
-    chunks.push(Buffer.isBuffer(chunk) ? chunk : Buffer.from(chunk));
-  }
-  return Buffer.concat(chunks).toString("utf8");
-}
-async function resolveSource(options) {
-  if (options.expr && options.file)
-    throw new Error("Use only one of --expr or --file");
-  if (options.expr)
-    return options.expr;
-  if (options.file)
-    return readFile(options.file, "utf8");
-  if (!process.stdin.isTTY) {
-    const piped = await readStdin();
-    if (piped.trim().length > 0)
-      return piped;
-  }
-  throw new Error("No input provided. Use --expr, --file, or pipe source via stdin.");
-}
-async function loadDomainRefsFromFolder(folderPath) {
-  const schemaPath = resolve(folderPath, "rex-domain.json");
-  let parsed;
+function isIncomplete(buffer) {
   try {
-    parsed = JSON.parse(await readFile(schemaPath, "utf8"));
-  } catch (error) {
-    if (error.code === "ENOENT")
-      return {};
-    throw error;
-  }
-  if (!parsed || typeof parsed !== "object" || !parsed.globals || typeof parsed.globals !== "object") {
-    throw new Error(`Invalid rex-domain.json at ${schemaPath}: expected { globals: { ... } }`);
-  }
-  const refs = {};
-  let nextRef = 0;
-  for (const name of Object.keys(parsed.globals)) {
-    refs[name] = nextRef;
-    nextRef += 1;
+    if (grammar.match(buffer).succeeded())
+      return false;
+  } catch {}
+  const stripped = stripStringsAndComments(buffer);
+  let parens = 0, brackets = 0, braces = 0;
+  for (const ch of stripped) {
+    if (ch === "(")
+      parens++;
+    else if (ch === ")")
+      parens--;
+    else if (ch === "[")
+      brackets++;
+    else if (ch === "]")
+      brackets--;
+    else if (ch === "{")
+      braces++;
+    else if (ch === "}")
+      braces--;
+  }
+  if (parens > 0 || brackets > 0 || braces > 0)
+    return true;
+  const doCount = countWord(stripped, "do");
+  const endCount = countWord(stripped, "end");
+  if (doCount > endCount)
+    return true;
+  const trimmed = buffer.trimEnd();
+  if (/[+\-*/%&|^=<>]$/.test(trimmed))
+    return true;
+  if (/\b(?:and|or|do|in|of)\s*$/.test(trimmed))
+    return true;
+  return false;
+}
+function formatResult(value) {
+  let text;
+  try {
+    text = stringify(value, { maxWidth: 60 });
+  } catch {
+    text = String(value);
   }
-  return refs;
+  return `${C.gray}→${C.reset} ${highlightLine(text)}`;
 }
-async function resolveDomainRefs(options) {
-  const baseFolder = options.file ? dirname(resolve(options.file)) : process.cwd();
-  const autoRefs = await loadDomainRefsFromFolder(baseFolder);
-  return { ...autoRefs, ...options.domainRefs };
+function formatVarState(vars) {
+  const entries = Object.entries(vars);
+  if (entries.length === 0)
+    return "";
+  const MAX_LINE = 70;
+  const MAX_VALUE = 30;
+  const parts = [];
+  let totalLen = 0;
+  for (const [key, val] of entries) {
+    let valStr;
+    try {
+      valStr = stringify(val, { maxWidth: MAX_VALUE });
+    } catch {
+      valStr = String(val);
+    }
+    if (valStr.length > MAX_VALUE) {
+      valStr = valStr.slice(0, MAX_VALUE - 1) + "…";
+    }
+    const part = `${key} = ${valStr}`;
+    if (totalLen + part.length + 2 > MAX_LINE && parts.length > 0) {
+      parts.push("…");
+      break;
+    }
+    parts.push(part);
+    totalLen += part.length + 2;
+  }
+  return `${C.dim}  ${parts.join(", ")}${C.reset}`;
+}
+var KEYWORDS = [
+  "when",
+  "unless",
+  "while",
+  "for",
+  "do",
+  "end",
+  "in",
+  "of",
+  "and",
+  "or",
+  "else",
+  "break",
+  "continue",
+  "delete",
+  "self",
+  "true",
+  "false",
+  "null",
+  "undefined",
+  "string",
+  "number",
+  "object",
+  "array",
+  "boolean"
+];
+function completer(state) {
+  return (line) => {
+    const match = line.match(/[a-zA-Z_][a-zA-Z0-9_.-]*$/);
+    const partial = match ? match[0] : "";
+    if (!partial)
+      return [[], ""];
+    const varNames = Object.keys(state.vars);
+    const all = [...new Set([...KEYWORDS, ...varNames])];
+    const hits = all.filter((w) => w.startsWith(partial));
+    return [hits, partial];
+  };
 }
-async function main() {
-  const options = parseArgs(process.argv.slice(2));
-  if (options.help) {
-    console.log(usage());
-    return;
-  }
-  const source = await resolveSource(options);
-  const domainRefs = await resolveDomainRefs(options);
-  const output = options.ir ? JSON.stringify(parseToIR(source), null, 2) : compile(source, {
-    minifyNames: options.minifyNames,
-    dedupeValues: options.dedupeValues,
-    dedupeMinBytes: options.dedupeMinBytes,
-    domainRefs
-  });
-  if (options.out) {
-    await writeFile(options.out, `${output}
-`, "utf8");
-    return;
+function handleDotCommand(cmd, state, rl) {
+  function toggleLabel(on) {
+    return on ? `${C.green}on${C.reset}` : `${C.dim}off${C.reset}`;
+  }
+  switch (cmd) {
+    case ".help":
+      console.log([
+        `${C.boldBlue}Rex REPL Commands:${C.reset}`,
+        "  .help   Show this help message",
+        "  .vars   Show all current variables",
+        "  .clear  Clear all variables",
+        "  .ir     Toggle showing IR JSON after parsing",
+        "  .rexc   Toggle showing compiled rexc before execution",
+        "  .opt    Toggle IR optimizations",
+        "  .exit   Exit the REPL",
+        "",
+        "Enter Rex expressions to evaluate them.",
+        "Multi-line: open brackets or do/end blocks continue on the next line.",
+        "Ctrl-C cancels multi-line input.",
+        "Ctrl-D exits."
+      ].join(`
+`));
+      return true;
+    case ".ir":
+      state.showIR = !state.showIR;
+      console.log(`${C.dim}  IR display: ${toggleLabel(state.showIR)}${C.reset}`);
+      return true;
+    case ".rexc":
+      state.showRexc = !state.showRexc;
+      console.log(`${C.dim}  Rexc display: ${toggleLabel(state.showRexc)}${C.reset}`);
+      return true;
+    case ".opt":
+      state.optimize = !state.optimize;
+      console.log(`${C.dim}  Optimizations: ${toggleLabel(state.optimize)}${C.reset}`);
+      return true;
+    case ".vars": {
+      const entries = Object.entries(state.vars);
+      if (entries.length === 0) {
+        console.log(`${C.dim}  (no variables)${C.reset}`);
+      } else {
+        for (const [key, val] of entries) {
+          let valStr;
+          try {
+            valStr = stringify(val, { maxWidth: 60 });
+          } catch {
+            valStr = String(val);
+          }
+          console.log(`  ${key} = ${highlightLine(valStr)}`);
+        }
+      }
+      return true;
+    }
+    case ".clear":
+      state.vars = {};
+      state.refs = {};
+      console.log(`${C.dim}  Variables cleared.${C.reset}`);
+      return true;
+    case ".exit":
+      rl.close();
+      return true;
+    default:
+      if (cmd.startsWith(".")) {
+        console.log(`${C.red}  Unknown command: ${cmd}. Type .help for available commands.${C.reset}`);
+        return true;
+      }
+      return false;
   }
-  console.log(output);
 }
-await main().catch((error) => {
-  const message = error instanceof Error ? error.message : String(error);
-  console.error(`rex:compile error: ${message}`);
-  process.exit(1);
-});
+var GAS_LIMIT = 1e7;
+async function startRepl() {
+  const state = { vars: {}, refs: {}, showIR: false, showRexc: false, optimize: false };
+  let multiLineBuffer = "";
+  const PRIMARY_PROMPT = "rex> ";
+  const CONT_PROMPT = "...  ";
+  const STYLED_PRIMARY = `${C.boldBlue}rex${C.reset}> `;
+  const STYLED_CONT = `${C.dim}...${C.reset}  `;
+  let currentPrompt = PRIMARY_PROMPT;
+  let styledPrompt = STYLED_PRIMARY;
+  console.log(`${C.boldBlue}Rex${C.reset} v${version} — type ${C.dim}.help${C.reset} for commands`);
+  const rl = readline.createInterface({
+    input: process.stdin,
+    output: process.stdout,
+    prompt: PRIMARY_PROMPT,
+    historySize: 500,
+    completer: completer(state),
+    terminal: true
+  });
+  process.stdin.on("keypress", () => {
+    process.nextTick(() => {
+      if (!rl.line && rl.line !== "")
+        return;
+      readline.clearLine(process.stdout, 0);
+      readline.cursorTo(process.stdout, 0);
+      process.stdout.write(styledPrompt + highlightLine(rl.line));
+      readline.cursorTo(process.stdout, currentPrompt.length + rl.cursor);
+    });
+  });
+  process.stdin.on("keypress", (_ch, key) => {
+    if (key?.ctrl && key.name === "l") {
+      readline.cursorTo(process.stdout, 0, 0);
+      readline.clearScreenDown(process.stdout);
+      rl.prompt();
+    }
+  });
+  rl.on("SIGINT", () => {
+    if (multiLineBuffer) {
+      multiLineBuffer = "";
+      currentPrompt = PRIMARY_PROMPT;
+      styledPrompt = STYLED_PRIMARY;
+      rl.setPrompt(PRIMARY_PROMPT);
+      process.stdout.write(`
+`);
+      rl.prompt();
+    } else {
+      console.log();
+      rl.close();
+    }
+  });
+  function resetPrompt() {
+    currentPrompt = PRIMARY_PROMPT;
+    styledPrompt = STYLED_PRIMARY;
+    rl.setPrompt(PRIMARY_PROMPT);
+    rl.prompt();
+  }
+  rl.on("line", (line) => {
+    const trimmed = line.trim();
+    if (!multiLineBuffer && trimmed.startsWith(".")) {
+      if (handleDotCommand(trimmed, state, rl)) {
+        rl.prompt();
+        return;
+      }
+    }
+    multiLineBuffer += (multiLineBuffer ? `
+` : "") + line;
+    if (multiLineBuffer.trim() === "") {
+      multiLineBuffer = "";
+      rl.prompt();
+      return;
+    }
+    if (isIncomplete(multiLineBuffer)) {
+      currentPrompt = CONT_PROMPT;
+      styledPrompt = STYLED_CONT;
+      rl.setPrompt(CONT_PROMPT);
+      rl.prompt();
+      return;
+    }
+    const source = multiLineBuffer;
+    multiLineBuffer = "";
+    const match = grammar.match(source);
+    if (!match.succeeded()) {
+      console.log(`${C.red}  ${match.message}${C.reset}`);
+      resetPrompt();
+      return;
+    }
+    try {
+      const ir = parseToIR(source);
+      const lowered = state.optimize ? optimizeIR(ir) : ir;
+      if (state.showIR) {
+        console.log(`${C.dim}  IR: ${JSON.stringify(lowered)}${C.reset}`);
+      }
+      const rexc = compile(source, { optimize: state.optimize });
+      if (state.showRexc) {
+        console.log(`${C.dim}  rexc:${C.reset} ${highlightRexc(rexc)}`);
+      }
+      const result = evaluateRexc(rexc, {
+        vars: { ...state.vars },
+        refs: { ...state.refs },
+        gasLimit: GAS_LIMIT
+      });
+      state.vars = result.state.vars;
+      state.refs = result.state.refs;
+      console.log(formatResult(result.value));
+      const varLine = formatVarState(state.vars);
+      if (varLine)
+        console.log(varLine);
+    } catch (error) {
+      const message = error instanceof Error ? error.message : String(error);
+      if (message.includes("Gas limit exceeded")) {
+        console.log(`${C.yellow}  ${message}${C.reset}`);
+      } else {
+        console.log(`${C.red}  Error: ${message}${C.reset}`);
+      }
+    }
+    resetPrompt();
+  });
+  rl.on("close", () => {
+    process.exit(0);
+  });
+  rl.prompt();
+}
+export {
+  startRepl,
+  isIncomplete,
+  highlightRexc,
+  highlightLine,
+  formatVarState
+};