@algorandfoundation/puya-ts 1.2.0-beta.34 → 1.2.0-beta.36

package/{check-node-version-BYGc-qxw.js.map → check-node-version-jdAtH-rx.js.map}

@@ -1 +1 @@
-{"version":3,"file":"check-node-version-BYGc-qxw.js","sources":["../src/cli/check-node-version.ts"],"sourcesContent":["import chalk from 'chalk'\nimport { Constants } from '../constants'\nimport { parseSemVer } from '../puya/semver'\n\nfunction writeError(text: string) {\n  // eslint-disable-next-line no-console\n  console.error(chalk.red(text))\n}\n\nexport function checkNodeVersion() {\n  const min = parseSemVer(Constants.minNodeVersion)\n  const actual = parseSemVer(process.versions.node)\n\n  if (\n    actual.major < min.major ||\n    (actual.major === min.major && actual.minor < min.minor) ||\n    (actual.major === min.major && actual.minor === min.minor && actual.rev < min.rev)\n  ) {\n    writeError(\n      `Installed node version ${process.versions.node} is older than the minimum required version ${Constants.minNodeVersion}. You may experience compatibility issues.`,\n    )\n  }\n}\n"],"names":[],"mappings":";;;;AAIA,SAAS,UAAU,CAAC,IAAY,EAAA;;IAE9B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAChC;SAEgB,gBAAgB,GAAA;IAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,cAAc,CAAC;IACjD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;AAEjD,IAAA,IACE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;AACxB,SAAC,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;SACvD,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,EAClF;AACA,QAAA,UAAU,CACR,CAAA,uBAAA,EAA0B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA,4CAAA,EAA+C,SAAS,CAAC,cAAc,CAAA,0CAAA,CAA4C,CACnK;IACH;AACF;;;;"}
+{"version":3,"file":"check-node-version-jdAtH-rx.js","sources":["../src/cli/check-node-version.ts"],"sourcesContent":["import chalk from 'chalk'\nimport { Constants } from '../constants'\nimport { parseSemVer } from '../puya/semver'\n\nfunction writeError(text: string) {\n  // eslint-disable-next-line no-console\n  console.error(chalk.red(text))\n}\n\nexport function checkNodeVersion() {\n  const min = parseSemVer(Constants.minNodeVersion)\n  const actual = parseSemVer(process.versions.node)\n\n  if (\n    actual.major < min.major ||\n    (actual.major === min.major && actual.minor < min.minor) ||\n    (actual.major === min.major && actual.minor === min.minor && actual.rev < min.rev)\n  ) {\n    writeError(\n      `Installed node version ${process.versions.node} is older than the minimum required version ${Constants.minNodeVersion}. You may experience compatibility issues.`,\n    )\n  }\n}\n"],"names":[],"mappings":";;;;AAIA,SAAS,UAAU,CAAC,IAAY,EAAA;;IAE9B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAChC;SAEgB,gBAAgB,GAAA;IAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,cAAc,CAAC;IACjD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;AAEjD,IAAA,IACE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;AACxB,SAAC,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;SACvD,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,EAClF;AACA,QAAA,UAAU,CACR,CAAA,uBAAA,EAA0B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAA,4CAAA,EAA+C,SAAS,CAAC,cAAc,CAAA,0CAAA,CAA4C,CACnK;IACH;AACF;;;;"}

package/cli.mjs

@@ -1,10 +1,10 @@
-import { l as logger, A as AbsolutePath, a as LoggingContext, L as LogLevel } from './contract-class-model-Dpn9A-pJ.js';
+import { l as logger, A as AbsolutePath, a as LoggingContext, L as LogLevel } from './contract-class-model-CkfUf4wT.js';
 import { BooleanOptionalAction, ArgumentParser } from 'argparse';
-import { a as appVersion } from './semver-a7hIj_hk.js';
-import { c as compile } from './compile-BKk4hPli.js';
-import { _ as defaultPuyaOptions, X as processInputPaths, V as CompileOptions, $ as parseCliTemplateVar, a0 as LocalsCoalescingStrategy } from './options-BCW57sPn.js';
-import { a as addEnumArg, C as ConsoleLogSink, c as convertInt } from './util-nZLj7LWS.js';
-import { c as checkNodeVersion } from './check-node-version-BYGc-qxw.js';
+import { a as appVersion } from './semver-BcvZGdLN.js';
+import { c as compile } from './compile-DbGGbErI.js';
+import { _ as defaultPuyaOptions, X as processInputPaths, V as CompileOptions, $ as parseCliTemplateVar, a0 as LocalsCoalescingStrategy } from './options-BMqysQHP.js';
+import { a as addEnumArg, C as ConsoleLogSink, c as convertInt } from './util-DgN3iON1.js';
+import { c as checkNodeVersion } from './check-node-version-jdAtH-rx.js';
 import 'typescript';
 import 'node:fs';
 import 'node:util';
@@ -14,10 +14,10 @@ import 'polytype';
 import 'node:async_hooks';
 import 'fs';
 import 'node:url';
-import './arc4-clientgen-CZtNN1eT.js';
+import './arc4-clientgen-BBdFxRUs.js';
 import '@algorandfoundation/algokit-utils/abi';
 import 'fs/promises';
-import './resolve-puya-path-CdZID0Yd.js';
+import './resolve-puya-path-C4sw8aVH.js';
 import 'tslib';
 import 'signal-exit';
 import 'cross-spawn';

package/{compile-BKk4hPli.js → compile-DbGGbErI.js}

@@ -1,9 +1,9 @@
-import { a as writeARC4Clients } from './arc4-clientgen-CZtNN1eT.js';
-import { a1 as PuyaService, a2 as deserializeAndLog, Y as registerPTypes, a3 as createTsProgram, a4 as buildAwst, a5 as validateAwst, Z as typeRegistry } from './options-BCW57sPn.js';
-import { a as appVersion } from './semver-a7hIj_hk.js';
-import { ck as mkDirIfNotExists, L as LogLevel, a as LoggingContext, l as logger } from './contract-class-model-Dpn9A-pJ.js';
+import { a as writeARC4Clients } from './arc4-clientgen-BBdFxRUs.js';
+import { a1 as PuyaService, a2 as deserializeAndLog, Y as registerPTypes, a3 as createTsProgram, a4 as buildAwst, a5 as validateAwst, Z as typeRegistry } from './options-BMqysQHP.js';
+import { a as appVersion } from './semver-BcvZGdLN.js';
+import { ck as mkDirIfNotExists, L as LogLevel, a as LoggingContext, l as logger } from './contract-class-model-CkfUf4wT.js';
 import ts from 'typescript';
