fix(tests): omit concrete outputs from rewritten expectations

synthesizer/tests/expectations/vm/execute_and_finalize/arrays_in_finalize.out

@@ -3,16 +3,3 @@ outputs:
 - verified: true
   speculate: the execution was accepted
   add_next_block: succeeded.
-additional:
-- execute:
-    arrays_in_finalize.aleo/test_arrays:
-      outputs:
-      - '{"type":"public","id":"998749199777167634896325369380527639704326551183747142782934531339144925530field","value":"[\n  [\n    true,\n    false,\n    true,\n    false\n  ]\n]"}'
-      - '{"type":"public","id":"585431494735788072170863910140221654224826896271206703408135790476336580449field","value":"[\n  [\n    false,\n    true,\n    false,\n    true\n  ]\n]"}'
-      - '{"type":"public","id":"724249684219407361738510177189706738154847641349019655360703075953798486087field","value":"[\n  [\n    false,\n    false,\n    false,\n    false\n  ]\n]"}'
-      - '{"type":"private","id":"935952055735684080496891614875475220205878379557005136281900117326329551266field","value":"ciphertext1qvqpg2wxwnq6nzya4mwqu2l9rz6ye3zkpmlm8l063qpyu3uz56jwjrmv977a3qcje8ruuuc4g0wq6nnzheul29tk7x2zlvn8ccgs0tk6qr7t7kr7vzl3lwflvhchttjpcqrhlsmv9js85kue3d73w43qnz6skhhw9qp"}'
-      - '{"type":"future","id":"634242531938966458078390077037979581839450552635037446155410252463433306053field","value":"{\n  program_id: arrays_in_finalize.aleo,\n  function_name: test_arrays,\n  arguments: [\n    [\n  [\n    true,\n    false,\n    true,\n    false\n  ]\n],\n    [\n  [\n    false,\n    true,\n    false,\n    true\n  ]\n]\n  ]\n}"}'
-  child_outputs:
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"8115531054870402440333197528407424397162655555531262676466216421547911202650field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1y9t0y4lvhm43qdzlfjmfzh8985vfnx9ms368p07x5lsemet5ey8qt0ssjn,\n    1999u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/bad_constructor_fail.out

@@ -1,5 +1,3 @@
 errors: []
 outputs:
 - execute: 'Authorization failed: Process authorization failed: Program ''bad_constructor.aleo'' does not exist'
-additional:
-- {}

synthesizer/tests/expectations/vm/execute_and_finalize/branch_with_future.out

@@ -18,70 +18,3 @@ outputs:
 - verified: true
   speculate: the execution was rejected
   add_next_block: succeeded.
-additional:
-- execute:
-    branch_with_future.aleo/bar:
-      outputs:
-      - '{"type":"future","id":"7655442530331541683104132861286478383029592964432699726404834065543842536178field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: bar,\n  arguments: [\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        false\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"1020051290458546931566124384280625422029998413184574007635134896495056190365field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    false\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"8413472057380447014381111885817259668726981005085698392568548317536794223532field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2085u64\n  ]\n}"}'
-- execute:
-    branch_with_future.aleo/baz:
-      outputs:
-      - '{"type":"future","id":"498899857714391352596079842607918209901952584323034689779853223722683594231field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: baz,\n  arguments: [\n    true,\n    true,\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"2894204543881283460391264356266673103759345186862912380487151026730776284438field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    true\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"7703379710136686184186319226270144804542739906032994926006020550378655771151field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2790u64\n  ]\n}"}'
-- execute:
-    branch_with_future.aleo/baz:
-      outputs:
-      - '{"type":"future","id":"3146038340832303525165742632923700211517927110336708244757028015832103469107field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: baz,\n  arguments: [\n    true,\n    false,\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"3059174916169585368703394169417537431739839362502367455173577634225120534617field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    true\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"6091090929867135717936854456569309663914654903309183178301116007309718398943field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2790u64\n  ]\n}"}'
-- execute:
-    branch_with_future.aleo/baz:
-      outputs:
-      - '{"type":"future","id":"6992076722780550403200636653870100222883356697513197661773453078711597855448field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: baz,\n  arguments: [\n    false,\n    true,\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"5743016577258359783048504032736029170641256687815839858397360225158642860012field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    true\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"1716833773304929929225928907134455940980836589834782077687588652517207843177field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2790u64\n  ]\n}"}'
-- execute:
-    branch_with_future.aleo/baz:
-      outputs:
-      - '{"type":"future","id":"3301904300125035229933941565784439035758619729465323436407687815452213394240field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: baz,\n  arguments: [\n    false,\n    false,\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    },\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"8064123217334542965607926683353979750928224176532218151884193071858538156788field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    true\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"3198047707632949697734777377141117011192825297010133845300299020915114030161field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2790u64\n  ]\n}"}'
-- execute:
-    branch_with_future.aleo/qux:
-      outputs:
-      - '{"type":"future","id":"4286313362376425211885180911633921390545071005683778398561203496853912947050field","value":"{\n  program_id: branch_with_future.aleo,\n  function_name: qux,\n  arguments: [\n    {\n      program_id: child.aleo,\n      function_name: foo,\n      arguments: [\n        true,\n        true\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"future","id":"3849642499112412030803481642176681888240998647888140742750689315632344035837field","value":"{\n  program_id: child.aleo,\n  function_name: foo,\n  arguments: [\n    true,\n    true\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"5087065272282022445754748787758399179600539993795132097568346118967319619892field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo19f7ldyn2txn950arxwzgmd69hc92agvaavuaghq3n86fv9sq25qsuu46xk,\n    2081u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/child_and_parent.out

