1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672(*****************************************************************************)(* *)(* Open Source License *)(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)(* Copyright (c) 2022 Trili Tech <contact@trili.tech> *)(* *)(* Permission is hereby granted, free of charge, to any person obtaining a *)(* copy of this software and associated documentation files (the "Software"),*)(* to deal in the Software without restriction, including without limitation *)(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *)(* and/or sell copies of the Software, and to permit persons to whom the *)(* Software is furnished to do so, subject to the following conditions: *)(* *)(* The above copyright notice and this permission notice shall be included *)(* in all copies or substantial portions of the Software. *)(* *)(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *)(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *)(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *)(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *)(* DEALINGS IN THE SOFTWARE. *)(* *)(*****************************************************************************)openProtocolopenAlpha_context(* ------------------------------------------------------------------------- *)(* Mockup protocol parameters *)(** Protocol constants overriding logic. *)moduleProtocol_constants_overrides=struct(** Equivalent of [Constants.parametric] with additionally [chain_id] and [timestamp] but each field is wrapped in an [option].
[Some] is an override, [None] means "Use the default value".
*)typetx_rollup={enable:booloption;origination_size:intoption;hard_size_limit_per_inbox:intoption;hard_size_limit_per_message:intoption;max_withdrawals_per_batch:intoption;commitment_bond:Tez.toption;finality_period:intoption;max_inboxes_count:intoption;withdraw_period:intoption;max_messages_per_inbox:intoption;max_commitments_count:intoption;cost_per_byte_ema_factor:intoption;max_ticket_payload_size:intoption;rejection_max_proof_size:intoption;sunset_level:int32option;}typesc_rollup={enable:booloption;origination_size:intoption;challenge_window_in_blocks:intoption;max_available_messages:intoption;stake_amount:Tez.toption;commitment_period_in_blocks:intoption;max_lookahead_in_blocks:int32option;max_active_outbox_levels:int32option;max_outbox_messages_per_level:intoption;}typet={preserved_cycles:intoption;blocks_per_cycle:int32option;blocks_per_commitment:int32option;nonce_revelation_threshold:int32option;blocks_per_stake_snapshot:int32option;cycles_per_voting_period:int32option;hard_gas_limit_per_operation:Gas.Arith.integraloption;hard_gas_limit_per_block:Gas.Arith.integraloption;proof_of_work_threshold:int64option;tokens_per_roll:Tez.toption;vdf_difficulty:int64option;seed_nonce_revelation_tip:Tez.toption;origination_size:intoption;baking_reward_fixed_portion:Tez.toption;baking_reward_bonus_per_slot:Tez.toption;endorsing_reward_per_slot:Tez.toption;cost_per_byte:Tez.toption;hard_storage_limit_per_operation:Z.toption;quorum_min:int32option;quorum_max:int32option;min_proposal_quorum:int32option;liquidity_baking_subsidy:Tez.toption;liquidity_baking_sunset_level:int32option;liquidity_baking_toggle_ema_threshold:int32option;max_operations_time_to_live:intoption;minimal_block_delay:Period.toption;delay_increment_per_round:Period.toption;minimal_participation_ratio:Ratio.toption;consensus_committee_size:intoption;consensus_threshold:intoption;max_slashing_period:intoption;frozen_deposits_percentage:intoption;double_baking_punishment:Tez.toption;ratio_of_frozen_deposits_slashed_per_double_endorsement:Ratio.toption;testnet_dictator:Tezos_crypto.Signature.V0.Public_key_hash.toptionoption;cache_script_size:intoption;cache_stake_distribution_cycles:intoption;cache_sampler_state_cycles:intoption;tx_rollup:tx_rollup;dal:Constants.Parametric.daloption;sc_rollup:sc_rollup;(* Additional, "bastard" parameters (they are not protocol constants but partially treated the same way). *)chain_id:Chain_id.toption;timestamp:Time.Protocol.toption;initial_seed:State_hash.toptionoption;}(** Shamefully copied from [Constants_parametric_repr.encoding] and adapted ([opt] instead of [req]). *)lettx_rollup_encoding=letopenData_encodinginconv(fun(c:tx_rollup)->((c.enable,c.origination_size,c.hard_size_limit_per_inbox,c.hard_size_limit_per_message,c.max_withdrawals_per_batch,c.commitment_bond,c.finality_period,c.withdraw_period,c.max_inboxes_count,c.max_messages_per_inbox),(c.max_commitments_count,c.cost_per_byte_ema_factor,c.max_ticket_payload_size,c.rejection_max_proof_size,c.sunset_level)))(fun((tx_rollup_enable,tx_rollup_origination_size,tx_rollup_hard_size_limit_per_inbox,tx_rollup_hard_size_limit_per_message,tx_rollup_max_withdrawals_per_batch,tx_rollup_commitment_bond,tx_rollup_finality_period,tx_rollup_withdraw_period,tx_rollup_max_inboxes_count,tx_rollup_max_messages_per_inbox),(tx_rollup_max_commitments_count,tx_rollup_cost_per_byte_ema_factor,tx_rollup_max_ticket_payload_size,tx_rollup_rejection_max_proof_size,tx_rollup_sunset_level))->{enable=tx_rollup_enable;origination_size=tx_rollup_origination_size;hard_size_limit_per_inbox=tx_rollup_hard_size_limit_per_inbox;hard_size_limit_per_message=tx_rollup_hard_size_limit_per_message;max_withdrawals_per_batch=tx_rollup_max_withdrawals_per_batch;commitment_bond=tx_rollup_commitment_bond;finality_period=tx_rollup_finality_period;withdraw_period=tx_rollup_withdraw_period;max_inboxes_count=tx_rollup_max_inboxes_count;max_messages_per_inbox=tx_rollup_max_messages_per_inbox;max_commitments_count=tx_rollup_max_commitments_count;cost_per_byte_ema_factor=tx_rollup_cost_per_byte_ema_factor;max_ticket_payload_size=tx_rollup_max_ticket_payload_size;rejection_max_proof_size=tx_rollup_rejection_max_proof_size;sunset_level=tx_rollup_sunset_level;})(merge_objs(obj10(opt"tx_rollup_enable"bool)(opt"tx_rollup_origination_size"int31)(opt"tx_rollup_hard_size_limit_per_inbox"int31)(opt"tx_rollup_hard_size_limit_per_message"int31)(opt"tx_rollup_max_withdrawals_per_batch"int31)(opt"tx_rollup_commitment_bond"Tez.encoding)(opt"tx_rollup_finality_period"int31)(opt"tx_rollup_withdraw_period"int31)(opt"tx_rollup_max_inboxes_count"int31)(opt"tx_rollup_max_messages_per_inbox"int31))(obj5(opt"tx_rollup_max_commitments_count"int31)(opt"tx_rollup_cost_per_byte_ema_factor"int31)(opt"tx_rollup_max_ticket_payload_size"int31)(opt"tx_rollup_rejection_max_proof_size"int31)(opt"tx_rollup_sunset_level"int32)))letsc_rollup_encoding=letopenData_encodinginconv(fun(c:sc_rollup)->(c.enable,c.origination_size,c.challenge_window_in_blocks,c.max_available_messages,c.stake_amount,c.commitment_period_in_blocks,c.max_lookahead_in_blocks,c.max_active_outbox_levels,c.max_outbox_messages_per_level))(fun(sc_rollup_enable,sc_rollup_origination_size,sc_rollup_challenge_window_in_blocks,sc_rollup_max_available_messages,sc_rollup_stake_amount,sc_rollup_commitment_period_in_blocks,sc_rollup_max_lookahead_in_blocks,sc_rollup_max_active_outbox_levels,sc_rollup_max_outbox_messages_per_level)->{enable=sc_rollup_enable;origination_size=sc_rollup_origination_size;challenge_window_in_blocks=sc_rollup_challenge_window_in_blocks;max_available_messages=sc_rollup_max_available_messages;stake_amount=sc_rollup_stake_amount;commitment_period_in_blocks=sc_rollup_commitment_period_in_blocks;max_lookahead_in_blocks=sc_rollup_max_lookahead_in_blocks;max_active_outbox_levels=sc_rollup_max_active_outbox_levels;max_outbox_messages_per_level=sc_rollup_max_outbox_messages_per_level;})(obj9(opt"sc_rollup_enable"bool)(opt"sc_rollup_origination_size"int31)(opt"sc_rollup_challenge_window_in_blocks"int31)(opt"sc_rollup_max_available_messages"int31)(opt"sc_rollup_stake_amount"Tez.encoding)(opt"sc_rollup_commitment_period_in_blocks"int31)(opt"sc_rollup_max_lookahead_in_blocks"int32)(opt"sc_rollup_max_active_outbox_levels"int32)(opt"sc_rollup_max_outbox_messages_per_level"int31))letencoding=letopenData_encodinginconv(func->((c.preserved_cycles,c.blocks_per_cycle,c.blocks_per_commitment,c.nonce_revelation_threshold,c.blocks_per_stake_snapshot,c.cycles_per_voting_period,c.hard_gas_limit_per_operation,c.hard_gas_limit_per_block,c.proof_of_work_threshold,c.tokens_per_roll),((c.vdf_difficulty,c.seed_nonce_revelation_tip,c.origination_size,c.baking_reward_fixed_portion,c.baking_reward_bonus_per_slot,c.endorsing_reward_per_slot,c.cost_per_byte,c.hard_storage_limit_per_operation,c.quorum_min),((c.quorum_max,c.min_proposal_quorum,c.liquidity_baking_subsidy,c.liquidity_baking_sunset_level,c.liquidity_baking_toggle_ema_threshold,c.max_operations_time_to_live,c.minimal_block_delay,c.delay_increment_per_round,c.consensus_committee_size,c.consensus_threshold),((c.minimal_participation_ratio,c.max_slashing_period,c.frozen_deposits_percentage,c.double_baking_punishment,c.ratio_of_frozen_deposits_slashed_per_double_endorsement,c.testnet_dictator,c.chain_id,c.timestamp,c.initial_seed),((c.cache_script_size,c.cache_stake_distribution_cycles,c.cache_sampler_state_cycles),(c.tx_rollup,(c.dal,c.sc_rollup))))))))(fun((preserved_cycles,blocks_per_cycle,blocks_per_commitment,nonce_revelation_threshold,blocks_per_stake_snapshot,cycles_per_voting_period,hard_gas_limit_per_operation,hard_gas_limit_per_block,proof_of_work_threshold,tokens_per_roll),((vdf_difficulty,seed_nonce_revelation_tip,origination_size,baking_reward_fixed_portion,baking_reward_bonus_per_slot,endorsing_reward_per_slot,cost_per_byte,hard_storage_limit_per_operation,quorum_min),((quorum_max,min_proposal_quorum,liquidity_baking_subsidy,liquidity_baking_sunset_level,liquidity_baking_toggle_ema_threshold,max_operations_time_to_live,minimal_block_delay,delay_increment_per_round,consensus_committee_size,consensus_threshold),((minimal_participation_ratio,max_slashing_period,frozen_deposits_percentage,double_baking_punishment,ratio_of_frozen_deposits_slashed_per_double_endorsement,testnet_dictator,chain_id,timestamp,initial_seed),((cache_script_size,cache_stake_distribution_cycles,cache_sampler_state_cycles),(tx_rollup,(dal,sc_rollup)))))))->{preserved_cycles;blocks_per_cycle;blocks_per_commitment;nonce_revelation_threshold;blocks_per_stake_snapshot;cycles_per_voting_period;hard_gas_limit_per_operation;hard_gas_limit_per_block;proof_of_work_threshold;tokens_per_roll;vdf_difficulty;seed_nonce_revelation_tip;origination_size;baking_reward_fixed_portion;baking_reward_bonus_per_slot;endorsing_reward_per_slot;cost_per_byte;hard_storage_limit_per_operation;quorum_min;quorum_max;min_proposal_quorum;liquidity_baking_subsidy;liquidity_baking_sunset_level;liquidity_baking_toggle_ema_threshold;max_operations_time_to_live;minimal_block_delay;delay_increment_per_round;minimal_participation_ratio;max_slashing_period;consensus_committee_size;consensus_threshold;frozen_deposits_percentage;double_baking_punishment;ratio_of_frozen_deposits_slashed_per_double_endorsement;testnet_dictator;cache_script_size;cache_stake_distribution_cycles;cache_sampler_state_cycles;tx_rollup;dal;sc_rollup;chain_id;timestamp;initial_seed;})(merge_objs(obj10(opt"preserved_cycles"uint8)(opt"blocks_per_cycle"int32)(opt"blocks_per_commitment"int32)(opt"nonce_revelation_threshold"int32)(opt"blocks_per_stake_snapshot"int32)(opt"cycles_per_voting_period"int32)(opt"hard_gas_limit_per_operation"Gas.Arith.z_integral_encoding)(opt"hard_gas_limit_per_block"Gas.Arith.z_integral_encoding)(opt"proof_of_work_threshold"int64)(opt"tokens_per_roll"Tez.encoding))(merge_objs(obj9(opt"vdf_difficulty"int64)(opt"seed_nonce_revelation_tip"Tez.encoding)(opt"origination_size"int31)(opt"baking_reward_fixed_portion"Tez.encoding)(opt"baking_reward_bonus_per_slot"Tez.encoding)(opt"endorsing_reward_per_slot"Tez.encoding)(opt"cost_per_byte"Tez.encoding)(opt"hard_storage_limit_per_operation"z)(opt"quorum_min"int32))(merge_objs(obj10(opt"quorum_max"int32)(opt"min_proposal_quorum"int32)(opt"liquidity_baking_subsidy"Tez.encoding)(opt"liquidity_baking_sunset_level"int32)(opt"liquidity_baking_toggle_ema_threshold"int32)(opt"max_operations_time_to_live"int16)(opt"minimal_block_delay"Period.encoding)(opt"delay_increment_per_round"Period.encoding)(opt"consensus_committee_size"int31)(opt"consensus_threshold"int31))(merge_objs(obj9(opt"minimal_participation_ratio"Ratio.encoding)(opt"max_slashing_period"int31)(opt"frozen_deposits_percentage"int31)(opt"double_baking_punishment"Tez.encoding)(opt"ratio_of_frozen_deposits_slashed_per_double_endorsement"Ratio.encoding)(opt"testnet_dictator"(optionTezos_crypto.Signature.V0.Public_key_hash.encoding))(opt"chain_id"Chain_id.encoding)(opt"initial_timestamp"Time.Protocol.encoding)(opt"initial_seed"(optionState_hash.encoding)))(merge_objs(obj3(opt"cache_script_size"int31)(opt"cache_stake_distribution_cycles"int8)(opt"cache_sampler_state_cycles"int8))(merge_objstx_rollup_encoding(merge_objs(obj1(opt"dal_parametric"Constants.Parametric.dal_encoding))sc_rollup_encoding)))))))letdefault_value(cctxt:Tezos_client_base.Client_context.full):ttzresultLwt.t=letcpctxt=newProtocol_client_context.wrap_fullcctxtinProtocol.Constants_services.allcpctxt(cpctxt#chain,cpctxt#block)>>=?fun{parametric;_}->letto_chain_id_opt=function`Hashc->Somec|_->NoneinShell_services.Blocks.Header.shell_headercpctxt~chain:cpctxt#chain~block:cpctxt#block()>>=?funheader->return{preserved_cycles=Someparametric.preserved_cycles;blocks_per_cycle=Someparametric.blocks_per_cycle;blocks_per_commitment=Someparametric.blocks_per_commitment;nonce_revelation_threshold=Someparametric.nonce_revelation_threshold;blocks_per_stake_snapshot=Someparametric.blocks_per_stake_snapshot;cycles_per_voting_period=Someparametric.cycles_per_voting_period;hard_gas_limit_per_operation=Someparametric.hard_gas_limit_per_operation;hard_gas_limit_per_block=Someparametric.hard_gas_limit_per_block;proof_of_work_threshold=Someparametric.proof_of_work_threshold;tokens_per_roll=Someparametric.tokens_per_roll;vdf_difficulty=Someparametric.vdf_difficulty;seed_nonce_revelation_tip=Someparametric.seed_nonce_revelation_tip;origination_size=Someparametric.origination_size;baking_reward_fixed_portion=Someparametric.baking_reward_fixed_portion;baking_reward_bonus_per_slot=Someparametric.baking_reward_bonus_per_slot;endorsing_reward_per_slot=Someparametric.endorsing_reward_per_slot;cost_per_byte=Someparametric.cost_per_byte;hard_storage_limit_per_operation=Someparametric.hard_storage_limit_per_operation;quorum_min=Someparametric.quorum_min;quorum_max=Someparametric.quorum_max;min_proposal_quorum=Someparametric.min_proposal_quorum;liquidity_baking_subsidy=Someparametric.liquidity_baking_subsidy;liquidity_baking_sunset_level=Someparametric.liquidity_baking_sunset_level;liquidity_baking_toggle_ema_threshold=Someparametric.liquidity_baking_toggle_ema_threshold;max_operations_time_to_live=Someparametric.max_operations_time_to_live;minimal_block_delay=Someparametric.minimal_block_delay;delay_increment_per_round=Someparametric.delay_increment_per_round;minimal_participation_ratio=Someparametric.minimal_participation_ratio;consensus_committee_size=Someparametric.consensus_committee_size;(* mockup mode does not support endorsing commands *)consensus_threshold=Some0;max_slashing_period=Someparametric.max_slashing_period;frozen_deposits_percentage=Someparametric.frozen_deposits_percentage;double_baking_punishment=Someparametric.double_baking_punishment;ratio_of_frozen_deposits_slashed_per_double_endorsement=Someparametric.ratio_of_frozen_deposits_slashed_per_double_endorsement;testnet_dictator=Someparametric.testnet_dictator;cache_script_size=Someparametric.cache_script_size;cache_stake_distribution_cycles=Someparametric.cache_stake_distribution_cycles;cache_sampler_state_cycles=Someparametric.cache_sampler_state_cycles;sc_rollup={enable=Someparametric.sc_rollup.enable;origination_size=Someparametric.sc_rollup.origination_size;challenge_window_in_blocks=Someparametric.sc_rollup.challenge_window_in_blocks;max_available_messages=Someparametric.sc_rollup.max_available_messages;stake_amount=Someparametric.sc_rollup.stake_amount;commitment_period_in_blocks=Someparametric.sc_rollup.commitment_period_in_blocks;max_lookahead_in_blocks=Someparametric.sc_rollup.max_lookahead_in_blocks;max_active_outbox_levels=Someparametric.sc_rollup.max_active_outbox_levels;max_outbox_messages_per_level=Someparametric.sc_rollup.max_outbox_messages_per_level;};dal=Someparametric.dal;tx_rollup={enable=Someparametric.tx_rollup.enable;origination_size=Someparametric.tx_rollup.origination_size;hard_size_limit_per_inbox=Someparametric.tx_rollup.hard_size_limit_per_inbox;hard_size_limit_per_message=Someparametric.tx_rollup.hard_size_limit_per_message;max_withdrawals_per_batch=Someparametric.tx_rollup.max_withdrawals_per_batch;commitment_bond=Someparametric.tx_rollup.commitment_bond;finality_period=Someparametric.tx_rollup.finality_period;max_inboxes_count=Someparametric.tx_rollup.max_inboxes_count;withdraw_period=Someparametric.tx_rollup.withdraw_period;max_messages_per_inbox=Someparametric.tx_rollup.max_messages_per_inbox;max_commitments_count=Someparametric.tx_rollup.max_commitments_count;cost_per_byte_ema_factor=Someparametric.tx_rollup.cost_per_byte_ema_factor;max_ticket_payload_size=Someparametric.tx_rollup.max_ticket_payload_size;rejection_max_proof_size=Someparametric.tx_rollup.rejection_max_proof_size;sunset_level=Someparametric.tx_rollup.sunset_level;};(* Bastard additional parameters. *)chain_id=to_chain_id_optcpctxt#chain;timestamp=Someheader.timestamp;initial_seed=Someparametric.initial_seed;}letno_overrides:t={preserved_cycles=None;blocks_per_cycle=None;blocks_per_commitment=None;nonce_revelation_threshold=None;blocks_per_stake_snapshot=None;cycles_per_voting_period=None;hard_gas_limit_per_operation=None;hard_gas_limit_per_block=None;proof_of_work_threshold=None;tokens_per_roll=None;vdf_difficulty=None;seed_nonce_revelation_tip=None;origination_size=None;baking_reward_fixed_portion=None;baking_reward_bonus_per_slot=None;endorsing_reward_per_slot=None;cost_per_byte=None;hard_storage_limit_per_operation=None;quorum_min=None;quorum_max=None;min_proposal_quorum=None;liquidity_baking_subsidy=None;liquidity_baking_sunset_level=None;liquidity_baking_toggle_ema_threshold=None;max_operations_time_to_live=None;minimal_block_delay=None;delay_increment_per_round=None;minimal_participation_ratio=None;consensus_committee_size=None;(* Let consensus threshold be overridable for Tenderbake mockup
simulator tests. *)consensus_threshold=None;max_slashing_period=None;frozen_deposits_percentage=None;double_baking_punishment=None;ratio_of_frozen_deposits_slashed_per_double_endorsement=None;testnet_dictator=None;cache_script_size=None;cache_stake_distribution_cycles=None;cache_sampler_state_cycles=None;sc_rollup={enable=None;origination_size=None;challenge_window_in_blocks=None;max_available_messages=None;stake_amount=None;commitment_period_in_blocks=None;max_lookahead_in_blocks=None;max_active_outbox_levels=None;max_outbox_messages_per_level=None;};dal=None;tx_rollup={enable=None;origination_size=None;hard_size_limit_per_inbox=None;hard_size_limit_per_message=None;max_withdrawals_per_batch=None;commitment_bond=None;finality_period=None;max_inboxes_count=None;withdraw_period=None;max_messages_per_inbox=None;max_commitments_count=None;cost_per_byte_ema_factor=None;max_ticket_payload_size=None;rejection_max_proof_size=None;sunset_level=None;};chain_id=None;timestamp=None;initial_seed=None;}(** Existential wrapper to support heterogeneous lists/maps. *)typefield=|O:{name:string;override_value:'aoption;pp:Format.formatter->'a->unit;}->fieldletfield_ppppf(O{name;override_value;pp;_})=matchoverride_valuewith|None->()|Somevalue->Format.fprintfppf"@[<h>%s: %a@]"nameppvalueletapply_overrides(cctxt:Tezos_client_base.Client_context.printer)(o:t)(c:Constants.Parametric.t):Constants.Parametric.ttzresultLwt.t=letopenFormatinletpp_print_int32ppfi=fprintfppf"%li"iinletpp_print_int64ppfi=fprintfppf"%Li"iinletfields:fieldlist=[O{name="preserved_cycles";override_value=o.preserved_cycles;pp=pp_print_int;};O{name="blocks_per_cycle";override_value=o.blocks_per_cycle;pp=pp_print_int32;};O{name="blocks_per_commitment";override_value=o.blocks_per_commitment;pp=pp_print_int32;};O{name="nonce_revelation_threshold";override_value=o.nonce_revelation_threshold;pp=pp_print_int32;};O{name="blocks_per_stake_snapshot";override_value=o.blocks_per_stake_snapshot;pp=pp_print_int32;};O{name="cycles_per_voting_period";override_value=o.cycles_per_voting_period;pp=pp_print_int32;};O{name="hard_gas_limit_per_operation";override_value=o.hard_gas_limit_per_operation;pp=Gas.Arith.pp_integral;};O{name="hard_gas_limit_per_block";override_value=o.hard_gas_limit_per_block;pp=Gas.Arith.pp_integral;};O{name="proof_of_work_threshold";override_value=o.proof_of_work_threshold;pp=pp_print_int64;};O{name="tokens_per_roll";override_value=o.tokens_per_roll;pp=Tez.pp;};O{name="vdf_difficulty";override_value=o.vdf_difficulty;pp=pp_print_int64;};O{name="seed_nonce_revelation_tip";override_value=o.seed_nonce_revelation_tip;pp=Tez.pp;};O{name="origination_size";override_value=o.origination_size;pp=pp_print_int;};O{name="baking_reward_fixed_portion";override_value=o.baking_reward_fixed_portion;pp=Tez.pp;};O{name="baking_reward_bonus_per_slot";override_value=o.baking_reward_bonus_per_slot;pp=Tez.pp;};O{name="endorsing_reward_per_slot";override_value=o.endorsing_reward_per_slot;pp=Tez.pp;};O{name="cost_per_byte";override_value=o.cost_per_byte;pp=Tez.pp;};O{name="hard_storage_limit_per_operation";override_value=o.hard_storage_limit_per_operation;pp=Z.pp_print;};O{name="quorum_min";override_value=o.quorum_min;pp=pp_print_int32;};O{name="quorum_max";override_value=o.quorum_max;pp=pp_print_int32;};O{name="min_proposal_quorum";override_value=o.min_proposal_quorum;pp=pp_print_int32;};O{name="liquidity_baking_subsidy";override_value=o.liquidity_baking_subsidy;pp=Tez.pp;};O{name="liquidity_baking_sunset_level";override_value=o.liquidity_baking_sunset_level;pp=pp_print_int32;};O{name="liquidity_baking_toggle_ema_threshold";override_value=o.liquidity_baking_toggle_ema_threshold;pp=pp_print_int32;};O{name="minimal_block_delay";override_value=o.minimal_block_delay;pp=Period.pp;};O{name="delay_increment_per_round";override_value=o.delay_increment_per_round;pp=Period.pp;};O{name="minimal_participation_ratio";override_value=o.minimal_participation_ratio;pp=Ratio.pp;};O{name="consensus_committee_size";override_value=o.consensus_committee_size;pp=pp_print_int;};O{name="consensus_threshold";override_value=o.consensus_threshold;pp=pp_print_int;};O{name="max_slashing_period";override_value=o.max_slashing_period;pp=pp_print_int;};O{name="frozen_deposits_percentage";override_value=o.frozen_deposits_percentage;pp=pp_print_int;};O{name="double_baking_punishment";override_value=o.double_baking_punishment;pp=Tez.pp;};O{name="ratio_of_frozen_deposits_slashed_per_double_endorsement";override_value=o.ratio_of_frozen_deposits_slashed_per_double_endorsement;pp=Ratio.pp;};O{name="sc_rollup_enable";override_value=o.sc_rollup.enable;pp=pp_print_bool;};O{name="sc_rollup_origination_size";override_value=o.sc_rollup.origination_size;pp=pp_print_int;};O{name="sc_rollup_challenge_window_in_blocks";override_value=o.sc_rollup.challenge_window_in_blocks;pp=pp_print_int;};O{name="chain_id";override_value=o.chain_id;pp=Chain_id.pp};O{name="timestamp";override_value=o.timestamp;pp=Time.Protocol.pp_hum;};O{name="tx_rollup_enable";override_value=o.tx_rollup.enable;pp=pp_print_bool;};O{name="tx_rollup_origination_size";override_value=o.tx_rollup.origination_size;pp=pp_print_int;};O{name="tx_rollup_hard_size_limit_per_inbox";override_value=o.tx_rollup.hard_size_limit_per_inbox;pp=pp_print_int;};O{name="tx_rollup_hard_size_limit_per_message";override_value=o.tx_rollup.hard_size_limit_per_message;pp=pp_print_int;};O{name="tx_rollup_commitment_bond";override_value=o.tx_rollup.commitment_bond;pp=Tez.pp;};O{name="tx_rollup_cost_per_byte_ema_factor";override_value=o.tx_rollup.cost_per_byte_ema_factor;pp=pp_print_int;};O{name="tx_rollup_rejection_max_proof_size";override_value=o.tx_rollup.rejection_max_proof_size;pp=pp_print_int;};O{name="tx_rollup_sunset_level";override_value=o.tx_rollup.sunset_level;pp=pp_print_int32;};]inletfields_with_override=fields|>List.filter(fun(O{override_value;_})->Option.is_someoverride_value)in(iffields_with_override<>[]thencctxt#message"@[<v>mockup client uses protocol overrides:@,%a@]@?"(pp_print_listfield_pp)fields_with_overrideelseLwt.return_unit)>>=fun()->return({minimal_block_delay=Option.value~default:c.minimal_block_delayo.minimal_block_delay;delay_increment_per_round=Option.value~default:c.delay_increment_per_roundo.delay_increment_per_round;consensus_committee_size=Option.value~default:c.consensus_committee_sizeo.consensus_committee_size;consensus_threshold=Option.value~default:c.consensus_thresholdo.consensus_threshold;initial_seed=Option.value~default:c.initial_seedo.initial_seed;preserved_cycles=Option.value~default:c.preserved_cycleso.preserved_cycles;blocks_per_cycle=Option.value~default:c.blocks_per_cycleo.blocks_per_cycle;blocks_per_commitment=Option.value~default:c.blocks_per_commitmento.blocks_per_commitment;nonce_revelation_threshold=Option.value~default:c.nonce_revelation_thresholdo.nonce_revelation_threshold;blocks_per_stake_snapshot=Option.value~default:c.blocks_per_stake_snapshoto.blocks_per_stake_snapshot;cycles_per_voting_period=Option.value~default:c.cycles_per_voting_periodo.cycles_per_voting_period;hard_gas_limit_per_operation=Option.value~default:c.hard_gas_limit_per_operationo.hard_gas_limit_per_operation;hard_gas_limit_per_block=Option.value~default:c.hard_gas_limit_per_blocko.hard_gas_limit_per_block;proof_of_work_threshold=Option.value~default:c.proof_of_work_thresholdo.proof_of_work_threshold;tokens_per_roll=Option.value~default:c.tokens_per_rollo.tokens_per_roll;vdf_difficulty=Option.value~default:c.vdf_difficultyo.vdf_difficulty;seed_nonce_revelation_tip=Option.value~default:c.seed_nonce_revelation_tipo.seed_nonce_revelation_tip;origination_size=Option.value~default:c.origination_sizeo.origination_size;baking_reward_fixed_portion=Option.value~default:c.baking_reward_fixed_portiono.baking_reward_fixed_portion;baking_reward_bonus_per_slot=Option.value~default:c.baking_reward_bonus_per_sloto.baking_reward_bonus_per_slot;endorsing_reward_per_slot=Option.value~default:c.endorsing_reward_per_sloto.endorsing_reward_per_slot;cost_per_byte=Option.value~default:c.cost_per_byteo.cost_per_byte;hard_storage_limit_per_operation=Option.value~default:c.hard_storage_limit_per_operationo.hard_storage_limit_per_operation;quorum_min=Option.value~default:c.quorum_mino.quorum_min;quorum_max=Option.value~default:c.quorum_maxo.quorum_max;min_proposal_quorum=Option.value~default:c.min_proposal_quorumo.min_proposal_quorum;liquidity_baking_subsidy=Option.value~default:c.liquidity_baking_subsidyo.liquidity_baking_subsidy;liquidity_baking_sunset_level=Option.value~default:c.liquidity_baking_sunset_levelo.liquidity_baking_sunset_level;liquidity_baking_toggle_ema_threshold=Option.value~default:c.liquidity_baking_toggle_ema_thresholdo.liquidity_baking_toggle_ema_threshold;max_operations_time_to_live=Option.value~default:c.max_operations_time_to_liveo.max_operations_time_to_live;minimal_participation_ratio=Option.value~default:c.minimal_participation_ratioo.minimal_participation_ratio;max_slashing_period=Option.value~default:c.max_slashing_periodo.max_slashing_period;frozen_deposits_percentage=Option.value~default:c.frozen_deposits_percentageo.frozen_deposits_percentage;double_baking_punishment=Option.value~default:c.double_baking_punishmento.double_baking_punishment;ratio_of_frozen_deposits_slashed_per_double_endorsement=Option.value~default:c.ratio_of_frozen_deposits_slashed_per_double_endorsemento.ratio_of_frozen_deposits_slashed_per_double_endorsement;testnet_dictator=Option.value~default:c.testnet_dictatoro.testnet_dictator;(* Notice that the chain_id and the timestamp are not used here
as they are not protocol constants... *)cache_script_size=Option.value~default:c.cache_script_sizeo.cache_script_size;cache_stake_distribution_cycles=Option.value~default:c.cache_stake_distribution_cycleso.cache_stake_distribution_cycles;cache_sampler_state_cycles=Option.value~default:c.cache_sampler_state_cycleso.cache_sampler_state_cycles;sc_rollup={enable=Option.value~default:c.sc_rollup.enableo.sc_rollup.enable;origination_size=Option.value~default:c.sc_rollup.origination_sizeo.sc_rollup.origination_size;challenge_window_in_blocks=Option.value~default:c.sc_rollup.challenge_window_in_blockso.sc_rollup.challenge_window_in_blocks;max_available_messages=Option.value~default:c.sc_rollup.max_available_messageso.sc_rollup.max_available_messages;stake_amount=Option.value~default:c.sc_rollup.stake_amounto.sc_rollup.stake_amount;commitment_period_in_blocks=Option.value~default:c.sc_rollup.commitment_period_in_blockso.sc_rollup.commitment_period_in_blocks;max_lookahead_in_blocks=Option.value~default:c.sc_rollup.max_lookahead_in_blockso.sc_rollup.max_lookahead_in_blocks;max_active_outbox_levels=Option.value~default:c.sc_rollup.max_active_outbox_levelso.sc_rollup.max_active_outbox_levels;max_outbox_messages_per_level=Option.value~default:c.sc_rollup.max_outbox_messages_per_levelo.sc_rollup.max_outbox_messages_per_level;};dal=Option.value~default:c.dalo.dal;tx_rollup={enable=Option.value~default:c.tx_rollup.enableo.tx_rollup.enable;origination_size=Option.value~default:c.tx_rollup.origination_sizeo.tx_rollup.origination_size;hard_size_limit_per_inbox=Option.value~default:c.tx_rollup.hard_size_limit_per_inboxo.tx_rollup.hard_size_limit_per_inbox;hard_size_limit_per_message=Option.value~default:c.tx_rollup.hard_size_limit_per_messageo.tx_rollup.hard_size_limit_per_message;max_withdrawals_per_batch=Option.value~default:c.tx_rollup.max_withdrawals_per_batcho.tx_rollup.max_withdrawals_per_batch;commitment_bond=Option.value~default:c.tx_rollup.commitment_bondo.tx_rollup.commitment_bond;finality_period=Option.value~default:c.tx_rollup.finality_periodo.tx_rollup.finality_period;max_inboxes_count=Option.value~default:c.tx_rollup.max_inboxes_counto.tx_rollup.max_inboxes_count;withdraw_period=Option.value~default:c.tx_rollup.withdraw_periodo.tx_rollup.withdraw_period;max_messages_per_inbox=Option.value~default:c.tx_rollup.max_messages_per_inboxo.tx_rollup.max_messages_per_inbox;max_commitments_count=Option.value~default:c.tx_rollup.max_commitments_counto.tx_rollup.max_commitments_count;cost_per_byte_ema_factor=Option.value~default:c.tx_rollup.cost_per_byte_ema_factoro.tx_rollup.cost_per_byte_ema_factor;max_ticket_payload_size=Option.value~default:c.tx_rollup.max_ticket_payload_sizeo.tx_rollup.max_ticket_payload_size;rejection_max_proof_size=Option.value~default:c.tx_rollup.rejection_max_proof_sizeo.tx_rollup.rejection_max_proof_size;sunset_level=Option.value~default:c.tx_rollup.sunset_levelo.tx_rollup.sunset_level;};}:Constants.Parametric.t)endmoduleParsed_account=structtypet={name:string;sk_uri:Client_keys_v0.sk_uri;amount:Tez.t}letppppfaccount=letopenFormatinletformat_amountppfvalue=fprintfppf"amount:%a"Tez.ppvalueinfprintfppf"@[<v>name:%s@,sk_uri:%s@,%a@]"account.name(Uri.to_string(account.sk_uri:>Uri.t))format_amountaccount.amountletencoding=letopenData_encodinginconv(funp->(p.name,p.sk_uri,p.amount))(fun(name,sk_uri,amount)->{name;sk_uri;amount})(obj3(req"name"string)(req"sk_uri"Client_keys_v0.Secret_key.encoding)(req"amount"Tez.encoding))letto_bootstrap_accountrepr=Client_keys_v0.neuterizerepr.sk_uri>>=?funpk_uri->Client_keys_v0.public_keypk_uri>>=?funpublic_key->letpublic_key_hash=Tezos_crypto.Signature.V0.Public_key.hashpublic_keyinreturnParameters.{public_key_hash;public_key=Somepublic_key;amount=repr.amount;delegate_to=None;}letdefault_to_json(cctxt:Tezos_client_base.Client_context.full):stringtzresultLwt.t=letrpc_context=newProtocol_client_context.wrap_fullcctxtinletwallet=(cctxt:>Client_context.wallet)inletparsed_account_reprs=ref[]inleterrors=ref[]inClient_keys_v0.list_keyswallet>>=?funall_keys->List.iter_s(function|name,pkh,_pk_opt,Somesk_uri->(letcontract=Contract.ImplicitpkhinClient_proto_context.get_balancerpc_context~chain:cctxt#chain~block:cctxt#blockcontract>>=funtz_balance->matchtz_balancewith|Okbalance->(lettez_repr=Tez.of_mutez@@Tez.to_mutezbalanceinmatchtez_reprwith|None->(* we're reading the wallet, it's content MUST be valid *)assertfalse|Someamount->parsed_account_reprs:={name;sk_uri;amount}::!parsed_account_reprs;Lwt.return_unit)|Errorerr->errors:=err::!errors;Lwt.return_unit)|_->Lwt.return_unit)all_keys>>=fun()->match!errorswith|[]->letjson=Data_encoding.Json.construct(Data_encoding.listencoding)!parsed_account_reprsinreturn@@Data_encoding.Json.to_stringjson|errs->Lwt.return_error@@List.concaterrsendmoduleBootstrap_account=structletencoding:Parameters.bootstrap_accountData_encoding.t=letopenData_encodinginletopenParametersinunion[case~title:"No delegate"(Tag0)(obj3(req"public_key_hash"Tezos_crypto.Signature.V0.Public_key_hash.encoding)(opt"public_key"Tezos_crypto.Signature.V0.Public_key.encoding)(req"amount"Tez.encoding))(function|{public_key_hash;public_key;amount;delegate_to=None}->Some(public_key_hash,public_key,amount)|_->None)(fun(public_key_hash,public_key,amount)->{public_key_hash;public_key;amount;delegate_to=None});case~title:"With delegate"(Tag1)(obj4(req"public_key_hash"Tezos_crypto.Signature.V0.Public_key_hash.encoding)(opt"public_key"Tezos_crypto.Signature.V0.Public_key.encoding)(req"amount"Tez.encoding)(req"delegate_to"Tezos_crypto.Signature.V0.Public_key_hash.encoding))(function|{public_key_hash;public_key;amount;delegate_to=Somedelegate}->Some(public_key_hash,public_key,amount,delegate)|_->None)(fun(public_key_hash,public_key,amount,delegate)->{public_key_hash;public_key;amount;delegate_to=Somedelegate});]endmoduleBootstrap_contract=structletencoding:Parameters.bootstrap_contractData_encoding.t=letopenData_encodinginletopenParametersinconv(fun{delegate;amount;script}->(delegate,amount,script))(fun(delegate,amount,script)->{delegate;amount;script})(obj3(opt"delegate"Tezos_crypto.Signature.V0.Public_key_hash.encoding)(req"amount"Tez.encoding)(req"script"Script.encoding))endmoduleProtocol_parameters=structtypet={initial_timestamp:Time.Protocol.t;bootstrap_accounts:Parameters.bootstrap_accountlist;bootstrap_contracts:Parameters.bootstrap_contractlist;constants:Constants.Parametric.t;}letencoding:tData_encoding.t=letopenData_encodinginconv(funp->(p.initial_timestamp,p.bootstrap_accounts,p.bootstrap_contracts,p.constants))(fun(initial_timestamp,bootstrap_accounts,bootstrap_contracts,constants)->{initial_timestamp;bootstrap_accounts;bootstrap_contracts;constants})(obj4(req"initial_timestamp"Time.Protocol.encoding)(req"bootstrap_accounts"(listBootstrap_account.encoding))(req"bootstrap_contracts"(listBootstrap_contract.encoding))(req"constants"Constants.Parametric.encoding))letdefault_value:t=letparameters=Default_parameters.parameters_of_constantsDefault_parameters.constants_sandboxin{initial_timestamp=Time.Protocol.epoch;bootstrap_accounts=parameters.bootstrap_accounts;bootstrap_contracts=parameters.bootstrap_contracts;constants=parameters.constants;}end(* This encoding extends [Protocol_constants_overrides.encoding] to allow
reading json files as produced by lib_parameters. Sadly, this require
copying partially [bootstrap_account_encoding], which is not exposed
in parameters_repr.ml. *)letlib_parameters_json_encoding=letbootstrap_account_encoding=letopenData_encodinginconv(function|{Parameters.public_key;amount;_}->(matchpublic_keywith|None->assertfalse|Somepk->(pk,amount)))(fun(pk,amount)->{Parameters.public_key=Somepk;public_key_hash=Tezos_crypto.Signature.V0.Public_key.hashpk;amount;delegate_to=None;})(tup2Tezos_crypto.Signature.V0.Public_key.encodingTez.encoding)inData_encoding.(merge_objs(obj2(opt"bootstrap_accounts"(listbootstrap_account_encoding))(opt"commitments"(listCommitment.encoding)))Protocol_constants_overrides.encoding)(* ------------------------------------------------------------------------- *)(* Blocks *)typeblock={hash:Block_hash.t;header:Block_header.t;operations:Operation.packedlist;context:Environment.Context.t;}moduleForge=structletdefault_proof_of_work_nonce=Bytes.createConstants.proof_of_work_nonce_sizeletmake_shell~level~predecessor~timestamp~fitness~operations_hash=Tezos_base.Block_header.{level;predecessor;timestamp;fitness;operations_hash;proto_level=0;validation_passes=0;context=Context_hash.zero;}end(* ------------------------------------------------------------------------- *)(* RPC context *)letgenesis_block_hash=Block_hash.of_b58check_exn"BLockGenesisGenesisGenesisGenesisGenesisCCCCCeZiLHU"letendorsement_branch_data_encoding=letopenData_encodinginconv(fun(block_hash,block_payload_hash)->(block_hash,block_payload_hash))(fun(block_hash,block_payload_hash)->(block_hash,block_payload_hash))(obj2(req"block_hash"Block_hash.encoding)(req"block_payload_hash"Protocol.Block_payload_hash.encoding))letinitial_contextchain_id(header:Block_header.shell_header)({bootstrap_accounts;bootstrap_contracts;constants;_}:Protocol_parameters.t)=letparameters=Default_parameters.parameters_of_constants~bootstrap_accounts~bootstrap_contracts~commitments:[]constantsinletjson=Default_parameters.json_of_parametersparametersinletproto_params=Data_encoding.Binary.to_bytes_exnData_encoding.jsonjsoninTezos_protocol_environment.Context.(letempty=Tezos_protocol_environment.Memory_context.emptyinaddempty["version"](Bytes.of_string"genesis")>>=functxt->addctxt["protocol_parameters"]proto_params)>>=functxt->Environment.Updater.activatectxtProtocol.hash>>=functxt->Protocol.Main.initchain_idctxtheader>|=Environment.wrap_tzresult>>=?fun{context;_}->let({timestamp=predecessor_timestamp;level=predecessor_level;fitness=predecessor_fitness;_;}:Block_header.shell_header)=headerinlettimestamp=Time.System.to_protocol(Time.System.now())in(*
We need to forge a predecessor hash to pass it to [value_of_key].
This initial context is used for RPC, hence this piece of
information is not important and does not have to be meaningful
*)letpredecessor=Tezos_base.Block_header.hash{shell=header;protocol_data=Bytes.empty}inProtocol.Main.value_of_key~chain_id~predecessor_context:context~predecessor_timestamp~predecessor_level~predecessor_fitness~predecessor~timestamp>|=Environment.wrap_tzresult>>=?funvalue_of_key->(*
In the mockup mode, reactivity is important and there are
no constraints to be consistent with other nodes. For this
reason, the mockup mode loads the cache lazily.
See {!Environment_context.source_of_cache}.
*)Tezos_protocol_environment.Context.load_cachepredecessorcontext`Lazy(funkey->value_of_keykey>|=Environment.wrap_tzresult)>>=?funcontext->returncontextletmem_init:cctxt:Tezos_client_base.Client_context.printer->parameters:Protocol_parameters.t->constants_overrides_json:Data_encoding.jsonoption->bootstrap_accounts_json:Data_encoding.jsonoption->Tezos_mockup_registration.Registration.mockup_contexttzresultLwt.t=fun~cctxt~parameters~constants_overrides_json~bootstrap_accounts_json->lethash=genesis_block_hashin(* Need to read this Json file before since timestamp modification may be in
there *)(matchconstants_overrides_jsonwith|None->returnProtocol_constants_overrides.no_overrides|Somejson->(matchData_encoding.Json.destructlib_parameters_json_encodingjsonwith|_,x->returnx|exceptionerror->failwith"cannot read protocol constants overrides: %a"(Data_encoding.Json.print_error?print_unknown:None)error))>>=?funprotocol_overrides->letdefault=parameters.initial_timestampinlettimestamp=Option.value~defaultprotocol_overrides.timestampin(ifnot@@Time.Protocol.equaldefaulttimestampthencctxt#message"@[<h>initial_timestamp: %a@]"Time.Protocol.pp_humtimestampelseLwt.return_unit)>>=fun()->letfitness=Protocol.Alpha_context.(Fitness.create_without_locked_round~level:Raw_level.root~predecessor_round:Round.zero~round:Round.zero|>Fitness.to_raw)inletshell_header=Forge.make_shell~level:0l~predecessor:hash~timestamp~fitness~operations_hash:Operation_list_list_hash.zeroinProtocol_constants_overrides.apply_overrides(cctxt:>Tezos_client_base.Client_context.printer)protocol_overridesparameters.constants>>=?funprotocol_custom->(matchbootstrap_accounts_jsonwith|None->returnNone|Somejson->(matchData_encoding.Json.destruct(Data_encoding.listParsed_account.encoding)jsonwith|accounts->cctxt#message"@[<h>mockup client uses custom bootstrap accounts:@]">>=fun()->letopenFormatincctxt#message"@[%a@]"(pp_print_list~pp_sep:(funppf()->fprintfppf";@ ")Parsed_account.pp)accounts>>=fun()->List.map_esParsed_account.to_bootstrap_accountaccounts>>=?funbootstrap_accounts->return(Somebootstrap_accounts)|exceptionerror->failwith"cannot read definitions of bootstrap accounts: %a"(Data_encoding.Json.print_error?print_unknown:None)error))>>=?funbootstrap_accounts_custom->letchain_id=Tezos_mockup_registration.Mockup_args.Chain_id.choose~from_config_file:protocol_overrides.chain_idininitial_contextchain_idshell_header{parameterswithbootstrap_accounts=Option.value~default:parameters.bootstrap_accountsbootstrap_accounts_custom;constants=protocol_custom;}>>=?funcontext->letchain_id=Tezos_mockup_registration.Mockup_args.Chain_id.choose~from_config_file:protocol_overrides.chain_idinletprotocol_data=letpayload_hash=Protocol.Block_payload_hash.hash_bytes[Block_hash.to_byteshash;Operation_list_hash.(to_bytes@@compute[])]inletopenProtocol.Alpha_context.Block_headerinlet_,_,sk=Tezos_crypto.Signature.V0.generate_key()inletproof_of_work_nonce=Bytes.createProtocol.Alpha_context.Constants.proof_of_work_nonce_sizeinletcontents={payload_round=Round.zero;payload_hash;seed_nonce_hash=None;proof_of_work_nonce;(* following Baking_configuration.toggle_votes in lib_delegate *)liquidity_baking_toggle_vote=Liquidity_baking.LB_pass;}inletunsigned_bytes=Data_encoding.Binary.to_bytes_exnBlock_header.unsigned_encoding(shell_header,contents)inletsignature=Tezos_crypto.Signature.V0.sign~watermark:Protocol.Alpha_context.Block_header.(to_watermark(Block_headerchain_id))skunsigned_bytesinData_encoding.Binary.to_bytes_exnProtocol.block_header_data_encoding{contents;signature}inreturnTezos_mockup_registration.Registration_intf.{chain=chain_id;rpc_context=Tezos_protocol_environment.{block_hash=hash;block_header=shell_header;context};protocol_data;}letmigrate:Tezos_mockup_registration.Registration.mockup_context->Tezos_mockup_registration.Registration.mockup_contexttzresultLwt.t=fun{chain;rpc_context;protocol_data}->letTezos_protocol_environment.{block_hash;context;block_header}=rpc_contextinEnvironment.Updater.activatecontextProtocol.hash>>=funcontext->Protocol.Main.initchaincontextblock_header>|=Environment.wrap_tzresult>>=?fun{context;_}->letrpc_context=Tezos_protocol_environment.{block_hash;block_header;context}inreturnTezos_mockup_registration.Registration_intf.{chain;rpc_context;protocol_data}(* ------------------------------------------------------------------------- *)(* Register mockup *)moduleM:Tezos_mockup_registration.Registration_intf.MOCKUPwithmoduleProtocol=Protocol_client_context.Lifted_protocol=structtypeparameters=Protocol_parameters.ttypeprotocol_constants=Protocol_constants_overrides.tletparameters_encoding=Protocol_parameters.encodingletdefault_parameters=Protocol_parameters.default_valueletprotocol_constants_encoding=Protocol_constants_overrides.encodingletdefault_protocol_constants=Protocol_constants_overrides.default_valueletdefault_bootstrap_accounts=Parsed_account.default_to_jsonletprotocol_hash=Protocol.hashmoduleProtocol=Protocol_client_context.Lifted_protocolmoduleBlock_services=Protocol_client_context.Alpha_block_servicesletdirectory=Plugin.RPC.rpc_servicesletinit~cctxt~parameters~constants_overrides_json~bootstrap_accounts_json=mem_init~cctxt:(cctxt:>Tezos_client_base.Client_context.printer)~parameters~constants_overrides_json~bootstrap_accounts_jsonletmigrate=migrateendlet()=Tezos_mockup_registration.Registration.register_mockup_environment(moduleM)