polkamarkets-js 1.0.1 → 3.1.0

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.
Files changed (163) hide show
  1. package/.openzeppelin/unknown-1337.json +2056 -0
  2. package/CONTRIBUTING.md +36 -0
  3. package/README.md +24 -25
  4. package/_book/README.md +590 -0
  5. package/_book/core.md +50 -0
  6. package/_book/gitbook/fonts/fontawesome/FontAwesome.otf +0 -0
  7. package/_book/gitbook/fonts/fontawesome/fontawesome-webfont.eot +0 -0
  8. package/_book/gitbook/fonts/fontawesome/fontawesome-webfont.svg +685 -0
  9. package/_book/gitbook/fonts/fontawesome/fontawesome-webfont.ttf +0 -0
  10. package/_book/gitbook/fonts/fontawesome/fontawesome-webfont.woff +0 -0
  11. package/_book/gitbook/fonts/fontawesome/fontawesome-webfont.woff2 +0 -0
  12. package/_book/gitbook/gitbook-plugin-fontsettings/fontsettings.js +240 -0
  13. package/_book/gitbook/gitbook-plugin-fontsettings/website.css +291 -0
  14. package/_book/gitbook/gitbook-plugin-highlight/ebook.css +135 -0
  15. package/_book/gitbook/gitbook-plugin-highlight/website.css +434 -0
  16. package/_book/gitbook/gitbook-plugin-lunr/lunr.min.js +7 -0
  17. package/_book/gitbook/gitbook-plugin-lunr/search-lunr.js +59 -0
  18. package/_book/gitbook/gitbook-plugin-search/lunr.min.js +7 -0
  19. package/_book/gitbook/gitbook-plugin-search/search-engine.js +50 -0
  20. package/_book/gitbook/gitbook-plugin-search/search.css +35 -0
  21. package/_book/gitbook/gitbook-plugin-search/search.js +213 -0
  22. package/_book/gitbook/gitbook-plugin-sharing/buttons.js +90 -0
  23. package/_book/gitbook/gitbook.js +4 -0
  24. package/_book/gitbook/images/apple-touch-icon-precomposed-152.png +0 -0
  25. package/_book/gitbook/images/favicon.ico +0 -0
  26. package/_book/gitbook/style.css +9 -0
  27. package/_book/gitbook/theme.js +4 -0
  28. package/_book/index.html +705 -0
  29. package/_book/intro.md +32 -0
  30. package/_book/search_index.json +1 -0
  31. package/book.json +8 -0
  32. package/build/contracts/AccessControl.json +1 -0
  33. package/build/contracts/AccessControlEnumerable.json +1 -0
  34. package/build/contracts/Achievements.json +1 -0
  35. package/build/contracts/Address.json +1 -0
  36. package/build/contracts/BalanceHolder.json +1 -0
  37. package/build/contracts/BalanceHolder_ERC20.json +1 -0
  38. package/build/contracts/CeilDiv.json +1 -0
  39. package/build/contracts/Clones.json +1 -0
  40. package/build/contracts/Context.json +1 -0
  41. package/build/contracts/Counters.json +1 -0
  42. package/build/contracts/ERC165.json +1 -0
  43. package/build/contracts/ERC20.json +1 -0
  44. package/build/contracts/ERC20Burnable.json +1 -0
  45. package/build/contracts/ERC20Pausable.json +1 -0
  46. package/build/contracts/ERC20PresetMinterPauser.json +1 -0
  47. package/build/contracts/ERC721.json +1 -0
  48. package/build/contracts/EnumerableMap.json +1 -0
  49. package/build/contracts/EnumerableSet.json +1 -0
  50. package/build/contracts/FantasyERC20.json +1 -0
  51. package/build/contracts/IAccessControl.json +1 -0
  52. package/build/contracts/IAccessControlEnumerable.json +1 -0
  53. package/build/contracts/IBalanceHolder_ERC20.json +1 -0
  54. package/build/contracts/IERC165.json +1 -0
  55. package/build/contracts/IERC20.json +1 -0
  56. package/build/contracts/IERC20Metadata.json +1 -0
  57. package/build/contracts/IERC20Permit.json +1 -0
  58. package/build/contracts/IERC721.json +1 -0
  59. package/build/contracts/IERC721Enumerable.json +1 -0
  60. package/build/contracts/IERC721Metadata.json +1 -0
  61. package/build/contracts/IERC721Receiver.json +1 -0
  62. package/build/contracts/IFantasyERC20.json +1 -0
  63. package/build/contracts/IPredictionMarketV3.json +1 -0
  64. package/build/contracts/IPredictionMarketV3Factory.json +1 -0
  65. package/build/contracts/IPredictionMarketV3Manager.json +1 -0
  66. package/build/contracts/IRealityETH_ERC20.json +1 -0
  67. package/build/contracts/IRealityETH_IERC20.json +1 -0
  68. package/build/contracts/IWETH.json +1 -0
  69. package/build/contracts/LandFactory.json +1 -0
  70. package/build/contracts/Math.json +1 -0
  71. package/build/contracts/Migrations.json +1 -0
  72. package/build/contracts/Ownable.json +1 -0
  73. package/build/contracts/Pausable.json +1 -0
  74. package/build/contracts/PredictionMarket.json +1 -0
  75. package/build/contracts/PredictionMarketV2.json +1 -0
  76. package/build/contracts/PredictionMarketV3.json +1 -0
  77. package/build/contracts/PredictionMarketV3Controller.json +1 -0
  78. package/build/contracts/PredictionMarketV3Factory.json +1 -0
  79. package/build/contracts/PredictionMarketV3Manager.json +1 -0
  80. package/build/contracts/PredictionMarketV3Querier.json +1 -0
  81. package/build/contracts/RealitioERC20.json +1 -0
  82. package/build/contracts/RealitioForeignArbitrationProxyWithAppeals.json +1 -0
  83. package/build/contracts/RealitioHomeArbitrationProxy.json +1 -0
  84. package/build/contracts/RealitioSafeMath256.json +1 -0
  85. package/build/contracts/RealitioSafeMath32.json +1 -0
  86. package/build/contracts/RealityETH_ERC20_Factory.json +1 -0
  87. package/build/contracts/RealityETH_ERC20_v3_0.json +1 -0
  88. package/build/contracts/ReentrancyGuard.json +1 -0
  89. package/build/contracts/SafeERC20.json +1 -0
  90. package/build/contracts/SafeMath.json +1 -0
  91. package/build/contracts/Strings.json +1 -0
  92. package/build/contracts/Voting.json +1 -0
  93. package/build/contracts/WETH9.json +1 -0
  94. package/build/contracts/test.json +1 -0
  95. package/cleanContracts.js +22 -0
  96. package/contracts/FantasyERC20.sol +81 -0
  97. package/contracts/IFantasyERC20.sol +20 -0
  98. package/contracts/IPredictionMarketV3.sol +207 -0
  99. package/contracts/IPredictionMarketV3Factory.sol +10 -0
  100. package/contracts/IPredictionMarketV3Manager.sol +12 -0
  101. package/contracts/IRealityETH_ERC20.sol +64 -0
  102. package/contracts/LandFactory.sol +248 -0
  103. package/contracts/Migrations.sol +24 -0
  104. package/contracts/PredictionMarketV3.sol +1332 -0
  105. package/contracts/PredictionMarketV3Controller.sol +87 -0
  106. package/contracts/PredictionMarketV3Factory.sol +205 -0
  107. package/contracts/PredictionMarketV3Manager.sol +45 -0
  108. package/contracts/PredictionMarketV3Querier.sol +79 -0
  109. package/contracts/RealityETH_ERC20_Factory.sol +54 -0
  110. package/contracts/Voting.sol +153 -0
  111. package/contracts/WETH9.sol +62 -0
  112. package/help.txt +8 -0
  113. package/index.js +3 -0
  114. package/migrations/10_deploy_weth.js +5 -0
  115. package/migrations/11_deploy_full_flow.js +99 -0
  116. package/migrations/12_deploy_pm_v3_querier.js +7 -0
  117. package/migrations/13_deploy_pm_v3_factory.js +14 -0
  118. package/migrations/1_initial_migration.js +5 -0
  119. package/migrations/2_deploy_erc20.js +10 -0
  120. package/migrations/3_deploy_realitio.js +11 -0
  121. package/migrations/4_deploy_pm.js +20 -0
  122. package/migrations/5_seed_markets.js +51 -0
  123. package/migrations/6_deploy_achievements.js +5 -0
  124. package/migrations/7_deploy_voting.js +14 -0
  125. package/migrations/8_deploy_pm_v2.js +20 -0
  126. package/migrations/9_seed_markets_v2.js +68 -0
  127. package/package.json +106 -13
  128. package/src/Application.js +421 -0
  129. package/src/interfaces/index.js +19 -0
  130. package/src/models/AchievementsContract.js +217 -0
  131. package/src/models/ArbitrationContract.js +69 -0
  132. package/src/models/ArbitrationProxyContract.js +32 -0
  133. package/src/models/ERC20Contract.js +156 -0
  134. package/src/models/FantasyERC20Contract.js +92 -0
  135. package/src/models/IContract.js +1002 -0
  136. package/src/models/PolkamarketsSmartAccount.js +100 -0
  137. package/src/models/PredictionMarketContract.js +562 -0
  138. package/src/models/PredictionMarketV2Contract.js +830 -0
  139. package/src/models/PredictionMarketV3Contract.js +233 -0
  140. package/src/models/PredictionMarketV3ControllerContract.js +102 -0
  141. package/src/models/PredictionMarketV3FactoryContract.js +96 -0
  142. package/src/models/PredictionMarketV3ManagerContract.js +111 -0
  143. package/src/models/PredictionMarketV3QuerierContract.js +24 -0
  144. package/src/models/RealitioERC20Contract.js +286 -0
  145. package/src/models/VotingContract.js +182 -0
  146. package/src/models/WETH9Contract.js +92 -0
  147. package/src/models/index.js +33 -0
  148. package/src/utils/Account.js +40 -0
  149. package/src/utils/Contract.js +120 -0
  150. package/src/utils/Numbers.js +94 -0
  151. package/tests/fantasyERC20Contract.js +225 -0
  152. package/tests/index.js +10 -0
  153. package/tests/predictionMarketContract.js +466 -0
  154. package/tests/predictionMarketV2Contract.js +1042 -0
  155. package/tests/predictionMarketV3Contract.js +1079 -0
  156. package/tests/predictionMarketV3ControllerContract.js +613 -0
  157. package/tests/predictionMarketV3FactoryContract.js +469 -0
  158. package/tests/predictionMarketV3ManagerContract.js +610 -0
  159. package/tests/utils.js +16 -0
  160. package/tests/votingContract.js +490 -0
  161. package/tooling/docs/jsdoc.json +6 -0
  162. package/truffle-config.js +134 -0
  163. package/polkamarkets.js +0 -422
