@flighthq/abc 0.3.0-edge.1516.1b4fb2b

package/dist/abcFile.d.ts

@@ -0,0 +1,3 @@
+import type { AbcFile } from '@flighthq/types/contract';
+export declare function readAbcFile(source: Uint8Array): AbcFile | null;
+//# sourceMappingURL=abcFile.d.ts.map

package/dist/abcFile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abcFile.d.ts","sourceRoot":"","sources":["../src/abcFile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,OAAO,EAWR,MAAM,0BAA0B,CAAC;AAWlC,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,GAAG,IAAI,CAmE9D"}

package/dist/abcFile.js

@@ -0,0 +1,388 @@
+import { AbcMultinameKind, AbcTraitKind } from '@flighthq/types/contract';
+// Reads an ABC (AVM2 bytecode) container into plain data, or null when the bytes are not a readable one.
+// This parses; it never executes. What comes back is the file's own tables — constant pool, methods,
+// classes, instances, scripts, and method bodies — with every cross-reference left as the index the format
+// stored, so a consumer resolves only what it needs.
+//
+// Method bodies keep their instruction stream as raw bytes. Decoding instructions needs the whole opcode
+// table and belongs in its own step, so a caller that only wants class names or trait layout never pays
+// for it.
+export function readAbcFile(source) {
+    const reader = new AbcReader(source);
+    const minorVersion = reader.readUint16();
+    const majorVersion = reader.readUint16();
+    if (!reader.valid)
+        return null;
+    const constantPool = readAbcConstantPool(reader);
+    if (constantPool === null)
+        return null;
+    const methods = [];
+    const methodCount = reader.readVarUint();
+    if (!reader.valid || methodCount > MAX_ENTRIES)
+        return null;
+    for (let i = 0; i < methodCount; i++) {
+        const method = readAbcMethod(reader);
+        if (method === null)
+            return null;
+        methods.push(method);
+    }
+    const metadata = [];
+    const metadataCount = reader.readVarUint();
+    if (!reader.valid || metadataCount > MAX_ENTRIES)
+        return null;
+    for (let i = 0; i < metadataCount; i++) {
+        const entry = readAbcMetadata(reader);
+        if (entry === null)
+            return null;
+        metadata.push(entry);
+    }
+    // Instances and classes are parallel lists sharing one count: every class has exactly one instance, and
+    // the format writes all instances before all classes.
+    const classCount = reader.readVarUint();
+    if (!reader.valid || classCount > MAX_ENTRIES)
+        return null;
+    const instances = [];
+    for (let i = 0; i < classCount; i++) {
+        const instance = readAbcInstance(reader);
+        if (instance === null)
+            return null;
+        instances.push(instance);
+    }
+    const classes = [];
+    for (let i = 0; i < classCount; i++) {
+        const initializer = reader.readVarUint();
+        const traits = readAbcTraits(reader);
+        if (traits === null)
+            return null;
+        classes.push({ initializer, traits });
+    }
+    const scripts = [];
+    const scriptCount = reader.readVarUint();
+    if (!reader.valid || scriptCount > MAX_ENTRIES)
+        return null;
+    for (let i = 0; i < scriptCount; i++) {
+        const initializer = reader.readVarUint();
+        const traits = readAbcTraits(reader);
+        if (traits === null)
+            return null;
+        scripts.push({ initializer, traits });
+    }
+    const methodBodies = [];
+    const bodyCount = reader.readVarUint();
+    if (!reader.valid || bodyCount > MAX_ENTRIES)
+        return null;
+    for (let i = 0; i < bodyCount; i++) {
+        const body = readAbcMethodBody(reader);
+        if (body === null)
+            return null;
+        methodBodies.push(body);
+    }
+    return reader.valid
+        ? { classes, constantPool, instances, majorVersion, metadata, methodBodies, methods, minorVersion, scripts }
+        : null;
+}
+// Every constant pool is 1-based: the format writes a count that is one more than the number of entries
+// stored, and index 0 is a reserved placeholder no entry ever occupies. The placeholders are materialized
+// here so a consumer can index the arrays directly with the indices the file carries.
+function readAbcConstantPool(reader) {
+    const integers = [0];
+    if (!readAbcPool(reader, integers, () => reader.readVarInt()))
+        return null;
+    const unsignedIntegers = [0];
+    if (!readAbcPool(reader, unsignedIntegers, () => reader.readVarUint()))
+        return null;
+    const doubles = [Number.NaN];
+    if (!readAbcPool(reader, doubles, () => reader.readDouble()))
+        return null;
+    const strings = [''];
+    if (!readAbcPool(reader, strings, () => reader.readString()))
+        return null;
+    const namespaces = [{ kind: 0, name: 0 }];
+    if (!readAbcPool(reader, namespaces, () => ({ kind: reader.readUint8(), name: reader.readVarUint() })))
+        return null;
+    const namespaceSets = [[]];
+    if (!readAbcPool(reader, namespaceSets, () => {
+        const count = reader.readVarUint();
+        if (count > MAX_ENTRIES)
+            return null;
+        const set = [];
+        for (let i = 0; i < count; i++)
+            set.push(reader.readVarUint());
+        return set;
+    })) {
+        return null;
+    }
+    const multinames = [createAbcMultiname(0)];
+    if (!readAbcPool(reader, multinames, () => readAbcMultiname(reader)))
+        return null;
+    return reader.valid ? { doubles, integers, multinames, namespaceSets, namespaces, strings, unsignedIntegers } : null;
+}
+function readAbcPool(reader, out, read) {
+    const count = reader.readVarUint();
+    if (!reader.valid || count > MAX_ENTRIES)
+        return false;
+    for (let i = 1; i < count; i++) {
+        const entry = read();
+        if (entry === null || !reader.valid)
+            return false;
+        out.push(entry);
+    }
+    return true;
+}
+function createAbcMultiname(kind) {
+    return { kind, name: 0, namespace: 0, namespaceSet: 0, parameters: [], typeName: 0 };
+}
+function readAbcMultiname(reader) {
+    const multiname = createAbcMultiname(reader.readUint8());
+    if (multiname.kind === AbcMultinameKind.QName || multiname.kind === AbcMultinameKind.QNameA) {
+        multiname.namespace = reader.readVarUint();
+        multiname.name = reader.readVarUint();
+    }
+    else if (multiname.kind === AbcMultinameKind.RtqName || multiname.kind === AbcMultinameKind.RtqNameA) {
+        multiname.name = reader.readVarUint();
+    }
+    else if (multiname.kind === AbcMultinameKind.RtqNameL || multiname.kind === AbcMultinameKind.RtqNameLA) {
+        // Both parts come off the operand stack at runtime, so the record carries nothing.
+    }
+    else if (multiname.kind === AbcMultinameKind.Multiname || multiname.kind === AbcMultinameKind.MultinameA) {
+        multiname.name = reader.readVarUint();
+        multiname.namespaceSet = reader.readVarUint();
+    }
+    else if (multiname.kind === AbcMultinameKind.MultinameL || multiname.kind === AbcMultinameKind.MultinameLA) {
+        multiname.namespaceSet = reader.readVarUint();
+    }
+    else if (multiname.kind === AbcMultinameKind.TypeName) {
+        multiname.typeName = reader.readVarUint();
+        const count = reader.readVarUint();
+        if (count > MAX_ENTRIES)
+            return null;
+        for (let i = 0; i < count; i++)
+            multiname.parameters.push(reader.readVarUint());
+    }
+    else {
+        return null;
+    }
+    return reader.valid ? multiname : null;
+}
+function readAbcMethod(reader) {
+    const parameterCount = reader.readVarUint();
+    if (!reader.valid || parameterCount > MAX_ENTRIES)
+        return null;
+    const returnType = reader.readVarUint();
+    const parameterTypes = [];
+    for (let i = 0; i < parameterCount; i++)
+        parameterTypes.push(reader.readVarUint());
+    const name = reader.readVarUint();
+    const flags = reader.readUint8();
+    if (!reader.valid)
+        return null;
+    const optionalValues = [];
+    if ((flags & METHOD_HAS_OPTIONAL) !== 0) {
+        const count = reader.readVarUint();
+        if (!reader.valid || count > MAX_ENTRIES)
+            return null;
+        for (let i = 0; i < count; i++)
+            optionalValues.push({ kind: 0, value: reader.readVarUint() });
+        for (const optional of optionalValues)
+            optional.kind = reader.readUint8();
+    }
+    const parameterNames = [];
+    if ((flags & METHOD_HAS_PARAM_NAMES) !== 0) {
+        for (let i = 0; i < parameterCount; i++)
+            parameterNames.push(reader.readVarUint());
+    }
+    return reader.valid ? { flags, name, optionalValues, parameterNames, parameterTypes, returnType } : null;
+}
+function readAbcMetadata(reader) {
+    const name = reader.readVarUint();
+    const count = reader.readVarUint();
+    if (!reader.valid || count > MAX_ENTRIES)
+        return null;
+    const items = [];
+    for (let i = 0; i < count; i++)
+        items.push({ key: reader.readVarUint(), value: reader.readVarUint() });
+    return reader.valid ? { items, name } : null;
+}
+function readAbcInstance(reader) {
+    const name = reader.readVarUint();
+    const superName = reader.readVarUint();
+    const flags = reader.readUint8();
+    const protectedNamespace = (flags & INSTANCE_PROTECTED_NAMESPACE) !== 0 ? reader.readVarUint() : 0;
+    const interfaceCount = reader.readVarUint();
+    if (!reader.valid || interfaceCount > MAX_ENTRIES)
+        return null;
+    const interfaces = [];
+    for (let i = 0; i < interfaceCount; i++)
+        interfaces.push(reader.readVarUint());
+    const initializer = reader.readVarUint();
+    const traits = readAbcTraits(reader);
+    if (traits === null)
+        return null;
+    return { flags, initializer, interfaces, name, protectedNamespace, superName, traits };
+}
+function readAbcTraits(reader) {
+    const count = reader.readVarUint();
+    if (!reader.valid || count > MAX_ENTRIES)
+        return null;
+    const traits = [];
+    for (let i = 0; i < count; i++) {
+        const trait = readAbcTrait(reader);
+        if (trait === null)
+            return null;
+        traits.push(trait);
+    }
+    return traits;
+}
+function readAbcTrait(reader) {
+    const name = reader.readVarUint();
+    const packed = reader.readUint8();
+    if (!reader.valid)
+        return null;
+    const kind = packed & 0x0f;
+    const trait = {
+        attributes: packed >> 4,
+        classIndex: 0,
+        dispatchId: 0,
+        kind,
+        metadata: [],
+        methodIndex: 0,
+        name,
+        slotId: 0,
+        typeName: 0,
+        valueIndex: 0,
+        valueKind: 0,
+    };
+    if (kind === AbcTraitKind.Slot || kind === AbcTraitKind.Const) {
+        trait.slotId = reader.readVarUint();
+        trait.typeName = reader.readVarUint();
+        trait.valueIndex = reader.readVarUint();
+        // A default of index 0 has no kind byte, because there is no value to name a pool for.
+        if (trait.valueIndex !== 0)
+            trait.valueKind = reader.readUint8();
+    }
+    else if (kind === AbcTraitKind.Class) {
+        trait.slotId = reader.readVarUint();
+        trait.classIndex = reader.readVarUint();
+    }
+    else if (kind === AbcTraitKind.Function) {
+        trait.slotId = reader.readVarUint();
+        trait.methodIndex = reader.readVarUint();
+    }
+    else if (kind === AbcTraitKind.Method || kind === AbcTraitKind.Getter || kind === AbcTraitKind.Setter) {
+        trait.dispatchId = reader.readVarUint();
+        trait.methodIndex = reader.readVarUint();
+    }
+    else {
+        return null;
+    }
+    if ((trait.attributes & TRAIT_ATTRIBUTE_METADATA) !== 0) {
+        const count = reader.readVarUint();
+        if (!reader.valid || count > MAX_ENTRIES)
+            return null;
+        for (let i = 0; i < count; i++)
+            trait.metadata.push(reader.readVarUint());
+    }
+    return reader.valid ? trait : null;
+}
+function readAbcMethodBody(reader) {
+    const method = reader.readVarUint();
+    const maxStack = reader.readVarUint();
+    const localCount = reader.readVarUint();
+    const initScopeDepth = reader.readVarUint();
+    const maxScopeDepth = reader.readVarUint();
+    const codeLength = reader.readVarUint();
+    if (!reader.valid || codeLength > reader.remaining())
+        return null;
+    const code = reader.readBytes(codeLength);
+    const exceptionCount = reader.readVarUint();
+    if (!reader.valid || exceptionCount > MAX_ENTRIES)
+        return null;
+    const exceptions = [];
+    for (let i = 0; i < exceptionCount; i++) {
+        exceptions.push({
+            exceptionType: 0,
+            from: reader.readVarUint(),
+            target: 0,
+            to: reader.readVarUint(),
+            variableName: 0,
+        });
+        const exception = exceptions[i];
+        exception.target = reader.readVarUint();
+        exception.exceptionType = reader.readVarUint();
+        exception.variableName = reader.readVarUint();
+    }
+    const traits = readAbcTraits(reader);
+    if (traits === null)
+        return null;
+    return { code, exceptions, initScopeDepth, localCount, maxScopeDepth, maxStack, method, traits };
+}
+// A bounded little-endian reader over the primitives ABC is written in. Like the rest of Flight's byte
+// readers it reports an overrun through `valid` rather than throwing, so a caller checks once after a
+// group of reads instead of testing each one.
+class AbcReader {
+    source;
+    pos = 0;
+    valid = true;
+    constructor(source) {
+        this.source = source;
+    }
+    readBytes(count) {
+        if (this.pos + count > this.source.length) {
+            this.valid = false;
+            return new Uint8Array(0);
+        }
+        const value = this.source.subarray(this.pos, this.pos + count);
+        this.pos += count;
+        return value;
+    }
+    readDouble() {
+        if (this.pos + 8 > this.source.length) {
+            this.valid = false;
+            return 0;
+        }
+        const value = new DataView(this.source.buffer, this.source.byteOffset + this.pos, 8).getFloat64(0, true);
+        this.pos += 8;
+        return value;
+    }
+    // The format's variable-length integer: seven bits per byte, least significant group first, at most five
+    // bytes. Read as a signed 32-bit value.
+    readVarInt() {
+        return this.readVarUint() | 0;
+    }
+    readString() {
+        const length = this.readVarUint();
+        return this.valid ? _decoder.decode(this.readBytes(length)) : '';
+    }
+    readUint8() {
+        if (this.pos >= this.source.length) {
+            this.valid = false;
+            return 0;
+        }
+        return this.source[this.pos++];
+    }
+    readUint16() {
+        const low = this.readUint8();
+        return low + this.readUint8() * 0x100;
+    }
+    readVarUint() {
+        let value = 0;
+        for (let i = 0; i < VAR_UINT_MAX_BYTES; i++) {
+            const byte = this.readUint8();
+            value += (byte & 0x7f) * 2 ** (7 * i);
+            if ((byte & 0x80) === 0)
+                break;
+        }
+        return this.valid ? value : 0;
+    }
+    remaining() {
+        return this.source.length - this.pos;
+    }
+}
+const INSTANCE_PROTECTED_NAMESPACE = 0x08;
+const MAX_ENTRIES = 1_000_000;
+const METHOD_HAS_OPTIONAL = 0x08;
+const METHOD_HAS_PARAM_NAMES = 0x80;
+const TRAIT_ATTRIBUTE_METADATA = 0x04;
+const VAR_UINT_MAX_BYTES = 5;
+const _decoder = new TextDecoder();
+//# sourceMappingURL=abcFile.js.map

