Amount Patterns: Write test cases for the use cases and for each mathKind and mark as test.failing

[katelynsills]

Examples for the use cases:

Finding an invitation in the wallet:

const offer = {
 invitationQuery: { instance, description },
};

// Under the hood in findOrMakeInvitation.js in the wallet:

const invitationPattern = r.make(r.specifySome(offer.invitationQuery));
amountMath.matchMin(invitationPurseBalance, invitationPattern);

results in:

r.specifySome({ instance, description })

which is

 {
   '@pattern': '...*',
   instance,
   description,
 }

Buy a ticket for an event with offer safety

An example ticket amount value:

[{
show: 'Steven Universe, the Opera',
start: 1611704689,
id: 1,
}]
The user writes:

const tues3pm = 1611704689; // whatever 3pm is
const tues6pm = 1611704689; // whatever 6pm is
const ticketForThisAfternoon = r.make([
 {
   show: 'Steven Universe, the Opera',
   id: r.any(),
   start: r.and(r.gte(tues3pm), r.lte(tues6pm)),
 },
]);

const proposal = {
 want: ticketForThisAfternoon,
};

Results in:

[{
   show: 'Steven Universe, the Opera',
   id: {
     '@pattern': '*',
   },
   start: {
     '@pattern': 'and',
     subPatterns: [
       {
         '@pattern': '>=',
         rightOperand: 1611704689, // whatever 3pm is
       },
       {
         '@pattern': '<=',
         rightOperand: 1611704689, // whatever 6pm is
       },
     ],
   },
 }]

Buy an option with offer safety

Example option amount value: [{
strikePrice,
expirationDate,
underlyingAmount,
timeAuthority,
description,
handle,
instance,
installation,
}]
User writes:

r.make([
 {
   strikePrice: r.lte(maxStrikePrice),
   expirationDate: r.gte(nextMondayMidnight),
   underlyingAmount: r.gte(minUnderlyingAmount),
   timeAuthority: myTimeAuthority,
   description: 'exerciseOption',
   handle: r.any(),
   instance: r.any(),
   installation: coveredCallInstallation,
 },
]);

Results in:

[
 {
   strikePrice: {
     '@pattern': '<=',
     rightOperand: maxStrikePrice,
   },
   expirationDate: {
     '@pattern': '>=',
     rightOperand: nextMondayMidnight,
   },
   underlyingAmount: {
     '@pattern': '>=',
     rightOperand: minUnderlyingAmount,
   },
   timeAuthority: myTimeAuthority,
   description: 'exerciseOption',
   handle: { '@pattern': '*'},
   instance: { '@pattern': '*'},
   installation: coveredCallInstallation,
 },
]

[rowgraus]

Will timebox to 3 and choose most important areas to start