-import { r as resolvePuyaPath } from './resolve-puya-path-CdZID0Yd.js';
+import { r as resolvePuyaPath } from './resolve-puya-path-C4sw8aVH.js';
 
 function buildCompilationSetMapping({ awst, inputPaths, compilationSet, }) {
     const setIds = new Set(compilationSet.compilationOutputSet.map((s) => s.id));
@@ -110,4 +110,4 @@ async function compile(options, puyaService) {
 }
 
 export { compile as c };
-//# sourceMappingURL=compile-BKk4hPli.js.map
+//# sourceMappingURL=compile-DbGGbErI.js.map

package/{compile-BKk4hPli.js.map → compile-DbGGbErI.js.map}

@@ -1 +1 @@
-{"version":3,"file":"compile-BKk4hPli.js","sources":["../src/puya/build-compilation-set-mapping.ts","../src/puya/index.ts","../src/compile.ts"],"sourcesContent":["import type { AWST } from '../awst/nodes'\nimport type { CompilationSet } from '../awst_build/models/contract-class-model'\nimport type { AlgoFile, CompilationSetMapping } from '../options'\nimport { mkDirIfNotExists } from '../util'\n\nexport function buildCompilationSetMapping({\n  awst,\n  inputPaths,\n  compilationSet,\n}: {\n  awst: AWST[]\n  inputPaths: AlgoFile[]\n  compilationSet: CompilationSet\n}): CompilationSetMapping {\n  const setIds = new Set(compilationSet.compilationOutputSet.map((s) => s.id))\n\n  return awst.reduce((acc, cur) => {\n    if (setIds.has(cur.id.toString())) {\n      const matchedPath = inputPaths.find((p) => cur.sourceLocation.file && p.sourceFile.equals(cur.sourceLocation.file))\n      if (matchedPath) {\n        mkDirIfNotExists(matchedPath.outDir.toString())\n        acc[cur.id.toString()] = matchedPath.outDir.toString()\n      }\n    }\n    return acc\n  }, {} as CompilationSetMapping)\n}\n","import ts from 'typescript'\nimport type { AWST } from '../awst/nodes'\nimport type { CompilationSet } from '../awst_build/models/contract-class-model'\nimport { LogLevel } from '../logger'\nimport type { CompileOptions } from '../options'\nimport type { SourceFileMapping } from '../parser'\nimport type { AbsolutePath } from '../util/absolute-path'\nimport { buildCompilationSetMapping } from './build-compilation-set-mapping'\nimport { deserializeAndLog } from './log-deserializer'\nimport { PuyaService } from './puya-service'\nimport { resolvePuyaPath } from './resolve-puya-path'\n\nexport async function puyaCompile({\n  moduleAwst,\n  programDirectory,\n  sourceFiles,\n  options,\n  compilationSet,\n  puyaService,\n}: {\n  moduleAwst: AWST[]\n  programDirectory: AbsolutePath\n  sourceFiles: SourceFileMapping\n  options: CompileOptions\n  compilationSet: CompilationSet\n  puyaService?: PuyaService\n}) {\n  const puyaPath = await resolvePuyaPath(options)\n  const localPuyaService = puyaService ?? new PuyaService({ puyaPath })\n  const puyaOptions = options.buildPuyaOptions(\n    buildCompilationSetMapping({\n      awst: moduleAwst,\n      inputPaths: options.filePaths,\n      compilationSet,\n    }),\n  )\n\n  const response = await localPuyaService.compile({\n    awst: moduleAwst,\n    options: puyaOptions,\n    base_path: programDirectory.toString(),\n    log_level: getPuyaLogLevel(options.logLevel),\n    source_annotations: getSourceFileContents(sourceFiles),\n  })\n  // Shutdown service if we created it locally\n  if (puyaService === undefined) await localPuyaService.shutdown()\n  for (const log of response.logs) {\n    deserializeAndLog(log)\n  }\n\n  return response\n}\n\nfunction getPuyaLogLevel(logLevel: LogLevel): string {\n  switch (logLevel) {\n    case LogLevel.Debug:\n      return 'debug'\n    case LogLevel.Info:\n      return 'info'\n    case LogLevel.Warning:\n      return 'warning'\n    case LogLevel.Error:\n      return 'error'\n    case LogLevel.Critical:\n      return 'critical'\n  }\n}\nfunction getSourceFileContents(sourceFiles: SourceFileMapping) {\n  return Object.fromEntries(\n    Object.entries(sourceFiles).map(([key, value]) => {\n      const source = ts.isSourceFile(value) ? value.getFullText().replace(/\\r\\n/g, '\\n').split(/\\n/g) : value\n      return [key, source] as const\n    }),\n  )\n}\n","import type ts from 'typescript'\nimport { writeARC4Clients } from './arc4-clientgen'\nimport type { AWST } from './awst/nodes'\nimport { validateAwst } from './awst/validation'\nimport { buildAwst } from './awst_build'\nimport { type CompilationSet } from './awst_build/models/contract-class-model'\nimport { registerPTypes } from './awst_build/ptypes/register'\nimport { typeRegistry } from './awst_build/type-registry'\nimport { appVersion } from './cli/app-version'\nimport { logger, LoggingContext } from './logger'\nimport type { CompileOptions } from './options'\nimport { createTsProgram } from './parser'\nimport { puyaCompile } from './puya'\nimport type { PuyaService } from './puya/puya-service'\nimport type { AbsolutePath } from './util/absolute-path'\n\nexport type CompileResult = {\n  programDirectory: AbsolutePath\n  awst?: AWST[]\n  ast?: Record<string, ts.SourceFile>\n  compilationSet?: CompilationSet\n}\n\nexport async function compile(options: CompileOptions, puyaService?: PuyaService): Promise<CompileResult> {\n  const loggerCtx = LoggingContext.current\n  if (options.treatWarningsAsErrors) loggerCtx.treatWarningsAsErrors = true\n\n  registerPTypes(typeRegistry)\n  logger.info(undefined, appVersion({ withAVMVersion: false }))\n  const programResult = createTsProgram(options)\n  if (loggerCtx.hasErrors()) {\n    logger.info(undefined, 'Compilation halted due to parse errors')\n    return {\n      programDirectory: programResult.programDirectory,\n      ast: programResult.sourceFiles,\n    }\n  }\n  const { moduleAwst, compilationSet } = buildAwst(programResult, options)\n  validateAwst(moduleAwst)\n\n  if (loggerCtx.hasErrors()) {\n    logger.info(undefined, 'Compilation halted due to errors')\n    return {\n      programDirectory: programResult.programDirectory,\n      awst: moduleAwst,\n      ast: programResult.sourceFiles,\n      compilationSet,\n    }\n  }\n  if (!options.dryRun) {\n    const compileResult = await puyaCompile({\n      options,\n      moduleAwst,\n      programDirectory: programResult.programDirectory,\n      compilationSet,\n      sourceFiles: programResult.sourceFiles,\n      puyaService,\n    })\n\n    if (options.outputClient) {\n      await writeARC4Clients(compilationSet, options.filePaths, compileResult.arc56)\n    }\n  }\n\n  return {\n    programDirectory: programResult.programDirectory,\n    awst: moduleAwst,\n    ast: programResult.sourceFiles,\n    compilationSet,\n  }\n}\n"],"names":[],"mappings":";;;;;;;AAKM,SAAU,0BAA0B,CAAC,EACzC,IAAI,EACJ,UAAU,EACV,cAAc,GAKf,EAAA;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,KAAI;AAC9B,QAAA,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE;AACjC,YAAA,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YACnH,IAAI,WAAW,EAAE;gBACf,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC/C,gBAAA,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE;YACxD;QACF;AACA,QAAA,OAAO,GAAG;IACZ,CAAC,EAAE,EAA2B,CAAC;AACjC;;ACdO,eAAe,WAAW,CAAC,EAChC,UAAU,EACV,gBAAgB,EAChB,WAAW,EACX,OAAO,EACP,cAAc,EACd,WAAW,GAQZ,EAAA;AACC,IAAA,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC;IAC/C,MAAM,gBAAgB,GAAG,WAAW,IAAI,IAAI,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;AACrE,IAAA,MAAM,WAAW,GAAG,OAAO,CAAC,gBAAgB,CAC1C,0BAA0B,CAAC;AACzB,QAAA,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,cAAc;AACf,KAAA,CAAC,CACH;AAED,IAAA,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC;AAC9C,QAAA,IAAI,EAAE,UAAU;AAChB,QAAA,OAAO,EAAE,WAAW;AACpB,QAAA,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE;AACtC,QAAA,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC;AAC5C,QAAA,kBAAkB,EAAE,qBAAqB,CAAC,WAAW,CAAC;AACvD,KAAA,CAAC;;IAEF,IAAI,WAAW,KAAK,SAAS;AAAE,QAAA,MAAM,gBAAgB,CAAC,QAAQ,EAAE;AAChE,IAAA,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE;QAC/B,iBAAiB,CAAC,GAAG,CAAC;IACxB;AAEA,IAAA,OAAO,QAAQ;AACjB;AAEA,SAAS,eAAe,CAAC,QAAkB,EAAA;IACzC,QAAQ,QAAQ;QACd,KAAK,QAAQ,CAAC,KAAK;AACjB,YAAA,OAAO,OAAO;QAChB,KAAK,QAAQ,CAAC,IAAI;AAChB,YAAA,OAAO,MAAM;QACf,KAAK,QAAQ,CAAC,OAAO;AACnB,YAAA,OAAO,SAAS;QAClB,KAAK,QAAQ,CAAC,KAAK;AACjB,YAAA,OAAO,OAAO;QAChB,KAAK,QAAQ,CAAC,QAAQ;AACpB,YAAA,OAAO,UAAU;;AAEvB;AACA,SAAS,qBAAqB,CAAC,WAA8B,EAAA;IAC3D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAI;AAC/C,QAAA,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK;AACvG,QAAA,OAAO,CAAC,GAAG,EAAE,MAAM,CAAU;IAC/B,CAAC,CAAC,CACH;AACH;;ACnDO,eAAe,OAAO,CAAC,OAAuB,EAAE,WAAyB,EAAA;AAC9E,IAAA,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO;IACxC,IAAI,OAAO,CAAC,qBAAqB;AAAE,QAAA,SAAS,CAAC,qBAAqB,GAAG,IAAI;IAEzE,cAAc,CAAC,YAAY,CAAC;AAC5B,IAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7D,IAAA,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC;AAC9C,IAAA,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE;AACzB,QAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,wCAAwC,CAAC;QAChE,OAAO;YACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;YAChD,GAAG,EAAE,aAAa,CAAC,WAAW;SAC/B;IACH;AACA,IAAA,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC;IACxE,YAAY,CAAC,UAAU,CAAC;AAExB,IAAA,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE;AACzB,QAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,kCAAkC,CAAC;QAC1D,OAAO;YACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;AAChD,YAAA,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,aAAa,CAAC,WAAW;YAC9B,cAAc;SACf;IACH;AACA,IAAA,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;AACnB,QAAA,MAAM,aAAa,GAAG,MAAM,WAAW,CAAC;YACtC,OAAO;YACP,UAAU;YACV,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;YAChD,cAAc;YACd,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,WAAW;AACZ,SAAA,CAAC;AAEF,QAAA,IAAI,OAAO,CAAC,YAAY,EAAE;AACxB,YAAA,MAAM,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC;QAChF;IACF;IAEA,OAAO;QACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;AAChD,QAAA,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,aAAa,CAAC,WAAW;QAC9B,cAAc;KACf;AACH;;;;"}
+{"version":3,"file":"compile-DbGGbErI.js","sources":["../src/puya/build-compilation-set-mapping.ts","../src/puya/index.ts","../src/compile.ts"],"sourcesContent":["import type { AWST } from '../awst/nodes'\nimport type { CompilationSet } from '../awst_build/models/contract-class-model'\nimport type { AlgoFile, CompilationSetMapping } from '../options'\nimport { mkDirIfNotExists } from '../util'\n\nexport function buildCompilationSetMapping({\n  awst,\n  inputPaths,\n  compilationSet,\n}: {\n  awst: AWST[]\n  inputPaths: AlgoFile[]\n  compilationSet: CompilationSet\n}): CompilationSetMapping {\n  const setIds = new Set(compilationSet.compilationOutputSet.map((s) => s.id))\n\n  return awst.reduce((acc, cur) => {\n    if (setIds.has(cur.id.toString())) {\n      const matchedPath = inputPaths.find((p) => cur.sourceLocation.file && p.sourceFile.equals(cur.sourceLocation.file))\n      if (matchedPath) {\n        mkDirIfNotExists(matchedPath.outDir.toString())\n        acc[cur.id.toString()] = matchedPath.outDir.toString()\n      }\n    }\n    return acc\n  }, {} as CompilationSetMapping)\n}\n","import ts from 'typescript'\nimport type { AWST } from '../awst/nodes'\nimport type { CompilationSet } from '../awst_build/models/contract-class-model'\nimport { LogLevel } from '../logger'\nimport type { CompileOptions } from '../options'\nimport type { SourceFileMapping } from '../parser'\nimport type { AbsolutePath } from '../util/absolute-path'\nimport { buildCompilationSetMapping } from './build-compilation-set-mapping'\nimport { deserializeAndLog } from './log-deserializer'\nimport { PuyaService } from './puya-service'\nimport { resolvePuyaPath } from './resolve-puya-path'\n\nexport async function puyaCompile({\n  moduleAwst,\n  programDirectory,\n  sourceFiles,\n  options,\n  compilationSet,\n  puyaService,\n}: {\n  moduleAwst: AWST[]\n  programDirectory: AbsolutePath\n  sourceFiles: SourceFileMapping\n  options: CompileOptions\n  compilationSet: CompilationSet\n  puyaService?: PuyaService\n}) {\n  const puyaPath = await resolvePuyaPath(options)\n  const localPuyaService = puyaService ?? new PuyaService({ puyaPath })\n  const puyaOptions = options.buildPuyaOptions(\n    buildCompilationSetMapping({\n      awst: moduleAwst,\n      inputPaths: options.filePaths,\n      compilationSet,\n    }),\n  )\n\n  const response = await localPuyaService.compile({\n    awst: moduleAwst,\n    options: puyaOptions,\n    base_path: programDirectory.toString(),\n    log_level: getPuyaLogLevel(options.logLevel),\n    source_annotations: getSourceFileContents(sourceFiles),\n  })\n  // Shutdown service if we created it locally\n  if (puyaService === undefined) await localPuyaService.shutdown()\n  for (const log of response.logs) {\n    deserializeAndLog(log)\n  }\n\n  return response\n}\n\nfunction getPuyaLogLevel(logLevel: LogLevel): string {\n  switch (logLevel) {\n    case LogLevel.Debug:\n      return 'debug'\n    case LogLevel.Info:\n      return 'info'\n    case LogLevel.Warning:\n      return 'warning'\n    case LogLevel.Error:\n      return 'error'\n    case LogLevel.Critical:\n      return 'critical'\n  }\n}\nfunction getSourceFileContents(sourceFiles: SourceFileMapping) {\n  return Object.fromEntries(\n    Object.entries(sourceFiles).map(([key, value]) => {\n      const source = ts.isSourceFile(value) ? value.getFullText().replace(/\\r\\n/g, '\\n').split(/\\n/g) : value\n      return [key, source] as const\n    }),\n  )\n}\n","import type ts from 'typescript'\nimport { writeARC4Clients } from './arc4-clientgen'\nimport type { AWST } from './awst/nodes'\nimport { validateAwst } from './awst/validation'\nimport { buildAwst } from './awst_build'\nimport { type CompilationSet } from './awst_build/models/contract-class-model'\nimport { registerPTypes } from './awst_build/ptypes/register'\nimport { typeRegistry } from './awst_build/type-registry'\nimport { appVersion } from './cli/app-version'\nimport { logger, LoggingContext } from './logger'\nimport type { CompileOptions } from './options'\nimport { createTsProgram } from './parser'\nimport { puyaCompile } from './puya'\nimport type { PuyaService } from './puya/puya-service'\nimport type { AbsolutePath } from './util/absolute-path'\n\nexport type CompileResult = {\n  programDirectory: AbsolutePath\n  awst?: AWST[]\n  ast?: Record<string, ts.SourceFile>\n  compilationSet?: CompilationSet\n}\n\nexport async function compile(options: CompileOptions, puyaService?: PuyaService): Promise<CompileResult> {\n  const loggerCtx = LoggingContext.current\n  if (options.treatWarningsAsErrors) loggerCtx.treatWarningsAsErrors = true\n\n  registerPTypes(typeRegistry)\n  logger.info(undefined, appVersion({ withAVMVersion: false }))\n  const programResult = createTsProgram(options)\n  if (loggerCtx.hasErrors()) {\n    logger.info(undefined, 'Compilation halted due to parse errors')\n    return {\n      programDirectory: programResult.programDirectory,\n      ast: programResult.sourceFiles,\n    }\n  }\n  const { moduleAwst, compilationSet } = buildAwst(programResult, options)\n  validateAwst(moduleAwst)\n\n  if (loggerCtx.hasErrors()) {\n    logger.info(undefined, 'Compilation halted due to errors')\n    return {\n      programDirectory: programResult.programDirectory,\n      awst: moduleAwst,\n      ast: programResult.sourceFiles,\n      compilationSet,\n    }\n  }\n  if (!options.dryRun) {\n    const compileResult = await puyaCompile({\n      options,\n      moduleAwst,\n      programDirectory: programResult.programDirectory,\n      compilationSet,\n      sourceFiles: programResult.sourceFiles,\n      puyaService,\n    })\n\n    if (options.outputClient) {\n      await writeARC4Clients(compilationSet, options.filePaths, compileResult.arc56)\n    }\n  }\n\n  return {\n    programDirectory: programResult.programDirectory,\n    awst: moduleAwst,\n    ast: programResult.sourceFiles,\n    compilationSet,\n  }\n}\n"],"names":[],"mappings":";;;;;;;AAKM,SAAU,0BAA0B,CAAC,EACzC,IAAI,EACJ,UAAU,EACV,cAAc,GAKf,EAAA;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,KAAI;AAC9B,QAAA,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE;AACjC,YAAA,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YACnH,IAAI,WAAW,EAAE;gBACf,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC/C,gBAAA,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE;YACxD;QACF;AACA,QAAA,OAAO,GAAG;IACZ,CAAC,EAAE,EAA2B,CAAC;AACjC;;ACdO,eAAe,WAAW,CAAC,EAChC,UAAU,EACV,gBAAgB,EAChB,WAAW,EACX,OAAO,EACP,cAAc,EACd,WAAW,GAQZ,EAAA;AACC,IAAA,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC;IAC/C,MAAM,gBAAgB,GAAG,WAAW,IAAI,IAAI,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;AACrE,IAAA,MAAM,WAAW,GAAG,OAAO,CAAC,gBAAgB,CAC1C,0BAA0B,CAAC;AACzB,QAAA,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,cAAc;AACf,KAAA,CAAC,CACH;AAED,IAAA,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC;AAC9C,QAAA,IAAI,EAAE,UAAU;AAChB,QAAA,OAAO,EAAE,WAAW;AACpB,QAAA,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE;AACtC,QAAA,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC;AAC5C,QAAA,kBAAkB,EAAE,qBAAqB,CAAC,WAAW,CAAC;AACvD,KAAA,CAAC;;IAEF,IAAI,WAAW,KAAK,SAAS;AAAE,QAAA,MAAM,gBAAgB,CAAC,QAAQ,EAAE;AAChE,IAAA,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE;QAC/B,iBAAiB,CAAC,GAAG,CAAC;IACxB;AAEA,IAAA,OAAO,QAAQ;AACjB;AAEA,SAAS,eAAe,CAAC,QAAkB,EAAA;IACzC,QAAQ,QAAQ;QACd,KAAK,QAAQ,CAAC,KAAK;AACjB,YAAA,OAAO,OAAO;QAChB,KAAK,QAAQ,CAAC,IAAI;AAChB,YAAA,OAAO,MAAM;QACf,KAAK,QAAQ,CAAC,OAAO;AACnB,YAAA,OAAO,SAAS;QAClB,KAAK,QAAQ,CAAC,KAAK;AACjB,YAAA,OAAO,OAAO;QAChB,KAAK,QAAQ,CAAC,QAAQ;AACpB,YAAA,OAAO,UAAU;;AAEvB;AACA,SAAS,qBAAqB,CAAC,WAA8B,EAAA;IAC3D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAI;AAC/C,QAAA,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK;AACvG,QAAA,OAAO,CAAC,GAAG,EAAE,MAAM,CAAU;IAC/B,CAAC,CAAC,CACH;AACH;;ACnDO,eAAe,OAAO,CAAC,OAAuB,EAAE,WAAyB,EAAA;AAC9E,IAAA,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO;IACxC,IAAI,OAAO,CAAC,qBAAqB;AAAE,QAAA,SAAS,CAAC,qBAAqB,GAAG,IAAI;IAEzE,cAAc,CAAC,YAAY,CAAC;AAC5B,IAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7D,IAAA,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC;AAC9C,IAAA,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE;AACzB,QAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,wCAAwC,CAAC;QAChE,OAAO;YACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;YAChD,GAAG,EAAE,aAAa,CAAC,WAAW;SAC/B;IACH;AACA,IAAA,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,SAAS,CAAC,aAAa,EAAE,OAAO,CAAC;IACxE,YAAY,CAAC,UAAU,CAAC;AAExB,IAAA,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE;AACzB,QAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,kCAAkC,CAAC;QAC1D,OAAO;YACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;AAChD,YAAA,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,aAAa,CAAC,WAAW;YAC9B,cAAc;SACf;IACH;AACA,IAAA,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;AACnB,QAAA,MAAM,aAAa,GAAG,MAAM,WAAW,CAAC;YACtC,OAAO;YACP,UAAU;YACV,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;YAChD,cAAc;YACd,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,WAAW;AACZ,SAAA,CAAC;AAEF,QAAA,IAAI,OAAO,CAAC,YAAY,EAAE;AACxB,YAAA,MAAM,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC;QAChF;IACF;IAEA,OAAO;QACL,gBAAgB,EAAE,aAAa,CAAC,gBAAgB;AAChD,QAAA,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,aAAa,CAAC,WAAW;QAC9B,cAAc;KACf;AACH;;;;"}

package/{contract-class-model-Dpn9A-pJ.js → contract-class-model-CkfUf4wT.js}

@@ -878,10 +878,10 @@ var wtypes;
     class ReferenceArray extends WType {
         elementType;
         sourceLocation;
-        immutable = false;
         constructor(props) {
             super({
                 name: `ref_array<${props.itemType.name}>`,
+                immutable: false,
             });
             this.elementType = props.itemType;
             this.sourceLocation = props.sourceLocation ?? null;
@@ -921,7 +921,7 @@ var wtypes;
     wtypes.WInnerTransaction = WInnerTransaction;
     class WInnerTransactionFields extends WType {
         transactionType;
-        constructor({ transactionType, name }) {
+        constructor({ transactionType }) {
             super({
                 name: transactionType === undefined ? 'inner_transaction_fields' : `inner_transaction_fields_${TransactionKind[transactionType]}`,
             });
@@ -934,7 +934,6 @@ var wtypes;
         constructor({ returnType }) {
             super({
                 transactionType: TransactionKind.appl,
-                name: 'abi_call_inner_transaction_fields',
             });
             this.resultType = returnType ?? wtypes.voidWType;
         }
@@ -1492,6 +1491,21 @@ class StorageProxyPType extends PType {
         this.contentType = props.content;
     }
 }
+class StateProxyPType extends StorageProxyPType {
+    module;
+    kind;
+    constructor(props) {
+        super({ content: props.content, keyWType: wtypes.stateKeyWType });
+        this.module = Constants.moduleNames.algoTs.state;
+        this.kind = props.kind;
+    }
+    get name() {
+        return `${this.kind}<${this.contentType.name}>`;
+    }
+    get fullName() {
+        return `${this.module}::${this.kind}<${this.contentType.fullName}>`;
+    }
+}
 const GlobalStateGeneric = new GenericPType({
     name: 'GlobalState',
     module: Constants.moduleNames.algoTs.state,
@@ -1502,24 +1516,32 @@ const GlobalStateGeneric = new GenericPType({
         });
     },
 });
-class GlobalStateType extends StorageProxyPType {
+class GlobalStateType extends StateProxyPType {
     [PType.IdSymbol] = 'GlobalStateType';
-    static baseName = 'GlobalState';
-    static baseFullName = `${Constants.moduleNames.algoTs.state}::${GlobalStateType.baseName}`;
-    module = Constants.moduleNames.algoTs.state;
-    get name() {
-        return `${GlobalStateType.baseName}<${this.contentType.name}>`;
-    }
-    get fullName() {
-        return `${GlobalStateType.baseFullName}<${this.contentType.fullName}>`;
-    }
     constructor(props) {
-        super({ ...props, keyWType: wtypes.stateKeyWType });
+        super({ ...props, kind: 'GlobalState' });
     }
     accept(visitor) {
         return visitor.visitGlobalStateType(this);
     }
 }
+class StateMapProxyPType extends StorageProxyPType {
+    module;
+    kind;
+    keyType;
+    constructor(props) {
+        super({ content: props.content, keyWType: wtypes.stateKeyWType });
+        this.module = Constants.moduleNames.algoTs.state;
+        this.kind = props.kind;
+        this.keyType = props.keyType;
+    }
+    get name() {
+        return `${this.kind}<${this.keyType.name}, ${this.contentType.name}>`;
+    }
+    get fullName() {
+        return `${this.module}::${this.kind}<${this.keyType.name}, ${this.contentType.fullName}>`;
+    }
+}
 const GlobalMapGeneric = new GenericPType({
     name: 'GlobalMap',
     module: Constants.moduleNames.algoTs.state,
@@ -1531,19 +1553,10 @@ const GlobalMapGeneric = new GenericPType({
         });
     },
 });
-class GlobalMapType extends StorageProxyPType {
+class GlobalMapType extends StateMapProxyPType {
     [PType.IdSymbol] = 'GlobalMapType';
-    module = Constants.moduleNames.algoTs.state;
-    get name() {
-        return `GlobalMap<${this.keyType.name}, ${this.contentType.name}>`;
-    }
-    get fullName() {
-        return `${this.module}::${this.name}<${this.keyType.name}, ${this.contentType.fullName}>`;
-    }
-    keyType;
     constructor(props) {
-        super({ ...props, keyWType: wtypes.stateKeyWType });
-        this.keyType = props.keyType;
+        super({ ...props, kind: 'GlobalMap' });
     }
     accept(visitor) {
         return visitor.visitGlobalMapType(this);
@@ -1559,25 +1572,10 @@ const LocalStateGeneric = new GenericPType({
         });
     },
 });
-class LocalStateType extends StorageProxyPType {
+class LocalStateType extends StateProxyPType {
     [PType.IdSymbol] = 'LocalStateType';
-    static baseName = 'LocalState';
-    static baseFullName = `${Constants.moduleNames.algoTs.state}::${LocalStateType.baseName}`;
-    module = Constants.moduleNames.algoTs.state;
-    get name() {
-        return `${LocalStateType.baseName}<${this.contentType.name}>`;
-    }
-    get fullName() {
-        return `${LocalStateType.baseFullName}<${this.contentType.fullName}>`;
-    }
     constructor(props) {
-        super({ ...props, keyWType: wtypes.stateKeyWType });
-    }
-    static parameterise(typeArgs) {
-        codeInvariant(typeArgs.length === 1, 'LocalState type expects exactly one type parameter');
-        return new LocalStateType({
-            content: typeArgs[0],
-        });
+        super({ ...props, kind: 'LocalState' });
     }
     accept(visitor) {
         return visitor.visitLocalStateType(this);
@@ -1594,19 +1592,10 @@ const LocalMapGeneric = new GenericPType({
         });
     },
 });
-class LocalMapType extends StorageProxyPType {
+class LocalMapType extends StateMapProxyPType {
     [PType.IdSymbol] = 'LocalMapType';
-    module = Constants.moduleNames.algoTs.state;
-    get name() {
-        return `LocalMap<${this.keyType.name}, ${this.contentType.name}>`;
-    }
-    get fullName() {
-        return `${this.module}::${this.name}<${this.keyType.name}, ${this.contentType.fullName}>`;
-    }
-    keyType;
     constructor(props) {
-        super({ ...props, keyWType: wtypes.stateKeyWType });
-        this.keyType = props.keyType;
+        super({ ...props, kind: 'LocalMap' });
     }
     accept(visitor) {
         return visitor.visitLocalMapType(this);
@@ -1656,7 +1645,7 @@ class BoxMapPType extends StorageProxyPType {
         return `BoxMap<${this.keyType.name}, ${this.contentType.name}>`;
     }
     get fullName() {
-        return `${this.module}::${this.name}<${this.keyType.name}, ${this.contentType.fullName}>`;
+        return `${this.module}::${this.name}`;
     }
     keyType;
     constructor(props) {
@@ -1743,8 +1732,7 @@ class ABICompatibleInstanceType extends InstanceType {
         this.abiTypeSignature = abiTypeSignature;
     }
 }
-class LibFunctionType extends PType {
-    [PType.IdSymbol] = 'LibFunctionType';
+class LibPType extends PType {
     wtype;
     name;
     module;
@@ -1754,92 +1742,58 @@ class LibFunctionType extends PType {
         this.name = name;
         this.module = module;
     }
+}
+class LibFunctionType extends LibPType {
+    [PType.IdSymbol] = 'LibFunctionType';
     accept(visitor) {
         return visitor.visitLibFunctionType(this);
     }
 }
-class LibClassType extends PType {
+class LibClassType extends LibPType {
     [PType.IdSymbol] = 'LibClassType';
-    wtype;
-    name;
-    module;
-    singleton = true;
-    constructor({ name, module }) {
-        super();
-        this.name = name;
-        this.module = module;
-    }
     accept(visitor) {
         return visitor.visitLibClassType(this);
     }
 }
-class LibObjType extends PType {
+class LibObjType extends LibPType {
     [PType.IdSymbol] = 'LibObjType';
-    wtype;
-    name;
-    module;
-    singleton = true;
-    constructor({ name, module }) {
-        super();
-        this.name = name;
-        this.module = module;
-    }
     accept(visitor) {
         return visitor.visitLibObjType(this);
     }
 }
-class IntrinsicFunctionGroupType extends PType {
-    [PType.IdSymbol] = 'IntrinsicFunctionGroupType';
+class IntrinsicOpPType extends PType {
     wtype;
     name;
     module = Constants.moduleNames.algoTs.op;
-    singleton = true;
     constructor({ name }) {
         super();
         this.name = name;
     }
+}
+class IntrinsicFunctionGroupType extends IntrinsicOpPType {
+    [PType.IdSymbol] = 'IntrinsicFunctionGroupType';
+    singleton = true;
     accept(visitor) {
         return visitor.visitIntrinsicFunctionGroupType(this);
     }
 }
-class IntrinsicFunctionGroupTypeType extends PType {
+class IntrinsicFunctionGroupTypeType extends IntrinsicOpPType {
     [PType.IdSymbol] = 'IntrinsicFunctionGroupTypeType';
-    wtype;
-    name;
-    module = Constants.moduleNames.algoTs.op;
     singleton = false;
-    constructor({ name }) {
-        super();
-        this.name = name;
-    }
     accept(visitor) {
         return visitor.visitIntrinsicFunctionGroupTypeType(this);
     }
 }
-class IntrinsicFunctionType extends PType {
+class IntrinsicFunctionType extends IntrinsicOpPType {
     [PType.IdSymbol] = 'IntrinsicFunctionType';
-    wtype;
-    name;
-    module = Constants.moduleNames.algoTs.op;
     singleton = true;
-    constructor({ name }) {
-        super();
-        this.name = name;
-    }
     accept(visitor) {
         return visitor.visitIntrinsicFunctionType(this);
     }
 }
-class IntrinsicFunctionTypeType extends PType {
+class IntrinsicFunctionTypeType extends IntrinsicOpPType {
     [PType.IdSymbol] = 'IntrinsicFunctionTypeType';
-    wtype;
-    name;
-    module = Constants.moduleNames.algoTs.op;
     singleton = false;
-    constructor({ name }) {
-        super();
-        this.name = name;
-    }
     accept(visitor) {
         return visitor.visitIntrinsicFunctionTypeType(this);
     }
@@ -1851,7 +1805,6 @@ class NamespacePType extends PType {
     [PType.IdSymbol] = 'NamespacePType';
     wtype;
     name;
-    factory;
     module;
     singleton = true;
     constructor({ name, module }) {
@@ -1931,20 +1884,27 @@ class ArrayLiteralPType extends PType {
         });
     }
 }
-class MutableTuplePType extends PType {
-    [PType.IdSymbol] = 'MutableTuplePType';
+class TupleBasePType extends PType {
+    items;
+    singleton = false;
     module = Constants.moduleNames.tslib;
+    namePrefix;
+    constructor(props) {
+        super();
+        this.items = props.items;
+        this.namePrefix = props.immutable ? 'readonly ' : '';
+    }
     get name() {
-        return `[${this.items.map((i) => i.name).join(', ')}]`;
+        return `${this.namePrefix}[${this.items.map((i) => i.name).join(', ')}]`;
     }
     get fullName() {
-        return `${this.module}::[${this.items.map((i) => i.fullName).join(', ')}]`;
+        return `${this.module}::${this.namePrefix}[${this.items.map((i) => i.fullName).join(', ')}]`;
     }
-    items;
-    singleton = false;
+}
+class MutableTuplePType extends TupleBasePType {
+    [PType.IdSymbol] = 'MutableTuplePType';
     constructor(props) {
-        super();
-        this.items = props.items;
+        super({ ...props });
     }
     get wtype() {
         return new wtypes.ARC4Tuple({
@@ -1956,20 +1916,10 @@ class MutableTuplePType extends PType {
         return visitor.visitMutableTuplePType(this);
     }
 }
-class ReadonlyTuplePType extends PType {
+class ReadonlyTuplePType extends TupleBasePType {
     [PType.IdSymbol] = 'ReadonlyTuplePType';
-    module = Constants.moduleNames.tslib;
-    get name() {
-        return `readonly [${this.items.map((i) => i.name).join(', ')}]`;
-    }
-    get fullName() {
-        return `${this.module}::readonly [${this.items.map((i) => i.fullName).join(', ')}]`;
-    }
-    items;
-    singleton = false;
     constructor(props) {
-        super();
-        this.items = props.items;
+        super({ ...props, immutable: true });
     }
     get wtype() {
         return new wtypes.WTuple({
@@ -1988,20 +1938,22 @@ const ArrayGeneric = new GenericPType({
         return new ArrayPType({ elementType: typeArgs[0] });
     },
 });
-class ArrayPType extends PType {
-    [PType.IdSymbol] = 'ArrayPType';
+class DynamicArrayBasePType extends PType {
     elementType;
-    immutable = false;
+    immutable;
     singleton = false;
     name;
     module = Constants.moduleNames.typescript.es5;
-    get fullName() {
-        return `${this.module}::Array<${this.elementType.fullName}>`;
-    }
+    kind;
     constructor(props) {
         super();
-        this.name = `Array<${props.elementType.name}>`;
         this.elementType = props.elementType;
+        this.immutable = props.immutable;
+        this.kind = props.immutable ? 'ReadonlyArray' : 'Array';
+        this.name = `${this.kind}<${props.elementType.name}>`;
+    }
+    get fullName() {
+        return `${this.module}::${this.kind}<${this.elementType.fullName}>`;
     }
     get wtype() {
         return new wtypes.ARC4DynamicArray({
@@ -2009,6 +1961,12 @@ class ArrayPType extends PType {
             immutable: this.immutable,
         });
     }
+}
+class ArrayPType extends DynamicArrayBasePType {
+    [PType.IdSymbol] = 'ArrayPType';
+    constructor(props) {
+        super({ ...props, immutable: false });
+    }
     accept(visitor) {
         return visitor.visitArrayPType(this);
     }
@@ -2021,26 +1979,10 @@ const ReadonlyArrayGeneric = new GenericPType({
         return new ReadonlyArrayPType({ elementType: typeArgs[0] });
     },
 });
-class ReadonlyArrayPType extends PType {
+class ReadonlyArrayPType extends DynamicArrayBasePType {
     [PType.IdSymbol] = 'ReadonlyArrayPType';
-    elementType;
-    singleton = false;
-    immutable = true;
-    name;
-    module = Constants.moduleNames.typescript.es5;
-    get fullName() {
-        return `${this.module}::ReadonlyArray<${this.elementType.fullName}>`;
-    }
     constructor(props) {
-        super();
-        this.elementType = props.elementType;
-        this.name = `ReadonlyArray<${props.elementType.name}>`;
-    }
-    get wtype() {
-        return new wtypes.ARC4DynamicArray({
-            elementType: this.elementType.wtypeOrThrow,
-            immutable: this.immutable,
-        });
+        super({ ...props, immutable: true });
     }
     accept(visitor) {
         return visitor.visitReadonlyArrayPType(this);
@@ -2120,6 +2062,22 @@ class ObjectPType extends PType {
     hasSameStructure(other) {
         return zipStrict(this.properties, other.properties).every(([left, right]) => left.name === right.name && left.ptype.equals(right.ptype));
     }
+    toWTuple(fallbackName) {
+        const tupleTypes = [];
+        const tupleNames = [];
+        for (const { name, ptype } of this.properties) {
+            if (ptype instanceof TransientType) {
+                throw new CodeError(`Property '${name}' of ${this.name} has an unsupported type: ${ptype.typeMessage}`);
+            }
+            tupleTypes.push(ptype.wtypeOrThrow);
+            tupleNames.push(name);
+        }
+        return new wtypes.WTuple({
+            name: this.alias?.fullName ?? fallbackName,
+            names: tupleNames,
+            types: tupleTypes,
+        });
+    }
 }
 class ObjectLiteralPType extends ObjectPType {
     [PType.IdSymbol] = 'ObjectLiteralPType';
@@ -2148,20 +2106,7 @@ class ObjectLiteralPType extends ObjectPType {
         });
     }
     get wtype() {
-        const tupleTypes = [];
-        const tupleNames = [];
-        for (const { name, ptype } of this.properties) {
-            if (ptype instanceof TransientType) {
-                throw new CodeError(`Property '${name}' of ${this.name} has an unsupported type: ${ptype.typeMessage}`);
-            }
-            tupleTypes.push(ptype.wtypeOrThrow);
-            tupleNames.push(name);
-        }
-        return new wtypes.WTuple({
-            name: this.alias?.fullName ?? this.toString(),
-            names: tupleNames,
-            types: tupleTypes,
-        });
+        return this.toWTuple(this.toString());
     }
 }
 class ImmutableObjectPType extends ObjectPType {
@@ -2174,20 +2119,7 @@ class ImmutableObjectPType extends ObjectPType {
         });
     }
     get wtype() {
-        const tupleTypes = [];
-        const tupleNames = [];
-        for (const { name, ptype } of this.properties) {
-            if (ptype instanceof TransientType) {
-                throw new CodeError(`Property '${name}' of ${this.name} has an unsupported type: ${ptype.typeMessage}`);
-            }
-            tupleTypes.push(ptype.wtypeOrThrow);
-            tupleNames.push(name);
-        }
-        return new wtypes.WTuple({
-            name: this.alias?.fullName ?? this.name,
-            names: tupleNames,
-            types: tupleTypes,
-        });
+        return this.toWTuple(this.name);
     }
     accept(visitor) {
         return visitor.visitImmutableObjectPType(this);
@@ -3000,7 +2932,7 @@ class ReferenceArrayType extends PType {
     singleton = false;
     sourceLocation;
     elementType;
-    constructor({ elementType, sourceLocation, name, }) {
+    constructor({ elementType, sourceLocation, name }) {
         super();
         this.name = name ?? `ReferenceArray<${elementType}>`;
         this.sourceLocation = sourceLocation;
@@ -3010,7 +2942,6 @@ class ReferenceArrayType extends PType {
         return new wtypes.ReferenceArray({
             itemType: this.elementType.wtypeOrThrow,
             sourceLocation: this.sourceLocation,
-            immutable: false,
         });
     }
     accept(visitor) {
@@ -5590,5 +5521,5 @@ class CompilationSet extends CustomKeyMap {
     }
 }
 
-export { FixedArrayGeneric as $, AbsolutePath as A, AssetConfigTxnFunction as B, ContractReference as C, AssetFreezeTxnFunction as D, AssetFunction as E, AssetTransferTxnFunction as F, BaseContractClassType as G, BigIntLiteralPType as H, InternalError as I, BigIntPType as J, BigUintFunction as K, LogLevel as L, BooleanFunction as M, BoxGeneric as N, OnCompletionAction as O, PuyaError as P, BoxMapGeneric as Q, BoxMapPType as R, BoxPType as S, BytesFunction as T, BytesGeneric as U, BytesPType as V, ClassMethodDecoratorContext as W, ClearStateProgram as X, ClusteredContractClassType as Y, ClusteredPrototype as Z, ContractClassPType as _, LoggingContext as a, UnsupportedType as a$, FixedArrayPType as a0, FunctionPType as a1, GeneratorGeneric as a2, GeneratorType as a3, GenericPType as a4, GlobalMapGeneric as a5, GlobalMapType as a6, GlobalStateGeneric as a7, GlobalStateType as a8, GroupTransactionPType as a9, NumericLiteralPType as aA, ObjectLiteralPType as aB, ObjectWithOptionalFieldsType as aC, PType as aD, PaymentTxnFunction as aE, PolytypeClassMethodHelper as aF, PromiseGeneric as aG, PromiseType as aH, ReadonlyArrayGeneric as aI, ReadonlyArrayPType as aJ, ReadonlyGeneric as aK, ReadonlyTuplePType as aL, ReferenceArrayGeneric as aM, ReferenceArrayType as aN, StringFunction as aO, SuperPrototypeSelector as aP, SuperPrototypeSelectorGeneric as aQ, TemplateVarFunction as aR, TransactionFunction as aS, TransactionFunctionType as aT, TransientType as aU, TypeParameterType as aV, Uint64EnumMemberLiteralType as aW, Uint64EnumMemberType as aX, Uint64EnumType as aY, Uint64Function as aZ, UnionPType as a_, ImmutableObjectPType as aa, InnerTransactionPType as ab, InstanceType as ac, InternalType as ad, IntersectionPType as ae, IntrinsicEnumType as af, IntrinsicFunctionGroupType as ag, IntrinsicFunctionGroupTypeType as ah, IntrinsicFunctionType as ai, IntrinsicFunctionTypeType as aj, IterableIteratorGeneric as ak, IterableIteratorType as al, ItxnParamsPType as am, KeyRegistrationTxnFunction as an, LibClassType as ao, LibFunctionType as ap, LibObjType as aq, LocalMapGeneric as ar, LocalMapType as as, LocalStateGeneric as at, LocalStateType as au, LogicSigPType as av, MutableObjectPType as aw, MutableTuplePType as ax, NamespacePType as ay, NumberPType as az, ContractClassModel as b, stringPType as b$, anyItxnParamsType as b0, anyItxnType as b1, anyPType as b2, applicationCallItxnFn as b3, applicationCallItxnParamsType as b4, applicationItxnType as b5, arc28EmitFunction as b6, arc4AbiMethodDecorator as b7, arc4BareMethodDecorator as b8, arc4BaseContractType as b9, errFunction as bA, esSymbol as bB, inputOnlyObjects as bC, isArrayType as bD, isObjectType as bE, isTupleLike as bF, itoaMethod as bG, itxnComposePType as bH, keyRegistrationItxnFn as bI, keyRegistrationItxnParamsType as bJ, keyRegistrationItxnType as bK, logFunction as bL, loggedAssertFunction as bM, loggedErrFunction as bN, logicSigBaseType as bO, logicSigOptionsDecorator as bP, matchFunction as bQ, mimcConfigurationsPType as bR, neverPType as bS, nullPType as bT, numberPType as bU, onCompleteActionType as bV, opUpFeeSourceType as bW, paymentItxnFn as bX, paymentItxnParamsType as bY, paymentItxnType as bZ, readonlyDecorator as b_, assertFunction as ba, assertMatchFunction as bb, assetConfigItxnFn as bc, assetConfigItxnParamsType as bd, assetConfigItxnType as be, assetFreezeItxnFn as bf, assetFreezeItxnParamsType as bg, assetFreezeItxnType as bh, assetTransferItxnFn as bi, assetTransferItxnParamsType as bj, assetTransferItxnType as bk, base64PType as bl, baseContractType as bm, bigIntPType as bn, biguintPType as bo, boolPType as bp, bytesPType as bq, bzeroFunction as br, cloneFunctionPType as bs, compileFunctionType as bt, compiledContractType as bu, compiledLogicSigType as bv, contractOptionsDecorator as bw, ecPType as bx, ecdsaPType as by, ensureBudgetFunction as bz, CodeError as c, FixableCodeError as c$, submitGroupItxnFunction as c0, transactionTypeType as c1, uint64PType as c2, undefinedPType as c3, unknownPType as c4, urangeFunction as c5, validateEncodingFunctionPType as c6, vrfVerifyPType as c7, uint8ArrayToBigInt as c8, uint8ArrayToBase64 as c9, instanceOfAny as cA, SingleEvaluation as cB, VarExpression as cC, nodeFactory as cD, NotSupported as cE, TupleItemExpression as cF, FieldExpression as cG, IndexExpression as cH, TupleExpression as cI, AppStateExpression as cJ, AppAccountStateExpression as cK, BoxValueExpression as cL, ReinterpretCast as cM, StateGetEx as cN, StateGet as cO, hasFlags as cP, BinaryBooleanOperator as cQ, SymbolName as cR, intersectsFlags as cS, extractModuleName as cT, toSubScript as cU, CompilationSet as cV, ARC4ABIMethodConfig as cW, EqualityComparison as cX, ARC4CreateOption as cY, NewArray as cZ, BytesEncoding as c_, uint8ArrayToBase32 as ca, uint8ArrayToUtf8 as cb, base64ToUint8Array as cc, base32ToUint8Array as cd, bigIntToUint8Array as ce, utf8ToUint8Array as cf, LogSource as cg, SourceLocation as ch, isMinLevel as ci, enumFromValue as cj, mkDirIfNotExists as ck, distinct as cl, zipStrict as cm, isIn as cn, wtypes as co, codeInvariant as cp, invariant as cq, throwError as cr, StringConstant as cs, BytesConstant as ct, IntegerConstant as cu, BoolConstant as cv, AddressConstant as cw, MethodConstant as cx, DecimalConstant as cy, TemplateVar as cz, Constants as d, Goto as d$, UInt64BinaryOperator as d0, tryConvertEnum as d1, NumericComparison as d2, UInt64UnaryOperator as d3, UInt64PostfixUnaryOperator as d4, wrapInCodeError as d5, TransactionKind as d6, LogicSigReference as d7, getInnerTransactionType as d8, getItxnParamsType as d9, CheckedMaybe as dA, StageInnerTransactions as dB, SubmitInnerTransaction as dC, AssignmentExpression as dD, CommaExpression as dE, NumericComparisonExpression as dF, BytesComparisonExpression as dG, PuyaLibCall as dH, UInt64UnaryOperation as dI, UInt64PostfixUnaryOperation as dJ, BigUIntPostfixUnaryOperation as dK, BytesUnaryOperation as dL, UInt64BinaryOperation as dM, BigUIntBinaryOperation as dN, BooleanBinaryOperation as dO, Not as dP, Emit as dQ, Range as dR, Enumeration as dS, Reversed as dT, StateExists as dU, ARC4Router as dV, MethodSignatureString as dW, SubroutineID as dX, ContractMethodTarget as dY, InstanceMethodTarget as dZ, patchErrorLocation as d_, CompiledContract as da, ARC4BareMethodConfig as db, MethodSignature as dc, BigUIntBinaryOperator as dd, BigUIntPostfixUnaryOperator as de, BytesBinaryOperator as df, IntrinsicCall as dg, enumKeyFromValue as dh, BytesUnaryOperator as di, PuyaLibFunction as dj, Expression as dk, AppStorageKind as dl, transientTypeErrors as dm, getGroupTransactionType as dn, Contract as dp, InstanceSuperMethodTarget as dq, ExpressionStatement as dr, AssertExpression as ds, VoidConstant as dt, ArrayConcat as du, ArrayPop as dv, ArrayReplace as dw, ArrayLength as dx, SizeOf as dy, UpdateInnerTransaction as dz, accountPType as e, ReturnStatement as e0, ContractMethod as e1, sameSets as e2, Subroutine as e3, LogicSigClassModel as e4, ptypeIn as e5, expandMaybeArray as e6, applicationPType as f, assetPType as g, anyGtxnType as h, assetConfigGtxnType as i, assetTransferGtxnType as j, keyRegistrationGtxnType as k, logger as l, assetFreezeGtxnType as m, applicationCallGtxnType as n, ABICompatibleInstanceType as o, paymentGtxnType as p, ALL_OP_ENUMS as q, AccountFunction as r, AnyPType as s, ApplicationFunctionType as t, ApplicationTxnFunction as u, voidPType as v, ApprovalProgram as w, ArrayGeneric as x, ArrayLiteralPType as y, ArrayPType as z };
-//# sourceMappingURL=contract-class-model-Dpn9A-pJ.js.map
+export { FixedArrayGeneric as $, AbsolutePath as A, AssetConfigTxnFunction as B, ContractReference as C, AssetFreezeTxnFunction as D, AssetFunction as E, AssetTransferTxnFunction as F, BaseContractClassType as G, BigIntLiteralPType as H, InternalError as I, BigIntPType as J, BigUintFunction as K, LogLevel as L, BooleanFunction as M, BoxGeneric as N, OnCompletionAction as O, PuyaError as P, BoxMapGeneric as Q, BoxMapPType as R, BoxPType as S, BytesFunction as T, BytesGeneric as U, BytesPType as V, ClassMethodDecoratorContext as W, ClearStateProgram as X, ClusteredContractClassType as Y, ClusteredPrototype as Z, ContractClassPType as _, LoggingContext as a, UnsupportedType as a$, FixedArrayPType as a0, FunctionPType as a1, GeneratorGeneric as a2, GeneratorType as a3, GenericPType as a4, GlobalMapGeneric as a5, GlobalMapType as a6, GlobalStateGeneric as a7, GlobalStateType as a8, GroupTransactionPType as a9, NumericLiteralPType as aA, ObjectLiteralPType as aB, ObjectWithOptionalFieldsType as aC, PType as aD, PaymentTxnFunction as aE, PolytypeClassMethodHelper as aF, PromiseGeneric as aG, PromiseType as aH, ReadonlyArrayGeneric as aI, ReadonlyArrayPType as aJ, ReadonlyGeneric as aK, ReadonlyTuplePType as aL, ReferenceArrayGeneric as aM, ReferenceArrayType as aN, StringFunction as aO, SuperPrototypeSelector as aP, SuperPrototypeSelectorGeneric as aQ, TemplateVarFunction as aR, TransactionFunction as aS, TransactionFunctionType as aT, TransientType as aU, TypeParameterType as aV, Uint64EnumMemberLiteralType as aW, Uint64EnumMemberType as aX, Uint64EnumType as aY, Uint64Function as aZ, UnionPType as a_, ImmutableObjectPType as aa, InnerTransactionPType as ab, InstanceType as ac, InternalType as ad, IntersectionPType as ae, IntrinsicEnumType as af, IntrinsicFunctionGroupType as ag, IntrinsicFunctionGroupTypeType as ah, IntrinsicFunctionType as ai, IntrinsicFunctionTypeType as aj, IterableIteratorGeneric as ak, IterableIteratorType as al, ItxnParamsPType as am, KeyRegistrationTxnFunction as an, LibClassType as ao, LibFunctionType as ap, LibObjType as aq, LocalMapGeneric as ar, LocalMapType as as, LocalStateGeneric as at, LocalStateType as au, LogicSigPType as av, MutableObjectPType as aw, MutableTuplePType as ax, NamespacePType as ay, NumberPType as az, ContractClassModel as b, stringPType as b$, anyItxnParamsType as b0, anyItxnType as b1, anyPType as b2, applicationCallItxnFn as b3, applicationCallItxnParamsType as b4, applicationItxnType as b5, arc28EmitFunction as b6, arc4AbiMethodDecorator as b7, arc4BareMethodDecorator as b8, arc4BaseContractType as b9, errFunction as bA, esSymbol as bB, inputOnlyObjects as bC, isArrayType as bD, isObjectType as bE, isTupleLike as bF, itoaMethod as bG, itxnComposePType as bH, keyRegistrationItxnFn as bI, keyRegistrationItxnParamsType as bJ, keyRegistrationItxnType as bK, logFunction as bL, loggedAssertFunction as bM, loggedErrFunction as bN, logicSigBaseType as bO, logicSigOptionsDecorator as bP, matchFunction as bQ, mimcConfigurationsPType as bR, neverPType as bS, nullPType as bT, numberPType as bU, onCompleteActionType as bV, opUpFeeSourceType as bW, paymentItxnFn as bX, paymentItxnParamsType as bY, paymentItxnType as bZ, readonlyDecorator as b_, assertFunction as ba, assertMatchFunction as bb, assetConfigItxnFn as bc, assetConfigItxnParamsType as bd, assetConfigItxnType as be, assetFreezeItxnFn as bf, assetFreezeItxnParamsType as bg, assetFreezeItxnType as bh, assetTransferItxnFn as bi, assetTransferItxnParamsType as bj, assetTransferItxnType as bk, base64PType as bl, baseContractType as bm, bigIntPType as bn, biguintPType as bo, boolPType as bp, bytesPType as bq, bzeroFunction as br, cloneFunctionPType as bs, compileFunctionType as bt, compiledContractType as bu, compiledLogicSigType as bv, contractOptionsDecorator as bw, ecPType as bx, ecdsaPType as by, ensureBudgetFunction as bz, CodeError as c, UInt64BinaryOperator as c$, submitGroupItxnFunction as c0, transactionTypeType as c1, uint64PType as c2, undefinedPType as c3, unknownPType as c4, urangeFunction as c5, validateEncodingFunctionPType as c6, vrfVerifyPType as c7, uint8ArrayToBigInt as c8, uint8ArrayToBase64 as c9, instanceOfAny as cA, SingleEvaluation as cB, VarExpression as cC, nodeFactory as cD, NotSupported as cE, TupleItemExpression as cF, FieldExpression as cG, IndexExpression as cH, TupleExpression as cI, AppStateExpression as cJ, AppAccountStateExpression as cK, BoxValueExpression as cL, StateGetEx as cM, StateGet as cN, hasFlags as cO, BinaryBooleanOperator as cP, SymbolName as cQ, intersectsFlags as cR, extractModuleName as cS, toSubScript as cT, CompilationSet as cU, ARC4ABIMethodConfig as cV, EqualityComparison as cW, ARC4CreateOption as cX, NewArray as cY, BytesEncoding as cZ, FixableCodeError as c_, uint8ArrayToBase32 as ca, uint8ArrayToUtf8 as cb, base64ToUint8Array as cc, base32ToUint8Array as cd, bigIntToUint8Array as ce, utf8ToUint8Array as cf, LogSource as cg, SourceLocation as ch, isMinLevel as ci, enumFromValue as cj, mkDirIfNotExists as ck, distinct as cl, zipStrict as cm, isIn as cn, wtypes as co, codeInvariant as cp, invariant as cq, throwError as cr, StringConstant as cs, BytesConstant as ct, IntegerConstant as cu, BoolConstant as cv, AddressConstant as cw, MethodConstant as cx, DecimalConstant as cy, TemplateVar as cz, Constants as d, ReturnStatement as d$, tryConvertEnum as d0, NumericComparison as d1, UInt64UnaryOperator as d2, UInt64PostfixUnaryOperator as d3, wrapInCodeError as d4, TransactionKind as d5, LogicSigReference as d6, getInnerTransactionType as d7, getItxnParamsType as d8, CompiledContract as d9, StageInnerTransactions as dA, SubmitInnerTransaction as dB, AssignmentExpression as dC, CommaExpression as dD, NumericComparisonExpression as dE, BytesComparisonExpression as dF, PuyaLibCall as dG, UInt64UnaryOperation as dH, UInt64PostfixUnaryOperation as dI, BigUIntPostfixUnaryOperation as dJ, BytesUnaryOperation as dK, UInt64BinaryOperation as dL, BigUIntBinaryOperation as dM, BooleanBinaryOperation as dN, Not as dO, Emit as dP, Range as dQ, Enumeration as dR, Reversed as dS, StateExists as dT, ARC4Router as dU, MethodSignatureString as dV, SubroutineID as dW, ContractMethodTarget as dX, InstanceMethodTarget as dY, patchErrorLocation as dZ, Goto as d_, ARC4BareMethodConfig as da, MethodSignature as db, BigUIntBinaryOperator as dc, BigUIntPostfixUnaryOperator as dd, BytesBinaryOperator as de, IntrinsicCall as df, enumKeyFromValue as dg, BytesUnaryOperator as dh, PuyaLibFunction as di, Expression as dj, AppStorageKind as dk, transientTypeErrors as dl, getGroupTransactionType as dm, Contract as dn, InstanceSuperMethodTarget as dp, ExpressionStatement as dq, AssertExpression as dr, VoidConstant as ds, ArrayConcat as dt, ArrayPop as du, ArrayReplace as dv, ArrayLength as dw, SizeOf as dx, UpdateInnerTransaction as dy, CheckedMaybe as dz, accountPType as e, ContractMethod as e0, sameSets as e1, Subroutine as e2, LogicSigClassModel as e3, ptypeIn as e4, expandMaybeArray as e5, applicationPType as f, assetPType as g, anyGtxnType as h, assetConfigGtxnType as i, assetTransferGtxnType as j, keyRegistrationGtxnType as k, logger as l, assetFreezeGtxnType as m, applicationCallGtxnType as n, ABICompatibleInstanceType as o, paymentGtxnType as p, ALL_OP_ENUMS as q, AccountFunction as r, AnyPType as s, ApplicationFunctionType as t, ApplicationTxnFunction as u, voidPType as v, ApprovalProgram as w, ArrayGeneric as x, ArrayLiteralPType as y, ArrayPType as z };
+//# sourceMappingURL=contract-class-model-CkfUf4wT.js.map