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]
5a4c2e6057444afcdd83aaaec0c19782c97e8d8e9d87fb53b483c326e8c79151i0

[ChainName]
mvc

[MetaID]
2eb21238314aca030b67ed7b7c4c613f2e8cb7e42ee9140589a4df9da3854aa2

[POP]
00000000000000000026314556225503236470307141714027733143217021405046637476226427465031001240444100131322423165375107627173346160233146261473470326201733174205244456415010

[POPLv]
-1

[DataValue]
1

[operation]
create

[path]
/protocols/metatask/spec

[version]
1.1.0

[encryption]
0

[address]
1GrqX7K9jdnUor8hAoAfDx99uFH2tT75Za

[output value]
1

[preview]
link

[content]
link

[content length]
4503

[content type]
application/json

[timestamp]
1790695251

[genesis height]
191561

[genesis transactione]
5a4c2e6057444afcdd83aaaec0c19782c97e8d8e9d87fb53b483c326e8c79151

[location]
5a4c2e6057444afcdd83aaaec0c19782c97e8d8e9d87fb53b483c326e8c79151:0:0

[output]
5a4c2e6057444afcdd83aaaec0c19782c97e8d8e9d87fb53b483c326e8c79151:0

[offset]
0

[PoPScore]
0

[PoPScoreV1]
8.6512