package/dist/abcFile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abcFile.js","sourceRoot":"","sources":["../src/abcFile.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAE1E,yGAAyG;AACzG,qGAAqG;AACrG,2GAA2G;AAC3G,qDAAqD;AACrD,EAAE;AACF,yGAAyG;AACzG,wGAAwG;AACxG,UAAU;AACV,MAAM,UAAU,WAAW,CAAC,MAAkB;IAC5C,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,YAAY,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvC,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,WAAW,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,aAAa,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAED,wGAAwG;IACxG,sDAAsD;IACtD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,UAAU,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACnC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,WAAW,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,YAAY,GAAoB,EAAE,CAAC;IACzC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,SAAS,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,MAAM,CAAC,KAAK;QACjB,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;QAC5G,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,wGAAwG;AACxG,0GAA0G;AAC1G,sFAAsF;AACtF,SAAS,mBAAmB,CAAC,MAAiB;IAC5C,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACpF,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1E,MAAM,UAAU,GAAmB,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1D,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpH,MAAM,aAAa,GAAe,CAAC,EAAE,CAAC,CAAC;IACvC,IACE,CAAC,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/D,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAmB,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAElF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvH,CAAC;AAED,SAAS,WAAW,CAAI,MAAiB,EAAE,GAAQ,EAAE,IAAoB;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,GAAG,WAAW;QAAE,OAAO,KAAK,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;QACrB,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QAClD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAiB;IACzC,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,KAAK,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC5F,SAAS,CAAC,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QAC3C,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,QAAQ,EAAE,CAAC;QACvG,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,SAAS,EAAE,CAAC;QACzG,mFAAmF;IACrF,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,UAAU,EAAE,CAAC;QAC3G,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,SAAS,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAChD,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC7G,SAAS,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAChD,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,QAAQ,EAAE,CAAC;QACxD,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,MAAiB;IACtC,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,cAAc,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE;QAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,cAAc,GAAuB,EAAE,CAAC;IAC9C,IAAI,CAAC,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM,QAAQ,IAAI,cAAc;YAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAC5E,CAAC;IAED,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,IAAI,CAAC,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE;YAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3G,CAAC;AAED,SAAS,eAAe,CAAC,MAAiB;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACvG,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,MAAiB;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IACjC,MAAM,kBAAkB,GAAG,CAAC,KAAK,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,cAAc,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,aAAa,CAAC,MAAiB;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,MAAiB;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,KAAK,GAAa;QACtB,UAAU,EAAE,MAAM,IAAI,CAAC;QACvB,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,IAAI;QACJ,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,CAAC;QACd,IAAI;QACJ,MAAM,EAAE,CAAC;QACT,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC;KACb,CAAC;IAEF,IAAI,IAAI,KAAK,YAAY,CAAC,IAAI,IAAI,IAAI,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC;QAC9D,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACpC,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACxC,uFAAuF;QACvF,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC;YAAE,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IACnE,CAAC;SAAM,IAAI,IAAI,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC;QACvC,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACpC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC;SAAM,IAAI,IAAI,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC1C,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACpC,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC3C,CAAC;SAAM,IAAI,IAAI,KAAK,YAAY,CAAC,MAAM,IAAI,IAAI,KAAK,YAAY,CAAC,MAAM,IAAI,IAAI,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QACxG,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAiB;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,UAAU,GAAG,MAAM,CAAC,SAAS,EAAE;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAE1C,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,cAAc,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC;YACd,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE;YAC1B,MAAM,EAAE,CAAC;YACT,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACxC,SAAS,CAAC,aAAa,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QAC/C,SAAS,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAChD,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACnG,CAAC;AAED,uGAAuG;AACvG,sGAAsG;AACtG,8CAA8C;AAC9C,MAAM,SAAS;IAIQ;IAHrB,GAAG,GAAG,CAAC,CAAC;IACR,KAAK,GAAG,IAAI,CAAC;IAEb,YAAqB,MAAkB;QAAlB,WAAM,GAAN,MAAM,CAAY;IAAG,CAAC;IAE3C,SAAS,CAAC,KAAa;QACrB,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU;QACR,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yGAAyG;IACzG,wCAAwC;IACxC,UAAU;QACR,OAAO,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,UAAU;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,SAAS;QACP,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,UAAU;QACR,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC7B,OAAO,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC;IACxC,CAAC;IAED,WAAW;QACT,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9B,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;gBAAE,MAAM;QACjC,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC;IACvC,CAAC;CACF;AAED,MAAM,4BAA4B,GAAG,IAAI,CAAC;AAC1C,MAAM,WAAW,GAAG,SAAS,CAAC;AAC9B,MAAM,mBAAmB,GAAG,IAAI,CAAC;AACjC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AACpC,MAAM,wBAAwB,GAAG,IAAI,CAAC;AACtC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,QAAQ,GAAG,IAAI,WAAW,EAAE,CAAC"}

