For each of the scenarios below, the .json file contains the scenario to be tested, the .txt file contains the output of my last test. 

-1_0_happy-path-JIS2Drollback.json
>>> The base positive test scenario equivalent to JIS for testing a generated smart contract without intervention in the generated code, which requires a double duality
-1_1_happy-path-JIS1Drollback
>>> The base positive test scenario equivalent to JIS for testing a generated smart contract after intervention (see chaincodes>rea20240203Modifications.txt) in the generated code, which allows for a unified duality
0_0_happy-path-JIS1Drollback_IIDDm.json
>>> The base positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating both increments, and ends with creating both decrements. Increments and decrements are ended in the opposite order as they have been created, which makes this scenario symmetric.  
0_1_happy-path-permutationIDDIeAss.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating an increment, continues with creating both decrements, and ends with creating a final Increment. The increments and decrements are ended in the same order as in the 0_0 scenario, which makes this scenario asymmetric. 
0_2_happy-path-permutationIDDIeSym.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating an increment, continues with creating both decrements, and ends with creating a final Increment. The increments and decrements are ended in the opposite order as they have been created, which makes this scenario symmetric. 
0_3_happy-path-permutationDDIImAss.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating both decrements, and ends with creating both increments. The increments and decrements are ended in the same order as in the 0_0 scenario, which makes this scenario asymmetric.  
0_4_happy-path-permutationDDIImSym.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating both decrements, and ends with creating both increments. Increments and decrements are ended in the opposite order as they have been created, which makes this scenario symmetric.
0_5_happy-path-permutationDIIDeAss.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating a decrement, continues with creating both increments, and ends with creating a final decrement. The increments and decrements are ended in the same order as in the 0_0 scenario, which makes this scenario asymmetric.
0_6_happy-path-permutationDIIDeSym.json
>>> A positive test scenario for testing the concurrency of increments and decrements through permutations of the Increments and Decrements in the scenario. It starts with creating a decrement, continues with creating both increments, and ends with creating a final decrement. Increments and decrements are ended in the opposite order as they have been created, which makes this scenario symmetric.
1_unhappy-path-doubleSpending.json
>>> A negative test scenario that tests the ability of the contract to block double spending by duplicating all transactions from the 0_0 scenario. 
2_happy-path-return.json
>>> A positive test scenario that tests the contract's ability to handle returns by returning the cookie from the 0_0 scenario instead of paying for it. 
3_happy-path-repurchase.json
>>> A positive test scenario that tests the contract's ability to handle a scenario in which a seller repurchases what he sold earlier to the buyer after the payment by reversing the entire 0_0 scenario.
4_happy-path-resale.json
>>> A positive test scenario that tests the contract's ability to handle a scenario in which a buyer resells what he has bought earlier from a first party to a third party by repeating the 0_0 scenario between the initial seller, the initial buyer and the initial buyer, which becomes a seller, and a third party buyer. 