@@ -6,28 +6,3 @@ outputs:
 - verified: true
   speculate: the execution was accepted
   add_next_block: succeeded.
-additional:
-- execute:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"public","id":"132624282819228231053632144756610641123036907602280825072288269041445120266field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-      - '{"type":"public","id":"5377568191334491967906148954756513941451973098393350632497651711583521892447field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-  child_outputs:
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"3330554789442479335707732181369391499554140580311493430935422327057652986018field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx,\n    1276u64\n  ]\n}"}'
-- execute:
-    parent.aleo/foo:
-      outputs:
-      - '{"type":"public","id":"481147624017338929879849471755386345955117553625200839514783339886452182427field","value":"aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy"}'
-      - '{"type":"public","id":"4877157243263153986849178291468582704130508454717036076687802053633182907949field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-      - '{"type":"public","id":"5233172283517231030940212016504933197169762586060248564892275152944308173852field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-      - '{"type":"public","id":"6095171571029796882794673612394134366961269932459339336005474699776482640479field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-  child_outputs:
-    child.aleo/foo:
-      outputs:
-      - '{"type":"public","id":"1906817684680067900166963535755334120762166031526297128108481200839863006892field","value":"aleo16w8t56s7v6ud7vu33fr388ph0dq0c7yhp597cyjt88rr3nultcyqcyk9yy"}'
-      - '{"type":"public","id":"5376134187656983101865158259510438836578397109166565690913991726855199270141field","value":"aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"6020602915709811850343717585537190104794775345556663070726598039443207637593field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1qr2ha4pfs5l28aze88yn6fhleeythklkczrule2v838uwj65n5gqxt9djx,\n    2187u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/complex_finalization.out

@@ -3,24 +3,3 @@ outputs:
 - verified: true
   speculate: the execution was accepted
   add_next_block: succeeded.
-additional:
-- execute:
-    four_program.aleo/a:
-      outputs:
-      - '{"type":"future","id":"6185506772424456607578704138533534363317095911310184051405813398525237987825field","value":"{\n  program_id: four_program.aleo,\n  function_name: a,\n  arguments: [\n    {\n      program_id: two_program.aleo,\n      function_name: b,\n      arguments: [\n        {\n          program_id: zero_program.aleo,\n          function_name: c,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        {\n          program_id: one_program.aleo,\n          function_name: d,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    {\n      program_id: three_program.aleo,\n      function_name: e,\n      arguments: [\n        {\n          program_id: two_program.aleo,\n          function_name: b,\n          arguments: [\n            {\n              program_id: zero_program.aleo,\n              function_name: c,\n              arguments: [\n                aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n              ]\n            },\n            {\n              program_id: one_program.aleo,\n              function_name: d,\n              arguments: [\n                aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n              ]\n            },\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        {\n          program_id: one_program.aleo,\n          function_name: d,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        {\n          program_id: zero_program.aleo,\n          function_name: c,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n  ]\n}"}'
-  child_outputs:
-    zero_program.aleo/c:
-      outputs:
-      - '{"type":"future","id":"4441509826696731311093133010527573725331653867941089397482872545875598638933field","value":"{\n  program_id: zero_program.aleo,\n  function_name: c,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n  ]\n}"}'
-    one_program.aleo/d:
-      outputs:
-      - '{"type":"future","id":"729867144195045073820283232917961443728220655372891310206092881985432365606field","value":"{\n  program_id: one_program.aleo,\n  function_name: d,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n  ]\n}"}'
-    two_program.aleo/b:
-      outputs:
-      - '{"type":"future","id":"3279270956042913101639547272537016435075713232376067415345152897041483820703field","value":"{\n  program_id: two_program.aleo,\n  function_name: b,\n  arguments: [\n    {\n      program_id: zero_program.aleo,\n      function_name: c,\n      arguments: [\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    {\n      program_id: one_program.aleo,\n      function_name: d,\n      arguments: [\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n  ]\n}"}'
-    three_program.aleo/e:
-      outputs:
-      - '{"type":"future","id":"5365667088424326000823752013917011236563662985282476826786966510162533680729field","value":"{\n  program_id: three_program.aleo,\n  function_name: e,\n  arguments: [\n    {\n      program_id: two_program.aleo,\n      function_name: b,\n      arguments: [\n        {\n          program_id: zero_program.aleo,\n          function_name: c,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        {\n          program_id: one_program.aleo,\n          function_name: d,\n          arguments: [\n            aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n          ]\n        },\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    {\n      program_id: one_program.aleo,\n      function_name: d,\n      arguments: [\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    {\n      program_id: zero_program.aleo,\n      function_name: c,\n      arguments: [\n        aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n      ]\n    },\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"4543510521139117138492181406146010230887984436007487393007904627988787668895field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8,\n    17264u64\n  ]\n}"}'

synthesizer/tests/expectations/vm/execute_and_finalize/count_usages.out

@@ -3,21 +3,3 @@ outputs:
 - verified: true
   speculate: the execution was accepted
   add_next_block: succeeded.
-additional:
-- execute:
-    count_usages.aleo/add_and_subtract:
-      outputs:
-      - '{"type":"private","id":"270661052916982000928458466999212029272034171142350188753633426762905865676field","value":"ciphertext1qyqwvq76jummtpj6cnxu38a25sxvfz2k7dtwt8mfmc60gawmlhdt2qsukz0fd"}'
-      - '{"type":"future","id":"825007211152698104205563494466998475110677654174257776112587592450749457468field","value":"{\n  program_id: count_usages.aleo,\n  function_name: add_and_subtract,\n  arguments: [\n    {\n      program_id: basic_math.aleo,\n      function_name: add_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    },\n    {\n      program_id: basic_math.aleo,\n      function_name: sub_and_count,\n      arguments: [\n        aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n      ]\n    }\n  \n  ]\n}"}'
-  child_outputs:
-    basic_math.aleo/add_and_count:
-      outputs:
-      - '{"type":"private","id":"3503226657659080175327013158872165541944705105733232397330844869617320380496field","value":"ciphertext1qyqye0uftmy0jahpzj8cy37n4x8gwvsue0ghjgl5f8zn900yp35qsystqd67a"}'
-      - '{"type":"future","id":"6794020600870948876323855299561023926761343111675476272945080043303065457108field","value":"{\n  program_id: basic_math.aleo,\n  function_name: add_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
-    basic_math.aleo/sub_and_count:
-      outputs:
-      - '{"type":"private","id":"4377551602946624867074353617788880572977168270820944389931124713388322910894field","value":"ciphertext1qyq0cazqdmke27a95fnnzve4genfwyr9cpt8eeeeh5ghc6v4ldc77yq06wvjj"}'
-      - '{"type":"future","id":"296726354087198921323741191418046014051475496913964905545830432815441599941field","value":"{\n  program_id: basic_math.aleo,\n  function_name: sub_and_count,\n  arguments: [\n    aleo1mrughg5ssadd9fc2uwve7l6u24xn76kyz24zsjtzta03vgkq4vpqggl6fg\n  ]\n}"}'
-    credits.aleo/fee_public:
-      outputs:
-      - '{"type":"future","id":"6414509637176619709959802937796465951324621701642950668802798550527316736379field","value":"{\n  program_id: credits.aleo,\n  function_name: fee_public,\n  arguments: [\n    aleo1kw4knandael9qcpxs6g36rr6h7dwvjz6q25ueah6zz9v57zjlvxsx5llq8,\n    4853u64\n  ]\n}"}'