% reach --version
reach 0.1.2-rc.58

Verifying knowledge assertions
Verifying for generic connector
  Verifying when ALL participants are honest
Verification failed:
  when ALL participants are honest
  of theorem: while invariant after loop
  at ./index.rsh:118:3:invariant

reachc: The compiler has encountered an internal error:

  parseVal: Array(Object({"date": UInt, "inventoryUnit": UInt, "inventoryValue": UInt, "stateName": UInt, "supplyName": UInt, "transitions": Array(UInt, 10), "transitionsLength": UInt}), 10) List [Atom "_",Atom "as-array",Atom "k!38"]

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:73:3 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Util
  impossible, called at src/Reach/Verify/SMT.hs:467:10 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Verify.SMT

reach-app-seller-and-buyer-ETH-live
reach-app-seller-and-buyer-ETH-test-dockerized-geth

reach-app-seller-and-buyer-ALGO-live
reach-app-seller-and-buyer-ALGO-test-dockerized-algod

reach-app-seller-and-buyer-CFX-devnet
reach-app-seller-and-buyer-CFX-live

reach-app-seller-and-buyer-ETH-test-dockerized-geth
reach-app-seller-and-buyer-ALGO-test-dockerized-algod

ethereum-devnet:
    image: reachsh/ethereum-devnet:0.1
algorand-devnet:
    image: reachsh/algorand-devnet:0.1

reach-app-seller-and-buyer-ETH-live:
    ...
reach-app-seller-and-buyer-ALGO-live:
    ...

'reach 0.1';

const Common = ({
  doCase: Fun([UInt], Bool) });

export const main = Reach.App(
  {}, [Participant('A', {...Common}), Participant('B', {...Common})], (A, B) => {
    A.publish()
      .pay(1);
    commit();

    B.publish();
 
    const keepGoing =
      parallelReduce(true)
        .invariant(balance() == 1)
        .while(keepGoing)
        .case(
          A,
          (() => ({ when: true })),
          ((_) => {

            const keepGoingB = 
              parallelReduce(true)
                .invariant(balance() == 1)
                .while(keepGoingB)
                .case( 
                  B,
                  (() => ({ when: declassify(interact.doCase(1)) })),
                  () => { return true; }) 
                .timeout(1000, () => {
                  Anybody.publish();
                  return false;
                });
  
            return false; 

          })
        )
        .timeout(false);

    transfer(1).to(B);
    commit();
    exit();
  }
);

'reach 0.1';

const Common = ({
  doCase: Fun([UInt], Bool) });

export const main = Reach.App(
  {}, [Participant('A', {...Common}), Participant('B', {...Common})], (A, B) => {
    A.publish()
      .pay(1);
    commit();

    B.publish();
 
    const keepGoing =
      parallelReduce(true)
        .invariant(balance() == 1)
        .while(keepGoing)
        .case(
          A,
          (() => ({ when: true })),
          ((_) => {

            const keepGoingB = 
              parallelReduce(true)
                .invariant(balance() == 1)
                .while(keepGoingB)
                .case( 
                  A,
                  (() => ({ when: declassify(interact.doCase(1)) })),
                  () => { return true; }) 
                .timeout(1000, () => {
                  Anybody.publish();
                  return false;
                });
  
            return false; 

          })
        )
        .timeout(false);

    transfer(1).to(B);
    commit();
    exit();
  }
);

'reach 0.1';

const Common = ({
  doCase: Fun([UInt], Bool) });

export const main = Reach.App(
  {}, [Participant('A', {...Common}), Participant('B', {...Common})], (A, B) => {
    A.publish()
      .pay(1);
    commit();

    B.publish();
 
    const keepGoing =
      parallelReduce(true)
        .invariant(balance() == 1)
        .while(keepGoing)
        .case(
          A,
          (() => ({ when: true })),
          ((_) => {

            const keepGoingB = 
              parallelReduce(true)
                .invariant(balance() == 1)
                .while(keepGoingB)
                .case( 
                  B,
                  (() => ({ when: declassify(interact.doCase(1)) })),
                  () => { return true; }) 
                .case( 
                  B,
                  (() => ({ when: declassify(interact.doCase(2)) })),
                  () => { return true; }) 
                .timeout(1000, () => {
                  Anybody.publish();
                  return false;
                });
  
            return false; 

          })
        )
        .timeout(false);

    transfer(1).to(B);
    commit();
    exit(); 
  }
);

/stdlib/node_modules/@ethersproject/logger/lib/index.js:187
        var error = new Error(message);
                    ^

