import * as __compactRuntime from '@midnight-ntwrk/compact-runtime'; __compactRuntime.checkRuntimeVersion('0.15.0'); const _descriptor_0 = __compactRuntime.CompactTypeBoolean; const _descriptor_1 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1); const _descriptor_2 = new __compactRuntime.CompactTypeBytes(32); const _descriptor_3 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8); class _Proposal_0 { alignment() { return _descriptor_2.alignment().concat(_descriptor_3.alignment().concat(_descriptor_3.alignment().concat(_descriptor_3.alignment().concat(_descriptor_0.alignment())))); } fromValue(value_0) { return { title_hash: _descriptor_2.fromValue(value_0), yes_weight: _descriptor_3.fromValue(value_0), no_weight: _descriptor_3.fromValue(value_0), abstain_weight: _descriptor_3.fromValue(value_0), is_active: _descriptor_0.fromValue(value_0) } } toValue(value_0) { return _descriptor_2.toValue(value_0.title_hash).concat(_descriptor_3.toValue(value_0.yes_weight).concat(_descriptor_3.toValue(value_0.no_weight).concat(_descriptor_3.toValue(value_0.abstain_weight).concat(_descriptor_0.toValue(value_0.is_active))))); } } const _descriptor_4 = new _Proposal_0(); const _descriptor_5 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2); const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4); class _Either_0 { alignment() { return _descriptor_0.alignment().concat(_descriptor_2.alignment().concat(_descriptor_2.alignment())); } fromValue(value_0) { return { is_left: _descriptor_0.fromValue(value_0), left: _descriptor_2.fromValue(value_0), right: _descriptor_2.fromValue(value_0) } } toValue(value_0) { return _descriptor_0.toValue(value_0.is_left).concat(_descriptor_2.toValue(value_0.left).concat(_descriptor_2.toValue(value_0.right))); } } const _descriptor_7 = new _Either_0(); const _descriptor_8 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16); class _ContractAddress_0 { alignment() { return _descriptor_2.alignment(); } fromValue(value_0) { return { bytes: _descriptor_2.fromValue(value_0) } } toValue(value_0) { return _descriptor_2.toValue(value_0.bytes); } } const _descriptor_9 = 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 = { initialize: (...args_1) => { if (args_1.length !== 2) { throw new __compactRuntime.CompactError(`initialize: 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('initialize', 'argument 1 (as invoked from Typescript)', 'contract.compact line 63 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('initialize', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 63 char 1', 'Bytes<32>', admin_hash_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_2.toValue(admin_hash_0), alignment: _descriptor_2.alignment() }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._initialize_0(context, partialProofData, admin_hash_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, set_token_balance: (...args_1) => { if (args_1.length !== 3) { throw new __compactRuntime.CompactError(`set_token_balance: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const voter_hash_0 = args_1[1]; const weight_0 = args_1[2]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('set_token_balance', 'argument 1 (as invoked from Typescript)', 'contract.compact line 70 char 1', 'CircuitContext', contextOrig_0) } if (!(voter_hash_0.buffer instanceof ArrayBuffer && voter_hash_0.BYTES_PER_ELEMENT === 1 && voter_hash_0.length === 32)) { __compactRuntime.typeError('set_token_balance', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 70 char 1', 'Bytes<32>', voter_hash_0) } if (!(typeof(weight_0) === 'bigint' && weight_0 >= 0n && weight_0 <= 18446744073709551615n)) { __compactRuntime.typeError('set_token_balance', 'argument 2 (argument 3 as invoked from Typescript)', 'contract.compact line 70 char 1', 'Uint<0..18446744073709551616>', weight_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_2.toValue(voter_hash_0).concat(_descriptor_3.toValue(weight_0)), alignment: _descriptor_2.alignment().concat(_descriptor_3.alignment()) }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._set_token_balance_0(context, partialProofData, voter_hash_0, weight_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, create_proposal: (...args_1) => { if (args_1.length !== 2) { throw new __compactRuntime.CompactError(`create_proposal: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const title_hash_0 = args_1[1]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('create_proposal', 'argument 1 (as invoked from Typescript)', 'contract.compact line 81 char 1', 'CircuitContext', contextOrig_0) } if (!(title_hash_0.buffer instanceof ArrayBuffer && title_hash_0.BYTES_PER_ELEMENT === 1 && title_hash_0.length === 32)) { __compactRuntime.typeError('create_proposal', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 81 char 1', 'Bytes<32>', title_hash_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_2.toValue(title_hash_0), alignment: _descriptor_2.alignment() }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._create_proposal_0(context, partialProofData, title_hash_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, cast_vote: (...args_1) => { if (args_1.length !== 5) { throw new __compactRuntime.CompactError(`cast_vote: expected 5 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const voter_hash_0 = args_1[1]; const proposal_id_0 = args_1[2]; const vote_key_0 = args_1[3]; const choice_0 = args_1[4]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('cast_vote', 'argument 1 (as invoked from Typescript)', 'contract.compact line 125 char 1', 'CircuitContext', contextOrig_0) } if (!(voter_hash_0.buffer instanceof ArrayBuffer && voter_hash_0.BYTES_PER_ELEMENT === 1 && voter_hash_0.length === 32)) { __compactRuntime.typeError('cast_vote', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 125 char 1', 'Bytes<32>', voter_hash_0) } if (!(typeof(proposal_id_0) === 'bigint' && proposal_id_0 >= 0n && proposal_id_0 <= 255n)) { __compactRuntime.typeError('cast_vote', 'argument 2 (argument 3 as invoked from Typescript)', 'contract.compact line 125 char 1', 'Uint<0..256>', proposal_id_0) } if (!(vote_key_0.buffer instanceof ArrayBuffer && vote_key_0.BYTES_PER_ELEMENT === 1 && vote_key_0.length === 32)) { __compactRuntime.typeError('cast_vote', 'argument 3 (argument 4 as invoked from Typescript)', 'contract.compact line 125 char 1', 'Bytes<32>', vote_key_0) } if (!(typeof(choice_0) === 'bigint' && choice_0 >= 0n && choice_0 <= 255n)) { __compactRuntime.typeError('cast_vote', 'argument 4 (argument 5 as invoked from Typescript)', 'contract.compact line 125 char 1', 'Uint<0..256>', choice_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_2.toValue(voter_hash_0).concat(_descriptor_1.toValue(proposal_id_0).concat(_descriptor_2.toValue(vote_key_0).concat(_descriptor_1.toValue(choice_0)))), alignment: _descriptor_2.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_1.alignment()))) }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._cast_vote_0(context, partialProofData, voter_hash_0, proposal_id_0, vote_key_0, choice_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; }, close_proposal: (...args_1) => { if (args_1.length !== 2) { throw new __compactRuntime.CompactError(`close_proposal: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`); } const contextOrig_0 = args_1[0]; const proposal_id_0 = args_1[1]; if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) { __compactRuntime.typeError('close_proposal', 'argument 1 (as invoked from Typescript)', 'contract.compact line 264 char 1', 'CircuitContext', contextOrig_0) } if (!(typeof(proposal_id_0) === 'bigint' && proposal_id_0 >= 0n && proposal_id_0 <= 255n)) { __compactRuntime.typeError('close_proposal', 'argument 1 (argument 2 as invoked from Typescript)', 'contract.compact line 264 char 1', 'Uint<0..256>', proposal_id_0) } const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() }; const partialProofData = { input: { value: _descriptor_1.toValue(proposal_id_0), alignment: _descriptor_1.alignment() }, output: undefined, publicTranscript: [], privateTranscriptOutputs: [] }; const result_0 = this._close_proposal_0(context, partialProofData, proposal_id_0); partialProofData.output = { value: [], alignment: [] }; return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost }; } }; this.impureCircuits = { initialize: this.circuits.initialize, set_token_balance: this.circuits.set_token_balance, create_proposal: this.circuits.create_proposal, cast_vote: this.circuits.cast_vote, close_proposal: this.circuits.close_proposal }; this.provableCircuits = { initialize: this.circuits.initialize, set_token_balance: this.circuits.set_token_balance, create_proposal: this.circuits.create_proposal, cast_vote: this.circuits.cast_vote, close_proposal: this.circuits.close_proposal }; } 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()); 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('initialize', new __compactRuntime.ContractOperation()); state_0.setOperation('set_token_balance', new __compactRuntime.ContractOperation()); state_0.setOperation('create_proposal', new __compactRuntime.ContractOperation()); state_0.setOperation('cast_vote', new __compactRuntime.ContractOperation()); state_0.setOperation('close_proposal', 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_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue({ title_hash: new Uint8Array(32), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue({ title_hash: new Uint8Array(32), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue({ title_hash: new Uint8Array(32), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue({ title_hash: new Uint8Array(32), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(4n), alignment: _descriptor_1.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_1.toValue(5n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n), alignment: _descriptor_6.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newMap( new __compactRuntime.StateMap() ).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newMap( new __compactRuntime.StateMap() ).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(8n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new Uint8Array(32)), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(9n), alignment: _descriptor_1.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_1.toValue(10n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(0n), alignment: _descriptor_3.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_0 = { title_hash: new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_0), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_1 = { title_hash: new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_1), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_2 = { title_hash: new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_2), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_3 = { title_hash: new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_3), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_4 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_4), alignment: _descriptor_1.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); const tmp_5 = 0n; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(5n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(tmp_5), alignment: _descriptor_6.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(9n), alignment: _descriptor_1.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_1.toValue(8n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])), alignment: _descriptor_2.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 } } _initialize_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_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Already initialized'); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(8n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(admin_hash_0), alignment: _descriptor_2.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(9n), alignment: _descriptor_1.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 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(10n), alignment: _descriptor_1.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_5.toValue(tmp_0), alignment: _descriptor_5.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _set_token_balance_0(context, partialProofData, voter_hash_0, weight_0) { __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Not initialized'); __compactRuntime.assert(weight_0 > 0n, 'Weight must be positive'); const already_has_0 = _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(voter_hash_0), alignment: _descriptor_2.alignment() }).encode() } }, 'member', { popeq: { cached: true, result: undefined } }]).value); if (!already_has_0) { const tmp_0 = ((t1) => { if (t1 > 4294967295n) { throw new __compactRuntime.CompactError('contract.compact line 75 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 4294967295'); } return t1; })(_descriptor_6.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(5n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(5n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(tmp_0), alignment: _descriptor_6.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(voter_hash_0), alignment: _descriptor_2.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(weight_0), alignment: _descriptor_3.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }, { ins: { cached: true, n: 1 } }]); const tmp_1 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(10n), alignment: _descriptor_1.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_5.toValue(tmp_1), alignment: _descriptor_5.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _create_proposal_0(context, partialProofData, title_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_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Not initialized'); let t_0; __compactRuntime.assert((t_0 = _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), t_0 < 4n), 'Max 4 proposals'); const idx_0 = _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); if (this._equal_0(idx_0, 0n)) { const tmp_0 = { title_hash: title_hash_0, yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: true }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_0), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_1(idx_0, 1n)) { const tmp_1 = { title_hash: title_hash_0, yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: true }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_1), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_2(idx_0, 2n)) { const tmp_2 = { title_hash: title_hash_0, yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: true }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_2), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_3(idx_0, 3n)) { const tmp_3 = { title_hash: title_hash_0, yes_weight: 0n, no_weight: 0n, abstain_weight: 0n, is_active: true }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_3), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } const tmp_4 = ((t1) => { if (t1 > 255n) { throw new __compactRuntime.CompactError('contract.compact line 121 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 255'); } return t1; })(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value) + 1n); __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_4), alignment: _descriptor_1.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_1.toValue(10n), alignment: _descriptor_1.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_5.toValue(tmp_5), alignment: _descriptor_5.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _cast_vote_0(context, partialProofData, voter_hash_0, proposal_id_0, vote_key_0, choice_0) { __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Not initialized'); __compactRuntime.assert(proposal_id_0 < _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Invalid proposal'); __compactRuntime.assert(choice_0 < 3n, 'Choice must be 0, 1, or 2'); __compactRuntime.assert(_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(voter_hash_0), alignment: _descriptor_2.alignment() }).encode() } }, 'member', { popeq: { cached: true, result: undefined } }]).value), 'No token balance'); const weight_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_2.toValue(voter_hash_0), alignment: _descriptor_2.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); __compactRuntime.assert(!_descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(vote_key_0), alignment: _descriptor_2.alignment() }).encode() } }, 'member', { popeq: { cached: true, result: undefined } }]).value), 'Already voted'); __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(vote_key_0), alignment: _descriptor_2.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(true), alignment: _descriptor_0.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }, { ins: { cached: true, n: 1 } }]); const pid_0 = proposal_id_0; const ch_0 = choice_0; if (this._equal_4(pid_0, 0n)) { if (this._equal_5(ch_0, 0n)) { const tmp_0 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 148 char 21: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight + weight_0), no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_0), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_6(ch_0, 1n)) { const tmp_1 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 158 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight + weight_0), abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_1), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_7(ch_0, 2n)) { const tmp_2 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 168 char 25: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight + weight_0), is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_2), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } } if (this._equal_8(pid_0, 1n)) { if (this._equal_9(ch_0, 0n)) { const tmp_3 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 177 char 21: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight + weight_0), no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_3), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_10(ch_0, 1n)) { const tmp_4 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 187 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight + weight_0), abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_4), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_11(ch_0, 2n)) { const tmp_5 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 197 char 25: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight + weight_0), is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_5), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } } if (this._equal_12(pid_0, 2n)) { if (this._equal_13(ch_0, 0n)) { const tmp_6 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 206 char 21: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight + weight_0), no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_6), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_14(ch_0, 1n)) { const tmp_7 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 216 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight + weight_0), abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_7), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_15(ch_0, 2n)) { const tmp_8 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 226 char 25: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight + weight_0), is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_8), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } } if (this._equal_16(pid_0, 3n)) { if (this._equal_17(ch_0, 0n)) { const tmp_9 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 235 char 21: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight + weight_0), no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_9), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_18(ch_0, 1n)) { const tmp_10 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 245 char 20: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight + weight_0), abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_10), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_19(ch_0, 2n)) { const tmp_11 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: ((t1) => { if (t1 > 18446744073709551615n) { throw new __compactRuntime.CompactError('contract.compact line 255 char 25: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 18446744073709551615'); } return t1; })(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight + weight_0), is_active: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).is_active }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_11), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } } const tmp_12 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(10n), alignment: _descriptor_1.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_5.toValue(tmp_12), alignment: _descriptor_5.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _close_proposal_0(context, partialProofData, proposal_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_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Not initialized'); __compactRuntime.assert(proposal_id_0 < _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value), 'Invalid proposal'); const pid_0 = proposal_id_0; if (this._equal_20(pid_0, 0n)) { const tmp_0 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_0), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_21(pid_0, 1n)) { const tmp_1 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_1), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_22(pid_0, 2n)) { const tmp_2 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_2), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } if (this._equal_23(pid_0, 3n)) { const tmp_3 = { title_hash: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).title_hash, yes_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).yes_weight, no_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).no_weight, abstain_weight: _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value).abstain_weight, is_active: false }; __compactRuntime.queryLedgerState(context, partialProofData, [ { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() }).encode() } }, { push: { storage: true, value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_3), alignment: _descriptor_4.alignment() }).encode() } }, { ins: { cached: false, n: 1 } }]); } const tmp_4 = 1n; __compactRuntime.queryLedgerState(context, partialProofData, [ { idx: { cached: false, pushPath: true, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(10n), alignment: _descriptor_1.alignment() } }] } }, { addi: { immediate: parseInt(__compactRuntime.valueToBigInt( { value: _descriptor_5.toValue(tmp_4), alignment: _descriptor_5.alignment() } .value )) } }, { ins: { cached: true, n: 1 } }]); return []; } _equal_0(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_1(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_2(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_3(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_4(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_5(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_6(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_7(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_8(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_9(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_10(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_11(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_12(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_13(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_14(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_15(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_16(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_17(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_18(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_19(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_20(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_21(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_22(x0, y0) { if (x0 !== y0) { return false; } return true; } _equal_23(x0, y0) { if (x0 !== y0) { return false; } return true; } } 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 proposal_0() { return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(0n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get proposal_1() { return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(1n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get proposal_2() { return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(2n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get proposal_3() { return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(3n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get proposal_count() { return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(4n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get total_voters() { return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(5n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, token_balances: { isEmpty(...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`); } return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, 'size', { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(0n), alignment: _descriptor_3.alignment() }).encode() } }, 'eq', { popeq: { cached: true, result: undefined } }]).value); }, size(...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`); } return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, 'size', { popeq: { cached: true, result: undefined } }]).value); }, member(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`); } const key_0 = args_0[0]; if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) { __compactRuntime.typeError('member', 'argument 1', 'contract.compact line 20 char 1', 'Bytes<32>', key_0) } return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(key_0), alignment: _descriptor_2.alignment() }).encode() } }, 'member', { popeq: { cached: true, result: undefined } }]).value); }, lookup(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`); } const key_0 = args_0[0]; if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) { __compactRuntime.typeError('lookup', 'argument 1', 'contract.compact line 20 char 1', 'Bytes<32>', key_0) } return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(6n), alignment: _descriptor_1.alignment() } }] } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_2.toValue(key_0), alignment: _descriptor_2.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, [Symbol.iterator](...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`); } const self_0 = state.asArray()[6]; return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_2.fromValue(key.value), _descriptor_3.fromValue(value.value) ]; })[Symbol.iterator](); } }, vote_records: { isEmpty(...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`); } return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, 'size', { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(0n), alignment: _descriptor_3.alignment() }).encode() } }, 'eq', { popeq: { cached: true, result: undefined } }]).value); }, size(...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`); } return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, 'size', { popeq: { cached: true, result: undefined } }]).value); }, member(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`); } const key_0 = args_0[0]; if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) { __compactRuntime.typeError('member', 'argument 1', 'contract.compact line 21 char 1', 'Bytes<32>', key_0) } return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, { push: { storage: false, value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(key_0), alignment: _descriptor_2.alignment() }).encode() } }, 'member', { popeq: { cached: true, result: undefined } }]).value); }, lookup(...args_0) { if (args_0.length !== 1) { throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`); } const key_0 = args_0[0]; if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) { __compactRuntime.typeError('lookup', 'argument 1', 'contract.compact line 21 char 1', 'Bytes<32>', key_0) } return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(7n), alignment: _descriptor_1.alignment() } }] } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_2.toValue(key_0), alignment: _descriptor_2.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, [Symbol.iterator](...args_0) { if (args_0.length !== 0) { throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`); } const self_0 = state.asArray()[7]; return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_2.fromValue(key.value), _descriptor_0.fromValue(value.value) ]; })[Symbol.iterator](); } }, get admin() { return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(8n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get is_initialized() { return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(9n), alignment: _descriptor_1.alignment() } }] } }, { popeq: { cached: false, result: undefined } }]).value); }, get nonce() { return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context, partialProofData, [ { dup: { n: 0 } }, { idx: { cached: false, pushPath: false, path: [ { tag: 'value', value: { value: _descriptor_1.toValue(10n), alignment: _descriptor_1.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