Verification failed

[gconnect]

Not quite sure what the error means.

const deadlineBlock = relativeTime(deadline);
  const RSVPs = new Set();

  const [ keepGoing, howMany ] =
    parallelReduce([true, 0])
    .define(() => {
      ViewBalance.ticket.set(balance(ticket));
      ViewBalance.rewardToken.set(balance(rewardToken));
    })
    .invariant(balance(ticket) == howMany * ticketFee && RSVPs.Map.size() == howMany)
    .invariant(RSVPs.Map.size() == howMany)
    .while( keepGoing )
    .api_(RSVPier.isRSVP, (who) => {
      check( ! RSVPs.member(this), "not yet rsvpied" );
      return [ ticketFee, (k) => {   
        k(true);
        transfer( amt, ticket).to(who);
        RSVPs.insert(this);
        return [ keepGoing, howMany + 1 ];
      }];
    })
    .api_(Checkin.isCheckin, (who) => {
      check( this == Organizer, "you are the Organizer");
      check( RSVPs.member(who), "yeah" );
      return [ 0, (k) => {
        k(true);
        transfer( amt, rewardToken).to(who);
        RSVPs.remove(who);
        return [ keepGoing, howMany - 1 ];
      }];
    })
    .timeout( deadlineBlock, () => {
      const [ [], k ] = call(Checkin.isTime);
      k(true);
      return [ false, howMany ]
    });

  const leftovers = howMany;
  transfer(leftovers * ticketFee).to(Organizer);
  transfer(balance(ticket), ticket).to(Organizer);
  transfer(balance(rewardToken), rewardToken).to(Organizer);
  commit();
  exit();