package/dist/abcInstruction.d.ts

@@ -0,0 +1,3 @@
+import type { AbcInstruction } from '@flighthq/types/contract';
+export declare function readAbcInstructions(code: Readonly<Uint8Array>): AbcInstruction[] | null;
+//# sourceMappingURL=abcInstruction.d.ts.map

package/dist/abcInstruction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abcInstruction.d.ts","sourceRoot":"","sources":["../src/abcInstruction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAY/D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,cAAc,EAAE,GAAG,IAAI,CAoDvF"}

package/dist/abcInstruction.js

@@ -0,0 +1,267 @@
+import { AbcOpcode } from '@flighthq/types/contract';
+// Decodes a method body's instruction stream into a flat list, or null when it does not decode cleanly.
+//
+// Walking AVM2 bytecode requires knowing every opcode's operand shape, because instructions are variable
+// width and there is no way to resynchronize after a miss — an unrecognized opcode therefore stops the
+// walk and reports null rather than guessing a width and returning plausible nonsense.
+//
+// The operand-shape table below is written from the published bytecode format description. An opcode's
+// number and the operands it declares are facts about the format; nothing here is derived from any
+// implementation of it, so this carries no third-party licence obligation.
+export function readAbcInstructions(code) {
+    const source = code;
+    const instructions = [];
+    let pos = 0;
+    while (pos < source.length) {
+        const offset = pos;
+        const opcode = source[pos++];
+        const operands = [];
+        if (opcode === AbcOpcode.LookupSwitch) {
+            // The one variable-length instruction: a default target, a case count, and one more target than the
+            // count says, because the count is the highest index rather than the number of cases.
+            const target = readAbcSignedOffset(source, pos);
+            if (target === null)
+                return null;
+            operands.push(target);
+            pos += 3;
+            const count = readAbcVarUint(source, pos);
+            if (count === null || count.value > MAX_SWITCH_CASES)
+                return null;
+            operands.push(count.value);
+            pos = count.pos;
+            for (let i = 0; i <= count.value; i++) {
+                const caseTarget = readAbcSignedOffset(source, pos);
+                if (caseTarget === null)
+                    return null;
+                operands.push(caseTarget);
+                pos += 3;
+            }
+            instructions.push({ offset, opcode, operands });
+            continue;
+        }
+        const shape = OPERAND_SHAPES[opcode];
+        if (shape === undefined)
+            return null;
+        for (const kind of shape) {
+            if (kind === OPERAND_BYTE) {
+                if (pos >= source.length)
+                    return null;
+                operands.push(source[pos++]);
+            }
+            else if (kind === OPERAND_SIGNED_OFFSET) {
+                const value = readAbcSignedOffset(source, pos);
+                if (value === null)
+                    return null;
+                operands.push(value);
+                pos += 3;
+            }
+            else {
+                const value = readAbcVarUint(source, pos);
+                if (value === null)
+                    return null;
+                operands.push(value.value);
+                pos = value.pos;
+            }
+        }
+        instructions.push({ offset, opcode, operands });
+    }
+    return instructions;
+}
+// A branch target: three bytes, little-endian, sign-extended from 24 bits. Targets are relative to the
+// instruction that follows the branch.
+function readAbcSignedOffset(source, pos) {
+    if (pos + 3 > source.length)
+        return null;
+    const value = source[pos] + source[pos + 1] * 0x100 + source[pos + 2] * 0x10000;
+    return value >= 0x800000 ? value - 0x1000000 : value;
+}
+function readAbcVarUint(source, pos) {
+    let value = 0;
+    let cursor = pos;
+    for (let i = 0; i < VAR_UINT_MAX_BYTES; i++) {
+        if (cursor >= source.length)
+            return null;
+        const byte = source[cursor++];
+        value += (byte & 0x7f) * 2 ** (7 * i);
+        if ((byte & 0x80) === 0)
+            return { pos: cursor, value };
+    }
+    return { pos: cursor, value };
+}
+const OPERAND_BYTE = 0;
+const OPERAND_SIGNED_OFFSET = 1;
+const OPERAND_VAR_UINT = 2;
+const NONE = [];
+const ONE_VAR_UINT = [OPERAND_VAR_UINT];
+const TWO_VAR_UINT = [OPERAND_VAR_UINT, OPERAND_VAR_UINT];
+const ONE_OFFSET = [OPERAND_SIGNED_OFFSET];
+const ONE_BYTE = [OPERAND_BYTE];
+// Opcode to operand shape. Every opcode the format defines appears here; anything absent stops a walk.
+const OPERAND_SHAPES = {
+    [AbcOpcode.Add]: NONE,
+    [AbcOpcode.AddInt]: NONE,
+    [AbcOpcode.ApplyType]: ONE_VAR_UINT,
+    [AbcOpcode.AsType]: ONE_VAR_UINT,
+    [AbcOpcode.AsTypeLate]: NONE,
+    [AbcOpcode.BitAnd]: NONE,
+    [AbcOpcode.BitNot]: NONE,
+    [AbcOpcode.BitOr]: NONE,
+    [AbcOpcode.BitXor]: NONE,
+    [AbcOpcode.Breakpoint]: NONE,
+    [AbcOpcode.BreakpointLine]: ONE_VAR_UINT,
+    [AbcOpcode.Call]: ONE_VAR_UINT,
+    [AbcOpcode.CallMethod]: TWO_VAR_UINT,
+    [AbcOpcode.CallPropLex]: TWO_VAR_UINT,
+    [AbcOpcode.CallPropVoid]: TWO_VAR_UINT,
+    [AbcOpcode.CallProperty]: TWO_VAR_UINT,
+    [AbcOpcode.CallStatic]: TWO_VAR_UINT,
+    [AbcOpcode.CallSuper]: TWO_VAR_UINT,
+    [AbcOpcode.CallSuperVoid]: TWO_VAR_UINT,
+    [AbcOpcode.CheckFilter]: NONE,
+    [AbcOpcode.Coerce]: ONE_VAR_UINT,
+    [AbcOpcode.CoerceAny]: NONE,
+    [AbcOpcode.CoerceBoolean]: NONE,
+    [AbcOpcode.CoerceDouble]: NONE,
+    [AbcOpcode.CoerceInt]: NONE,
+    [AbcOpcode.CoerceObject]: NONE,
+    [AbcOpcode.CoerceString]: NONE,
+    [AbcOpcode.CoerceUint]: NONE,
+    [AbcOpcode.Construct]: ONE_VAR_UINT,
+    [AbcOpcode.ConstructProp]: TWO_VAR_UINT,
+    [AbcOpcode.ConstructSuper]: ONE_VAR_UINT,
+    [AbcOpcode.ConvertBoolean]: NONE,
+    [AbcOpcode.ConvertDouble]: NONE,
+    [AbcOpcode.ConvertInt]: NONE,
+    [AbcOpcode.ConvertObject]: NONE,
+    [AbcOpcode.ConvertString]: NONE,
+    [AbcOpcode.ConvertUint]: NONE,
+    [AbcOpcode.Debug]: [OPERAND_BYTE, OPERAND_VAR_UINT, OPERAND_BYTE, OPERAND_VAR_UINT],
+    [AbcOpcode.DebugFile]: ONE_VAR_UINT,
+    [AbcOpcode.DebugLine]: ONE_VAR_UINT,
+    [AbcOpcode.DecLocal]: ONE_VAR_UINT,
+    [AbcOpcode.DecLocalInt]: ONE_VAR_UINT,
+    [AbcOpcode.Decrement]: NONE,
+    [AbcOpcode.DecrementInt]: NONE,
+    [AbcOpcode.DeleteProperty]: ONE_VAR_UINT,
+    [AbcOpcode.Divide]: NONE,
+    [AbcOpcode.Dup]: NONE,
+    [AbcOpcode.Dxns]: ONE_VAR_UINT,
+    [AbcOpcode.DxnsLate]: NONE,
+    [AbcOpcode.Equals]: NONE,
+    [AbcOpcode.FindDef]: ONE_VAR_UINT,
+    [AbcOpcode.FindPropStrict]: ONE_VAR_UINT,
+    [AbcOpcode.FindProperty]: ONE_VAR_UINT,
+    [AbcOpcode.GetDescendants]: ONE_VAR_UINT,
+    [AbcOpcode.GetGlobalScope]: NONE,
+    [AbcOpcode.GetGlobalSlot]: ONE_VAR_UINT,
+    [AbcOpcode.GetLex]: ONE_VAR_UINT,
+    [AbcOpcode.GetLocal]: ONE_VAR_UINT,
+    [AbcOpcode.GetLocal0]: NONE,
+    [AbcOpcode.GetLocal1]: NONE,
+    [AbcOpcode.GetLocal2]: NONE,
+    [AbcOpcode.GetLocal3]: NONE,
+    [AbcOpcode.GetProperty]: ONE_VAR_UINT,
+    [AbcOpcode.GetScopeObject]: ONE_BYTE,
+    [AbcOpcode.GetSlot]: ONE_VAR_UINT,
+    [AbcOpcode.GetSuper]: ONE_VAR_UINT,
+    [AbcOpcode.GreaterEquals]: NONE,
+    [AbcOpcode.GreaterThan]: NONE,
+    [AbcOpcode.HasNext]: NONE,
+    [AbcOpcode.HasNext2]: TWO_VAR_UINT,
+    [AbcOpcode.IfEq]: ONE_OFFSET,
+    [AbcOpcode.IfFalse]: ONE_OFFSET,
+    [AbcOpcode.IfGe]: ONE_OFFSET,
+    [AbcOpcode.IfGt]: ONE_OFFSET,
+    [AbcOpcode.IfLe]: ONE_OFFSET,
+    [AbcOpcode.IfLt]: ONE_OFFSET,
+    [AbcOpcode.IfNe]: ONE_OFFSET,
+    [AbcOpcode.IfNge]: ONE_OFFSET,
+    [AbcOpcode.IfNgt]: ONE_OFFSET,
+    [AbcOpcode.IfNle]: ONE_OFFSET,
+    [AbcOpcode.IfNlt]: ONE_OFFSET,
+    [AbcOpcode.IfStrictEq]: ONE_OFFSET,
+    [AbcOpcode.IfStrictNe]: ONE_OFFSET,
+    [AbcOpcode.IfTrue]: ONE_OFFSET,
+    [AbcOpcode.In]: NONE,
+    [AbcOpcode.IncLocal]: ONE_VAR_UINT,
+    [AbcOpcode.IncLocalInt]: ONE_VAR_UINT,
+    [AbcOpcode.Increment]: NONE,
+    [AbcOpcode.IncrementInt]: NONE,
+    [AbcOpcode.InitProperty]: ONE_VAR_UINT,
+    [AbcOpcode.InstanceOf]: NONE,
+    [AbcOpcode.IsType]: ONE_VAR_UINT,
+    [AbcOpcode.IsTypeLate]: NONE,
+    [AbcOpcode.Jump]: ONE_OFFSET,
+    [AbcOpcode.Kill]: ONE_VAR_UINT,
+    [AbcOpcode.LShift]: NONE,
+    [AbcOpcode.Label]: NONE,
+    [AbcOpcode.LessEquals]: NONE,
+    [AbcOpcode.LessThan]: NONE,
+    [AbcOpcode.LoadFloat32]: NONE,
+    [AbcOpcode.LoadFloat64]: NONE,
+    [AbcOpcode.LoadInt16]: NONE,
+    [AbcOpcode.LoadInt32]: NONE,
+    [AbcOpcode.LoadInt8]: NONE,
+    [AbcOpcode.Modulo]: NONE,
+    [AbcOpcode.Multiply]: NONE,
+    [AbcOpcode.MultiplyInt]: NONE,
+    [AbcOpcode.Negate]: NONE,
+    [AbcOpcode.NegateInt]: NONE,
+    [AbcOpcode.NewActivation]: NONE,
+    [AbcOpcode.NewArray]: ONE_VAR_UINT,
+    [AbcOpcode.NewCatch]: ONE_VAR_UINT,
+    [AbcOpcode.NewClass]: ONE_VAR_UINT,
+    [AbcOpcode.NewFunction]: ONE_VAR_UINT,
+    [AbcOpcode.NewObject]: ONE_VAR_UINT,
+    [AbcOpcode.NextName]: NONE,
+    [AbcOpcode.NextValue]: NONE,
+    [AbcOpcode.Nop]: NONE,
+    [AbcOpcode.Not]: NONE,
+    [AbcOpcode.Pop]: NONE,
+    [AbcOpcode.PopScope]: NONE,
+    [AbcOpcode.PushByte]: ONE_BYTE,
+    [AbcOpcode.PushDouble]: ONE_VAR_UINT,
+    [AbcOpcode.PushFalse]: NONE,
+    [AbcOpcode.PushInt]: ONE_VAR_UINT,
+    [AbcOpcode.PushNamespace]: ONE_VAR_UINT,
+    [AbcOpcode.PushNan]: NONE,
+    [AbcOpcode.PushNull]: NONE,
+    [AbcOpcode.PushScope]: NONE,
+    [AbcOpcode.PushShort]: ONE_VAR_UINT,
+    [AbcOpcode.PushString]: ONE_VAR_UINT,
+    [AbcOpcode.PushTrue]: NONE,
+    [AbcOpcode.PushUint]: ONE_VAR_UINT,
+    [AbcOpcode.PushUndefined]: NONE,
+    [AbcOpcode.PushWith]: NONE,
+    [AbcOpcode.RShift]: NONE,
+    [AbcOpcode.ReturnValue]: NONE,
+    [AbcOpcode.ReturnVoid]: NONE,
+    [AbcOpcode.SetGlobalSlot]: ONE_VAR_UINT,
+    [AbcOpcode.SetLocal]: ONE_VAR_UINT,
+    [AbcOpcode.SetLocal0]: NONE,
+    [AbcOpcode.SetLocal1]: NONE,
+    [AbcOpcode.SetLocal2]: NONE,
+    [AbcOpcode.SetLocal3]: NONE,
+    [AbcOpcode.SetProperty]: ONE_VAR_UINT,
+    [AbcOpcode.SetSlot]: ONE_VAR_UINT,
+    [AbcOpcode.SetSuper]: ONE_VAR_UINT,
+    [AbcOpcode.SignExtend1]: NONE,
+    [AbcOpcode.SignExtend16]: NONE,
+    [AbcOpcode.SignExtend8]: NONE,
+    [AbcOpcode.StoreFloat32]: NONE,
+    [AbcOpcode.StoreFloat64]: NONE,
+    [AbcOpcode.StoreInt16]: NONE,
+    [AbcOpcode.StoreInt32]: NONE,
+    [AbcOpcode.StoreInt8]: NONE,
+    [AbcOpcode.StrictEquals]: NONE,
+    [AbcOpcode.Subtract]: NONE,
+    [AbcOpcode.SubtractInt]: NONE,
+    [AbcOpcode.Swap]: NONE,
+    [AbcOpcode.Throw]: NONE,
+    [AbcOpcode.Timestamp]: ONE_VAR_UINT,
+    [AbcOpcode.TypeOf]: NONE,
+    [AbcOpcode.URShift]: NONE,
+};
+const MAX_SWITCH_CASES = 100_000;
+const VAR_UINT_MAX_BYTES = 5;
+//# sourceMappingURL=abcInstruction.js.map

