import * as __compactRuntime from '@midnight-ntwrk/compact-runtime'; __compactRuntime.checkRuntimeVersion('0.15.0'); const _descriptor_0 = __compactRuntime.CompactTypeBoolean; const _descriptor_1 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2); const _descriptor_2 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8); const _descriptor_3 = new __compactRuntime.CompactTypeBytes(32); const _descriptor_4 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1); class _Either_0 { alignment() { return _descriptor_0.alignment().concat(_descriptor_3.alignment().concat(_descriptor_3.alignment())); } fromValue(value_0) { return { is_left: _descriptor_0.fromValue(value_0), left: _descriptor_3.fromValue(value_0), right: _descriptor_3.fromValue(value_0) } } toValue(value_0) { return _descriptor_0.toValue(value_0.is_left).concat(_descriptor_3.toValue(value_0.left).concat(_descriptor_3.toValue(value_0.right))); } } const _descriptor_5 = new _Either_0(); const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16); class _ContractAddress_0 { alignment() { return _descriptor_3.alignment(); } fromValue(value_0) { return { bytes: _descriptor_3.fromValue(value_0) } } toValue(value_0) { return _descriptor_3.toValue(value_0.bytes); } } const _descriptor_7 = new _ContractAddress_0(); export class Contract { witnesses; constructor(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`Contract constructor: expected 1 argument, received ${args_0.length}`); } const witnesses_0 = args_0[0]; if (typeof(witnesses_0) !== 'object') { throw new __compactRuntime.CompactError('first (witnesses) argument to Contract constructor is not an object'); } this.witnesses = witnesses_0; this.circuits = { begin_test_run: (...args_1) => { if (args_1.length !== 3) { throw new __compactRuntime.CompactError(`begin_test_run: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const runner_hash_0 = args_1[1]; const timestamp_0 = args_1[2]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('begin_test_run', 'argument 1 (as invoked from Typescript)', 'contract.compact line 26 char 1', 'CircuitContext', contextOrig_0) } if (!(runner_hash_0.buffer instanceof ArrayBuffer && runner_hash_0.BYTES_PER_ELEMENT === 1 && runner_hash_0.length === 32)) { __compactRuntime.typeError('begin_test_run', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 26 char 1', 'Bytes<32>', runner_hash_0) } if (!(typeof(timestamp_0) === 'bigint' && timestamp_0 >= 0n && timestamp_0 <= 18446744073709551615n)) { __compactRuntime.typeError('begin_test_run', 'argument 2 (argument 3 as invoked from Typescript)', 'contract.compact line 26 char 1', 'Uint<0..18446744073709551616>', timestamp_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_3.toValue(runner_hash_0).concat(_descriptor_2.toValue(timestamp_0)), alignment: _descriptor_3.alignment().concat(_descriptor_2.alignment()) }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._begin_test_run_0(context, partialProofData, runner_hash_0, timestamp_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, record_pass: (...args_1) => { if (args_1.length !== 3) { throw new __compactRuntime.CompactError(`record_pass: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const runner_hash_0 = args_1[1]; const test_id_0 = args_1[2]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('record_pass', 'argument 1 (as invoked from Typescript)', 'contract.compact line 34 char 1', 'CircuitContext', contextOrig_0) } if (!(runner_hash_0.buffer instanceof ArrayBuffer && runner_hash_0.BYTES_PER_ELEMENT === 1 && runner_hash_0.length === 32)) { __compactRuntime.typeError('record_pass', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 34 char 1', 'Bytes<32>', runner_hash_0) } if (!(typeof(test_id_0) === 'bigint' && test_id_0 >= 0n && test_id_0 <= 255n)) { __compactRuntime.typeError('record_pass', 'argument 2 (argument 3 as invoked from Typescript)', 'contract.compact line 34 char 1', 'Uint<0..256>', test_id_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_3.toValue(runner_hash_0).concat(_descriptor_4.toValue(test_id_0)), alignment: _descriptor_3.alignment().concat(_descriptor_4.alignment()) }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._record_pass_0(context, partialProofData, runner_hash_0, test_id_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, record_fail: (...args_1) => { if (args_1.length !== 3) { throw new __compactRuntime.CompactError(`record_fail: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const runner_hash_0 = args_1[1]; const test_id_0 = args_1[2]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('record_fail', 'argument 1 (as invoked from Typescript)', 'contract.compact line 41 char 1', 'CircuitContext', contextOrig_0) } if (!(runner_hash_0.buffer instanceof ArrayBuffer && runner_hash_0.BYTES_PER_ELEMENT === 1 && runner_hash_0.length === 32)) { __compactRuntime.typeError('record_fail', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 41 char 1', 'Bytes<32>', runner_hash_0) } if (!(typeof(test_id_0) === 'bigint' && test_id_0 >= 0n && test_id_0 <= 255n)) { __compactRuntime.typeError('record_fail', 'argument 2 (argument 3 as invoked from Typescript)', 'contract.compact line 41 char 1', 'Uint<0..256>', test_id_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_3.toValue(runner_hash_0).concat(_descriptor_4.toValue(test_id_0)), alignment: _descriptor_3.alignment().concat(_descriptor_4.alignment()) }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._record_fail_0(context, partialProofData, runner_hash_0, test_id_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, end_test_run: (...args_1) => { if (args_1.length !== 2) { throw new __compactRuntime.CompactError(`end_test_run: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const runner_hash_0 = args_1[1]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('end_test_run', 'argument 1 (as invoked from Typescript)', 'contract.compact line 48 char 1', 'CircuitContext', contextOrig_0) } if (!(runner_hash_0.buffer instanceof ArrayBuffer && runner_hash_0.BYTES_PER_ELEMENT === 1 && runner_hash_0.length === 32)) { __compactRuntime.typeError('end_test_run', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 48 char 1', 'Bytes<32>', runner_hash_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_3.toValue(runner_hash_0), alignment: _descriptor_3.alignment() }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._end_test_run_0(context, partialProofData, runner_hash_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, reset_suite: (...args_1) => { if (args_1.length !== 2) { throw new __compactRuntime.CompactError(`reset_suite: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const admin_hash_0 = args_1[1]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('reset_suite', 'argument 1 (as invoked from Typescript)', 'contract.compact line 55 char 1', 'CircuitContext', contextOrig_0) } if (!(admin_hash_0.buffer instanceof ArrayBuffer && admin_hash_0.BYTES_PER_ELEMENT === 1 && admin_hash_0.length === 32)) { __compactRuntime.typeError('reset_suite', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 55 char 1', 'Bytes<32>', admin_hash_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_3.toValue(admin_hash_0), alignment: _descriptor_3.alignment() }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._reset_suite_0(context, partialProofData, admin_hash_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; } }; this.impureCircuits = { begin_test_run: this.circuits.begin_test_run, record_pass: this.circuits.record_pass, record_fail: this.circuits.record_fail, end_test_run: this.circuits.end_test_run, reset_suite: this.circuits.reset_suite }; this.provableCircuits = { begin_test_run: this.circuits.begin_test_run, record_pass: this.circuits.record_pass, record_fail: this.circuits.record_fail, end_test_run: this.circuits.end_test_run, reset_suite: this.circuits.reset_suite }; } initialState(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`Contract state constructor: expected 1 argument (as invoked from Typescript), received ${args_0.length}`); } const constructorContext_0 = args_0[0]; if (typeof(constructorContext_0) !== 'object') { throw new __compactRuntime.CompactError(`Contract state constructor: expected 'constructorContext' in argument 1 (as invoked from Typescript) to be an object`); } if (!('initialZswapLocalState' in constructorContext_0)) { throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript)`); } if (typeof(constructorContext_0.initialZswapLocalState) !== 'object') { throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript) to be an object`); } const state_0 = new __compactRuntime.ContractState(); let stateValue_0 = __compactRuntime.StateValue.newArray(); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull()); state_0.data = new __compactRuntime.ChargedState(stateValue_0); state_0.setOperation('begin_test_run', new __compactRuntime.ContractOperation()); state_0.setOperation('record_pass', new __compactRuntime.ContractOperation()); state_0.setOperation('record_fail', new __compactRuntime.ContractOperation()); state_0.setOperation('end_test_run', new __compactRuntime.ContractOperation()); state_0.setOperation('reset_suite', new __compactRuntime.ContractOperation()); const context = __compactRuntime.createCircuitContext(__compactRuntime.dummyContractAddress(), constructorContext_0.initialZswapLocalState.coinPublicKey, state_0.data, constructorContext_0.initialPrivateState); const partialProofData = { input: { value: [], alignment: [] }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(4n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(0n), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(false), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(0n), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_0 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_2 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_2), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_3 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_3), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_4 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(4n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(tmp_4), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(false), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); state_0.data = new __compactRuntime.ChargedState(context.currentQueryContext.state.state); return { currentContractState: state_0, currentPrivateState: context.currentPrivateState, currentZswapLocalState: context.currentZswapLocalState } } _begin_test_run_0(context, partialProofData, runner_hash_0, timestamp_0) { __compactRuntime.assert(!_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Suite is locked by another runner'); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(true), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_0 = ((t1) => { if (t1 > 65535n) { throw new __compactRuntime.CompactError('contract.compact line 29 char 17: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 65535'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(4n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(timestamp_0), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _record_pass_0(context, partialProofData, runner_hash_0, test_id_0) { __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'No active test run'); const tmp_0 = ((t1) => { if (t1 > 65535n) { throw new __compactRuntime.CompactError('contract.compact line 36 char 16: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 65535'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = ((t1) => { if (t1 > 65535n) { throw new __compactRuntime.CompactError('contract.compact line 37 char 15: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 65535'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_2 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_1.toValue(tmp_2), alignment: _descriptor_1.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _record_fail_0(context, partialProofData, runner_hash_0, test_id_0) { __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'No active test run'); const tmp_0 = ((t1) => { if (t1 > 65535n) { throw new __compactRuntime.CompactError('contract.compact line 43 char 16: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 65535'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = ((t1) => { if (t1 > 65535n) { throw new __compactRuntime.CompactError('contract.compact line 44 char 15: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 65535'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_2 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_1.toValue(tmp_2), alignment: _descriptor_1.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _end_test_run_0(context, partialProofData, runner_hash_0) { __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'No active test run'); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(false), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); let t_0, t_1; const tmp_0 = (t_0 = _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), t_0 > 0n) ? (t_1 = _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), (__compactRuntime.assert(t_1 >= 1n, 'result of subtraction would be negative'), t_1 - 1n)) : 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _reset_suite_0(context, partialProofData, admin_hash_0) { __compactRuntime.assert(!_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Cannot reset while suite is running'); const tmp_0 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_1), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_2 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_2), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_3 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_3), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_4 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(4n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(tmp_4), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(false), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_5 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_1.toValue(tmp_5), alignment: _descriptor_1.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } } export function ledger(stateOrChargedState) { const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state; const chargedState = stateOrChargedState instanceof __compactRuntime.StateValue ? new __compactRuntime.ChargedState(stateOrChargedState) : stateOrChargedState; const context = { currentQueryContext: new __compactRuntime.QueryContext(chargedState, __compactRuntime.dummyContractAddress()), costModel: __compactRuntime.CostModel.initialCostModel() }; const partialProofData = { input: { value: [], alignment: [] }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; return { get uat_total() { return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(0n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get uat_passed() { return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(1n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get uat_failed() { return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(2n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get uat_running() { return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(3n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get last_run_timestamp() { return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(4n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get suite_locked() { return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(5n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get nonce() { return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_4.toValue(6n), alignment: _descriptor_4.alignment() } }] } }, { popeq: { cached: true, result: undefined } }]).value); } }; } const _emptyContext = { currentQueryContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress()) }; const _dummyContract = new Contract({ }); export const pureCircuits = {}; export const contractReferenceLocations = { tag: 'publicLedgerArray', indices: { } }; //# sourceMappingURL=index.js.map