create testing scenarios/cases

[aleeusgr]

vesting test scenarios:

Rachel for recipient Graham for Granter

• [ ] G locks some funds, and
  • [x] G can Cancel
  • [x] G is unable to Cancel after the deadline
  • [ ] R is unable to Claim before the deadline
  • [ ] R is able to Claim after deadline
  • [ ] Claim or Cancel fails with a wrong wallet
  • [ ] G locks some funds and G is able to cancel. same for " and R can claim"
    • [ ] only lovelace
    • [ ] lovelace and one native asset
    • [ ] lovelace and multiple native assets (> 250)

what are possible conditions for an unspendeable utxo?

[aleeusgr]

https://github.com/Hyperion-BT/helios/issues/89

const theNetwork = new NetworkEmulator();
const params = JSON.parse(await fs.readFile('./src/preprod.json', 'utf8'));
const emuParams = theNetwork.initNetworkParams(params)
emuParams.liveSlot;

this might help

const emuParams = theNetwork.initNetworkParams(params) // as
         // NetworkParams & {slotToTimestamp: typeof slotToTimestamp}
emuParams.timeToSlot = function(t) {
    const seconds = BigInt(t / 1000n)
    return seconds
}

//... could become useful(?):

// emuParams.slotToTimestamp = slotToTimestamp
// function slotToTimestamp (s : bigint) {
//     const num = parseInt(  BigInt.asIntN(52, s * 1000n).toString())
//     return new Date(num)
// }

function waitUntil(time: Date, network, params) {
    const targetSlot = params.timeToSlot(BigInt(time.getTime()))
    const current = params.liveSlot

    const slotsToWait = targetSlot - current;
    if (slotsToWait < 1) {
        throw new Error(`the indicated time is not in the future`)
    }
    // console.warn(`waiting ${slotsToWait} until ${time}`);

    network.tick(slotsToWait)
}

[aleeusgr]

One time cliff vesting can certainly be a supported scenario.

It is also common to have a smaller percentage on a cliff, then a continuing fractional vest through a longer period.

25 at one year then the remainder over next 3 years, for instance

[aleeusgr]

https://github.com/dubzzz/fast-check vs Helios fuzzy-test ?

https://www.youtube.com/watch?v=pF8HpKmaQi4

https://www.youtube.com/watch?v=n4IgYrc0pes&t=2157s