fix: value contraints

Modulo-P · Mar 3, 2024 · 3a59a04 · 3a59a04
1 parent 567bfe6
commit 3a59a04
Show file tree

Hide file tree

Showing 3 changed files with 1,242 additions and 925 deletions.
diff --git a/plutus.json b/plutus.json
@@ -6,7 +6,7 @@
     "plutusVersion": "v2",
     "compiler": {
       "name": "Aiken",
-      "version": "v1.0.24-alpha+d698f76"
+      "version": "v1.0.24-alpha+982eff4"
     },
     "license": "Apache-2.0"
   },
@@ -25,8 +25,8 @@
           "$ref": "#/definitions/mastermind~1GameRedeemer"
         }
       },
-      "compiledCode": "590a2d01000032323232323232323223232322322533300a32323232323232323232323232323232323232533301d3370e9000005899191929998119813001099299981099b8748010c0800044c8c8c8c94ccc094cdc3a40046048002264646464a66605266e1d2002302800113232533302b3370e6eb4c054c0a40a120001533302b3375e01c98103d87a80001533302b3370e602c6eb0c060c0a402520081533302b3370e6eb4c054c0a402520021533302b3301e020375c603660520122a66605666e3cdd7180e98148049bae301d30290281533302b3370e6eb4c04cc0a4024dd6980998148140a999815802099b893370200a00290405f49008a5014a029405280a5014a029405281bad302f001302700116301a3026301a30263011302601d3371266e000052080be9201375a6020604a00a6eb4c0ac004c08c00458c058c088c050c088c034c088064c078004c09c004c07c00458c020c07800458c090004c00c054c00405054ccc074cdc3a40040162646464a666046604c004264a66604266e1d2004302000113232323253330253370e66e00dd698079811811240046eb4c03cc08c00c54ccc094cdc41bad300f30230224805054ccc094cdc399b86375a601e60460069002240042a66604a66e1cc040dd618091811801a40102a66604a66ebc021300103d87980001533302501415333025001153330253370e6eb4c034c08c00cdd6980698118110a99981299baf301930230033019302302213370e6eb4c038c08c00ccdc01bad300e302302248202fa48045280a5014a029405280a5014a02940528299981219b8f375c602c60440046eb8c058c0880844cdc79bae30143022002375c602860440422940c078004c09c004c07c00458c020c07800458c090004c00c054c00405054ccc074cdc3a40080162646464a666046604c004264a66604266e1d2004302000113232323253330253370e66e00dd698079811811240046eb4c03cc08c00c54ccc094cdc399b86375a601e60460069002240002a66604a66e20dd698079811811240282a66604a66ebc02130103d87980001533302501615333025001153330253370e6eb4c034c08c00cdd6980698118110a99981299baf301930230033019302302213370e6eb4c038c08c00ccdc01bad300e302302248202fa48045280a5014a029405280a5014a029414ccc090cdc79bae30163022002375c602c6044042266e3cdd7180a18110011bae3014302202114a0603c002604e002603e0022c6010603c0022c6048002600602a6002028264a66603c66e1d2002301d001132323232325333023533302353330233370e6eb4c004c0840812008101214a0266e24dd6980698108102402829405288a999811a999811a99981199b88375a600260420409004099b87375a601a6042040900a0a50101414a0294454ccc08d4ccc08d4ccc08c0084cdc399b86375a601a6042040900224004294040485280a51153330235333023533302300213370e66e18dd6980698108102400890000a50101414a0294454ccc08ccdc39bad300d30210204800040505281181418149814981498148009919299981180108008a50323253330243370e90000008a50153330243370e900100089919299981319b8748008c09cdd5180b1812180b1812003099b8900700113371000e0026eb4c0a8004c0880085289811000980a1810180918100011919299981199b87480000045288a99981199b87480080044c8c94ccc094cdc3a4004604c6ea8c054c08cc05cc08c0144cdc4800803099b88001006375a605200260420042940c084004c04cc07cc04cc07c004cdd2a40006604866e952000330243374a9001198121804980f00ea5eb80cc090ccc08128a6103d87a80004c0103d87980004bd701981226010ad8799fd87b80d87a80ff004bd701bad3024001301c00116300f301b300f301b3006301b012232323253330233026002132323232323232533302a302d00213232533302c302f0021323232323232533302f533302f00113370e01600429405300103d87980001533302f533302f00113370e66e0802d200400214a02980103d87a800014c103d87b8000533302e3371e01c00a266e3c03000c5281bad30320013032002375c606000260600046eb8c0b800458dd6181680098069bab3017302500116302b001300a009375a605200260520046eb8c09c004c09c008dd718128008b1bac302400130043756601c6038601c6038002600800246464646464a666048604e00426604a00297ae0163025001323300100100222533302400114bd7009919299981199baf3015302100200613302700233004004001133004004001302800230260013758600c603860206038006601e6036601a603600260060024646600200200444a666040002297ae01323332223233001001003225333026001100313233028374e660506ea4018cc0a0dd49bae30250013302837506eb4c0980052f5c066006006605400460500026eb8c07c004dd598100009980180198120011811000919299980d99b8748008c0680044c8c8c94ccc078cdc3a4000603a0022604660380022c64646600200200444a666046002298103d87a80001323253330223375e6028604000400c266e952000330260024bd70099802002000981380118128009bac300f301b300f301b0043021001301900116300a30180012301e301f301f0012301d301e301e301e301e301e301e301e0012301c301d301d301d301d301d301d00130010012253330190011480004cdc0240046600400460380024603260346034603400260220166600800c6eb8c004c03c0388c058c05c004cc008010dd7180098068061180a0009119191980080080111299980a8008a501323253330143371e00400c29444cc010010004c064008dd7180b8009bac3003300d00223012301330133013301330133013301330130013010001300800114984d958c94ccc024cdc3a40000022a666018600e0042930b0a99980499b874800800454ccc030c01c00852616153330093370e90020008a99980618038010a4c2c2a66601266e1d20060011533300c300700214985858c01c004c00400c8c94ccc01ccdc3a400000226464646464646464646464646464646464646464a66603c604200426464649319299980f19b87480000044c8c8c8c8c8c94ccc09cc0a800852616375c605000260500046eb8c098004c098008dd71812000980e0020b180e00199299980e99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b8c0c40084c8c926330280022375c0026604e00646eb800458dd6181780098178011bac302d001302d002375c605600260560046eb8c0a4004c0a4008dd7181380098138011bae30250013025002375a6046002603600a2c60360086602e01a46eb400458c07c004c07c008c074004c074008dd6980d800980d8011bad30190013019002375a602e002602e0046eb4c054004c054008dd6180980098098011bad30110013011002375c601e002601e0046eb8c034004c01400858c01400488c8cc00400400c894ccc02c00452613233003003300f0023003300d001230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
-      "hash": "bb7b94df46cb222c4ec9c90ff3e5411b2724ffa4c73ec350d2fd66be"
+      "compiledCode": "590bd201000032323232323232323222232323232533300a3232323232323232323232323232323232323232323253330203370e9000007099191929998131814801099299981219b8748010c08c0044c8c8c8c94ccc0a0cdc3a4004604e002264646464a66605866e1d2002302b00113232533302e3370e6eb4c060c0b00ad20001533302e3375e01c98103d87a80001533302e3370e60326eb0c06cc0b002520081533302e3370e6eb4c060c0b002520021533302e33021023375c603c60580122a66605c66e3cdd7181018160049bae3020302c02b1533302e3370e6eb4c058c0b0024dd6980b18160158a999817002099b893370200a00290405f49008a5014a029405280a5014a029405281bad3032001302a00116301d3029301d3029301430290203371266e000052080be9201375a6026605000a6eb4c0b8004c09800458c064c094c05cc094c040c094070c07c004c0a8004c08800458c02cc08400458c09c004c018070c00406c54ccc080cdc3a400401c2646464a66604c6052004264a66604866e1d2004302300113232323253330283370e66e00dd698091813012a40046eb4c048c09800c54ccc0a0cdc41bad301230260254805054ccc0a0cdc399b86375a6024604c0069002240042a66605066e1cc04cdd6180a9813001a40102a66605066ebc021300103d87980001533302801715333028001153330283370e6eb4c040c09800cdd6980818130128a99981419baf301c3026003301c302602513370e6eb4c044c09800ccdc01bad3011302602548202fa48045280a5014a029405280a5014a02940528299981399b8f375c6032604a0046eb8c064c0940904cdc79bae30173025002375c602e604a0482940c07c004c0a8004c08800458c02cc08400458c09c004c018070c00406c54ccc080cdc3a400801c2646464a66604c6052004264a66604866e1d2004302300113232323253330283370e66e00dd698091813012a40046eb4c048c09800c54ccc0a0cdc399b86375a6024604c0069002240002a66605066e20dd698091813012a40282a66605066ebc02130103d87980001533302801915333028001153330283370e6eb4c040c09800cdd6980818130128a99981419baf301c3026003301c302602513370e6eb4c044c09800ccdc01bad3011302602548202fa48045280a5014a029405280a5014a029414ccc09ccdc79bae30193025002375c6032604a048266e3cdd7180b98128011bae3017302502414a0603e002605400260440022c601660420022c604e002600c0386002036264a66604266e1d20023020001132323232325333026533302653330263370e6eb4c004c09008d2008101514a0266e24dd698081812011a402829405288a9998132999813299981319b88375a600260480469004099b87375a60206048046900a0a50101714a0294454ccc0994ccc0994ccc0980084cdc399b86375a60206048046900224004294040545280a51153330265333026533302600213370e66e18dd698081812011a400890000a50101714a0294454ccc098cdc39bad3010302402348000405c5281181598161816181618160009919299981300108008a50323253330273370e90000008a50153330273370e900100089919299981499b8748008c0a8dd5180c9813980c9813803099b8900700113371000e0026eb4c0b4004c0940085289812800980b9811980a98118011919299981319b87480000045288a99981319b87480080044c8c94ccc0a0cdc3a400460526ea8c060c098c068c0980144cdc4800803099b88001006375a605800260480042940c090004c058c088c058c088004cdd2a40006604e66e952000330273374a9001198139806181081025eb80cc09cccc08d28a6103d87a80004c0103d87980004bd7019813a6010ad8799fd87b80d87a80ff004bd701bad3027001301f001163012301e3012301e3009301e01523232325333026302900213232533302500214c103d87980001533302500114c0103d87a800014c103d87b800030083300733007375660286044602860440086eacc050c088c050c088010c018dd5980a18110011803998031bab301330213013302100330053756602660420022c604e002600c004600c0024646600200200444a666048002297adef6c60132323233028337606ea4004dd31919198008008011129998150008a5eb7bdb1804c8cc0b0cdd81ba9375c60520026ea0cdc0a40006eb4c0a8004cc00c00cc0b8008c0b0004dd59813001998028028011bae30240023028002302600122323330010010030022225333025002100113233300400430290033322323300100100522533302a00113302b337606ea4010dd3001a5eb7bdb1804c8c8c8c94ccc0accdd799809004001260103d879800013302f337606ea4020dd30038028a99981599b8f00800213232533302d3370e900000089981899bb037520146064605600400a200a605600264a666058a66605e00229445280a60103d87a800013374a9000198181ba60014bd701919980080080400111129998188010800899199802002181a8019991191980080080291299981b00089981b99bb037520086ea000d2f5bded8c0264646464a66606e66ebccc078020009300103d879800013303b337606ea4020dd40038028a99981b99b8f0080021323253330393370e900000089981e99bb03752014607c606e00400a200a606e00264a66607066e1c005200014c103d87a800013374a90001981e1ba80014bd7019b8000700113303b337606ea4008dd4000998030030019bad3038003375c606c004607400460700026eb8c0c0004dd69818800981980109981799bb037520046e98004cc01801800cdd598160019bae302a002302e002302c001375c60480026eacc094004c09c0088cdd79ba60014c101a00023232323232533302430270021330250014bd700b181280099198008008011129998120008a5eb804c8c94ccc08ccdd7980a981080100309981380119802002000899802002000981400118130009bac3006301c3010301c003300f301b300d301b0013002001232533301c3370e9001180d8008991919299980f99b8748000c0780044c090c07400458c8c8cc004004008894ccc0900045300103d87a80001323253330233375e602a604200400c266e952000330270024bd70099802002000981400118130009bac3010301c3010301c0043022001301a00116300b301900122533301b33720004002298103d87980001533301b3371e0040022980103d87a800014c103d87b80002301e301f301f0012301d301e301e301e301e301e301e301e0012301c301d301d301d301d301d301d00130010012253330190011480004cdc02400466004004603800246032603460346034002602201c6600800c6eb8c004c03c0388c058c05c004cc008010dd7180098068061180a0009119191980080080111299980a8008a501323253330143371e00400c29444cc010010004c064008dd7180b8009bac3003300d00223012301330133013301330133013301330130013010001300800514984d958c94ccc028cdc3a40000022a66601a601000c2930b0a99980519b874800800454ccc034c020018526161533300a3370e90020008a99980698040030a4c2c2a66601466e1d20060011533300d300800614985858c020014c0040148c94ccc024cdc3a400000226464646464646464646464646464646464646464a666040604600426464649319299981019b87480000044c8c8c8c8c8c94ccc0a4c0b000852616375c605400260540046eb8c0a0004c0a0008dd71813000980f0020b180f00199299980f99b87480000044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0c0c0cc0084c8c926330280022375c0026604e00646eb800458dd6181880098188011bac302f001302f002375c605a002605a0046eb8c0ac004c0ac008dd7181480098148011bae30270013027002375a604a002603a00a2c603a0086602e01a46eb400458c084004c084008c07c004c07c008dd6980e800980e8011bad301b001301b002375a603200260320046eb4c05c004c05c008dd6180a800980a8011bad30130013013002375c602200260220046eb8c03c004c01c00858c01c00488c8cc00400400c894ccc0340045261323300300330110023003300f001230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
+      "hash": "32a4b0d291de8692a6cf292a4d05d3a60a3f8df772058ff108bc0cc0"
     }
   ],
   "definitions": {