Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
urt-rs / docs /research /rust-client-move-scratch.json
nmarshall's picture
nmarshall
gameplay: port movement scratch and callback plans
83bf7b2
Raw History Blame Contribute Delete
29.5 kB
{
"limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
"probes": [
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 153419
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
},
{
"op": "callback",
"slot": 2,
"target": 152792
},
{
"op": "callback",
"slot": 2,
"target": 152673
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"00000000",
"00000000"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"a5a5a5a5",
"a5a5a5a5"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
},
{
"rust": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
"source": {
"events": [
{
"count": 268,
"offset": 56,
"op": "zero"
}
],
"guards": [
"ffffffff",
"ffffffff"
],
"words": [
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
}
}
],
"source_report": "docs/research/qvm-client-move-scratch.json",
"source_report_sha256": "0ae67a58c595c6688ea59ef3fb3d82af354d970a6925f43dcc0119c1c68c5053"
}