@@ -0,0 +1,2056 @@
1
+ {
2
+ "manifestVersion": "3.2",
3
+ "admin": {
4
+ "address": "0xa48Ce94310AA975CCB4Bc9012674529C95c59e3E",
5
+ "txHash": "0x75267ddccfc994afb14c0fe644f392cd10027bc32e092c07edbb0f7e7a4aafd8"
6
+ },
7
+ "proxies": [
8
+ {
9
+ "address": "0xC72c0AD57896F0dfD427D24e3B0735a11D23CaC2",
10
+ "txHash": "0x897c04c236694d2145537bb11b123c558d78d9b85d3215164ad004b29389e70a",
11
+ "kind": "transparent"
12
+ }
13
+ ],
14
+ "impls": {
15
+ "e0a15b0473bdd7b9a70e13e91e8e64e76066be66f8ac348ae18361c013b1f588": {
16
+ "address": "0x1Db7AC8F103806CD44294Ac9Cc0E803de667934B",
17
+ "txHash": "0x46975b71b797df03d15bb19da8079ed23569f4283ee96e40121bae4a2fd9858a",
18
+ "layout": {
19
+ "storage": [
20
+ {
21
+ "contract": "Initializable",
22
+ "label": "_initialized",
23
+ "type": "t_bool",
24
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
25
+ },
26
+ {
27
+ "contract": "Initializable",
28
+ "label": "_initializing",
29
+ "type": "t_bool",
30
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
31
+ },
32
+ {
33
+ "contract": "ContextUpgradeable",
34
+ "label": "__gap",
35
+ "type": "t_array(t_uint256)50_storage",
36
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
37
+ },
38
+ {
39
+ "contract": "OwnableUpgradeable",
40
+ "label": "_owner",
41
+ "type": "t_address",
42
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
43
+ },
44
+ {
45
+ "contract": "OwnableUpgradeable",
46
+ "label": "__gap",
47
+ "type": "t_array(t_uint256)49_storage",
48
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
49
+ },
50
+ {
51
+ "contract": "PredictionMarket",
52
+ "label": "marketIds",
53
+ "type": "t_array(t_uint256)dyn_storage",
54
+ "src": "PredictionMarket.sol:110"
55
+ },
56
+ {
57
+ "contract": "PredictionMarket",
58
+ "label": "markets",
59
+ "type": "t_mapping(t_uint256,t_struct(Market)213_storage)",
60
+ "src": "PredictionMarket.sol:111"
61
+ },
62
+ {
63
+ "contract": "PredictionMarket",
64
+ "label": "marketIndex",
65
+ "type": "t_uint256",
66
+ "src": "PredictionMarket.sol:112"
67
+ },
68
+ {
69
+ "contract": "PredictionMarket",
70
+ "label": "fee",
71
+ "type": "t_uint256",
72
+ "src": "PredictionMarket.sol:115"
73
+ },
74
+ {
75
+ "contract": "PredictionMarket",
76
+ "label": "realitioAddress",
77
+ "type": "t_address",
78
+ "src": "PredictionMarket.sol:117"
79
+ },
80
+ {
81
+ "contract": "PredictionMarket",
82
+ "label": "realitioTimeout",
83
+ "type": "t_uint256",
84
+ "src": "PredictionMarket.sol:118"
85
+ },
86
+ {
87
+ "contract": "PredictionMarket",
88
+ "label": "token",
89
+ "type": "t_contract(IERC20)3103",
90
+ "src": "PredictionMarket.sol:120"
91
+ },
92
+ {
93
+ "contract": "PredictionMarket",
94
+ "label": "requiredBalance",
95
+ "type": "t_uint256",
96
+ "src": "PredictionMarket.sol:121"
97
+ }
98
+ ],
99
+ "types": {
100
+ "t_array(t_uint256)dyn_storage": {
101
+ "label": "uint256[]"
102
+ },
103
+ "t_uint256": {
104
+ "label": "uint256"
105
+ },
106
+ "t_mapping(t_uint256,t_struct(Market)213_storage)": {
107
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
108
+ },
109
+ "t_struct(Market)213_storage": {
110
+ "label": "struct PredictionMarket.Market",
111
+ "members": [
112
+ {
113
+ "label": "closesAtTimestamp",
114
+ "type": "t_uint256"
115
+ },
116
+ {
117
+ "label": "balance",
118
+ "type": "t_uint256"
119
+ },
120
+ {
121
+ "label": "liquidity",
122
+ "type": "t_uint256"
123
+ },
124
+ {
125
+ "label": "sharesAvailable",
126
+ "type": "t_uint256"
127
+ },
128
+ {
129
+ "label": "liquidityShares",
130
+ "type": "t_mapping(t_address,t_uint256)"
131
+ },
132
+ {
133
+ "label": "liquidityClaims",
134
+ "type": "t_mapping(t_address,t_bool)"
135
+ },
136
+ {
137
+ "label": "state",
138
+ "type": "t_enum(MarketState)175"
139
+ },
140
+ {
141
+ "label": "resolution",
142
+ "type": "t_struct(MarketResolution)229_storage"
143
+ },
144
+ {
145
+ "label": "fees",
146
+ "type": "t_struct(MarketFees)222_storage"
147
+ },
148
+ {
149
+ "label": "outcomeIds",
150
+ "type": "t_array(t_uint256)dyn_storage"
151
+ },
152
+ {
153
+ "label": "outcomes",
154
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)"
155
+ }
156
+ ]
157
+ },
158
+ "t_mapping(t_address,t_uint256)": {
159
+ "label": "mapping(address => uint256)"
160
+ },
161
+ "t_address": {
162
+ "label": "address"
163
+ },
164
+ "t_mapping(t_address,t_bool)": {
165
+ "label": "mapping(address => bool)"
166
+ },
167
+ "t_bool": {
168
+ "label": "bool"
169
+ },
170
+ "t_enum(MarketState)175": {
171
+ "label": "enum PredictionMarket.MarketState",
172
+ "members": [
173
+ "open",
174
+ "closed",
175
+ "resolved"
176
+ ]
177
+ },
178
+ "t_struct(MarketResolution)229_storage": {
179
+ "label": "struct PredictionMarket.MarketResolution",
180
+ "members": [
181
+ {
182
+ "label": "resolved",
183
+ "type": "t_bool"
184
+ },
185
+ {
186
+ "label": "outcomeId",
187
+ "type": "t_uint256"
188
+ },
189
+ {
190
+ "label": "questionId",
191
+ "type": "t_bytes32"
192
+ }
193
+ ]
194
+ },
195
+ "t_struct(MarketFees)222_storage": {
196
+ "label": "struct PredictionMarket.MarketFees",
197
+ "members": [
198
+ {
199
+ "label": "value",
200
+ "type": "t_uint256"
201
+ },
202
+ {
203
+ "label": "poolWeight",
204
+ "type": "t_uint256"
205
+ },
206
+ {
207
+ "label": "claimed",
208
+ "type": "t_mapping(t_address,t_uint256)"
209
+ }
210
+ ]
211
+ },
212
+ "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)": {
213
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
214
+ },
215
+ "t_struct(MarketOutcome)236_storage": {
216
+ "label": "struct PredictionMarket.MarketOutcome",
217
+ "members": [
218
+ {
219
+ "label": "marketId",
220
+ "type": "t_uint256"
221
+ },
222
+ {
223
+ "label": "id",
224
+ "type": "t_uint256"
225
+ },
226
+ {
227
+ "label": "shares",
228
+ "type": "t_struct(Shares)249_storage"
229
+ }
230
+ ]
231
+ },
232
+ "t_bytes32": {
233
+ "label": "bytes32"
234
+ },
235
+ "t_struct(Shares)249_storage": {
236
+ "label": "struct PredictionMarket.Shares",
237
+ "members": [
238
+ {
239
+ "label": "total",
240
+ "type": "t_uint256"
241
+ },
242
+ {
243
+ "label": "available",
244
+ "type": "t_uint256"
245
+ },
246
+ {
247
+ "label": "holders",
248
+ "type": "t_mapping(t_address,t_uint256)"
249
+ },
250
+ {
251
+ "label": "claims",
252
+ "type": "t_mapping(t_address,t_bool)"
253
+ }
254
+ ]
255
+ },
256
+ "t_contract(IERC20)3103": {
257
+ "label": "contract IERC20"
258
+ },
259
+ "t_array(t_uint256)49_storage": {
260
+ "label": "uint256[49]"
261
+ },
262
+ "t_array(t_uint256)50_storage": {
263
+ "label": "uint256[50]"
264
+ }
265
+ }
266
+ }
267
+ },
268
+ "5bf72f48e94bc585dcaa2d9cbc68178b8bf7fa7df8031ac8de7bf63fda7cf7e5": {
269
+ "address": "0x6a66cCA8AA1b2c983b408c8732A6A661cF8BAd00",
270
+ "txHash": "0x333d158d7b55f7748bde7cc9c38c9bbbf061bb6746a39bcfccf40d4e452792db",
271
+ "layout": {
272
+ "storage": [
273
+ {
274
+ "contract": "Initializable",
275
+ "label": "_initialized",
276
+ "type": "t_bool",
277
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
278
+ },
279
+ {
280
+ "contract": "Initializable",
281
+ "label": "_initializing",
282
+ "type": "t_bool",
283
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
284
+ },
285
+ {
286
+ "contract": "ContextUpgradeable",
287
+ "label": "__gap",
288
+ "type": "t_array(t_uint256)50_storage",
289
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
290
+ },
291
+ {
292
+ "contract": "OwnableUpgradeable",
293
+ "label": "_owner",
294
+ "type": "t_address",
295
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
296
+ },
297
+ {
298
+ "contract": "OwnableUpgradeable",
299
+ "label": "__gap",
300
+ "type": "t_array(t_uint256)49_storage",
301
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
302
+ },
303
+ {
304
+ "contract": "PredictionMarket",
305
+ "label": "marketIds",
306
+ "type": "t_array(t_uint256)dyn_storage",
307
+ "src": "PredictionMarket.sol:110"
308
+ },
309
+ {
310
+ "contract": "PredictionMarket",
311
+ "label": "markets",
312
+ "type": "t_mapping(t_uint256,t_struct(Market)213_storage)",
313
+ "src": "PredictionMarket.sol:111"
314
+ },
315
+ {
316
+ "contract": "PredictionMarket",
317
+ "label": "marketIndex",
318
+ "type": "t_uint256",
319
+ "src": "PredictionMarket.sol:112"
320
+ },
321
+ {
322
+ "contract": "PredictionMarket",
323
+ "label": "fee",
324
+ "type": "t_uint256",
325
+ "src": "PredictionMarket.sol:115"
326
+ },
327
+ {
328
+ "contract": "PredictionMarket",
329
+ "label": "realitioAddress",
330
+ "type": "t_address",
331
+ "src": "PredictionMarket.sol:117"
332
+ },
333
+ {
334
+ "contract": "PredictionMarket",
335
+ "label": "realitioTimeout",
336
+ "type": "t_uint256",
337
+ "src": "PredictionMarket.sol:118"
338
+ },
339
+ {
340
+ "contract": "PredictionMarket",
341
+ "label": "token",
342
+ "type": "t_contract(IERC20)3135",
343
+ "src": "PredictionMarket.sol:120"
344
+ },
345
+ {
346
+ "contract": "PredictionMarket",
347
+ "label": "requiredBalance",
348
+ "type": "t_uint256",
349
+ "src": "PredictionMarket.sol:121"
350
+ }
351
+ ],
352
+ "types": {
353
+ "t_array(t_uint256)dyn_storage": {
354
+ "label": "uint256[]"
355
+ },
356
+ "t_uint256": {
357
+ "label": "uint256"
358
+ },
359
+ "t_mapping(t_uint256,t_struct(Market)213_storage)": {
360
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
361
+ },
362
+ "t_struct(Market)213_storage": {
363
+ "label": "struct PredictionMarket.Market",
364
+ "members": [
365
+ {
366
+ "label": "closesAtTimestamp",
367
+ "type": "t_uint256"
368
+ },
369
+ {
370
+ "label": "balance",
371
+ "type": "t_uint256"
372
+ },
373
+ {
374
+ "label": "liquidity",
375
+ "type": "t_uint256"
376
+ },
377
+ {
378
+ "label": "sharesAvailable",
379
+ "type": "t_uint256"
380
+ },
381
+ {
382
+ "label": "liquidityShares",
383
+ "type": "t_mapping(t_address,t_uint256)"
384
+ },
385
+ {
386
+ "label": "liquidityClaims",
387
+ "type": "t_mapping(t_address,t_bool)"
388
+ },
389
+ {
390
+ "label": "state",
391
+ "type": "t_enum(MarketState)175"
392
+ },
393
+ {
394
+ "label": "resolution",
395
+ "type": "t_struct(MarketResolution)229_storage"
396
+ },
397
+ {
398
+ "label": "fees",
399
+ "type": "t_struct(MarketFees)222_storage"
400
+ },
401
+ {
402
+ "label": "outcomeIds",
403
+ "type": "t_array(t_uint256)dyn_storage"
404
+ },
405
+ {
406
+ "label": "outcomes",
407
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)"
408
+ }
409
+ ]
410
+ },
411
+ "t_mapping(t_address,t_uint256)": {
412
+ "label": "mapping(address => uint256)"
413
+ },
414
+ "t_address": {
415
+ "label": "address"
416
+ },
417
+ "t_mapping(t_address,t_bool)": {
418
+ "label": "mapping(address => bool)"
419
+ },
420
+ "t_bool": {
421
+ "label": "bool"
422
+ },
423
+ "t_enum(MarketState)175": {
424
+ "label": "enum PredictionMarket.MarketState",
425
+ "members": [
426
+ "open",
427
+ "closed",
428
+ "resolved"
429
+ ]
430
+ },
431
+ "t_struct(MarketResolution)229_storage": {
432
+ "label": "struct PredictionMarket.MarketResolution",
433
+ "members": [
434
+ {
435
+ "label": "resolved",
436
+ "type": "t_bool"
437
+ },
438
+ {
439
+ "label": "outcomeId",
440
+ "type": "t_uint256"
441
+ },
442
+ {
443
+ "label": "questionId",
444
+ "type": "t_bytes32"
445
+ }
446
+ ]
447
+ },
448
+ "t_struct(MarketFees)222_storage": {
449
+ "label": "struct PredictionMarket.MarketFees",
450
+ "members": [
451
+ {
452
+ "label": "value",
453
+ "type": "t_uint256"
454
+ },
455
+ {
456
+ "label": "poolWeight",
457
+ "type": "t_uint256"
458
+ },
459
+ {
460
+ "label": "claimed",
461
+ "type": "t_mapping(t_address,t_uint256)"
462
+ }
463
+ ]
464
+ },
465
+ "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)": {
466
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
467
+ },
468
+ "t_struct(MarketOutcome)236_storage": {
469
+ "label": "struct PredictionMarket.MarketOutcome",
470
+ "members": [
471
+ {
472
+ "label": "marketId",
473
+ "type": "t_uint256"
474
+ },
475
+ {
476
+ "label": "id",
477
+ "type": "t_uint256"
478
+ },
479
+ {
480
+ "label": "shares",
481
+ "type": "t_struct(Shares)249_storage"
482
+ }
483
+ ]
484
+ },
485
+ "t_bytes32": {
486
+ "label": "bytes32"
487
+ },
488
+ "t_struct(Shares)249_storage": {
489
+ "label": "struct PredictionMarket.Shares",
490
+ "members": [
491
+ {
492
+ "label": "total",
493
+ "type": "t_uint256"
494
+ },
495
+ {
496
+ "label": "available",
497
+ "type": "t_uint256"
498
+ },
499
+ {
500
+ "label": "holders",
501
+ "type": "t_mapping(t_address,t_uint256)"
502
+ },
503
+ {
504
+ "label": "claims",
505
+ "type": "t_mapping(t_address,t_bool)"
506
+ }
507
+ ]
508
+ },
509
+ "t_contract(IERC20)3135": {
510
+ "label": "contract IERC20"
511
+ },
512
+ "t_array(t_uint256)49_storage": {
513
+ "label": "uint256[49]"
514
+ },
515
+ "t_array(t_uint256)50_storage": {
516
+ "label": "uint256[50]"
517
+ }
518
+ }
519
+ }
520
+ },
521
+ "fe639785bbdce4bd22e74b431524ab4974ffdfded62b785bbf0b249f986bc65d": {
522
+ "address": "0x97Ac1fe7c5fA3FeE151a62AF5Accb62993F7BF9C",
523
+ "txHash": "0x2e03ba1cce0ac4133d7517fb5c2966228d4ee6523e9e2fd518f67698d97c8e5d",
524
+ "layout": {
525
+ "storage": [
526
+ {
527
+ "contract": "Initializable",
528
+ "label": "_initialized",
529
+ "type": "t_bool",
530
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
531
+ },
532
+ {
533
+ "contract": "Initializable",
534
+ "label": "_initializing",
535
+ "type": "t_bool",
536
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
537
+ },
538
+ {
539
+ "contract": "ContextUpgradeable",
540
+ "label": "__gap",
541
+ "type": "t_array(t_uint256)50_storage",
542
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
543
+ },
544
+ {
545
+ "contract": "OwnableUpgradeable",
546
+ "label": "_owner",
547
+ "type": "t_address",
548
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
549
+ },
550
+ {
551
+ "contract": "OwnableUpgradeable",
552
+ "label": "__gap",
553
+ "type": "t_array(t_uint256)49_storage",
554
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
555
+ },
556
+ {
557
+ "contract": "PredictionMarket",
558
+ "label": "marketIds",
559
+ "type": "t_array(t_uint256)dyn_storage",
560
+ "src": "PredictionMarket.sol:110"
561
+ },
562
+ {
563
+ "contract": "PredictionMarket",
564
+ "label": "markets",
565
+ "type": "t_mapping(t_uint256,t_struct(Market)213_storage)",
566
+ "src": "PredictionMarket.sol:111"
567
+ },
568
+ {
569
+ "contract": "PredictionMarket",
570
+ "label": "marketIndex",
571
+ "type": "t_uint256",
572
+ "src": "PredictionMarket.sol:112"
573
+ },
574
+ {
575
+ "contract": "PredictionMarket",
576
+ "label": "fee",
577
+ "type": "t_uint256",
578
+ "src": "PredictionMarket.sol:115"
579
+ },
580
+ {
581
+ "contract": "PredictionMarket",
582
+ "label": "realitioAddress",
583
+ "type": "t_address",
584
+ "src": "PredictionMarket.sol:117"
585
+ },
586
+ {
587
+ "contract": "PredictionMarket",
588
+ "label": "realitioTimeout",
589
+ "type": "t_uint256",
590
+ "src": "PredictionMarket.sol:118"
591
+ },
592
+ {
593
+ "contract": "PredictionMarket",
594
+ "label": "token",
595
+ "type": "t_contract(IERC20)3161",
596
+ "src": "PredictionMarket.sol:120"
597
+ },
598
+ {
599
+ "contract": "PredictionMarket",
600
+ "label": "requiredBalance",
601
+ "type": "t_uint256",
602
+ "src": "PredictionMarket.sol:121"
603
+ }
604
+ ],
605
+ "types": {
606
+ "t_array(t_uint256)dyn_storage": {
607
+ "label": "uint256[]"
608
+ },
609
+ "t_uint256": {
610
+ "label": "uint256"
611
+ },
612
+ "t_mapping(t_uint256,t_struct(Market)213_storage)": {
613
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
614
+ },
615
+ "t_struct(Market)213_storage": {
616
+ "label": "struct PredictionMarket.Market",
617
+ "members": [
618
+ {
619
+ "label": "closesAtTimestamp",
620
+ "type": "t_uint256"
621
+ },
622
+ {
623
+ "label": "balance",
624
+ "type": "t_uint256"
625
+ },
626
+ {
627
+ "label": "liquidity",
628
+ "type": "t_uint256"
629
+ },
630
+ {
631
+ "label": "sharesAvailable",
632
+ "type": "t_uint256"
633
+ },
634
+ {
635
+ "label": "liquidityShares",
636
+ "type": "t_mapping(t_address,t_uint256)"
637
+ },
638
+ {
639
+ "label": "liquidityClaims",
640
+ "type": "t_mapping(t_address,t_bool)"
641
+ },
642
+ {
643
+ "label": "state",
644
+ "type": "t_enum(MarketState)175"
645
+ },
646
+ {
647
+ "label": "resolution",
648
+ "type": "t_struct(MarketResolution)229_storage"
649
+ },
650
+ {
651
+ "label": "fees",
652
+ "type": "t_struct(MarketFees)222_storage"
653
+ },
654
+ {
655
+ "label": "outcomeIds",
656
+ "type": "t_array(t_uint256)dyn_storage"
657
+ },
658
+ {
659
+ "label": "outcomes",
660
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)"
661
+ }
662
+ ]
663
+ },
664
+ "t_mapping(t_address,t_uint256)": {
665
+ "label": "mapping(address => uint256)"
666
+ },
667
+ "t_address": {
668
+ "label": "address"
669
+ },
670
+ "t_mapping(t_address,t_bool)": {
671
+ "label": "mapping(address => bool)"
672
+ },
673
+ "t_bool": {
674
+ "label": "bool"
675
+ },
676
+ "t_enum(MarketState)175": {
677
+ "label": "enum PredictionMarket.MarketState",
678
+ "members": [
679
+ "open",
680
+ "closed",
681
+ "resolved"
682
+ ]
683
+ },
684
+ "t_struct(MarketResolution)229_storage": {
685
+ "label": "struct PredictionMarket.MarketResolution",
686
+ "members": [
687
+ {
688
+ "label": "resolved",
689
+ "type": "t_bool"
690
+ },
691
+ {
692
+ "label": "outcomeId",
693
+ "type": "t_uint256"
694
+ },
695
+ {
696
+ "label": "questionId",
697
+ "type": "t_bytes32"
698
+ }
699
+ ]
700
+ },
701
+ "t_struct(MarketFees)222_storage": {
702
+ "label": "struct PredictionMarket.MarketFees",
703
+ "members": [
704
+ {
705
+ "label": "value",
706
+ "type": "t_uint256"
707
+ },
708
+ {
709
+ "label": "poolWeight",
710
+ "type": "t_uint256"
711
+ },
712
+ {
713
+ "label": "claimed",
714
+ "type": "t_mapping(t_address,t_uint256)"
715
+ }
716
+ ]
717
+ },
718
+ "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)": {
719
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
720
+ },
721
+ "t_struct(MarketOutcome)236_storage": {
722
+ "label": "struct PredictionMarket.MarketOutcome",
723
+ "members": [
724
+ {
725
+ "label": "marketId",
726
+ "type": "t_uint256"
727
+ },
728
+ {
729
+ "label": "id",
730
+ "type": "t_uint256"
731
+ },
732
+ {
733
+ "label": "shares",
734
+ "type": "t_struct(Shares)249_storage"
735
+ }
736
+ ]
737
+ },
738
+ "t_bytes32": {
739
+ "label": "bytes32"
740
+ },
741
+ "t_struct(Shares)249_storage": {
742
+ "label": "struct PredictionMarket.Shares",
743
+ "members": [
744
+ {
745
+ "label": "total",
746
+ "type": "t_uint256"
747
+ },
748
+ {
749
+ "label": "available",
750
+ "type": "t_uint256"
751
+ },
752
+ {
753
+ "label": "holders",
754
+ "type": "t_mapping(t_address,t_uint256)"
755
+ },
756
+ {
757
+ "label": "claims",
758
+ "type": "t_mapping(t_address,t_bool)"
759
+ }
760
+ ]
761
+ },
762
+ "t_contract(IERC20)3161": {
763
+ "label": "contract IERC20"
764
+ },
765
+ "t_array(t_uint256)49_storage": {
766
+ "label": "uint256[49]"
767
+ },
768
+ "t_array(t_uint256)50_storage": {
769
+ "label": "uint256[50]"
770
+ }
771
+ }
772
+ }
773
+ },
774
+ "6acd42a2e8506de6469448b0516147318e40791c71811774070bcec6482c7fc4": {
775
+ "address": "0xa53C3c6c8E81CAa9d57352789590b7D3f4c7dF74",
776
+ "txHash": "0x8a997f865f24e13b003486733adff0d40a1e42d59f81c69beac7f4ada33475eb",
777
+ "layout": {
778
+ "storage": [
779
+ {
780
+ "contract": "Initializable",
781
+ "label": "_initialized",
782
+ "type": "t_bool",
783
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
784
+ },
785
+ {
786
+ "contract": "Initializable",
787
+ "label": "_initializing",
788
+ "type": "t_bool",
789
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
790
+ },
791
+ {
792
+ "contract": "ContextUpgradeable",
793
+ "label": "__gap",
794
+ "type": "t_array(t_uint256)50_storage",
795
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
796
+ },
797
+ {
798
+ "contract": "OwnableUpgradeable",
799
+ "label": "_owner",
800
+ "type": "t_address",
801
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
802
+ },
803
+ {
804
+ "contract": "OwnableUpgradeable",
805
+ "label": "__gap",
806
+ "type": "t_array(t_uint256)49_storage",
807
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
808
+ },
809
+ {
810
+ "contract": "PredictionMarket",
811
+ "label": "marketIds",
812
+ "type": "t_array(t_uint256)dyn_storage",
813
+ "src": "PredictionMarket.sol:110"
814
+ },
815
+ {
816
+ "contract": "PredictionMarket",
817
+ "label": "markets",
818
+ "type": "t_mapping(t_uint256,t_struct(Market)213_storage)",
819
+ "src": "PredictionMarket.sol:111"
820
+ },
821
+ {
822
+ "contract": "PredictionMarket",
823
+ "label": "marketIndex",
824
+ "type": "t_uint256",
825
+ "src": "PredictionMarket.sol:112"
826
+ },
827
+ {
828
+ "contract": "PredictionMarket",
829
+ "label": "fee",
830
+ "type": "t_uint256",
831
+ "src": "PredictionMarket.sol:115"
832
+ },
833
+ {
834
+ "contract": "PredictionMarket",
835
+ "label": "realitioAddress",
836
+ "type": "t_address",
837
+ "src": "PredictionMarket.sol:117"
838
+ },
839
+ {
840
+ "contract": "PredictionMarket",
841
+ "label": "realitioTimeout",
842
+ "type": "t_uint256",
843
+ "src": "PredictionMarket.sol:118"
844
+ },
845
+ {
846
+ "contract": "PredictionMarket",
847
+ "label": "token",
848
+ "type": "t_contract(IERC20)3148",
849
+ "src": "PredictionMarket.sol:120"
850
+ },
851
+ {
852
+ "contract": "PredictionMarket",
853
+ "label": "requiredBalance",
854
+ "type": "t_uint256",
855
+ "src": "PredictionMarket.sol:121"
856
+ }
857
+ ],
858
+ "types": {
859
+ "t_array(t_uint256)dyn_storage": {
860
+ "label": "uint256[]"
861
+ },
862
+ "t_uint256": {
863
+ "label": "uint256"
864
+ },
865
+ "t_mapping(t_uint256,t_struct(Market)213_storage)": {
866
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
867
+ },
868
+ "t_struct(Market)213_storage": {
869
+ "label": "struct PredictionMarket.Market",
870
+ "members": [
871
+ {
872
+ "label": "closesAtTimestamp",
873
+ "type": "t_uint256"
874
+ },
875
+ {
876
+ "label": "balance",
877
+ "type": "t_uint256"
878
+ },
879
+ {
880
+ "label": "liquidity",
881
+ "type": "t_uint256"
882
+ },
883
+ {
884
+ "label": "sharesAvailable",
885
+ "type": "t_uint256"
886
+ },
887
+ {
888
+ "label": "liquidityShares",
889
+ "type": "t_mapping(t_address,t_uint256)"
890
+ },
891
+ {
892
+ "label": "liquidityClaims",
893
+ "type": "t_mapping(t_address,t_bool)"
894
+ },
895
+ {
896
+ "label": "state",
897
+ "type": "t_enum(MarketState)175"
898
+ },
899
+ {
900
+ "label": "resolution",
901
+ "type": "t_struct(MarketResolution)229_storage"
902
+ },
903
+ {
904
+ "label": "fees",
905
+ "type": "t_struct(MarketFees)222_storage"
906
+ },
907
+ {
908
+ "label": "outcomeIds",
909
+ "type": "t_array(t_uint256)dyn_storage"
910
+ },
911
+ {
912
+ "label": "outcomes",
913
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)"
914
+ }
915
+ ]
916
+ },
917
+ "t_mapping(t_address,t_uint256)": {
918
+ "label": "mapping(address => uint256)"
919
+ },
920
+ "t_address": {
921
+ "label": "address"
922
+ },
923
+ "t_mapping(t_address,t_bool)": {
924
+ "label": "mapping(address => bool)"
925
+ },
926
+ "t_bool": {
927
+ "label": "bool"
928
+ },
929
+ "t_enum(MarketState)175": {
930
+ "label": "enum PredictionMarket.MarketState",
931
+ "members": [
932
+ "open",
933
+ "closed",
934
+ "resolved"
935
+ ]
936
+ },
937
+ "t_struct(MarketResolution)229_storage": {
938
+ "label": "struct PredictionMarket.MarketResolution",
939
+ "members": [
940
+ {
941
+ "label": "resolved",
942
+ "type": "t_bool"
943
+ },
944
+ {
945
+ "label": "outcomeId",
946
+ "type": "t_uint256"
947
+ },
948
+ {
949
+ "label": "questionId",
950
+ "type": "t_bytes32"
951
+ }
952
+ ]
953
+ },
954
+ "t_struct(MarketFees)222_storage": {
955
+ "label": "struct PredictionMarket.MarketFees",
956
+ "members": [
957
+ {
958
+ "label": "value",
959
+ "type": "t_uint256"
960
+ },
961
+ {
962
+ "label": "poolWeight",
963
+ "type": "t_uint256"
964
+ },
965
+ {
966
+ "label": "claimed",
967
+ "type": "t_mapping(t_address,t_uint256)"
968
+ }
969
+ ]
970
+ },
971
+ "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)": {
972
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
973
+ },
974
+ "t_struct(MarketOutcome)236_storage": {
975
+ "label": "struct PredictionMarket.MarketOutcome",
976
+ "members": [
977
+ {
978
+ "label": "marketId",
979
+ "type": "t_uint256"
980
+ },
981
+ {
982
+ "label": "id",
983
+ "type": "t_uint256"
984
+ },
985
+ {
986
+ "label": "shares",
987
+ "type": "t_struct(Shares)249_storage"
988
+ }
989
+ ]
990
+ },
991
+ "t_bytes32": {
992
+ "label": "bytes32"
993
+ },
994
+ "t_struct(Shares)249_storage": {
995
+ "label": "struct PredictionMarket.Shares",
996
+ "members": [
997
+ {
998
+ "label": "total",
999
+ "type": "t_uint256"
1000
+ },
1001
+ {
1002
+ "label": "available",
1003
+ "type": "t_uint256"
1004
+ },
1005
+ {
1006
+ "label": "holders",
1007
+ "type": "t_mapping(t_address,t_uint256)"
1008
+ },
1009
+ {
1010
+ "label": "claims",
1011
+ "type": "t_mapping(t_address,t_bool)"
1012
+ }
1013
+ ]
1014
+ },
1015
+ "t_contract(IERC20)3148": {
1016
+ "label": "contract IERC20"
1017
+ },
1018
+ "t_array(t_uint256)49_storage": {
1019
+ "label": "uint256[49]"
1020
+ },
1021
+ "t_array(t_uint256)50_storage": {
1022
+ "label": "uint256[50]"
1023
+ }
1024
+ }
1025
+ }
1026
+ },
1027
+ "08b0759dfd8c63fa3f63c98dbde9fc311eb382b8373fa54bbd87623ad8917322": {
1028
+ "address": "0x948fB7733D52973CF190eea725De4758c1A3CB59",
1029
+ "txHash": "0x7238334990a4997614b2cfc8b3d0e67b7486615ceac39e15e020e3d2df11a8d6",
1030
+ "layout": {
1031
+ "storage": [
1032
+ {
1033
+ "contract": "Initializable",
1034
+ "label": "_initialized",
1035
+ "type": "t_bool",
1036
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
1037
+ },
1038
+ {
1039
+ "contract": "Initializable",
1040
+ "label": "_initializing",
1041
+ "type": "t_bool",
1042
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
1043
+ },
1044
+ {
1045
+ "contract": "ContextUpgradeable",
1046
+ "label": "__gap",
1047
+ "type": "t_array(t_uint256)50_storage",
1048
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
1049
+ },
1050
+ {
1051
+ "contract": "OwnableUpgradeable",
1052
+ "label": "_owner",
1053
+ "type": "t_address",
1054
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
1055
+ },
1056
+ {
1057
+ "contract": "OwnableUpgradeable",
1058
+ "label": "__gap",
1059
+ "type": "t_array(t_uint256)49_storage",
1060
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
1061
+ },
1062
+ {
1063
+ "contract": "PredictionMarket",
1064
+ "label": "marketIds",
1065
+ "type": "t_array(t_uint256)dyn_storage",
1066
+ "src": "PredictionMarket.sol:111"
1067
+ },
1068
+ {
1069
+ "contract": "PredictionMarket",
1070
+ "label": "markets",
1071
+ "type": "t_mapping(t_uint256,t_struct(Market)212_storage)",
1072
+ "src": "PredictionMarket.sol:112"
1073
+ },
1074
+ {
1075
+ "contract": "PredictionMarket",
1076
+ "label": "marketIndex",
1077
+ "type": "t_uint256",
1078
+ "src": "PredictionMarket.sol:113"
1079
+ },
1080
+ {
1081
+ "contract": "PredictionMarket",
1082
+ "label": "fee",
1083
+ "type": "t_uint256",
1084
+ "src": "PredictionMarket.sol:116"
1085
+ },
1086
+ {
1087
+ "contract": "PredictionMarket",
1088
+ "label": "realitioAddress",
1089
+ "type": "t_address",
1090
+ "src": "PredictionMarket.sol:118"
1091
+ },
1092
+ {
1093
+ "contract": "PredictionMarket",
1094
+ "label": "realitioTimeout",
1095
+ "type": "t_uint256",
1096
+ "src": "PredictionMarket.sol:119"
1097
+ },
1098
+ {
1099
+ "contract": "PredictionMarket",
1100
+ "label": "token",
1101
+ "type": "t_contract(IERC20)3192",
1102
+ "src": "PredictionMarket.sol:121"
1103
+ },
1104
+ {
1105
+ "contract": "PredictionMarket",
1106
+ "label": "requiredBalance",
1107
+ "type": "t_uint256",
1108
+ "src": "PredictionMarket.sol:122"
1109
+ }
1110
+ ],
1111
+ "types": {
1112
+ "t_array(t_uint256)dyn_storage": {
1113
+ "label": "uint256[]"
1114
+ },
1115
+ "t_uint256": {
1116
+ "label": "uint256"
1117
+ },
1118
+ "t_mapping(t_uint256,t_struct(Market)212_storage)": {
1119
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
1120
+ },
1121
+ "t_struct(Market)212_storage": {
1122
+ "label": "struct PredictionMarket.Market",
1123
+ "members": [
1124
+ {
1125
+ "label": "closesAtTimestamp",
1126
+ "type": "t_uint256"
1127
+ },
1128
+ {
1129
+ "label": "balance",
1130
+ "type": "t_uint256"
1131
+ },
1132
+ {
1133
+ "label": "liquidity",
1134
+ "type": "t_uint256"
1135
+ },
1136
+ {
1137
+ "label": "sharesAvailable",
1138
+ "type": "t_uint256"
1139
+ },
1140
+ {
1141
+ "label": "liquidityShares",
1142
+ "type": "t_mapping(t_address,t_uint256)"
1143
+ },
1144
+ {
1145
+ "label": "liquidityClaims",
1146
+ "type": "t_mapping(t_address,t_bool)"
1147
+ },
1148
+ {
1149
+ "label": "state",
1150
+ "type": "t_enum(MarketState)174"
1151
+ },
1152
+ {
1153
+ "label": "resolution",
1154
+ "type": "t_struct(MarketResolution)228_storage"
1155
+ },
1156
+ {
1157
+ "label": "fees",
1158
+ "type": "t_struct(MarketFees)221_storage"
1159
+ },
1160
+ {
1161
+ "label": "outcomeIds",
1162
+ "type": "t_array(t_uint256)dyn_storage"
1163
+ },
1164
+ {
1165
+ "label": "outcomes",
1166
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)"
1167
+ }
1168
+ ]
1169
+ },
1170
+ "t_mapping(t_address,t_uint256)": {
1171
+ "label": "mapping(address => uint256)"
1172
+ },
1173
+ "t_address": {
1174
+ "label": "address"
1175
+ },
1176
+ "t_mapping(t_address,t_bool)": {
1177
+ "label": "mapping(address => bool)"
1178
+ },
1179
+ "t_bool": {
1180
+ "label": "bool"
1181
+ },
1182
+ "t_enum(MarketState)174": {
1183
+ "label": "enum PredictionMarket.MarketState",
1184
+ "members": [
1185
+ "open",
1186
+ "closed",
1187
+ "resolved"
1188
+ ]
1189
+ },
1190
+ "t_struct(MarketResolution)228_storage": {
1191
+ "label": "struct PredictionMarket.MarketResolution",
1192
+ "members": [
1193
+ {
1194
+ "label": "resolved",
1195
+ "type": "t_bool"
1196
+ },
1197
+ {
1198
+ "label": "outcomeId",
1199
+ "type": "t_uint256"
1200
+ },
1201
+ {
1202
+ "label": "questionId",
1203
+ "type": "t_bytes32"
1204
+ }
1205
+ ]
1206
+ },
1207
+ "t_struct(MarketFees)221_storage": {
1208
+ "label": "struct PredictionMarket.MarketFees",
1209
+ "members": [
1210
+ {
1211
+ "label": "value",
1212
+ "type": "t_uint256"
1213
+ },
1214
+ {
1215
+ "label": "poolWeight",
1216
+ "type": "t_uint256"
1217
+ },
1218
+ {
1219
+ "label": "claimed",
1220
+ "type": "t_mapping(t_address,t_uint256)"
1221
+ }
1222
+ ]
1223
+ },
1224
+ "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)": {
1225
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
1226
+ },
1227
+ "t_struct(MarketOutcome)235_storage": {
1228
+ "label": "struct PredictionMarket.MarketOutcome",
1229
+ "members": [
1230
+ {
1231
+ "label": "marketId",
1232
+ "type": "t_uint256"
1233
+ },
1234
+ {
1235
+ "label": "id",
1236
+ "type": "t_uint256"
1237
+ },
1238
+ {
1239
+ "label": "shares",
1240
+ "type": "t_struct(Shares)252_storage"
1241
+ }
1242
+ ]
1243
+ },
1244
+ "t_bytes32": {
1245
+ "label": "bytes32"
1246
+ },
1247
+ "t_struct(Shares)252_storage": {
1248
+ "label": "struct PredictionMarket.Shares",
1249
+ "members": [
1250
+ {
1251
+ "label": "total",
1252
+ "type": "t_uint256"
1253
+ },
1254
+ {
1255
+ "label": "available",
1256
+ "type": "t_uint256"
1257
+ },
1258
+ {
1259
+ "label": "holders",
1260
+ "type": "t_mapping(t_address,t_uint256)"
1261
+ },
1262
+ {
1263
+ "label": "claims",
1264
+ "type": "t_mapping(t_address,t_bool)"
1265
+ },
1266
+ {
1267
+ "label": "voidedClaims",
1268
+ "type": "t_mapping(t_address,t_bool)"
1269
+ }
1270
+ ]
1271
+ },
1272
+ "t_contract(IERC20)3192": {
1273
+ "label": "contract IERC20"
1274
+ },
1275
+ "t_array(t_uint256)49_storage": {
1276
+ "label": "uint256[49]"
1277
+ },
1278
+ "t_array(t_uint256)50_storage": {
1279
+ "label": "uint256[50]"
1280
+ }
1281
+ }
1282
+ }
1283
+ },
1284
+ "7cf8edfca4cd7432bb93c5b72a27639f1bea5f4ebcb0f1b8db5b14f23be8c258": {
1285
+ "address": "0x26e587825b5143Ec9acb8f6c759aB18C12137Ee1",
1286
+ "txHash": "0xfeffd2075eb7dd7bc290c59fde5d75814c460952b34b7e01e8950de2dfd46605",
1287
+ "layout": {
1288
+ "storage": [
1289
+ {
1290
+ "contract": "Initializable",
1291
+ "label": "_initialized",
1292
+ "type": "t_bool",
1293
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
1294
+ },
1295
+ {
1296
+ "contract": "Initializable",
1297
+ "label": "_initializing",
1298
+ "type": "t_bool",
1299
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
1300
+ },
1301
+ {
1302
+ "contract": "ContextUpgradeable",
1303
+ "label": "__gap",
1304
+ "type": "t_array(t_uint256)50_storage",
1305
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
1306
+ },
1307
+ {
1308
+ "contract": "OwnableUpgradeable",
1309
+ "label": "_owner",
1310
+ "type": "t_address",
1311
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
1312
+ },
1313
+ {
1314
+ "contract": "OwnableUpgradeable",
1315
+ "label": "__gap",
1316
+ "type": "t_array(t_uint256)49_storage",
1317
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
1318
+ },
1319
+ {
1320
+ "contract": "PredictionMarket",
1321
+ "label": "marketIds",
1322
+ "type": "t_array(t_uint256)dyn_storage",
1323
+ "src": "PredictionMarket.sol:111"
1324
+ },
1325
+ {
1326
+ "contract": "PredictionMarket",
1327
+ "label": "markets",
1328
+ "type": "t_mapping(t_uint256,t_struct(Market)212_storage)",
1329
+ "src": "PredictionMarket.sol:112"
1330
+ },
1331
+ {
1332
+ "contract": "PredictionMarket",
1333
+ "label": "marketIndex",
1334
+ "type": "t_uint256",
1335
+ "src": "PredictionMarket.sol:113"
1336
+ },
1337
+ {
1338
+ "contract": "PredictionMarket",
1339
+ "label": "fee",
1340
+ "type": "t_uint256",
1341
+ "src": "PredictionMarket.sol:116"
1342
+ },
1343
+ {
1344
+ "contract": "PredictionMarket",
1345
+ "label": "realitioAddress",
1346
+ "type": "t_address",
1347
+ "src": "PredictionMarket.sol:118"
1348
+ },
1349
+ {
1350
+ "contract": "PredictionMarket",
1351
+ "label": "realitioTimeout",
1352
+ "type": "t_uint256",
1353
+ "src": "PredictionMarket.sol:119"
1354
+ },
1355
+ {
1356
+ "contract": "PredictionMarket",
1357
+ "label": "token",
1358
+ "type": "t_contract(IERC20)3195",
1359
+ "src": "PredictionMarket.sol:121"
1360
+ },
1361
+ {
1362
+ "contract": "PredictionMarket",
1363
+ "label": "requiredBalance",
1364
+ "type": "t_uint256",
1365
+ "src": "PredictionMarket.sol:122"
1366
+ }
1367
+ ],
1368
+ "types": {
1369
+ "t_array(t_uint256)dyn_storage": {
1370
+ "label": "uint256[]"
1371
+ },
1372
+ "t_uint256": {
1373
+ "label": "uint256"
1374
+ },
1375
+ "t_mapping(t_uint256,t_struct(Market)212_storage)": {
1376
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
1377
+ },
1378
+ "t_struct(Market)212_storage": {
1379
+ "label": "struct PredictionMarket.Market",
1380
+ "members": [
1381
+ {
1382
+ "label": "closesAtTimestamp",
1383
+ "type": "t_uint256"
1384
+ },
1385
+ {
1386
+ "label": "balance",
1387
+ "type": "t_uint256"
1388
+ },
1389
+ {
1390
+ "label": "liquidity",
1391
+ "type": "t_uint256"
1392
+ },
1393
+ {
1394
+ "label": "sharesAvailable",
1395
+ "type": "t_uint256"
1396
+ },
1397
+ {
1398
+ "label": "liquidityShares",
1399
+ "type": "t_mapping(t_address,t_uint256)"
1400
+ },
1401
+ {
1402
+ "label": "liquidityClaims",
1403
+ "type": "t_mapping(t_address,t_bool)"
1404
+ },
1405
+ {
1406
+ "label": "state",
1407
+ "type": "t_enum(MarketState)174"
1408
+ },
1409
+ {
1410
+ "label": "resolution",
1411
+ "type": "t_struct(MarketResolution)228_storage"
1412
+ },
1413
+ {
1414
+ "label": "fees",
1415
+ "type": "t_struct(MarketFees)221_storage"
1416
+ },
1417
+ {
1418
+ "label": "outcomeIds",
1419
+ "type": "t_array(t_uint256)dyn_storage"
1420
+ },
1421
+ {
1422
+ "label": "outcomes",
1423
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)"
1424
+ }
1425
+ ]
1426
+ },
1427
+ "t_mapping(t_address,t_uint256)": {
1428
+ "label": "mapping(address => uint256)"
1429
+ },
1430
+ "t_address": {
1431
+ "label": "address"
1432
+ },
1433
+ "t_mapping(t_address,t_bool)": {
1434
+ "label": "mapping(address => bool)"
1435
+ },
1436
+ "t_bool": {
1437
+ "label": "bool"
1438
+ },
1439
+ "t_enum(MarketState)174": {
1440
+ "label": "enum PredictionMarket.MarketState",
1441
+ "members": [
1442
+ "open",
1443
+ "closed",
1444
+ "resolved"
1445
+ ]
1446
+ },
1447
+ "t_struct(MarketResolution)228_storage": {
1448
+ "label": "struct PredictionMarket.MarketResolution",
1449
+ "members": [
1450
+ {
1451
+ "label": "resolved",
1452
+ "type": "t_bool"
1453
+ },
1454
+ {
1455
+ "label": "outcomeId",
1456
+ "type": "t_uint256"
1457
+ },
1458
+ {
1459
+ "label": "questionId",
1460
+ "type": "t_bytes32"
1461
+ }
1462
+ ]
1463
+ },
1464
+ "t_struct(MarketFees)221_storage": {
1465
+ "label": "struct PredictionMarket.MarketFees",
1466
+ "members": [
1467
+ {
1468
+ "label": "value",
1469
+ "type": "t_uint256"
1470
+ },
1471
+ {
1472
+ "label": "poolWeight",
1473
+ "type": "t_uint256"
1474
+ },
1475
+ {
1476
+ "label": "claimed",
1477
+ "type": "t_mapping(t_address,t_uint256)"
1478
+ }
1479
+ ]
1480
+ },
1481
+ "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)": {
1482
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
1483
+ },
1484
+ "t_struct(MarketOutcome)235_storage": {
1485
+ "label": "struct PredictionMarket.MarketOutcome",
1486
+ "members": [
1487
+ {
1488
+ "label": "marketId",
1489
+ "type": "t_uint256"
1490
+ },
1491
+ {
1492
+ "label": "id",
1493
+ "type": "t_uint256"
1494
+ },
1495
+ {
1496
+ "label": "shares",
1497
+ "type": "t_struct(Shares)252_storage"
1498
+ }
1499
+ ]
1500
+ },
1501
+ "t_bytes32": {
1502
+ "label": "bytes32"
1503
+ },
1504
+ "t_struct(Shares)252_storage": {
1505
+ "label": "struct PredictionMarket.Shares",
1506
+ "members": [
1507
+ {
1508
+ "label": "total",
1509
+ "type": "t_uint256"
1510
+ },
1511
+ {
1512
+ "label": "available",
1513
+ "type": "t_uint256"
1514
+ },
1515
+ {
1516
+ "label": "holders",
1517
+ "type": "t_mapping(t_address,t_uint256)"
1518
+ },
1519
+ {
1520
+ "label": "claims",
1521
+ "type": "t_mapping(t_address,t_bool)"
1522
+ },
1523
+ {
1524
+ "label": "voidedClaims",
1525
+ "type": "t_mapping(t_address,t_bool)"
1526
+ }
1527
+ ]
1528
+ },
1529
+ "t_contract(IERC20)3195": {
1530
+ "label": "contract IERC20"
1531
+ },
1532
+ "t_array(t_uint256)49_storage": {
1533
+ "label": "uint256[49]"
1534
+ },
1535
+ "t_array(t_uint256)50_storage": {
1536
+ "label": "uint256[50]"
1537
+ }
1538
+ }
1539
+ }
1540
+ },
1541
+ "ff8daf80c9a4062c20b789aa28f612fcf62ebff3f07a1ae423e088f082efdc58": {
1542
+ "address": "0x724Fb3E1b375eF769CD6bF0421d995E2d75d6E6b",
1543
+ "txHash": "0xc7bedc33b86b75fc4197fb1693ae6d8db6460082c9c3a0b972562bf320b10a3b",
1544
+ "layout": {
1545
+ "storage": [
1546
+ {
1547
+ "contract": "Initializable",
1548
+ "label": "_initialized",
1549
+ "type": "t_bool",
1550
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
1551
+ },
1552
+ {
1553
+ "contract": "Initializable",
1554
+ "label": "_initializing",
1555
+ "type": "t_bool",
1556
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
1557
+ },
1558
+ {
1559
+ "contract": "ContextUpgradeable",
1560
+ "label": "__gap",
1561
+ "type": "t_array(t_uint256)50_storage",
1562
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
1563
+ },
1564
+ {
1565
+ "contract": "OwnableUpgradeable",
1566
+ "label": "_owner",
1567
+ "type": "t_address",
1568
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
1569
+ },
1570
+ {
1571
+ "contract": "OwnableUpgradeable",
1572
+ "label": "__gap",
1573
+ "type": "t_array(t_uint256)49_storage",
1574
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
1575
+ },
1576
+ {
1577
+ "contract": "PredictionMarket",
1578
+ "label": "marketIds",
1579
+ "type": "t_array(t_uint256)dyn_storage",
1580
+ "src": "PredictionMarket.sol:111"
1581
+ },
1582
+ {
1583
+ "contract": "PredictionMarket",
1584
+ "label": "markets",
1585
+ "type": "t_mapping(t_uint256,t_struct(Market)212_storage)",
1586
+ "src": "PredictionMarket.sol:112"
1587
+ },
1588
+ {
1589
+ "contract": "PredictionMarket",
1590
+ "label": "marketIndex",
1591
+ "type": "t_uint256",
1592
+ "src": "PredictionMarket.sol:113"
1593
+ },
1594
+ {
1595
+ "contract": "PredictionMarket",
1596
+ "label": "fee",
1597
+ "type": "t_uint256",
1598
+ "src": "PredictionMarket.sol:116"
1599
+ },
1600
+ {
1601
+ "contract": "PredictionMarket",
1602
+ "label": "realitioAddress",
1603
+ "type": "t_address",
1604
+ "src": "PredictionMarket.sol:118"
1605
+ },
1606
+ {
1607
+ "contract": "PredictionMarket",
1608
+ "label": "realitioTimeout",
1609
+ "type": "t_uint256",
1610
+ "src": "PredictionMarket.sol:119"
1611
+ },
1612
+ {
1613
+ "contract": "PredictionMarket",
1614
+ "label": "token",
1615
+ "type": "t_contract(IERC20)3295",
1616
+ "src": "PredictionMarket.sol:121"
1617
+ },
1618
+ {
1619
+ "contract": "PredictionMarket",
1620
+ "label": "requiredBalance",
1621
+ "type": "t_uint256",
1622
+ "src": "PredictionMarket.sol:122"
1623
+ }
1624
+ ],
1625
+ "types": {
1626
+ "t_array(t_uint256)dyn_storage": {
1627
+ "label": "uint256[]"
1628
+ },
1629
+ "t_uint256": {
1630
+ "label": "uint256"
1631
+ },
1632
+ "t_mapping(t_uint256,t_struct(Market)212_storage)": {
1633
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
1634
+ },
1635
+ "t_struct(Market)212_storage": {
1636
+ "label": "struct PredictionMarket.Market",
1637
+ "members": [
1638
+ {
1639
+ "label": "closesAtTimestamp",
1640
+ "type": "t_uint256"
1641
+ },
1642
+ {
1643
+ "label": "balance",
1644
+ "type": "t_uint256"
1645
+ },
1646
+ {
1647
+ "label": "liquidity",
1648
+ "type": "t_uint256"
1649
+ },
1650
+ {
1651
+ "label": "sharesAvailable",
1652
+ "type": "t_uint256"
1653
+ },
1654
+ {
1655
+ "label": "liquidityShares",
1656
+ "type": "t_mapping(t_address,t_uint256)"
1657
+ },
1658
+ {
1659
+ "label": "liquidityClaims",
1660
+ "type": "t_mapping(t_address,t_bool)"
1661
+ },
1662
+ {
1663
+ "label": "state",
1664
+ "type": "t_enum(MarketState)174"
1665
+ },
1666
+ {
1667
+ "label": "resolution",
1668
+ "type": "t_struct(MarketResolution)228_storage"
1669
+ },
1670
+ {
1671
+ "label": "fees",
1672
+ "type": "t_struct(MarketFees)221_storage"
1673
+ },
1674
+ {
1675
+ "label": "outcomeIds",
1676
+ "type": "t_array(t_uint256)dyn_storage"
1677
+ },
1678
+ {
1679
+ "label": "outcomes",
1680
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)"
1681
+ }
1682
+ ]
1683
+ },
1684
+ "t_mapping(t_address,t_uint256)": {
1685
+ "label": "mapping(address => uint256)"
1686
+ },
1687
+ "t_address": {
1688
+ "label": "address"
1689
+ },
1690
+ "t_mapping(t_address,t_bool)": {
1691
+ "label": "mapping(address => bool)"
1692
+ },
1693
+ "t_bool": {
1694
+ "label": "bool"
1695
+ },
1696
+ "t_enum(MarketState)174": {
1697
+ "label": "enum PredictionMarket.MarketState",
1698
+ "members": [
1699
+ "open",
1700
+ "closed",
1701
+ "resolved"
1702
+ ]
1703
+ },
1704
+ "t_struct(MarketResolution)228_storage": {
1705
+ "label": "struct PredictionMarket.MarketResolution",
1706
+ "members": [
1707
+ {
1708
+ "label": "resolved",
1709
+ "type": "t_bool"
1710
+ },
1711
+ {
1712
+ "label": "outcomeId",
1713
+ "type": "t_uint256"
1714
+ },
1715
+ {
1716
+ "label": "questionId",
1717
+ "type": "t_bytes32"
1718
+ }
1719
+ ]
1720
+ },
1721
+ "t_struct(MarketFees)221_storage": {
1722
+ "label": "struct PredictionMarket.MarketFees",
1723
+ "members": [
1724
+ {
1725
+ "label": "value",
1726
+ "type": "t_uint256"
1727
+ },
1728
+ {
1729
+ "label": "poolWeight",
1730
+ "type": "t_uint256"
1731
+ },
1732
+ {
1733
+ "label": "claimed",
1734
+ "type": "t_mapping(t_address,t_uint256)"
1735
+ }
1736
+ ]
1737
+ },
1738
+ "t_mapping(t_uint256,t_struct(MarketOutcome)235_storage)": {
1739
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
1740
+ },
1741
+ "t_struct(MarketOutcome)235_storage": {
1742
+ "label": "struct PredictionMarket.MarketOutcome",
1743
+ "members": [
1744
+ {
1745
+ "label": "marketId",
1746
+ "type": "t_uint256"
1747
+ },
1748
+ {
1749
+ "label": "id",
1750
+ "type": "t_uint256"
1751
+ },
1752
+ {
1753
+ "label": "shares",
1754
+ "type": "t_struct(Shares)252_storage"
1755
+ }
1756
+ ]
1757
+ },
1758
+ "t_bytes32": {
1759
+ "label": "bytes32"
1760
+ },
1761
+ "t_struct(Shares)252_storage": {
1762
+ "label": "struct PredictionMarket.Shares",
1763
+ "members": [
1764
+ {
1765
+ "label": "total",
1766
+ "type": "t_uint256"
1767
+ },
1768
+ {
1769
+ "label": "available",
1770
+ "type": "t_uint256"
1771
+ },
1772
+ {
1773
+ "label": "holders",
1774
+ "type": "t_mapping(t_address,t_uint256)"
1775
+ },
1776
+ {
1777
+ "label": "claims",
1778
+ "type": "t_mapping(t_address,t_bool)"
1779
+ },
1780
+ {
1781
+ "label": "voidedClaims",
1782
+ "type": "t_mapping(t_address,t_bool)"
1783
+ }
1784
+ ]
1785
+ },
1786
+ "t_contract(IERC20)3295": {
1787
+ "label": "contract IERC20"
1788
+ },
1789
+ "t_array(t_uint256)49_storage": {
1790
+ "label": "uint256[49]"
1791
+ },
1792
+ "t_array(t_uint256)50_storage": {
1793
+ "label": "uint256[50]"
1794
+ }
1795
+ }
1796
+ }
1797
+ },
1798
+ "0d4472e5304e45a266ea553eadda2d417bef976126c76d078159ddd4c947f663": {
1799
+ "address": "0x75CD86953103660F53Fd6e138416fb33F4679629",
1800
+ "txHash": "0xddb6b5234eda8800b2d6446d3c4e30e3bb060be4a3e3256452f69f47f2e57352",
1801
+ "layout": {
1802
+ "storage": [
1803
+ {
1804
+ "contract": "Initializable",
1805
+ "label": "_initialized",
1806
+ "type": "t_bool",
1807
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:25"
1808
+ },
1809
+ {
1810
+ "contract": "Initializable",
1811
+ "label": "_initializing",
1812
+ "type": "t_bool",
1813
+ "src": "../@openzeppelin/contracts-upgradeable/proxy/Initializable.sol:30"
1814
+ },
1815
+ {
1816
+ "contract": "ContextUpgradeable",
1817
+ "label": "__gap",
1818
+ "type": "t_array(t_uint256)50_storage",
1819
+ "src": "../@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol:31"
1820
+ },
1821
+ {
1822
+ "contract": "OwnableUpgradeable",
1823
+ "label": "_owner",
1824
+ "type": "t_address",
1825
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:20"
1826
+ },
1827
+ {
1828
+ "contract": "OwnableUpgradeable",
1829
+ "label": "__gap",
1830
+ "type": "t_array(t_uint256)49_storage",
1831
+ "src": "../@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol:74"
1832
+ },
1833
+ {
1834
+ "contract": "PredictionMarket",
1835
+ "label": "marketIds",
1836
+ "type": "t_array(t_uint256)dyn_storage",
1837
+ "src": "PredictionMarket.sol:112"
1838
+ },
1839
+ {
1840
+ "contract": "PredictionMarket",
1841
+ "label": "markets",
1842
+ "type": "t_mapping(t_uint256,t_struct(Market)213_storage)",
1843
+ "src": "PredictionMarket.sol:113"
1844
+ },
1845
+ {
1846
+ "contract": "PredictionMarket",
1847
+ "label": "marketIndex",
1848
+ "type": "t_uint256",
1849
+ "src": "PredictionMarket.sol:114"
1850
+ },
1851
+ {
1852
+ "contract": "PredictionMarket",
1853
+ "label": "fee",
1854
+ "type": "t_uint256",
1855
+ "src": "PredictionMarket.sol:117"
1856
+ },
1857
+ {
1858
+ "contract": "PredictionMarket",
1859
+ "label": "realitioAddress",
1860
+ "type": "t_address",
1861
+ "src": "PredictionMarket.sol:119"
1862
+ },
1863
+ {
1864
+ "contract": "PredictionMarket",
1865
+ "label": "realitioTimeout",
1866
+ "type": "t_uint256",
1867
+ "src": "PredictionMarket.sol:120"
1868
+ },
1869
+ {
1870
+ "contract": "PredictionMarket",
1871
+ "label": "token",
1872
+ "type": "t_contract(IERC20)3315",
1873
+ "src": "PredictionMarket.sol:122"
1874
+ },
1875
+ {
1876
+ "contract": "PredictionMarket",
1877
+ "label": "requiredBalance",
1878
+ "type": "t_uint256",
1879
+ "src": "PredictionMarket.sol:123"
1880
+ }
1881
+ ],
1882
+ "types": {
1883
+ "t_array(t_uint256)dyn_storage": {
1884
+ "label": "uint256[]"
1885
+ },
1886
+ "t_uint256": {
1887
+ "label": "uint256"
1888
+ },
1889
+ "t_mapping(t_uint256,t_struct(Market)213_storage)": {
1890
+ "label": "mapping(uint256 => struct PredictionMarket.Market)"
1891
+ },
1892
+ "t_struct(Market)213_storage": {
1893
+ "label": "struct PredictionMarket.Market",
1894
+ "members": [
1895
+ {
1896
+ "label": "closesAtTimestamp",
1897
+ "type": "t_uint256"
1898
+ },
1899
+ {
1900
+ "label": "balance",
1901
+ "type": "t_uint256"
1902
+ },
1903
+ {
1904
+ "label": "liquidity",
1905
+ "type": "t_uint256"
1906
+ },
1907
+ {
1908
+ "label": "sharesAvailable",
1909
+ "type": "t_uint256"
1910
+ },
1911
+ {
1912
+ "label": "liquidityShares",
1913
+ "type": "t_mapping(t_address,t_uint256)"
1914
+ },
1915
+ {
1916
+ "label": "liquidityClaims",
1917
+ "type": "t_mapping(t_address,t_bool)"
1918
+ },
1919
+ {
1920
+ "label": "state",
1921
+ "type": "t_enum(MarketState)174"
1922
+ },
1923
+ {
1924
+ "label": "resolution",
1925
+ "type": "t_struct(MarketResolution)229_storage"
1926
+ },
1927
+ {
1928
+ "label": "fees",
1929
+ "type": "t_struct(MarketFees)222_storage"
1930
+ },
1931
+ {
1932
+ "label": "outcomeIds",
1933
+ "type": "t_array(t_uint256)dyn_storage"
1934
+ },
1935
+ {
1936
+ "label": "outcomes",
1937
+ "type": "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)"
1938
+ }
1939
+ ]
1940
+ },
1941
+ "t_mapping(t_address,t_uint256)": {
1942
+ "label": "mapping(address => uint256)"
1943
+ },
1944
+ "t_address": {
1945
+ "label": "address"
1946
+ },
1947
+ "t_mapping(t_address,t_bool)": {
1948
+ "label": "mapping(address => bool)"
1949
+ },
1950
+ "t_bool": {
1951
+ "label": "bool"
1952
+ },
1953
+ "t_enum(MarketState)174": {
1954
+ "label": "enum PredictionMarket.MarketState",
1955
+ "members": [
1956
+ "open",
1957
+ "closed",
1958
+ "resolved"
1959
+ ]
1960
+ },
1961
+ "t_struct(MarketResolution)229_storage": {
1962
+ "label": "struct PredictionMarket.MarketResolution",
1963
+ "members": [
1964
+ {
1965
+ "label": "resolved",
1966
+ "type": "t_bool"
1967
+ },
1968
+ {
1969
+ "label": "outcomeId",
1970
+ "type": "t_uint256"
1971
+ },
1972
+ {
1973
+ "label": "questionId",
1974
+ "type": "t_bytes32"
1975
+ }
1976
+ ]
1977
+ },
1978
+ "t_struct(MarketFees)222_storage": {
1979
+ "label": "struct PredictionMarket.MarketFees",
1980
+ "members": [
1981
+ {
1982
+ "label": "value",
1983
+ "type": "t_uint256"
1984
+ },
1985
+ {
1986
+ "label": "poolWeight",
1987
+ "type": "t_uint256"
1988
+ },
1989
+ {
1990
+ "label": "claimed",
1991
+ "type": "t_mapping(t_address,t_uint256)"
1992
+ }
1993
+ ]
1994
+ },
1995
+ "t_mapping(t_uint256,t_struct(MarketOutcome)236_storage)": {
1996
+ "label": "mapping(uint256 => struct PredictionMarket.MarketOutcome)"
1997
+ },
1998
+ "t_struct(MarketOutcome)236_storage": {
1999
+ "label": "struct PredictionMarket.MarketOutcome",
2000
+ "members": [
2001
+ {
2002
+ "label": "marketId",
2003
+ "type": "t_uint256"
2004
+ },
2005
+ {
2006
+ "label": "id",
2007
+ "type": "t_uint256"
2008
+ },
2009
+ {
2010
+ "label": "shares",
2011
+ "type": "t_struct(Shares)253_storage"
2012
+ }
2013
+ ]
2014
+ },
2015
+ "t_bytes32": {
2016
+ "label": "bytes32"
2017
+ },
2018
+ "t_struct(Shares)253_storage": {
2019
+ "label": "struct PredictionMarket.Shares",
2020
+ "members": [
2021
+ {
2022
+ "label": "total",
2023
+ "type": "t_uint256"
2024
+ },
2025
+ {
2026
+ "label": "available",
2027
+ "type": "t_uint256"
2028
+ },
2029
+ {
2030
+ "label": "holders",
2031
+ "type": "t_mapping(t_address,t_uint256)"
2032
+ },
2033
+ {
2034
+ "label": "claims",
2035
+ "type": "t_mapping(t_address,t_bool)"
2036
+ },
2037
+ {
2038
+ "label": "voidedClaims",
2039
+ "type": "t_mapping(t_address,t_bool)"
2040
+ }
2041
+ ]
2042
+ },
2043
+ "t_contract(IERC20)3315": {
2044
+ "label": "contract IERC20"
2045
+ },
2046
+ "t_array(t_uint256)49_storage": {
2047
+ "label": "uint256[49]"
2048
+ },
2049
+ "t_array(t_uint256)50_storage": {
2050
+ "label": "uint256[50]"
2051
+ }
2052
+ }
2053
+ }
2054
+ }
2055
+ }
2056
+ }