@velocitycareerlabs/verification-coupon-contract 1.25.0-dev-build.12642c864

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