package/dist/abcInstruction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abcInstruction.js","sourceRoot":"","sources":["../src/abcInstruction.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAErD,wGAAwG;AACxG,EAAE;AACF,yGAAyG;AACzG,uGAAuG;AACvG,uFAAuF;AACvF,EAAE;AACF,uGAAuG;AACvG,mGAAmG;AACnG,2EAA2E;AAC3E,MAAM,UAAU,mBAAmB,CAAC,IAA0B;IAC5D,MAAM,MAAM,GAAG,IAAkB,CAAC;IAClC,MAAM,YAAY,GAAqB,EAAE,CAAC;IAC1C,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,OAAO,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,GAAG,CAAC;QACnB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,IAAI,MAAM,KAAK,SAAS,CAAC,YAAY,EAAE,CAAC;YACtC,oGAAoG;YACpG,sFAAsF;YACtF,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAChD,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,GAAG,IAAI,CAAC,CAAC;YACT,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,GAAG,gBAAgB;gBAAE,OAAO,IAAI,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACpD,IAAI,UAAU,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC1B,GAAG,IAAI,CAAC,CAAC;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC1B,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM;oBAAE,OAAO,IAAI,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC/C,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,GAAG,IAAI,CAAC,CAAC;YACX,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC1C,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC3B,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YAClB,CAAC;QACH,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,uGAAuG;AACvG,uCAAuC;AACvC,SAAS,mBAAmB,CAAC,MAAkB,EAAE,GAAW;IAC1D,IAAI,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;IAChF,OAAO,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,MAAkB,EAAE,GAAW;IACrD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,GAAG,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,MAAM,IAAI,GAAsB,EAAE,CAAC;AACnC,MAAM,YAAY,GAAsB,CAAC,gBAAgB,CAAC,CAAC;AAC3D,MAAM,YAAY,GAAsB,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;AAC7E,MAAM,UAAU,GAAsB,CAAC,qBAAqB,CAAC,CAAC;AAC9D,MAAM,QAAQ,GAAsB,CAAC,YAAY,CAAC,CAAC;AAEnD,uGAAuG;AACvG,MAAM,cAAc,GAAgD;IAClE,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI;IACrB,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,YAAY;IAChC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI;IACvB,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,YAAY;IACxC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,YAAY;IACtC,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,YAAY;IACtC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,YAAY;IACvC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,YAAY;IAChC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,YAAY;IACvC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,YAAY;IACxC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,IAAI;IAChC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,CAAC;IACnF,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,YAAY;IACxC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI;IACrB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY;IAC9B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,YAAY;IACjC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,YAAY;IACxC,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,YAAY;IACtC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,YAAY;IACxC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,IAAI;IAChC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,YAAY;IACvC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,YAAY;IAChC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,QAAQ;IACpC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,YAAY;IACjC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI;IACzB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,UAAU;IAC/B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,UAAU;IAC7B,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,UAAU;IAC7B,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,UAAU;IAC7B,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,UAAU;IAC7B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,UAAU;IAClC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,UAAU;IAClC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU;IAC9B,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI;IACpB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,YAAY;IACtC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,YAAY;IAChC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU;IAC5B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY;IAC9B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI;IACvB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI;IACrB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI;IACrB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI;IACrB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,QAAQ;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,YAAY;IACjC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,YAAY;IACvC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI;IACzB,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,IAAI;IAC/B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,YAAY;IACvC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,YAAY;IACrC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,YAAY;IACjC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,YAAY;IAClC,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI;IAC5B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,IAAI;IAC3B,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI;IAC9B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI;IAC1B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI;IAC7B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI;IACtB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI;IACvB,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY;IACnC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI;IACxB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI;CAC1B,CAAC;AAEF,MAAM,gBAAgB,GAAG,OAAO,CAAC;AACjC,MAAM,kBAAkB,GAAG,CAAC,CAAC"}

