@the-situation/artifacts 0.5.0-alpha.0 → 0.8.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,910 @@
1
+ [
2
+ {
3
+ "type": "enum",
4
+ "name": "core::bool",
5
+ "variants": [
6
+ {
7
+ "name": "False",
8
+ "type": "()"
9
+ },
10
+ {
11
+ "name": "True",
12
+ "type": "()"
13
+ }
14
+ ]
15
+ },
16
+ {
17
+ "type": "struct",
18
+ "name": "the_situation::types::sq128::types::SQ128x128Raw",
19
+ "members": [
20
+ {
21
+ "name": "limb0",
22
+ "type": "core::integer::u64"
23
+ },
24
+ {
25
+ "name": "limb1",
26
+ "type": "core::integer::u64"
27
+ },
28
+ {
29
+ "name": "limb2",
30
+ "type": "core::integer::u64"
31
+ },
32
+ {
33
+ "name": "limb3",
34
+ "type": "core::integer::u64"
35
+ },
36
+ {
37
+ "name": "neg",
38
+ "type": "core::bool"
39
+ }
40
+ ]
41
+ },
42
+ {
43
+ "type": "struct",
44
+ "name": "the_situation::types::categorical::types::CategoricalDistributionRaw",
45
+ "members": [
46
+ {
47
+ "name": "probs",
48
+ "type": "core::array::Array::<the_situation::types::sq128::types::SQ128x128Raw>"
49
+ }
50
+ ]
51
+ },
52
+ {
53
+ "type": "struct",
54
+ "name": "the_situation::onchain::common::CategoricalL2HintRaw",
55
+ "members": [
56
+ {
57
+ "name": "l2_norm_hint",
58
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
59
+ }
60
+ ]
61
+ },
62
+ {
63
+ "type": "struct",
64
+ "name": "the_situation::onchain::common::ScaledBackingCheckRaw",
65
+ "members": [
66
+ {
67
+ "name": "max_value_upper",
68
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
69
+ },
70
+ {
71
+ "name": "is_valid",
72
+ "type": "core::bool"
73
+ },
74
+ {
75
+ "name": "computation_succeeded",
76
+ "type": "core::bool"
77
+ }
78
+ ]
79
+ },
80
+ {
81
+ "type": "function",
82
+ "name": "check_scaled_backing_view",
83
+ "inputs": [
84
+ {
85
+ "name": "dist",
86
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
87
+ },
88
+ {
89
+ "name": "k",
90
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
91
+ },
92
+ {
93
+ "name": "backing",
94
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
95
+ },
96
+ {
97
+ "name": "hint",
98
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
99
+ }
100
+ ],
101
+ "outputs": [
102
+ {
103
+ "type": "the_situation::onchain::common::ScaledBackingCheckRaw"
104
+ }
105
+ ],
106
+ "state_mutability": "view"
107
+ },
108
+ {
109
+ "type": "enum",
110
+ "name": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>",
111
+ "variants": [
112
+ {
113
+ "name": "Some",
114
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
115
+ },
116
+ {
117
+ "name": "None",
118
+ "type": "()"
119
+ }
120
+ ]
121
+ },
122
+ {
123
+ "type": "function",
124
+ "name": "compute_lambda_view",
125
+ "inputs": [
126
+ {
127
+ "name": "dist",
128
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
129
+ },
130
+ {
131
+ "name": "k",
132
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
133
+ }
134
+ ],
135
+ "outputs": [
136
+ {
137
+ "type": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>"
138
+ }
139
+ ],
140
+ "state_mutability": "view"
141
+ },
142
+ {
143
+ "type": "function",
144
+ "name": "compute_effective_trade_k_view",
145
+ "inputs": [
146
+ {
147
+ "name": "base_k",
148
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
149
+ },
150
+ {
151
+ "name": "initial_backing",
152
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
153
+ },
154
+ {
155
+ "name": "pool_backing",
156
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
157
+ }
158
+ ],
159
+ "outputs": [
160
+ {
161
+ "type": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>"
162
+ }
163
+ ],
164
+ "state_mutability": "view"
165
+ },
166
+ {
167
+ "type": "struct",
168
+ "name": "the_situation::onchain::common::FeeConfigRaw",
169
+ "members": [
170
+ {
171
+ "name": "lp_fee_bps",
172
+ "type": "core::integer::u16"
173
+ },
174
+ {
175
+ "name": "protocol_fee_bps",
176
+ "type": "core::integer::u16"
177
+ },
178
+ {
179
+ "name": "settlement_fee_bps",
180
+ "type": "core::integer::u16"
181
+ }
182
+ ]
183
+ },
184
+ {
185
+ "type": "struct",
186
+ "name": "core::integer::u256",
187
+ "members": [
188
+ {
189
+ "name": "low",
190
+ "type": "core::integer::u128"
191
+ },
192
+ {
193
+ "name": "high",
194
+ "type": "core::integer::u128"
195
+ }
196
+ ]
197
+ },
198
+ {
199
+ "type": "struct",
200
+ "name": "the_situation::onchain::common::DepositFeeComputationRaw",
201
+ "members": [
202
+ {
203
+ "name": "token_amount",
204
+ "type": "core::integer::u256"
205
+ },
206
+ {
207
+ "name": "lp_fee",
208
+ "type": "core::integer::u256"
209
+ },
210
+ {
211
+ "name": "protocol_fee",
212
+ "type": "core::integer::u256"
213
+ },
214
+ {
215
+ "name": "net_collateral",
216
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
217
+ }
218
+ ]
219
+ },
220
+ {
221
+ "type": "enum",
222
+ "name": "core::option::Option::<the_situation::onchain::common::DepositFeeComputationRaw>",
223
+ "variants": [
224
+ {
225
+ "name": "Some",
226
+ "type": "the_situation::onchain::common::DepositFeeComputationRaw"
227
+ },
228
+ {
229
+ "name": "None",
230
+ "type": "()"
231
+ }
232
+ ]
233
+ },
234
+ {
235
+ "type": "function",
236
+ "name": "compute_deposit_fees_view",
237
+ "inputs": [
238
+ {
239
+ "name": "amount",
240
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
241
+ },
242
+ {
243
+ "name": "internal_decimals",
244
+ "type": "core::integer::u8"
245
+ },
246
+ {
247
+ "name": "decimal_shift",
248
+ "type": "core::integer::u8"
249
+ },
250
+ {
251
+ "name": "fee_config",
252
+ "type": "the_situation::onchain::common::FeeConfigRaw"
253
+ }
254
+ ],
255
+ "outputs": [
256
+ {
257
+ "type": "core::option::Option::<the_situation::onchain::common::DepositFeeComputationRaw>"
258
+ }
259
+ ],
260
+ "state_mutability": "view"
261
+ },
262
+ {
263
+ "type": "struct",
264
+ "name": "the_situation::onchain::common::AddLiquidityComputationRaw",
265
+ "members": [
266
+ {
267
+ "name": "deposit_amount",
268
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
269
+ },
270
+ {
271
+ "name": "token_amount",
272
+ "type": "core::integer::u256"
273
+ },
274
+ {
275
+ "name": "lp_component_lambda",
276
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
277
+ }
278
+ ]
279
+ },
280
+ {
281
+ "type": "enum",
282
+ "name": "core::option::Option::<the_situation::onchain::common::AddLiquidityComputationRaw>",
283
+ "variants": [
284
+ {
285
+ "name": "Some",
286
+ "type": "the_situation::onchain::common::AddLiquidityComputationRaw"
287
+ },
288
+ {
289
+ "name": "None",
290
+ "type": "()"
291
+ }
292
+ ]
293
+ },
294
+ {
295
+ "type": "function",
296
+ "name": "compute_add_liquidity_view",
297
+ "inputs": [
298
+ {
299
+ "name": "share_amount",
300
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
301
+ },
302
+ {
303
+ "name": "total_shares",
304
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
305
+ },
306
+ {
307
+ "name": "total_backing",
308
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
309
+ },
310
+ {
311
+ "name": "current_dist",
312
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
313
+ },
314
+ {
315
+ "name": "base_k",
316
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
317
+ },
318
+ {
319
+ "name": "internal_decimals",
320
+ "type": "core::integer::u8"
321
+ },
322
+ {
323
+ "name": "decimal_shift",
324
+ "type": "core::integer::u8"
325
+ }
326
+ ],
327
+ "outputs": [
328
+ {
329
+ "type": "core::option::Option::<the_situation::onchain::common::AddLiquidityComputationRaw>"
330
+ }
331
+ ],
332
+ "state_mutability": "view"
333
+ },
334
+ {
335
+ "type": "struct",
336
+ "name": "the_situation::onchain::common::RemoveLiquidityComputationRaw",
337
+ "members": [
338
+ {
339
+ "name": "withdrawal_amount",
340
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
341
+ },
342
+ {
343
+ "name": "token_amount",
344
+ "type": "core::integer::u256"
345
+ },
346
+ {
347
+ "name": "remaining_fraction",
348
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
349
+ }
350
+ ]
351
+ },
352
+ {
353
+ "type": "enum",
354
+ "name": "core::option::Option::<the_situation::onchain::common::RemoveLiquidityComputationRaw>",
355
+ "variants": [
356
+ {
357
+ "name": "Some",
358
+ "type": "the_situation::onchain::common::RemoveLiquidityComputationRaw"
359
+ },
360
+ {
361
+ "name": "None",
362
+ "type": "()"
363
+ }
364
+ ]
365
+ },
366
+ {
367
+ "type": "function",
368
+ "name": "compute_remove_liquidity_view",
369
+ "inputs": [
370
+ {
371
+ "name": "share_amount",
372
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
373
+ },
374
+ {
375
+ "name": "total_shares",
376
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
377
+ },
378
+ {
379
+ "name": "total_backing",
380
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
381
+ },
382
+ {
383
+ "name": "current_lp_shares",
384
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
385
+ },
386
+ {
387
+ "name": "internal_decimals",
388
+ "type": "core::integer::u8"
389
+ },
390
+ {
391
+ "name": "decimal_shift",
392
+ "type": "core::integer::u8"
393
+ }
394
+ ],
395
+ "outputs": [
396
+ {
397
+ "type": "core::option::Option::<the_situation::onchain::common::RemoveLiquidityComputationRaw>"
398
+ }
399
+ ],
400
+ "state_mutability": "view"
401
+ },
402
+ {
403
+ "type": "function",
404
+ "name": "check_withdrawal_convertible_view",
405
+ "inputs": [
406
+ {
407
+ "name": "amount",
408
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
409
+ },
410
+ {
411
+ "name": "internal_decimals",
412
+ "type": "core::integer::u8"
413
+ }
414
+ ],
415
+ "outputs": [
416
+ {
417
+ "type": "core::bool"
418
+ }
419
+ ],
420
+ "state_mutability": "view"
421
+ },
422
+ {
423
+ "type": "function",
424
+ "name": "token_amount_to_backing_view",
425
+ "inputs": [
426
+ {
427
+ "name": "token_amount",
428
+ "type": "core::integer::u256"
429
+ },
430
+ {
431
+ "name": "internal_decimals",
432
+ "type": "core::integer::u8"
433
+ },
434
+ {
435
+ "name": "decimal_shift",
436
+ "type": "core::integer::u8"
437
+ }
438
+ ],
439
+ "outputs": [
440
+ {
441
+ "type": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>"
442
+ }
443
+ ],
444
+ "state_mutability": "view"
445
+ },
446
+ {
447
+ "type": "struct",
448
+ "name": "the_situation::onchain::common::MultinoulliPositionCompactRaw",
449
+ "members": [
450
+ {
451
+ "name": "original_distribution",
452
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
453
+ },
454
+ {
455
+ "name": "original_lambda",
456
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
457
+ },
458
+ {
459
+ "name": "effective_distribution",
460
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
461
+ },
462
+ {
463
+ "name": "effective_lambda",
464
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
465
+ },
466
+ {
467
+ "name": "total_collateral",
468
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
469
+ },
470
+ {
471
+ "name": "flags",
472
+ "type": "core::integer::u8"
473
+ }
474
+ ]
475
+ },
476
+ {
477
+ "type": "function",
478
+ "name": "compute_position_value_compact_view",
479
+ "inputs": [
480
+ {
481
+ "name": "position",
482
+ "type": "the_situation::onchain::common::MultinoulliPositionCompactRaw"
483
+ },
484
+ {
485
+ "name": "settlement_outcome_index",
486
+ "type": "core::integer::u32"
487
+ }
488
+ ],
489
+ "outputs": [
490
+ {
491
+ "type": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>"
492
+ }
493
+ ],
494
+ "state_mutability": "view"
495
+ },
496
+ {
497
+ "type": "function",
498
+ "name": "compute_lp_claim_component_value_view",
499
+ "inputs": [
500
+ {
501
+ "name": "dist",
502
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
503
+ },
504
+ {
505
+ "name": "lambda",
506
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
507
+ },
508
+ {
509
+ "name": "settlement_outcome_index",
510
+ "type": "core::integer::u32"
511
+ }
512
+ ],
513
+ "outputs": [
514
+ {
515
+ "type": "core::option::Option::<the_situation::types::sq128::types::SQ128x128Raw>"
516
+ }
517
+ ],
518
+ "state_mutability": "view"
519
+ },
520
+ {
521
+ "type": "struct",
522
+ "name": "the_situation::onchain::common::ClaimResultRaw",
523
+ "members": [
524
+ {
525
+ "name": "position_value",
526
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
527
+ },
528
+ {
529
+ "name": "collateral_returned",
530
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
531
+ },
532
+ {
533
+ "name": "token_payout",
534
+ "type": "core::integer::u256"
535
+ },
536
+ {
537
+ "name": "success",
538
+ "type": "core::bool"
539
+ }
540
+ ]
541
+ },
542
+ {
543
+ "type": "function",
544
+ "name": "compute_claim_result_from_components_view",
545
+ "inputs": [
546
+ {
547
+ "name": "position_value",
548
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
549
+ },
550
+ {
551
+ "name": "total_collateral",
552
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
553
+ },
554
+ {
555
+ "name": "internal_decimals",
556
+ "type": "core::integer::u8"
557
+ },
558
+ {
559
+ "name": "decimal_shift",
560
+ "type": "core::integer::u8"
561
+ }
562
+ ],
563
+ "outputs": [
564
+ {
565
+ "type": "the_situation::onchain::common::ClaimResultRaw"
566
+ }
567
+ ],
568
+ "state_mutability": "view"
569
+ },
570
+ {
571
+ "type": "enum",
572
+ "name": "core::option::Option::<the_situation::onchain::common::CategoricalL2HintRaw>",
573
+ "variants": [
574
+ {
575
+ "name": "Some",
576
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
577
+ },
578
+ {
579
+ "name": "None",
580
+ "type": "()"
581
+ }
582
+ ]
583
+ },
584
+ {
585
+ "type": "function",
586
+ "name": "compute_hints_view",
587
+ "inputs": [
588
+ {
589
+ "name": "dist",
590
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
591
+ }
592
+ ],
593
+ "outputs": [
594
+ {
595
+ "type": "core::option::Option::<the_situation::onchain::common::CategoricalL2HintRaw>"
596
+ }
597
+ ],
598
+ "state_mutability": "view"
599
+ },
600
+ {
601
+ "type": "struct",
602
+ "name": "the_situation::onchain::common::MultinoulliCollateralVerificationRaw",
603
+ "members": [
604
+ {
605
+ "name": "minimum_valid",
606
+ "type": "core::bool"
607
+ },
608
+ {
609
+ "name": "computed_collateral",
610
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
611
+ },
612
+ {
613
+ "name": "collateral_sufficient",
614
+ "type": "core::bool"
615
+ },
616
+ {
617
+ "name": "computation_valid",
618
+ "type": "core::bool"
619
+ }
620
+ ]
621
+ },
622
+ {
623
+ "type": "enum",
624
+ "name": "the_situation::onchain::common::MultinoulliTradeRejection",
625
+ "variants": [
626
+ {
627
+ "name": "None",
628
+ "type": "()"
629
+ },
630
+ {
631
+ "name": "InvalidDistribution",
632
+ "type": "()"
633
+ },
634
+ {
635
+ "name": "InvalidHints",
636
+ "type": "()"
637
+ },
638
+ {
639
+ "name": "InvalidMinOutcome",
640
+ "type": "()"
641
+ },
642
+ {
643
+ "name": "BackingFail",
644
+ "type": "()"
645
+ },
646
+ {
647
+ "name": "LowCollateral",
648
+ "type": "()"
649
+ },
650
+ {
651
+ "name": "VerificationFailed",
652
+ "type": "()"
653
+ }
654
+ ]
655
+ },
656
+ {
657
+ "type": "struct",
658
+ "name": "the_situation::onchain::common::MultinoulliTradeCheckRaw",
659
+ "members": [
660
+ {
661
+ "name": "backing_check",
662
+ "type": "the_situation::onchain::common::ScaledBackingCheckRaw"
663
+ },
664
+ {
665
+ "name": "verification",
666
+ "type": "the_situation::onchain::common::MultinoulliCollateralVerificationRaw"
667
+ },
668
+ {
669
+ "name": "min_trade_collateral",
670
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
671
+ },
672
+ {
673
+ "name": "collateral_above_min",
674
+ "type": "core::bool"
675
+ },
676
+ {
677
+ "name": "is_valid",
678
+ "type": "core::bool"
679
+ },
680
+ {
681
+ "name": "rejection_reason",
682
+ "type": "the_situation::onchain::common::MultinoulliTradeRejection"
683
+ }
684
+ ]
685
+ },
686
+ {
687
+ "type": "function",
688
+ "name": "check_trade_view",
689
+ "inputs": [
690
+ {
691
+ "name": "current_dist",
692
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
693
+ },
694
+ {
695
+ "name": "candidate",
696
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
697
+ },
698
+ {
699
+ "name": "min_outcome_index",
700
+ "type": "core::integer::u32"
701
+ },
702
+ {
703
+ "name": "supplied_collateral",
704
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
705
+ },
706
+ {
707
+ "name": "k",
708
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
709
+ },
710
+ {
711
+ "name": "backing",
712
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
713
+ },
714
+ {
715
+ "name": "tolerance",
716
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
717
+ },
718
+ {
719
+ "name": "min_trade_collateral",
720
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
721
+ },
722
+ {
723
+ "name": "current_hint",
724
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
725
+ },
726
+ {
727
+ "name": "candidate_hint",
728
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
729
+ }
730
+ ],
731
+ "outputs": [
732
+ {
733
+ "type": "the_situation::onchain::common::MultinoulliTradeCheckRaw"
734
+ }
735
+ ],
736
+ "state_mutability": "view"
737
+ },
738
+ {
739
+ "type": "struct",
740
+ "name": "the_situation::onchain::common::MultinoulliTradeExecutionRaw",
741
+ "members": [
742
+ {
743
+ "name": "check",
744
+ "type": "the_situation::onchain::common::MultinoulliTradeCheckRaw"
745
+ },
746
+ {
747
+ "name": "token_amount",
748
+ "type": "core::integer::u256"
749
+ }
750
+ ]
751
+ },
752
+ {
753
+ "type": "enum",
754
+ "name": "the_situation::onchain::common::MultinoulliPositionSellRejection",
755
+ "variants": [
756
+ {
757
+ "name": "None",
758
+ "type": "()"
759
+ },
760
+ {
761
+ "name": "NoPosition",
762
+ "type": "()"
763
+ },
764
+ {
765
+ "name": "MarketSettled",
766
+ "type": "()"
767
+ },
768
+ {
769
+ "name": "MarketPaused",
770
+ "type": "()"
771
+ },
772
+ {
773
+ "name": "AlreadyClaimed",
774
+ "type": "()"
775
+ },
776
+ {
777
+ "name": "InvalidPositionState",
778
+ "type": "()"
779
+ },
780
+ {
781
+ "name": "InvalidMinOutcome",
782
+ "type": "()"
783
+ },
784
+ {
785
+ "name": "RequiresAdditionalCollateral",
786
+ "type": "()"
787
+ },
788
+ {
789
+ "name": "NoCollateralOut",
790
+ "type": "()"
791
+ },
792
+ {
793
+ "name": "InvalidHints",
794
+ "type": "()"
795
+ },
796
+ {
797
+ "name": "BackingFail",
798
+ "type": "()"
799
+ },
800
+ {
801
+ "name": "VerificationFailed",
802
+ "type": "()"
803
+ },
804
+ {
805
+ "name": "ConversionFailed",
806
+ "type": "()"
807
+ }
808
+ ]
809
+ },
810
+ {
811
+ "type": "struct",
812
+ "name": "the_situation::onchain::common::MultinoulliPositionSellResultRaw",
813
+ "members": [
814
+ {
815
+ "name": "sell_executed",
816
+ "type": "core::bool"
817
+ },
818
+ {
819
+ "name": "trade_result",
820
+ "type": "the_situation::onchain::common::MultinoulliTradeExecutionRaw"
821
+ },
822
+ {
823
+ "name": "is_flat",
824
+ "type": "core::bool"
825
+ },
826
+ {
827
+ "name": "collateral_before",
828
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
829
+ },
830
+ {
831
+ "name": "collateral_after",
832
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
833
+ },
834
+ {
835
+ "name": "collateral_out",
836
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
837
+ },
838
+ {
839
+ "name": "token_out",
840
+ "type": "core::integer::u256"
841
+ },
842
+ {
843
+ "name": "rejection_reason",
844
+ "type": "the_situation::onchain::common::MultinoulliPositionSellRejection"
845
+ }
846
+ ]
847
+ },
848
+ {
849
+ "type": "function",
850
+ "name": "check_sell_position_compact_view",
851
+ "inputs": [
852
+ {
853
+ "name": "position",
854
+ "type": "the_situation::onchain::common::MultinoulliPositionCompactRaw"
855
+ },
856
+ {
857
+ "name": "market_dist",
858
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
859
+ },
860
+ {
861
+ "name": "candidate",
862
+ "type": "the_situation::types::categorical::types::CategoricalDistributionRaw"
863
+ },
864
+ {
865
+ "name": "min_outcome_index",
866
+ "type": "core::integer::u32"
867
+ },
868
+ {
869
+ "name": "k",
870
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
871
+ },
872
+ {
873
+ "name": "backing",
874
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
875
+ },
876
+ {
877
+ "name": "tolerance",
878
+ "type": "the_situation::types::sq128::types::SQ128x128Raw"
879
+ },
880
+ {
881
+ "name": "current_hint",
882
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
883
+ },
884
+ {
885
+ "name": "candidate_hint",
886
+ "type": "the_situation::onchain::common::CategoricalL2HintRaw"
887
+ },
888
+ {
889
+ "name": "internal_decimals",
890
+ "type": "core::integer::u8"
891
+ },
892
+ {
893
+ "name": "decimal_shift",
894
+ "type": "core::integer::u8"
895
+ }
896
+ ],
897
+ "outputs": [
898
+ {
899
+ "type": "the_situation::onchain::common::MultinoulliPositionSellResultRaw"
900
+ }
901
+ ],
902
+ "state_mutability": "view"
903
+ },
904
+ {
905
+ "type": "event",
906
+ "name": "the_situation::onchain::markets::multinoulli::math::contract::multinoulli_math_runtime::Event",
907
+ "kind": "enum",
908
+ "variants": []
909
+ }
910
+ ]