feat(random.ts): add support for generating random MayUseToken values

This commit introduces a new function `mayUseTokenInvalid()` which generates random `MayUseToken` values. The function creates a record with `parentsOwnToken` and `inheritFromParent` fields of type boolean.

It also defines an `invalid` case where both `parentsOwnToken` and `inheritFromParent` are set to true, which is an invalid state. This invalid case is added to the `mayUseToken` generator using `Object.assign`.

The `mayUseToken` generator is then added to the `Generators` and `JsonGenerators` objects to make it available for generating random `MayUseToken` values in tests.

This change allows for more comprehensive testing of the `MayUseToken` type and its usage in the codebase.

src/lib/testing/random.ts

@@ -22,6 +22,7 @@ import {
   ZkappUri,
   PublicKey,
   StateHash,
+  MayUseToken,
 } from '../../bindings/mina-transaction/transaction-leaves-bigint.js';
 import { genericLayoutFold } from '../../bindings/lib/from-layout.js';
 import { jsLayout } from '../../bindings/mina-transaction/gen/js-layout.js';
@@ -115,6 +116,7 @@ const actionState = oneOf(ActionState.empty(), field);
 const verificationKeyHash = oneOf(VerificationKeyHash.empty(), field);
 const receiptChainHash = oneOf(ReceiptChainHash.empty(), field);
 const zkappUri = map(string(nat(50)), ZkappUri.fromJSON);
+const mayUseToken = mayUseTokenInvalid();
 
 type Types = typeof TypeMap & typeof customTypes & PrimitiveTypeMap<bigint>;
 type Generators = {
@@ -143,6 +145,7 @@ const Generators: Generators = {
   string: base58(nat(50)), // TODO replace various strings, like signature, with parsed types
   number: nat(3),
   TransactionVersion: uint32,
+  MayUseToken: mayUseToken,
 };
 let typeToBigintGenerator = new Map<Signable<any, any>, Random<any>>(
   [TypeMap, primitiveTypeMap, customTypes]
@@ -251,6 +254,7 @@ const JsonGenerators: JsonGenerators = {
   string: base58(nat(50)),
   number: nat(3),
   TransactionVersion: json_.uint32,
+  MayUseToken: mayUseToken,
 };
 let typeToJsonGenerator = new Map<Signable<any, any>, Random<any>>(
   [TypeMap, primitiveTypeMap, customTypes]
@@ -884,6 +888,12 @@ function publicKeyWithInvalid() {
   return Object.assign(publicKey, { invalid });
 }
 
+function mayUseTokenInvalid() {
+  let mayUseToken = record({ parentsOwnToken: bool, inheritFromParent: bool });
+  let both = map(mayUseToken, (m) => ({ ...m, parentsOwnToken: true }));
+  return Object.assign(mayUseToken, { invalid: oneOf(both) });
+}
+
 /**
  * invalid arrays are sampled by generating an array with exactly one invalid input (and any number of valid inputs);
  * (note: invalid arrays have the same length distribution as valid ones, except that they are never empty)