package/dist/contract.d.ts

@@ -0,0 +1,3 @@
+export * from './abcFile';
+export * from './abcInstruction';
+//# sourceMappingURL=contract.d.ts.map

package/dist/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC"}

package/dist/contract.js

@@ -0,0 +1,3 @@
+export * from './abcFile';
+export * from './abcInstruction';
+//# sourceMappingURL=contract.js.map

package/dist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export { readAbcFile } from './abcFile';
+export { readAbcInstructions } from './abcInstruction';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export { readAbcFile } from './abcFile';
+export { readAbcInstructions } from './abcInstruction';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@flighthq/abc",
+  "version": "0.3.0-edge.1516.1b4fb2b",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/flighthq/flight.git",
+    "directory": "packages/abc"
+  },
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./contract": {
+      "types": "./dist/contract.d.ts",
+      "default": "./dist/contract.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src/**/*.test.ts",
+    "!dist/**/*.test.js",
+    "!dist/**/*.test.d.ts",
+    "!dist/**/*.test.js.map",
+    "!dist/**/*.test.d.ts.map"
+  ],
+  "scripts": {
+    "build": "tsc -b",
+    "clean": "tsc -b --clean",
+    "test": "vitest run --config vitest.config.ts",
+    "test:watch": "vitest --watch --config vitest.config.ts",
+    "prepack": "npm run clean && npm run clean:dist && npm run build",
+    "clean:dist": "tsx ../../scripts/clean-package-dist.ts"
+  },
+  "dependencies": {
+    "@flighthq/types": "0.3.0-edge.1516.1b4fb2b"
+  },
+  "devDependencies": {
+    "typescript": "^5.3.0"
+  },
+  "description": "ABC (AVM2) bytecode container parsing into plain data",
+  "sideEffects": false
+}

