Personal Information Node 0

text/plain; charset=utf-8

{"name":"lean-build","lang":"bash","entry":"spec-lean-build.sh","script":"#!/usr/bin/env bash\n# spec-lean-build.sh — 通用 Lean 形式化验证器

[id]
e71b6be0b574ef54f4d299119e06765385c8a4dbdffa5828f24148d7d4e34d58i0

[ChainName]
mvc

[MetaID]
2eb21238314aca030b67ed7b7c4c613f2e8cb7e42ee9140589a4df9da3854aa2

[POP]
00000000000000000010065526014670312570715513107355531221633045237642353741127514651776641257133521411110435405255270610233421632462627652115411062604140614706675570375374

[POPLv]
-1

[DataValue]
2

[operation]
create

[path]
/protocols/metatask/spec

[version]
1.1.0

[encryption]
0

[address]
1GrqX7K9jdnUor8hAoAfDx99uFH2tT75Za

[output value]
1

[preview]
link

[content]
link

[content length]
4479

[content type]
application/json

[timestamp]
1790695251

[genesis height]
191561

[genesis transactione]
e71b6be0b574ef54f4d299119e06765385c8a4dbdffa5828f24148d7d4e34d58

[location]
e71b6be0b574ef54f4d299119e06765385c8a4dbdffa5828f24148d7d4e34d58:0:0

[output]
e71b6be0b574ef54f4d299119e06765385c8a4dbdffa5828f24148d7d4e34d58:0

[offset]
0

[PoPScore]
0

[PoPScoreV1]
8.2356