Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
urt-rs / docs /research /rust-effect-counter.json
nmarshall's picture
nmarshall
gameplay: port objective counters and document legacy tags
3e0175a
Raw History Blame Contribute Delete
8.96 kB
{
"limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
"probes": [
{
"rust": {
"counters": [
1,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
1,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
8,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
8,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
0,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
0,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
2147483649,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
2147483649,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
1,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
1,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
8,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
8,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
0,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
0,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
2147483649,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
2147483649,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
1
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
1
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
8
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
8
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
0
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
0
],
"guards": [
2864434397,
287454020
]
}
},
{
"rust": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
2147483649
],
"guards": [
2864434397,
287454020
]
},
"source": {
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
2147483649
],
"guards": [
2864434397,
287454020
]
}
}
],
"source_report": "docs/research/qvm-effect-counter.json",
"source_report_sha256": "1114bee870f527e21cbed2d0de0f863e8b9fb5b67242a8b03881827ea2c92c9c"
}