package/src/abcFile.test.ts

@@ -0,0 +1,214 @@
+import { AbcMultinameKind, AbcTraitKind } from '@flighthq/types/contract';
+
+import { readAbcFile } from './abcFile';
+
+describe('readAbcFile', () => {
+  it('reads the version and the whole constant pool, keeping the reserved zero entry', () => {
+    const file = readAbcFile(buildAbc());
+
+    expect(file?.minorVersion).toBe(16);
+    expect(file?.majorVersion).toBe(46);
+    // Index 0 of every pool is the placeholder the format reserves, so pool indices in the file's own
+    // records can be used directly.
+    expect(file?.constantPool.strings[0]).toBe('');
+    expect(file?.constantPool.strings.slice(1)).toEqual(['Main', 'stop', 'flash.display']);
+    expect(file?.constantPool.integers).toEqual([0, -7]);
+    expect(file?.constantPool.unsignedIntegers).toEqual([0, 9]);
+    expect(file?.constantPool.doubles[1]).toBeCloseTo(1.5);
+  });
+
+  it('reads namespaces, namespace sets, and both multiname shapes', () => {
+    const file = readAbcFile(buildAbc());
+
+    expect(file?.constantPool.namespaces[1]).toEqual({ kind: 0x16, name: 3 });
+    expect(file?.constantPool.namespaceSets[1]).toEqual([1]);
+
+    const qualified = file!.constantPool.multinames[1];
+    expect(qualified.kind).toBe(AbcMultinameKind.QName);
+    expect(qualified.namespace).toBe(1);
+    expect(file?.constantPool.strings[qualified.name]).toBe('Main');
+
+    const multiname = file!.constantPool.multinames[2];
+    expect(multiname.kind).toBe(AbcMultinameKind.Multiname);
+    expect(file?.constantPool.strings[multiname.name]).toBe('stop');
+    expect(multiname.namespaceSet).toBe(1);
+  });
+
+  it('reads methods with their optional defaults and parameter names', () => {
+    const file = readAbcFile(buildAbc());
+
+    expect(file?.methods).toHaveLength(2);
+    expect(file?.methods[0]).toMatchObject({ name: 2, parameterTypes: [], returnType: 0 });
+    expect(file?.methods[1].optionalValues).toEqual([{ kind: 0x03, value: 1 }]);
+    expect(file?.methods[1].parameterNames).toEqual([1]);
+  });
+
+  it('reads instances and classes as parallel lists sharing one count', () => {
+    const file = readAbcFile(buildAbc());
+
+    expect(file?.instances).toHaveLength(1);
+    expect(file?.classes).toHaveLength(1);
+    expect(file?.instances[0]).toMatchObject({ initializer: 1, name: 1, superName: 1 });
+    expect(file?.instances[0].traits[0]).toMatchObject({ kind: AbcTraitKind.Method, methodIndex: 0 });
+    expect(file?.classes[0].initializer).toBe(0);
+  });
+
+  it('reads script and method-body tables, keeping instruction bytes unparsed', () => {
+    const file = readAbcFile(buildAbc());
+
+    expect(file?.scripts[0]).toMatchObject({ initializer: 0 });
+    expect(file?.methodBodies).toHaveLength(1);
+    const body = file!.methodBodies[0];
+    expect(body).toMatchObject({ localCount: 1, maxStack: 2, method: 0 });
+    // The instruction stream is handed back whole: decoding it needs an opcode table and is a later step.
+    expect([...body.code]).toEqual([0xd0, 0x30, 0x47]);
+    expect(body.exceptions).toEqual([]);
+  });
+
+  it('returns null rather than throwing for input that is not a readable container', () => {
+    expect(readAbcFile(new Uint8Array())).toBeNull();
+    expect(readAbcFile(new Uint8Array([0x10, 0x00, 0x2e, 0x00]))).toBeNull();
+    // Truncated part-way through the constant pool.
+    expect(readAbcFile(buildAbc().subarray(0, 12))).toBeNull();
+  });
+
+  it('never throws on arbitrary bytes, whatever they happen to encode', () => {
+    // The reader's whole error contract is a null sentinel, and a container this size is mostly counts
+    // and indices, so the property worth asserting is that no byte sequence produces an exception.
+    let seed = 0x2f6a51b3;
+    const next = (): number => {
+      seed = (seed * 1664525 + 1013904223) >>> 0;
+      return seed;
+    };
+
+    for (let i = 0; i < 500; i++) {
+      const bytes = new Uint8Array(next() % 200);
+      for (let b = 0; b < bytes.length; b++) bytes[b] = next() & 0xff;
+      expect(() => readAbcFile(bytes)).not.toThrow();
+    }
+    // And the same for mutations of a file that is otherwise well formed.
+    for (let i = 0; i < 500; i++) {
+      const mutant = buildAbc();
+      for (let f = 0; f < 3; f++) mutant[next() % mutant.length] = next() & 0xff;
+      expect(() => readAbcFile(mutant)).not.toThrow();
+    }
+  });
+
+  it('rejects a multiname whose kind the format does not define', () => {
+    const bytes = buildAbc();
+    // Overwrite the first multiname's kind byte with one no version of the format uses.
+    const index = bytes.indexOf(AbcMultinameKind.QName, 20);
+    bytes[index] = 0x7f;
+
+    expect(readAbcFile(bytes)).toBeNull();
+  });
+});
+
+// Builds a small but structurally complete ABC file: three strings, one namespace and set, two multinames,
+// two methods (one with an optional default and a parameter name), one class and instance with a method
+// trait, one script, and one method body whose code is `getlocal_0; pushscope; returnvoid`.
+function buildAbc(): Uint8Array {
+  const bytes: number[] = [];
+  const u8 = (value: number): void => void bytes.push(value & 0xff);
+  const u16 = (value: number): void => {
+    u8(value);
+    u8(value >> 8);
+  };
+  const u30 = (value: number): void => {
+    let remaining = value;
+    do {
+      const byte = remaining % 0x80;
+      remaining = Math.floor(remaining / 0x80);
+      u8(remaining > 0 ? byte | 0x80 : byte);
+    } while (remaining > 0);
+  };
+  const str = (value: string): void => {
+    const encoded = new TextEncoder().encode(value);
+    u30(encoded.length);
+    for (const byte of encoded) u8(byte);
+  };
+  const double = (value: number): void => {
+    const buffer = new ArrayBuffer(8);
+    new DataView(buffer).setFloat64(0, value, true);
+    for (const byte of new Uint8Array(buffer)) u8(byte);
+  };
+
+  u16(16); // minor version
+  u16(46); // major version
+
+  u30(2); // int pool: one entry after the reserved slot
+  // A signed constant is written as its full 32-bit two's complement in the same seven-bits-per-byte
+  // form, so -7 occupies five bytes rather than one.
+  u30(0xfffffff9);
+  u30(2); // uint pool
+  u30(9);
+  u30(2); // double pool
+  double(1.5);
+  u30(4); // string pool
+  str('Main');
+  str('stop');
+  str('flash.display');
+  u30(2); // namespace pool
+  u8(0x16);
+  u30(3);
+  u30(2); // namespace set pool
+  u30(1);
+  u30(1);
+  u30(3); // multiname pool
+  u8(AbcMultinameKind.QName);
+  u30(1);
+  u30(1);
+  u8(AbcMultinameKind.Multiname);
+  u30(2);
+  u30(1);
+
+  u30(2); // method count
+  u30(0); // no parameters
+  u30(0); // return type
+  u30(2); // name -> 'stop'
+  u8(0); // flags
+  u30(1); // one parameter
+  u30(0);
+  u30(1);
+  u30(1);
+  u8(0x08 | 0x80); // has optional defaults, has parameter names
+  u30(1);
+  u30(1); // optional value index
+  u8(0x03); // optional value kind
+  u30(1); // parameter name
+
+  u30(0); // metadata count
+
+  u30(1); // class count
+  u30(1); // instance name
+  u30(1); // super name
+  u8(0); // flags
+  u30(0); // interface count
+  u30(1); // instance initializer
+  u30(1); // trait count
+  u30(2); // trait name
+  u8(AbcTraitKind.Method);
+  u30(0); // dispatch id
+  u30(0); // method index
+  u30(0); // class initializer
+  u30(0); // class trait count
+
+  u30(1); // script count
+  u30(0); // script initializer
+  u30(0); // script trait count
+
+  u30(1); // method body count
+  u30(0); // method
+  u30(2); // max stack
+  u30(1); // local count
+  u30(1); // init scope depth
+  u30(2); // max scope depth
+  u30(3); // code length
+  u8(0xd0);
+  u8(0x30);
+  u8(0x47);
+  u30(0); // exception count
+  u30(0); // trait count
+
+  return new Uint8Array(bytes);
+}