```

[hmzdot]

First of all, you may need an lower bound for UInts, from what I observed it is a common reason for verification errors. Easiest way you can achieve is to set verifyPerConnector options true

// Participants
setOptions({ verifyPerConnector: true });
init();

[gconnect]

Doing this increase the number of failure 2x not sure why

[hmzdot]

You also define balance of ticket Token as the product of howMany and ticketFee, but in RSVPier.isRSVP by doing return [ ticketFee, (k) => { you get the ticketFee in Network Tokens (ALGO, ETH etc.) I guess you meant [0, [ ticketFee, ticket ]]. And not sure why you have two .invariant()s as the first one is sufficient

[gconnect]

The two invariants was a mistake on my part I have removed it and also tried adjusting the payment section but the error still persist.
Here is the full code. For better clarity

"reach 0.1";

//For better understanding of what the contract does or should do

//PLATFORM OWNER
// Platform owner charges a fee a percentage say 10% from every transaction/rsvp done

//EVENT ORGANIZER
// Event organizer charges a fee for the event. The event is in form of a non-network token ticket. 
//The number of ticket bought is the number of non-network token that will be transferred to 
//the attendee or rsvpier
//The organizer recieved payment in form of Algo (ticketFee * number of tickets)
// The event organizer gives all checkin attendee a reward token

//ATTENDEE OR RSPIER
// Event attendee or rsvp pays a fee to attend an event and receives a 
//non network reward token after attending the event/checkin

export const main = Reach.App(() => {
  const TicketMarketPlace = Participant('Platform', {
    takePlatformFee: UInt,
    ready: Fun([], Null)
  });

  const Organizer = Participant('Organizer', {
    ticket: Token,
    ticketFee: UInt,
    deadline: UInt,
    transferReward: Fun([Bool, UInt], Null),
    rewardToken: Token,
    ready: Fun([], Null),
    amt : UInt,
    checkBal: Fun(true, Null)
  });

  const RSVPier = API('RSVPier', {
    isRSVP: Fun([Address], Bool),
    buyTicket: Fun([UInt], Null)
  });

  const Checkin = API('CHK', {
    isCheckin: Fun([Address], Bool),
    isTime:  Fun([], Bool),
  });

  const ViewBalance = View('Bals', {
    ticket: UInt,
    rewardToken: UInt
  });
  setOptions({verifyPerConnector: true})

  init();

  TicketMarketPlace.only(() => {
    const platformFee = declassify(interact.takePlatformFee);
  });
  TicketMarketPlace.publish(platformFee);
  TicketMarketPlace.interact.ready();
  commit();

  Organizer.only(() => {
    const ticket = declassify(interact.ticket);
    const ticketFee = declassify(interact.ticketFee);
    const deadline = declassify(interact.deadline);
    const rewardToken = declassify(interact.rewardToken)
    const amt = declassify(interact.amt)

    assume(ticket != rewardToken);
    assume(amt <= UInt.max);

  });
  Organizer.publish(ticket, ticketFee, rewardToken, deadline, amt);
  Organizer.interact.ready();
  commit();

  Organizer.publish();

  const chkBal = (i) => {
    Organizer.interact.checkBal(i, balance(ticket), balance(rewardToken));
  };

  const deadlineBlock = relativeTime(deadline);
  const RSVPs = new Set();

  const [ keepGoing, howMany ] =
    parallelReduce([true, 0])
    .define(() => {
      ViewBalance.ticket.set(balance(ticket));
      ViewBalance.rewardToken.set(balance(rewardToken));
    })
    .invariant(balance(ticket) == howMany * ticketFee && RSVPs.Map.size() == howMany)
    .while( keepGoing )
    .api_(RSVPier.isRSVP, (who) => {
      check( ! RSVPs.member(this), "not yet rsvpied" );
      return [ ticketFee, (k) => {   
        k(true);
        transfer( amt, ticket).to(who);
        RSVPs.insert(this);
        return [keepGoing, howMany + 1 ];
      }];
    })
    .api_(Checkin.isCheckin, (who) => {
      check( this == Organizer, "you are the Organizer");
      check( RSVPs.member(who), "yeah" );
      return [ 0, (k) => {
        k(true);
        transfer( amt, rewardToken).to(who);
        RSVPs.remove(who);
        return [ keepGoing, howMany - 1 ];
      }];
    })
    .timeout( deadlineBlock, () => {
      const [ [], k ] = call(Checkin.isTime);
      k(true);
      return [ false, howMany ]
    });

  const leftovers = howMany;
  transfer(leftovers * ticketFee).to(Organizer);
  transfer(balance(ticket), ticket).to(Organizer);
  transfer(balance(rewardToken), rewardToken).to(Organizer);
  commit();
  exit();

});

[hmzdot]

You want to use tokens in parallelReduce and in order to do that you have to define a paySpec (a list of tokens you'll include) and change the payment amounts. Final result looks like

"reach 0.1";

export const main = Reach.App(() => {

  const TicketMarketPlace = Participant('Platform', {
    takePlatformFee: UInt,
    ready: Fun([], Null)
  });

  const Organizer = Participant('Organizer', {
    ticket: Token,
    ticketFee: UInt,
    deadline: UInt,
    transferReward: Fun([Bool, UInt], Null),
    rewardToken: Token,
    ready: Fun([], Null),
    amt : UInt
  });

  const RSVPier = API('RSVPier', {
    isRSVP: Fun([Address], Bool),
    buyTicket: Fun([UInt], Null)
  });

  const Checkin = API('CHK', {
    isCheckin: Fun([Address], Bool),
    isTime:  Fun([], Bool),
  });

  const ViewBalance = View('Bals', {
    ticket: UInt,
    rewardToken: UInt
  });

  setOptions({ verifyPerConnector: true })
  init();

  TicketMarketPlace.only(() => {
    const platformFee = declassify(interact.takePlatformFee);
  });
  TicketMarketPlace.publish(platformFee);
  TicketMarketPlace.interact.ready();
  commit();

  Organizer.only(() => {
    const ticket = declassify(interact.ticket);
    const ticketFee = declassify(interact.ticketFee);
    const deadline = declassify(interact.deadline);
    const rewardToken = declassify(interact.rewardToken)
    const amt = declassify(interact.amt)

    assume(ticket != rewardToken);
    assume(amt <= UInt.max);

  });
  Organizer.publish(ticket, ticketFee, rewardToken, deadline, amt);
  Organizer.interact.ready();
  commit();

  Organizer.publish();

  const deadlineBlock = relativeTime(deadline);
  const RSVPs = new Set();

  const [ keepGoing, howMany ] =
    parallelReduce([true, 0])
    .define(() => {
        ViewBalance.ticket.set(balance(ticket));
        ViewBalance.rewardToken.set(balance(rewardToken));
    })
    .while( keepGoing )
    .invariant(balance() == howMany * ticketFee)
    .paySpec([ ticket ])
    .api_(RSVPier.isRSVP, (who) => {
      check( ! RSVPs.member(this), "not yet rsvpied" );
      return [ [0, [ticketFee, ticket]], (k) => {
        k(true);
        transfer( amt, ticket).to(who);
        RSVPs.insert(this);
        return [ keepGoing, howMany + 1 ];
      }];
    })
    .api_(Checkin.isCheckin, (who) => {
      check( this == Organizer, "you are the Organizer");
      check( RSVPs.member(who), "yeah" );
      return [ 0, (k) => {
        k(true);
        transfer( amt, rewardToken).to(who);
        RSVPs.remove(who);
        return [ keepGoing, howMany - 1 ];
      }];
    })
    .timeout( deadlineBlock, () => {
      const [ [], k ] = call(Checkin.isTime);
      k(true);
      return [ false, howMany ]
    });

  const leftovers = howMany;
  transfer(leftovers * ticketFee).to(Organizer);
  transfer(balance(ticket), ticket).to(Organizer);
  transfer(balance(rewardToken), rewardToken).to(Organizer);
  commit();
  exit();

});

[hmzdot]

This also gets an error because you don't pay rewardToken to the contract but contract tries to pay rewardToken inside RSVPier.isCheckin. You need to get it from user with

Organizer.publish(ticket, ticketFee, rewardToken, deadline, amt).pay([[  amountToPay, rewardToken   ]]);

Then you need to figure how much you want Organizer to pay and how it will work inside the parallelReduce (the way invariants change etc.)

[gconnect]

Figuring how much i want the organizer to pay will it be done in the contract or can be handled in the frontend?
And also for better clarity of what I am trying to achieve. Can you check the comment on top of the full code?

• The organizer will transfer non-network token to the rsvpier after the rsvpier has made payment for the ticket. The ticket here is a non-network token.
• Also at the end of attending the event the organizer will transfer another non-network reward token

[jeapostrophe]

1. I recommend labeling your invariants with messages.
2. Your invariants are just inaccurate. RSVPier.isRSVP deposits in the ticket token, but your invariant is only about network tokens.

[gconnect]

Can you add an example or link that shows how this is done? For 1 & 2. Thanks

[jeapostrophe]

1. See line 4 --- https://docs.reach.sh/rsh/consensus/#p_28
2. You can use balance(ticket)

[gconnect]

I already checked that maybe I am not using it well. And I also added ticket to the balance before but was still having those errors.

[jeapostrophe]

Your invariant is incorrect and that is why it is erroring. You are claiming that when howMany goes up the balance() goes up, but it does not.