Error: missing response (requestBody="{\"method\":\"eth_blockNumber\",\"params\":[],\"id\":94,\"jsonrpc\":\"2.0\"}", requestMethod="POST", serverError={"code":"ECONNRESET"}, url="http://ethereum-devnet:8545", code=SERVER_ERROR, version=web/5.3.0)
    at Logger.makeError (/stdlib/node_modules/@ethersproject/logger/lib/index.js:187:21)
    at Logger.throwError (/stdlib/node_modules/@ethersproject/logger/lib/index.js:196:20)
    at /stdlib/node_modules/@ethersproject/web/lib/index.js:213:36
    at step (/stdlib/node_modules/@ethersproject/web/lib/index.js:33:23)
    at Object.throw (/stdlib/node_modules/@ethersproject/web/lib/index.js:14:53)
    at rejected (/stdlib/node_modules/@ethersproject/web/lib/index.js:6:65)
    at processTicksAndRejections (internal/process/task_queues.js:95:5) {
  reason: 'missing response',
  code: 'SERVER_ERROR',
  requestBody: '{"method":"eth_blockNumber","params":[],"id":94,"jsonrpc":"2.0"}',
  requestMethod: 'POST',
  serverError: Error: socket hang up
      at connResetException (internal/errors.js:607:14)
      at Socket.socketOnEnd (_http_client.js:499:23)
      at Socket.emit (events.js:388:22)
      at endReadableNT (internal/streams/readable.js:1336:12)
      at processTicksAndRejections (internal/process/task_queues.js:82:21) {
    code: 'ECONNRESET'
  },
  url: 'http://ethereum-devnet:8545'

/* eslint-disable */
const path = require('path')
const HtmlWebpackPlugin = require('html-webpack-plugin')
const MiniCssExtractPlugin = require('mini-css-extract-plugin')
require('dotenv').config()

module.exports = {
  mode: 'development',
  entry: {
    index: './src/index.js',
  },
  output: {
    filename: '[name].bundle.js',
    path: path.resolve(__dirname, 'dist'),
    clean: true,
    publicPath: '/'
  },
  devServer: {
    port: process.env.DEV_PORT,
    watchContentBase: true
  },
  resolve: {
    extensions: ['.js', '.ts', '.mjs', '.json', '.wasm']
  },
  module: {
    rules: [
      {
        test: /\.(js|jsx)$/,
        exclude: /node_modules/,
        use: ['babel-loader', 'eslint-loader']
      },
      {
        test: /\.m?js/,
        resolve: {
          fullySpecified: false
        }
      },
      {
        test: /\.css$/,
        use: [MiniCssExtractPlugin.loader, 'css-loader']
      },
      {
        test: /\.(png|svg|jpg|jpeg|gif)$/i,
        type: 'asset/resource',
      },
    ]
  },
  plugins: [
    new HtmlWebpackPlugin({ template: './src/index.html' }),
    new MiniCssExtractPlugin()
  ],
}

vsh in ~/Documents/github/crypto/algorand/reach/battleship/client(ruby-3.0.0) on master λ npm run nodeserve

> [email protected] nodeserve
> node server.js

Battleship client development server running on port 3000...
✖ ｢wdm｣: assets by chunk 3.39 MiB (name: index)
  asset index.bundle.js 3.39 MiB [emitted] (name: index)
  asset index.css 21 bytes [emitted] (name: index)
asset 10fe4030c4f3a48a7c95.png 6.42 KiB [emitted] [immutable] [from: src/assets/battleship.png] (auxiliary name: index)
asset index.html 376 bytes [emitted]
Entrypoint index 3.39 MiB (6.42 KiB) = index.css 21 bytes index.bundle.js 3.39 MiB 1 auxiliary asset
orphan modules 2.27 KiB [orphan] 8 modules
runtime modules 1.31 KiB 8 modules
modules by path ./node_modules/ 2.93 MiB 265 modules
modules by path ./src/ 4.41 KiB (javascript) 6.42 KiB (asset) 20 bytes (css/mini-extract)
  javascript modules 4.31 KiB
    ./src/index.js 252 bytes [built] [code generated] [1 warning]
    ./src/App.js 4.02 KiB [built] [code generated] [1 warning]
    ./src/App.css 50 bytes [built] [code generated]
  modules by path ./src/assets/ 99 bytes (javascript) 6.42 KiB (asset)
    ./src/assets/battleship.png 42 bytes (javascript) 6.42 KiB (asset) [built] [code generated]
    ./src/assets/game-description.json 57 bytes [built] [code generated]
  css ./node_modules/css-loader/dist/cjs.js!./src/App.css 20 bytes [code generated]
buffer (ignored) 15 bytes [optional] [built] [code generated]
crypto (ignored) 15 bytes [built] [code generated]
./util.inspect (ignored) 15 bytes [built] [code generated]

WARNING in ./src/App.js
Module Warning (from ./node_modules/eslint-loader/dist/cjs.js):

/Users/vsh/Documents/github/crypto/algorand/reach/battleship/client/src/App.js
   6:8  warning  Missing space before function parentheses  space-before-function-paren
  15:9  warning  Missing space before function parentheses  space-before-function-paren

✖ 2 problems (0 errors, 2 warnings)
  0 errors and 2 warnings potentially fixable with the `--fix` option.

 @ ./src/index.js 4:0-24 6:50-53

WARNING in ./src/index.js
Module Warning (from ./node_modules/eslint-loader/dist/cjs.js):

/Users/vsh/Documents/github/crypto/algorand/reach/battleship/client/src/index.js
  1:8   warning  'React' is defined but never used  no-unused-vars
  3:13  warning  'reach' is defined but never used  no-unused-vars
  4:8   warning  'App' is defined but never used    no-unused-vars

✖ 3 problems (0 errors, 3 warnings)


ERROR in ./node_modules/@reach-sh/stdlib/ALGO.mjs 582:10-24
export 'default' (imported as 'msgpack') was not found in '@msgpack/msgpack' (possible exports: DataViewIndexOutOfBoundsError, DecodeError, Decoder, EXT_TIMESTAMP, Encoder, ExtData, ExtensionCodec, decode, decodeArrayStream, decodeAsync, decodeMulti, decodeMultiStream, decodeStream, decodeTimestampExtension, decodeTimestampToTimeSpec, encode, encodeDateToTimeSpec, encodeTimeSpecToTimestamp, encodeTimestampExtension)
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO.mjs 613:10-24
export 'default' (imported as 'msgpack') was not found in '@msgpack/msgpack' (possible exports: DataViewIndexOutOfBoundsError, DecodeError, Decoder, EXT_TIMESTAMP, Encoder, ExtData, ExtensionCodec, decode, decodeArrayStream, decodeAsync, decodeMulti, decodeMultiStream, decodeStream, decodeTimestampExtension, decodeTimestampToTimeSpec, encode, encodeDateToTimeSpec, encodeTimeSpecToTimestamp, encodeTimestampExtension)
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO.mjs 895:17-38
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO.mjs 1140:13-34
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 11:18-34
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 30:18-38
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 30:39-60
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 34:11-32
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 39:18-42
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 40:20-45
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 44:18-39
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 45:20-40
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 81:11-30
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 99:11-30
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 118:11-30
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 141:13-32
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/ALGO_compiled.mjs 175:13-32
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 17:0-103 19:43-57 373:46-60 374:127-135 643:9-21 927:51-65 978:94-108 1022:28-42 1035:76-90 1233:9-23 1235:27-41
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/CBR.mjs 2:18-34
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/shared.mjs 3:0-60 5:0-43 5:0-43 110:13-25 138:37-49 143:15-27 161:28-40 161:47-59 164:30-42 164:50-62 165:30-42 165:50-62 166:30-42 166:50-62 167:30-42 167:50-62 168:30-42 168:50-62 171:28-40 171:48-60 172:28-40 172:47-59 173:28-40 173:48-60 174:28-40 174:47-59 199:77-89 200:31-43
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/CBR.mjs 32:18-39
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/shared.mjs 3:0-60 5:0-43 5:0-43 110:13-25 138:37-49 143:15-27 161:28-40 161:47-59 164:30-42 164:50-62 165:30-42 165:50-62 166:30-42 166:50-62 167:30-42 167:50-62 168:30-42 168:50-62 171:28-40 171:48-60 172:28-40 172:47-59 173:28-40 173:48-60 174:28-40 174:47-59 199:77-89 200:31-43
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/CBR.mjs 88:16-40
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/shared.mjs 3:0-60 5:0-43 5:0-43 110:13-25 138:37-49 143:15-27 161:28-40 161:47-59 164:30-42 164:50-62 165:30-42 165:50-62 166:30-42 166:50-62 167:30-42 167:50-62 168:30-42 168:50-62 171:28-40 171:48-60 172:28-40 172:47-59 173:28-40 173:48-60 174:28-40 174:47-59 199:77-89 200:31-43
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 1:0-28
Module not found: Error: Can't resolve 'crypto' in '/Users/vsh/Documents/github/crypto/algorand/reach/battleship/client/node_modules/@reach-sh/stdlib'

BREAKING CHANGE: webpack < 5 used to include polyfills for node.js core modules by default.
This is no longer the case. Verify if you need this module and configure a polyfill for it.

If you want to include a polyfill, you need to:
	- add a fallback 'resolve.fallback: { "crypto": require.resolve("crypto-browserify") }'
	- install 'crypto-browserify'
If you don't want to include a polyfill, you can use an empty module like this:
	resolve.fallback: { "crypto": false }
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 4:0-24
Module not found: Error: Can't resolve 'util' in '/Users/vsh/Documents/github/crypto/algorand/reach/battleship/client/node_modules/@reach-sh/stdlib'

BREAKING CHANGE: webpack < 5 used to include polyfills for node.js core modules by default.
This is no longer the case. Verify if you need this module and configure a polyfill for it.

If you want to include a polyfill, you need to:
	- add a fallback 'resolve.fallback: { "util": require.resolve("util/") }'
	- install 'util'
If you don't want to include a polyfill, you can use an empty module like this:
	resolve.fallback: { "util": false }
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 64:60-72
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 65:18-34
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 134:12-34
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/@reach-sh/stdlib/shared.mjs 145:15-38
export 'default' (imported as 'ethers') was not found in 'ethers' (possible exports: BaseContract, BigNumber, Contract, ContractFactory, FixedNumber, Signer, VoidSigner, Wallet, Wordlist, constants, errors, ethers, getDefaultProvider, logger, providers, utils, version, wordlists)
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 14:0-168 20:0-29 20:0-29 80:6-11 84:4-9 92:2-7 102:2-7 112:4-9 122:2-7 125:4-9 129:4-9 298:77-89 301:4-9 351:2-7 358:2-7 375:41-51 396:2-7 400:2-7 479:22-32 483:30-40 548:45-55 557:17-34 559:102-119 566:18-30 580:4-9 581:4-9 582:4-9 602:4-9 604:4-9 605:4-9 611:4-9 612:4-9 613:4-9 624:2-7 640:4-9 649:33-45 665:6-11 670:25-34 671:33-42 675:14-26 685:6-11 689:6-11 695:6-11 701:10-15 703:12-17 707:8-13 712:20-32 737:12-18 748:8-13 749:8-14 752:92-104 754:8-13 766:8-13 768:8-13 775:8-13 777:8-13 800:10-15 812:8-13 817:10-15 820:12-17 822:12-17 846:6-11 875:8-13 886:8-13 888:8-13 894:10-15 897:8-13 900:8-13 901:24-33 902:8-13 905:8-13 908:8-13 911:8-13 920:16-28 926:37-49 929:6-11 936:8-13 943:8-13 945:8-13 947:8-13 949:8-13 957:17-34 958:6-11 960:6-11 965:6-11 967:6-11 970:8-13 973:8-13 977:21-35 982:4-9 1019:4-9 1024:11-24 1027:11-24 1043:9-21 1069:21-32 1072:9-21 1076:30-42 1093:23-35 1108:6-11 1111:6-11 1158:42-54 1163:4-9 1165:18-30 1168:2-7 1173:2-7 1194:2-7 1204:6-11 1210:2-7
 @ ./src/index.js 3:0-51

ERROR in ./node_modules/wait-port/lib/wait-port.js 2:12-26
Module not found: Error: Can't resolve 'net' in '/Users/vsh/Documents/github/crypto/algorand/reach/battleship/client/node_modules/wait-port/lib'
 @ ./node_modules/@reach-sh/stdlib/waitPort.mjs 1:0-36 22:8-19
 @ ./node_modules/@reach-sh/stdlib/ALGO.mjs 15:0-38 34:15-23
 @ ./src/index.js 3:0-51

3 errors have detailed information that is not shown.
Use 'stats.errorDetails: true' resp. '--stats-error-details' to show it.

webpack 5.37.1 compiled with 27 errors and 2 warnings in 2333 ms
ℹ ｢wdm｣: Failed to compile.

WARNING: The requested image's platform (linux/amd64) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested
make: *** [build/index.main.mjs] Error 137

reachc: The compiler has encountered an internal error:

  getIllegalModeSuggestion

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:66:3 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Util
  impossible, called at src/Reach/Eval/Error.hs:254:12 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Eval.Error

'reach 0.1';
'use strict';

//-----------------------------------------------------------------------------
// Token operative & compliance parameters
//-----------------------------------------------------------------------------

const TokenParameters = Object({
  maxTransfers: UInt,
})

//-----------------------------------------------------------------------------
// Interaction interfaces
//-----------------------------------------------------------------------------

const IManager = {
  getBootstrapParams: Fun([], Tuple(Token, TokenParameters)),
  setupComplete: Fun([], Null),
  shouldStop: Fun([], Bool)
}

const ISender = {
  getAxfer: Fun([], Maybe(Tuple(UInt, Address)))
}


//-----------------------------------------------------------------------------
// Helper functions
//-----------------------------------------------------------------------------
function validateParams(params) {
  assume(params.maxTransfers > 0);
}

//-----------------------------------------------------------------------------
// DApp Entry point
//-----------------------------------------------------------------------------
export const main = Reach.App(
  {
    deployMode: 'constructor'
  }, [
  Participant('Manager', IManager),
  Participant('Sender', ISender)
],
  (Manager, Sender) => {

    // Step1:Manager must set token parameters

    Manager.only(() => {
      const [token, params] = declassify(interact.getBootstrapParams());
      validateParams(params);
      interact.setupComplete();
    })
    Manager.publish(token, params);
    commit();

    Sender.publish();

    const run = parallelReduce(true)
      .invariant(balance() == 0 && balance(token) == 0)
      .while(run)
      .case(Manager,
        (() => ({ when: declassify(interact.shouldStop()) })),
        ((_) => 0),
        () => { return false }
      )
      .case(Sender,
        (() => {
          const axferParams = declassify(interact.getAxfer());
          return {
            msg: fromSome(axferParams, [0, this]),
            when: isSome(axferParams)
          }
        }),
        ((axferParams) => {
          const amount = axferParams[0];
          assume(amount > 0, "EZERO");
          return [amount, token]
        }),
        ((axferParams) => {
          const amount = axferParams[0];
          const rcvAddr = axferParams[1];
          transfer(amount, token).to(rcvAddr);
          return true;
        })
      )
  }
);

const Player = (Who) => ({
  ...stdlib.hasRandom,
  getHand: async () => {const hand = Math.floor(Math.random() * 3);
  etc. 
});

Verifying knowledge assertions
Verifying for generic connector
  Verifying when ALL participants are honest
Verification failed:
  when ALL participants are honest
  of theorem: assert
  msg: "balance zero at application exit"
  at ./index.rsh:74:7:application

reachc: The compiler has encountered an internal error:

  parseVal: Array(Address, 2) List [List [Atom "as",Atom "const",List [Atom "Array",Atom "Int",Atom "Address"]],Atom "Address!val!0"]

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:73:3 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Util
  impossible, called at src/Reach/Verify/SMT.hs:467:10 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Verify.SMT

reachc: error: ./registry.rsh:23:41:application: Administrator is bound and cannot be rebound

'reach 0.1'
'use strict'

const IAdministrator = {
    getNewEntry: Fun([],Address),
    shouldStop: Fun([], Bool)
}

const IRegistryView = {
    last: UInt
}

export const main = Reach.App({
    deployMode: "constructor" 
    },
    [ Participant('Administrator', IAdministrator),
      View('RegistryView', IRegistryView) ], 
     (Admin, RegistryView) => {
        Admin.publish();
        
        const registry = new Set()

        const isRunning = parallelReduce(true)
            .invariant(balance () == 0)  // No funds movement, should validate always
            .while(isRunning)
            .case(
                Admin,
                /* publish_expr */
                (() => ({ when: declassify(interact.shouldStop()) })),
                /* pay_expr */
                ((_) => 0),
                /* consensus_expr */
                (() => {
                    return false;
                })
            )
            .case(
                Admin,
                /* publish_expr */
                (() => ({ msg: declassify(interact.getNewEntry()) })),
                /* pay_expr */
                ((_) => 0),
                /* consensus_expr */
                ((addr) => {
                    registry.insert(addr);
                    return isRunning;
                })
            )

        commit();
    })
    

Compiler error: Stack too deep when compiling inline assembly: Variable dataEnd is 2 slot(s) too deep inside the stack.

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:73:3 in reach-0.1.2-8gxBL61FkZIAAO2AD266di:Reach.Util
  impossible, called at src/Reach/Connector/ETH_Solidity.hs:1368:17 in reach-0.1.2-8gxBL61FkZIAAO2AD266di:Reach.Connector.ETH_Solidity
make: *** [Makefile.index:8: build/index.main.mjs] Error 1

"reach 0.1";

// ========================================================
// Constants
// ========================================================

// Since reach cannot really handle floating point numbers.
const BAKESALE_FEE_PERCENT = 5; 
const BAKESALE_FEE_MULTIPLE = BAKESALE_FEE_PERCENT / 100;

const MAX_BENEFICIARIES_PER_ITEM = 1;
const MAX_LINE_ITEMS_PER_MERCHANT = 1;
const MAX_TOTAL_MERCHANTS = 1;

// ========================================================
// Primary Objects & Their Fakers
// ========================================================

/**
 * Create an "isReal" version of an object.
 * 
 * @param {object} x
 *   The object to clarify as real. 
 * @param {bool} state
 *   Whether or not the object is real.
 * @returns {object}
 *   The initial object with an isReal prop added.
 */
 const createIsReal = (state, x) => ({
  isReal: state,
  ...x
});

/**
 * The beneficiary of a particular item.
 */
const Beneficiary = {
  isReal: Bool,
  addr: Address,
  percentToReceive: UInt,
};

/**
 * Create a fake benficiary.
 * 
 * @param addr
 *   The fake address. 
 * @returns 
 *   The fake Beneficiary.
 */
const createFakeBeneficiary = (addr) => {
  return createIsReal(false, {
    addr,
    percentToReceive: 0}
  );
}

/**
 * An order line item.
 */
const LineItem = {
  isReal: Bool,
  totalCost: UInt, // The unit price * qty
  shipping: UInt,
  tax: UInt,
  beneficiaries: Array(Maybe(Object(Beneficiary)), MAX_BENEFICIARIES_PER_ITEM)
}

/**
 * Create a fake LineItem.
 * 
 * @param addr
 *   The fake address.
 * @returns 
 *   The fake LineItem.
 */
const createFakeLineItem = (addr) => {
  const beneficiaries = Array.iota(MAX_BENEFICIARIES_PER_ITEM).map((_) =>  Maybe(Object(Beneficiary)).Some(createFakeBeneficiary(addr)));

  return createIsReal(false, {
    totalCost: 0,
    shipping: 0,
    tax: 0,
    beneficiaries
  });
}

/**
 * Array of order line items for a particular merchant.
 */
const Merchant = {
  isReal: Bool,
  addr: Address,
  lineItems: Array(Maybe(Object(LineItem)), MAX_LINE_ITEMS_PER_MERCHANT) 
}

/**
 * Create a fake Merchants.
 * 
 * @param addr
 *   The fake address. 
 * @returns 
 *   The fake Merchants obj.
 */
 const createFakeMerchants = (addr) => {
  assert(addr !== null)
 
  return createIsReal(false, { 
    addr,
    lineItems: Array.iota(MAX_LINE_ITEMS_PER_MERCHANT).map(_ => Maybe(Object(LineItem)).Some(createFakeLineItem(addr)))
    // lineItems: []
  }); 
 } 

/**
 * The order data for which payment is processed.
 */
const OrderData = {
  orderTotal: UInt,
  merchantItems: Array(Maybe(Object(Merchant)), MAX_TOTAL_MERCHANTS),
}


// ========================================================
// Laundromat
// ========================================================

/**
 * Convert Array(Maybe(Object(Beneficiary)) to usable Array(Object(Beneficiary)).
 * 
 * @param {Array(Maybe(Object(Beneficiary))} beneficiaries
 *   The array of maybe beneficiaries.
 * @param addr 
 *   The address to be used for the fakes.
 * @returns {Array(Object(Beneficiary)}
 *   Array of usable beneficiaries.
 */
 const cleanBeneficiaries = (beneficiaries, addr) => {
  return beneficiaries.map((x) => {
    return fromMaybe(x,
      (() => createFakeBeneficiary(addr)), 
      ((y) => createIsReal(true, y))
    ); 
  })
}

/**
 * Convert Array(Maybe(Object(LineItem)) to usable Array(Object(LineItem)).
 * 
 * @param {Array(Maybe(Object(LineItem))} lis
 *   The array of maybe line items..
 * @param addr 
 *   The address to be used for the fakes.
 * @returns {Array(Object(LineItem)}
 *   Array of usable line items.
 */
const cleanLineItems = (lis, addr) => {
  return lis.map((x) => {
    return fromMaybe(x,
      (() => createFakeLineItem(addr)), 
      ((y) => createIsReal(true, y))
    ); 
  })
}

/**
 * Convert Array(Maybe(Object(Merchant)) to usable Array(Object(Merchant)).
 * 
 * @param {Array(Maybe(Object(Merchant))} m
 *   The array of maybe merchants.
 * @param addr 
 *   The address to be used for the fakes.
 * @returns {Array(Object(Merchant)}
 *   Array of usable merchants.
 */
const cleanMerchants = (m, addr) => {
  return m.map((x) => { 
    return fromMaybe(x,
      (() => createFakeMerchants(addr)), 
      ((y) => createIsReal(true, y))
    ); 
  })
}

/**
 * Clean the entire orderData's tree.
 * 
 * @param {OrderData} orderData
 *   The order data to be cleaned. 
 * @param {Address} fakesAddr 
 *   The address to be used for fakes.
 * 
 * @returns {OrderData} 
 *   The cleaned OrderData. 
 */
const cleanOrderData = (orderData, fakesAddr) => {
  const merchantItemsClean = cleanMerchants(orderData.merchantItems, fakesAddr);
  const merchantItemsFinal = merchantItemsClean.map(x => {
    
    // Cleaning LineItems for single Merchant 
    const lineItemsClean = cleanLineItems(x.lineItems, fakesAddr);
    const lineItemsFinal = lineItemsClean.map(y => {
      
      // Cleaning Benficiaries for a single LineItem 
      const beneficiariesClean = cleanBeneficiaries(y.beneficiaries, fakesAddr);

      return {
        isReal: y.isReal,
        totalCost: y.totalCost,
        shipping: y.shipping,
        tax: y.tax,
        beneficiaries: beneficiariesClean
      }
    });
     
    return { 
      isReal: x.isReal,
      addr: x.addr,
      lineItems: lineItemsFinal
    }
  }); 

  return {
    orderTotal: orderData.orderTotal,
    merchantItems: merchantItemsFinal 
  }
}


// ========================================================
// Order Validation
// ========================================================

/**
 * Check whether or not the order is valid to be processed.
 * 
 * @todo Check that no merchants appear more than once.
 * 
 * @param {OrderData} orderData
 *   The CLEANED order data. The logic assumes that all
 *   objects are operable, i.e. no Maybes.
 */
const validateCleanOrder = (orderData) => {
  const positiveOrderTotal = orderData.orderTotal > 0;
  const orderTotalCalcd = orderData.merchantItems.reduce(0, (oTotal, x) => {
    const merchantTotal = x.lineItems.reduce(0, (mTotal, y) => mTotal + y.totalCost);
    return oTotal + merchantTotal;
  });

  // Ensure that the provided order total matches the order contents.
  const orderTotalsMatch = positiveOrderTotal == orderTotalCalcd;

  // All amounts on the order must be >= 0.
  const allAmtsNonNegative = orderData.merchantItems.reduce(true, (allAmtsPos, x) => {
    const itemsPositive = x.lineItems.reduce(true, (ip, y) => {
      const totalCostValid = y.isReal ? y.totalCost > 0 : y.totalCost == 0
      const shippingValid = y.isReal ? y.shipping >= 0 : y.shipping == 0
      const taxValid = y.isReal ? y.tax >= 0 : y.tax == 0
      return !ip ? false : totalCostValid && shippingValid && taxValid
    });

    return !allAmtsPos ? false : itemsPositive;
  });

  // Any individual item's beneficiary percentages need to be <= 100.
  const beneficiaryPctsValid = orderData.merchantItems.reduce(true, (pctsValid, x) => {
    const itemPctsValid = x.lineItems.reduce(true, (itemPctValid, y) => {
      const beneficiariesPct = y.beneficiaries.reduce(0, (pctTotal, z) => {
        return pctTotal + z.percentToReceive;
      });
      
      return !itemPctValid ? false : beneficiariesPct <= 100;
    });
 
    return !pctsValid ? false : itemPctsValid;
  });

  // Any individual items' tax + shipping must be less than the order item's totalCost.
  // If they exceed it then that means the total does not account for one of them.
  const taxShippingValid = orderData.merchantItems.reduce(true, (tsValid, x) => {
    const itemTsValid = x.lineItems.reduce(true, (itemTsValid, y) => {      
      return y.totalCost > y.tax + y.shipping;
    });

    return !tsValid ? false : itemTsValid;
  });

  const orderIsValid = orderTotalsMatch 
    && allAmtsNonNegative
    && beneficiaryPctsValid
    && taxShippingValid;

  return {
    orderIsValid,
    orderTotalsMatch, 
    allAmtsNonNegative,
    beneficiaryPctsValid,
    taxShippingValid
  }
}


// ========================================================
// Participant Info
// ========================================================

/**
 * Errors to present to the buyer on validation or other failure.
 */
 const errors = {
  // errorInvalidOrderTotal: Fun([], Null),
  // errorAmountsExceedBalance: Fun([], Null),
  // errorInvalidRecipientAmounts: Fun([], Null),
  errorGenericInvalidOrder: Fun([], Null),
}
 
/**
 * The Buyer Interface.
 */
const BuyerInterface = {  
  getOrderData: Fun([], Object(OrderData)),
  // alertPaidRecipient: Fun([Address, UInt, Bytes], Null),
  ...errors,
};
 
// ========================================================
// Main Contract Logic
// ========================================================

export const main = Reach.App(
  {}, [ 
    ParticipantClass('Buyer', BuyerInterface),
    Participant('Bakesale', {}),
  ],
  (Buyer, Bakesale) => {
    Bakesale.publish();

    const keepGoing = 
      parallelReduce(true)
        .invariant(balance() == balance())
        .while(keepGoing)
        .case(Buyer,
          (() => {
            const orderData = declassify(interact.getOrderData());
            const orderDataClean = cleanOrderData(orderData, Bakesale);
            const validationResult = validateCleanOrder(orderDataClean);

            if(!validationResult.orderIsValid) {
              interact.errorGenericInvalidOrder();
            } 
            return {
              when: validationResult.orderIsValid
            }
          }), 
          ((_) => {
            commit();
            Buyer.only(() => {
              const orderData = declassify(interact.getOrderData());
            });
            Buyer.publish(orderData); 
            const orderDataClean = cleanOrderData(orderData, Bakesale);
            const validationResult = validateCleanOrder(orderDataClean);

            // This should never happen since we validate in the 
            // local step above, but just in case.
            if(!validationResult.orderIsValid) { 
              Buyer.only(() => declassify(interact.errorGenericInvalidOrder()));
              return true;
            } else {
              commit();
              Buyer.publish().pay(orderTotal);

              // Keep this all simple for MVP testing.
              // We can make the transfers more efficient
              // and aggregated after we know it works.
              orderDataClean.merchantItems.forEach(mi => {
                // Looking at a single merchant.
                if(mi.isReal) {
                  mi.lineItems.forEach(li => {
                    // Looking at a single line item.
                    if(li.isReal) {
                      const serviceFee = li.totalCost * BAKESALE_FEE_MULTIPLE;
                      const totalMinusFee = li.totalCost - serviceFee;

                      transfer(serviceFee).to(Bakesale);
                      // Buyer.interact(declassify(interact.alertPaidRecipient(Bakesale, serviceFee, 'service fee')))

                      /** @todo This needs to go to a tax acct. */
                      transfer(li.tax).to(Bakesale)

                      const pctToBeneficiaries = li.beneficiaries.reduce(0, (pct, x) => {
                        return pct + x.percentToReceive;
                      });

                      // Pay out the merchant.
                      const pctToMerchant = (100 - pctToBeneficiaries) / 100;
                      const amtToMerchant = pctToMerchant * totalMinusFee;
                      transfer(amtToMerchant).to(mi.addr);

                      // Pay out the beneficiaries
                      li.beneficiaries.forEach(ben => {
                        if(ben.isReal) {
                          const amtToBen = totalMinusFee * ben.percentToReceive;
                          transfer(amtToBen).to(ben);
                        }
                      })
                    }
                  })
                }
              });

              assert(balace() == 0)

              return true;
            } 

          })
        )
        // Sufficiently long timeout that it will never be
        // executed since the contract needs to be persistent.
        .timeout(100^100, () => {
          Anybody.publish();
          return true;
        }); 
    
    if(balance() > 0) {
      // Not sure how we'd ever end up with a balance here, 
      // but for now just transfer the remaining balance.
      // We need to fix this so that it tracks the last buyer
      // since it seems like they'd be the most likely source 
      // of these orphan funds?
      transfer(balance()).to(Bakesale);
    }

    commit();
  }
);

import {loadStdlib} from '@reach-sh/stdlib';
import * as backend from './build/index.main.mjs';

// Maximums allowed by the contract.
// This will exist in the final version.
const MAX_BENEFICIARIES_PER_ITEM = 5;
const MAX_LINE_ITEMS_PER_MERCHANT = 10;
const MAX_TOTAL_MERCHANTS = 5

// Used to generate the "real" objects that represent 
// the order information passed in from the user's real 
// cart/order interaction. These exist for TESTING ONLY 
// and SHOULD NOT EXIST in the final version of the program
// as all values should be provided by checkout.
const REAL_BENFICIARIES_PER_ITEM_COUNT = 3
const FAKE_BENFICIARIES_PER_ITEM_COUNT = MAX_BENEFICIARIES_PER_ITEM - REAL_BENFICIARIES_PER_ITEM_COUNT;

const REAL_LINE_ITEMS_PER_MERCHANT_COUNT = 4
const FAKE_LINE_ITEMS_PER_MERCHANT_COUNT = MAX_LINE_ITEMS_PER_MERCHANT - REAL_LINE_ITEMS_PER_MERCHANT_COUNT;

const REAL_MERCHANTS_COUNT = 2;
const FAKE_MERCHANTS_COUNT = MAX_TOTAL_MERCHANTS - REAL_MERCHANTS_COUNT;

const PRICE_PER_LINE_ITEM = 20;
const TOTAL_PRICE_PER_MERCHANT = PRICE_PER_LINE_ITEM * REAL_LINE_ITEMS_PER_MERCHANT_COUNT;
const ORDER_TOTAL = TOTAL_PRICE_PER_MERCHANT * REAL_MERCHANTS_COUNT;


(async () => {
  const stdlib = await loadStdlib();
  const startingBalance = stdlib.parseCurrency(10000);

  const createTestAcct = async () => {
    await stdlib.newTestAccount(startingBalance)
  }

  const bakesale = await createTestAcct();
  const ctcBakesale = bakesale.deploy(backend);
  const ctcBakesaleInfo = ctcBakesale.getInfo();

  const buyer = await createTestAcct();
  const ctcBuyer = buyer.attach(backend, ctcBakesaleInfo);

  const createRealBeneficiary = (addr, percentToReceive) => ({
    isReal: true,
    addr,
    parentToReceive
  });

  const createRealLineItem = (totalCost, shipping, tax, beneficiaries) => ({
    isReal: true,
    totalCost,
    shipping,
    tax,
    beneficiaries
  });

  const createRealMerchant = (addr, lineItems) => ({
    isReal: true,
    addr,
    lineItems
  });

  const createOrderData = (orderTotal, Merchants) => ({
    orderTotal, Merchants
  });

  const generateDummyOrderData = async () => {
    const baseBeneficiaries = Promise.all (
      Array.from(REAL_BENFICIARIES_PER_ITEM_COUNT).map(x => {
          const acct = await createTestAcct();
          const addr = acct.networkAccount;
          const pct = 5;
          return createRealBeneficiary(addr, pct)
      })
    ).concat(
      Array.from(FAKE_BENFICIARIES_PER_ITEM_COUNT).map(x => null)
    );

    const baseLineItems = Promise.all (
      Array.from(REAL_LINE_ITEMS_PER_MERCHANT_COUNT).map(x => {
          const totalPrice = stdlib.parseCurrency(PRICE_PER_LINE_ITEM)
          return createRealLineItem(totalPrice, 0, 0, await baseBeneficiaries)
      })
    ).concat(
      Array.from(FAKE_LINE_ITEMS_PER_MERCHANT_COUNT).map(x => null)
    );
    
    const baseMerchants = Promise.all (
      Array.from(REAL_MERCHANTS_COUNT).map(x => {
          const acct = await createTestAcct();
          const addr = acct.networkAccount;
          return createRealMerchant(addr, await baseLineItems);
      })
    ).concat(
      Array.from(FAKE_MERCHANTS_COUNT).map(x => null)
    );

    const orderTotalParsed = stdlib.parseCurrency(ORDER_TOTAL);
    return (async () => createOrderData(orderTotalParsed, await baseMerchants))();
  };

  await Promise.all([
    backend.Bakesale(ctcBakesaleInfo, {}),
    backend.Buyer(ctcBuyer, {
      orderData: async () => {
        return await generateDummyOrderData();
      },
      errorGenericInvalidOrder: () => {
        console.log('Order was not processed due to an error.')
      },
      // alertPaidRecipient: (addr, amt, reason) => {
      //   console.log(`Buyer paid ${amt} to ${addr} for ${reason}.`)
      // }
    }),
  ]);
})();

reachc: The compiler has encountered an internal error:

  lookup_var v73

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:73:3 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Util
  impossible, called at src/Reach/Connector/ALGO.hs:388:16 in reach-0.1.2-DAFksisXDyRKXmySyEXCbN:Reach.Connector.ALGO
Verifying knowledge assertions
Verifying for generic connector
  Verifying when ALL participants are honest
  Verifying when NO participants are honest
  Verifying when ONLY "HandcraftedFeeAcct" is honest
  Verifying when ONLY "HandcraftedTaxAcct" is honest
  Verifying when ONLY "Merchant" is honest
  Verifying when ONLY "PotentialBuyer" is honest
Checked 156 theorems; No failures!
make: *** [Makefile.index:8: build/index.main.mjs] Error 1

'reach 0.1';


// ========================================================
// Helper Functions
// ========================================================

const emptyOrderMetadata = {
  taxAmt: 0,
  shippingAmt: 0,
  unitPrice: 0, 
  orderID: 0,
  orderTotal: 0
}

const setViewActiveOrderMetadata = (view, orderMetadata) => {
  view.taxAmt.set(orderMetadata.taxAmt);
  view.shippingAmt.set(orderMetadata.shippingAmt);
  view.orderID.set(orderMetadata.orderID);
  view.unitPrice.set(orderMetadata.unitPrice);
  view.orderTotal.set(orderMetadata.orderTotal);
}

const resetViewActiveOrderMetadata = (view) => {
  setViewActiveOrderMetadata(view, emptyOrderMetadata);
}
 
const countTrue = (arr) => arr.reduce(0, (z, x) => z + (x ? 1 : 0))


// ========================================================
// Participants
// ========================================================

// This may need to track more info about contract state.
const OrderMetadataInterface = {
  taxAmt: UInt,
  shippingAmt: UInt,
  orderID: UInt,
  unitPrice: UInt,
  orderTotal: UInt
}

const OrderMetadataTypes = [
  UInt, UInt, UInt, UInt, UInt,
]

const MerchantInterface = {
  getTrialData: Fun([], Object({
    initialTrialDurationInDays: UInt,
    trueUnitPrice: UInt,
  })),
  getArbiterAddresses: Fun([], Object({
    feeAddr: Address,
    taxAddr: Address
  })),
  showOrderCreated: Fun([], Null),
  wantsToApproveOrder: Fun([], Bool),
  wantsToDenyOrder: Fun([], Bool),
  markOrderApprovedAndShipped: Fun([], Null)
}

const potentialBuyerErrors = {
  errorDepositHasAlreadyBeenMade: Fun([], Null),
  errorOrderDenied: Fun([], Null)
}

const potentialBuyerAlerts = {
  alertItemDidNotShip: Fun([], Null),
}

const PotentialBuyerInterface = {
  intendsToPurchase: Fun([], Bool),
  getOrderInfo: Fun([], Object(OrderMetadataInterface)),
  showOrderPaid: Fun(OrderMetadataTypes, Null),
  syncToDb: Fun(OrderMetadataTypes, Null),
  ...potentialBuyerErrors,
  ...potentialBuyerAlerts
}

const ViewInterface = {
  ...OrderMetadataInterface
}


// ========================================================
// Main Contract Logic
// ========================================================

export const main = Reach.App(
  {}, [
    Participant('Merchant', MerchantInterface), 
    ParticipantClass('PotentialBuyer', PotentialBuyerInterface),
    View('ActiveOrderMetadata', ViewInterface),
    Participant('HandcraftedFeeAcct', {}),
    Participant('HandcraftedTaxAcct', {}),
  ], (Merchant, PotentialBuyer, vActiveOrderMetadata, HandcraftedFeeAcct, HandcraftedTaxAcct) => {

    Merchant.only(() => {
      const { initialTrialDurationInDays, trueUnitPrice } = declassify(interact.getTrialData());
      const { feeAddr, taxAddr } = declassify(interact.getArbiterAddresses());
      declassify(interact.showOrderCreated());
    });
    Merchant.publish(initialTrialDurationInDays, trueUnitPrice, feeAddr, taxAddr);

    HandcraftedFeeAcct.set(feeAddr);
    HandcraftedTaxAcct.set(taxAddr);

    assert(balance() == 0);

    /**
     * @var {Bool} hasBeenPurchased
     *   If true, the item has been successfully sold and should
     *   therefore no longer be listed as available for purchase,
     *   either in the contract logic or in the frontend/db.
     * @var {OrderMetadataInterface} finalPaymentAmts
     *   The order metadata to be used for final payouts.
     */
    const [ hasBeenPurchased, finalPaymentAmts ] = 
      parallelReduce([ false, emptyOrderMetadata]) 
        .invariant(balance() == finalPaymentAmts.orderTotal)
        .while(!hasBeenPurchased)
        
        // Steps 2 & 3 - Potential buyer makes a deposit.
        .case(PotentialBuyer,
          (() => ({
            when: declassify(interact.intendsToPurchase())
          })),
          ((_) => {

            // We can assume that a deposit has been made if 
            // the balance is greater than 0. It is not enough 
            // to check for a loop var depositIsActive 
            // because that is set at the end of the step, 
            // but a second user may make end up making a deposit
            // between when the first user makes a deposit and
            // the loop returns the updated depositIsActive.
            if(balance() > 0) {
              PotentialBuyer.only(() =>  declassify(interact.errorDepositHasAlreadyBeenMade()));
              return [
                hasBeenPurchased,
                finalPaymentAmts
              ];
            } else {
              const ThisPotentialBuyer = this;
              assert(balance() == 0);
              commit();

              // Buyer publishes supposed order data from the frontend to be paid
              PotentialBuyer.only(() => {
                // We are having the buyer provide the orderTotal from the front end,
                // so we need to have outside validation of this as well.
                const orderMetadata = declassify(interact.getOrderInfo());
                const { taxAmt, shippingAmt, unitPrice, orderID, orderTotal } = orderMetadata;

                declassify(interact.showOrderPaid(taxAmt, shippingAmt, unitPrice, orderID, orderTotal));
                // This needs to be fleshed out.
                declassify(interact.syncToDb(taxAmt, shippingAmt, unitPrice, orderID, orderTotal));
              });
              PotentialBuyer.publish(orderMetadata)
                .pay(orderMetadata.orderTotal);


              assert(balance() == orderMetadata.orderTotal);
              setViewActiveOrderMetadata(vActiveOrderMetadata, orderMetadata);


              // 4. Approval/refund logic
              const [ orderTimedOut, orderDenied, orderApproved ] = 
                parallelReduce([ false, false, false ])
                  .invariant((countTrue(array(Bool, [orderTimedOut, orderDenied, orderApproved])) <= 1)    
                    && (balance() == orderMetadata.orderTotal))
                  .while(!orderTimedOut && !orderDenied && !orderApproved)
                  .case(
                    Merchant,
                    (() => ({ when: declassify(interact.wantsToApproveOrder())})),
                    () => { return [ false, false, true ]; }
                  )                  
                  // Commented out until fix is released: https://github.com/reach-sh/reach-lang/issues/205#issuecomment-873118085
                  // .case(
                  //   Merchant,
                  //   (() => ({ when: declassify(interact.wantsToDenyOrder())})),
                  //   () => { return [ false, true, false ]; }
                  // )
                  //
                  // Test case, not true timeout.
                  .timeout(1000, () => {
                    Anybody.publish();
                    return [ false, false, true ];
                  });  

              // Verification fails without this. Seems like it's needed
              // to protect against some sort of malicious activity in 
              // the timeout due to Anybody.publish().
              if(balance() != orderMetadata.orderTotal) {
                transfer(balance()).to(ThisPotentialBuyer);
                return [ false, emptyOrderMetadata];
              } else {
                return [ true, orderMetadata ];
              }
            }
          })
        ) 
        .timeout(false);

    commit();
    Anybody.publish();
    transfer(finalPaymentAmts.orderTotal).to(Merchant);
    commit();
    exit();
  }
);

reachc: The compiler has encountered an internal error:

  solc failed:
STDOUT:

STDERR:
Error: Expected identifier but got 'address'
  --> /tmp/reachc-sol-59cc096600b49f45/compiled.sol:91:19:
   |
91 |   address payable address;
   |                   ^^^^^^^

'reach 0.1';

const CommonAPI = {
  reportProjectName: Fun([Bytes(64)], Null),
  reportContractBalance: Fun([UInt], Null),
  reportTimeout: Fun([], Null),
  stopWatching: Fun([], Null)
}

const ReceiverAPI = {
  ...CommonAPI,
  projectName: Bytes(64),
  projectGoal: UInt,
  projectDuration: UInt
};

const GiverAPI = {
  ...CommonAPI,
  getGift: Fun([], UInt),
  askToGive: Fun([], Bool),
  reportPayment: Fun([UInt], Null),
  reportDone: Fun([], Null)
};

export const main = Reach.App(() => {
  const R = Participant('Receiver', ReceiverAPI);
  const G = ParticipantClass('Giver', GiverAPI);
  deploy();

  R.only(() => {
    const p = {
      name: declassify(interact.projectName),
      goal: declassify(interact.projectGoal),
      duration: declassify(interact.projectDuration)
    }
  });

  R.publish(p);
  R.interact.stopWatching();

  const [inLoop, sum] = parallelReduce([true, 0])
    .invariant(balance() == sum)
    .while(inLoop && balance() < p.goal)
    .case(
      G,
      (() => {
        const shouldGive = declassify(interact.askToGive());
        if (!shouldGive) { interact.stopWatching(); }
        return { when: shouldGive, msg: declassify(interact.getGift()) }
      }),
      ((gift) => gift),
      ((gift) => {
        G.only(() => {
          interact.reportPayment(gift);
          interact.reportContractBalance(balance());
        });
        return [true, balance()];
      })
    )
    .timeout(p.duration, () => {
      G.interact.reportTimeout();
      Anybody.publish();
      return [false, sum];
    });

  transfer(balance()).to(R);
  commit();
  G.interact.reportDone();

  exit();
});

2. ./reach react 

'reach 0.1';
'use strict';

const TIMEOUT_PERIOD = 60 * 1000;
//const MINIMUM_FEE = 1000;

//-----------------------------------------------------------------------------
// Token operative & compliance parameters
//-----------------------------------------------------------------------------

const TokenParameters = Object({
  maxTransfers: UInt,
})

//-----------------------------------------------------------------------------
// Interaction interfaces
//-----------------------------------------------------------------------------

const IManager = {
  getBootstrapParams: Fun([], Tuple(Token, TokenParameters)),
  setupComplete: Fun([], Null)
}

const ISender = {
  getAxfer: Fun([], Tuple(UInt))
}

const IReceiver = {
  accAxfer: Fun([UInt], Bool)
}

//-----------------------------------------------------------------------------
// Helper functions
//-----------------------------------------------------------------------------
function validateParams(params) {
  assume(params.maxTransfers >= 1);
}

//-----------------------------------------------------------------------------
// DApp Entry point
//-----------------------------------------------------------------------------
export const main = Reach.App(
  {}, [
    Participant('Manager', IManager),
    ParticipantClass('Sender', ISender),
    ParticipantClass('Receiver', IReceiver)],
  (Manager, Sender, Receiver) => {

    // Step1:Manager must set token parameters

    Manager.only(() => {
      const [token, params] = declassify(interact.getBootstrapParams());
      validateParams(params);
      interact.setupComplete();
    })
    Manager.publish(token, params);

    var run = true
    invariant (balance() == 0 && balance(token) == 0)
    while(run) {
      Sender.only(() => {
        
      })

      Receiver.only(() => {

      })

      commit()
      Anybody.publish()
      
      continue;
    }

    commit();
  }
);

Verifying knowledge assertions
Verifying for generic connector
  Verifying when ALL participants are honest
  Verifying when NO participants are honest
  Verifying when ONLY "Manager" is honest
  Verifying when ONLY "Receiver" is honest
  Verifying when ONLY "Sender" is honest
Checked 34 theorems; No failures!
reachc: The compiler has encountered an internal error:

  3 lookup_let v29 not in v33, v49, v51, v56, v351, v352

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:66:3 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Util
  impossible, called at src/Reach/Connector/ALGO.hs:336:7 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Connector.ALGO

Successfully tagged reachsh/examples-multisig:v0.1.1
WARNING: Image for service reach-app was built because it did not already exist. To rebuild this image you must use `docker-compose build` or `docker-compose up --build`.
{"jsonrpc":"2.0","id":67,"result":"Geth/v1.9.2-stable-e76047e9/linux-amd64/go1.12.7"}

> @reach-sh/[email protected] pretest /app
> eslint --ignore-path .gitignore --ext .mjs .


> @reach-sh/[email protected] test /app
> node --experimental-modules index.mjs

(node:31) ExperimentalWarning: The ESM module loader is experimental.
internal/modules/esm/default_resolve.js:59
  let url = moduleWrapResolve(specifier, parentURL);
            ^

Error: Cannot find module /app/build/multisig.mjs imported from /app/index.mjs
    at Loader.resolve [as _resolve] (internal/modules/esm/default_resolve.js:59:13)
    at Loader.resolve (internal/modules/esm/loader.js:73:33)
    at Loader.getModuleJob (internal/modules/esm/loader.js:149:40)
    at ModuleWrap.<anonymous> (internal/modules/esm/module_job.js:43:40)
    at link (internal/modules/esm/module_job.js:42:36) {
  code: 'ERR_MODULE_NOT_FOUND'
}
npm ERR! code ELIFECYCLE
npm ERR! errno 1
npm ERR! @reach-sh/[email protected] test: `node --experimental-modules index.mjs`
npm ERR! Exit status 1
npm ERR!
npm ERR! Failed at the @reach-sh/[email protected] test script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     /root/.npm/_logs/2020-03-18T20_31_50_712Z-debug.log
make[1]: *** [run] Error 1
make: *** [run-all] Error 2

$ ./reach compile
Traceback (most recent call last):
  File "/usr/bin/docker-compose", line 11, in <module>
    load_entry_point('docker-compose==1.25.0', 'console_scripts', 'docker-compose')()
  File "/usr/lib/python3/dist-packages/compose/cli/main.py", line 72, in main
    command()
  File "/usr/lib/python3/dist-packages/compose/cli/main.py", line 125, in perform_command
    project = project_from_options('.', options)
  File "/usr/lib/python3/dist-packages/compose/cli/command.py", line 53, in project_from_options
    return get_project(
  File "/usr/lib/python3/dist-packages/compose/cli/command.py", line 156, in get_project
    execution_context_labels(config_details, environment_file),
  File "/usr/lib/python3/dist-packages/compose/cli/command.py", line 163, in execution_context_labels
    '{0}={1}'.format(LABEL_CONFIG_FILES, config_files_label(config_details)),
  File "/usr/lib/python3/dist-packages/compose/cli/command.py", line 172, in config_files_label
    return ",".join(
  File "/usr/lib/python3/dist-packages/compose/cli/command.py", line 173, in <genexpr>
    map(str, (os.path.normpath(c.filename) for c in config_details.config_files)))
  File "/usr/lib/python3.8/posixpath.py", line 336, in normpath
    path = os.fspath(path)
TypeError: expected str, bytes or os.PathLike object, not NoneType

Uncaught Error: hexAddress should be passed as a Buffer

'reach 0.1'
'use strict'

const IAdministrator = {
    getNewEntry: Fun([],Address),
}

const IRegistryView = {
    last: UInt
}

export const main = Reach.App({
    deployMode: "constructor" 
    },
    [ Participant('Administrator', IAdministrator),
      View('RegistryView', IRegistryView) ], 
     (Admin, RegistryView) => {
        Admin.publish();
        
        const registry = new Set()

        const isRunning = parallelReduce(true)
            .invariant(balance () == 0)  // No funds movement, should validate always
            .while(isRunning)
            .case(
                Admin,
                /* publish_expr */
                (() => ({
                    msg: declassify(interact.getNewEntry())
                })),
                /* pay_expr */
                ((_) => 0),
                /* consensus_expr */
                ((addr) => {
                    registry.insert(addr);
                    return isRunning;
                })
            )

        commit();
    })

hernandp@LAPTOP-QJTRSF6V:~/src/reach-scratchpad/03-registry$ ./reach compile registry.rsh
Verifying knowledge assertions
Verifying for generic connector
  Verifying when ALL participants are honest
  Verifying when NO participants are honest
  Verifying when ONLY "Administrator" is honest
Checked 12 theorems; No failures!
reachc: The compiler has encountered an internal error:

  sol view defn

This error indicates a problem with the Reach compiler, not your program. Please report this error, along with the pertinent program, to the Reach team as soon as possible so we can fix it.

Open an issue at: https://github.com/reach-sh/reach-lang/issues

CallStack (from HasCallStack):
  error, called at src/Reach/Util.hs:67:3 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Util
  impossible, called at src/Reach/Connector/ETH_Solidity.hs:1223:36 in reach-0.1.2-1JzW2Z5sBxAzanGaqepiq:Reach.Connector.ETH_Solidity

Linux LAPTOP-QJTRSF6V 5.4.72-microsoft-standard-WSL2 #1 SMP Wed Oct 28 23:40:43 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux

reach 0.1

file:///app/build/index.main.mjs:382
  stdlib.protect(ctc2, await interact.postWager(), {
                                      ^

TypeError: interact.postWager is not a function
    at Module.Funder (file:///app/build/index.main.mjs:382:39)
    at runMicrotasks (<anonymous>)
    at processTicksAndRejections (internal/process/task_queues.js:97:5)
    at async Promise.all (index 0)
    at async file:///app/index.mjs:122:5
npm ERR! code ELIFECYCLE
npm ERR! errno 1
npm ERR! @reach-sh/stonk-wars-index@ index: `node --experimental-modules --unhandled-rejections=strict index.mjs`
npm ERR! Exit status 1
npm ERR!
npm ERR! Failed at the @reach-sh/stonk-wars-index@ index script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     /root/.npm/_logs/2021-06-11T02_59_57_847Z-debug.log
ERROR: 1
Makefile.index:20: recipe for target 'run-target' failed
make[1]: *** [run-target] Error 1
make[1]: Leaving directory '/mnt/d/my-projs/stonk-wars'
Makefile.index:16: recipe for target 'run' failed
make: *** [run] Error 2

expected:
true
actual:
false

[austin:~/projects/reach-hello-wrold] main(+4/-0)* 4s ± make run-alice
docker-compose run --rm alice
Starting reach-hello-wrold_ethereum-devnet_1 ... done
Pulling alice (reachsh/reach-app-tut-8:latest)...
ERROR: pull access denied for reachsh/reach-app-tut-8, repository does not exist or may require 'docker login': denied: requested access to the resource is denied
Makefile:35: recipe for target 'run-alice' failed
make: *** [run-alice] Error 1