package/src/abcInstruction.test.ts

@@ -0,0 +1,77 @@
+import { AbcOpcode } from '@flighthq/types/contract';
+
+import { readAbcInstructions } from './abcInstruction';
+
+describe('readAbcInstructions', () => {
+  it('decodes the constructor prologue every compiled method opens with', () => {
+    const instructions = readAbcInstructions(new Uint8Array([0xd0, 0x30, 0x47]));
+
+    expect(instructions).toEqual([
+      { offset: 0, opcode: AbcOpcode.GetLocal0, operands: [] },
+      { offset: 1, opcode: AbcOpcode.PushScope, operands: [] },
+      { offset: 2, opcode: AbcOpcode.ReturnVoid, operands: [] },
+    ]);
+  });
+
+  it('reads the operand shapes a call site uses, including two-operand calls', () => {
+    // findpropstrict <multiname 5>; pushbyte 2; callpropvoid <multiname 5>, 1
+    const instructions = readAbcInstructions(new Uint8Array([0x5d, 0x05, 0x24, 0x02, 0x4f, 0x05, 0x01]));
+
+    expect(instructions).toEqual([
+      { offset: 0, opcode: AbcOpcode.FindPropStrict, operands: [5] },
+      { offset: 2, opcode: AbcOpcode.PushByte, operands: [2] },
+      { offset: 4, opcode: AbcOpcode.CallPropVoid, operands: [5, 1] },
+    ]);
+  });
+
+  it('widens a multi-byte variable-length operand', () => {
+    // pushint with a two-byte operand: 0x81 0x01 encodes 129.
+    expect(readAbcInstructions(new Uint8Array([0x2d, 0x81, 0x01]))).toEqual([
+      { offset: 0, opcode: AbcOpcode.PushInt, operands: [129] },
+    ]);
+  });
+
+  it('sign-extends a backward branch target', () => {
+    // jump -4, as three little-endian bytes.
+    expect(readAbcInstructions(new Uint8Array([0x10, 0xfc, 0xff, 0xff]))).toEqual([
+      { offset: 0, opcode: AbcOpcode.Jump, operands: [-4] },
+    ]);
+  });
+
+  it('reads a lookupswitch, whose case count is one less than its target count', () => {
+    // default +7, case count 1, then two targets.
+    const instructions = readAbcInstructions(
+      new Uint8Array([0x1b, 0x07, 0x00, 0x00, 0x01, 0x0a, 0x00, 0x00, 0x0d, 0x00, 0x00]),
+    );
+
+    expect(instructions).toEqual([{ offset: 0, opcode: AbcOpcode.LookupSwitch, operands: [7, 1, 10, 13] }]);
+  });
+
+  it('stops rather than guessing when an opcode is not one the format defines', () => {
+    // There is no way to resynchronize a variable-width stream after an unknown opcode, so returning a
+    // partial decode would be returning plausible nonsense.
+    expect(readAbcInstructions(new Uint8Array([0xd0, 0xff, 0x47]))).toBeNull();
+  });
+
+  it('reports a truncated operand rather than reading past the body', () => {
+    expect(readAbcInstructions(new Uint8Array([0x4f, 0x05]))).toBeNull();
+    expect(readAbcInstructions(new Uint8Array([0x10, 0xfc]))).toBeNull();
+  });
+
+  it('places the deprecated typed coerce forms compilers still emit', () => {
+    // Found by decoding real compiler output: omitting these desynchronizes the rest of the body, because
+    // the walk then reads the following opcode as an operand.
+    expect(readAbcInstructions(new Uint8Array([0x81, 0x83, 0x84, 0x88, 0x89, 0x47]))).toEqual([
+      { offset: 0, opcode: AbcOpcode.CoerceBoolean, operands: [] },
+      { offset: 1, opcode: AbcOpcode.CoerceInt, operands: [] },
+      { offset: 2, opcode: AbcOpcode.CoerceDouble, operands: [] },
+      { offset: 3, opcode: AbcOpcode.CoerceUint, operands: [] },
+      { offset: 4, opcode: AbcOpcode.CoerceObject, operands: [] },
+      { offset: 5, opcode: AbcOpcode.ReturnVoid, operands: [] },
+    ]);
+  });
+
+  it('decodes an empty body as no instructions', () => {
+    expect(readAbcInstructions(new Uint8Array())).toEqual([]);
+  });
+});