Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
urt-rs / docs /research /rust-location-nearest.json
nmarshall's picture
nmarshall
gameplay: port location selection and cache policy
96e8a6c
Raw History Blame Contribute Delete
11.6 kB
{
"limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
"probes": [
{
"rust": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": 0,
"pvs": [],
"queries": [],
"selected": 0
},
"source": {
"cache": 0,
"pvs": [],
"queries": [],
"selected": 0
}
},
{
"rust": {
"cache": 0,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": 0,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": 0,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": 0,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": 1,
"pvs": [],
"queries": [],
"selected": 1
},
"source": {
"cache": 1,
"pvs": [],
"queries": [],
"selected": 1
}
},
{
"rust": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 1
},
"source": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 1
}
},
{
"rust": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
},
"source": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
}
},
{
"rust": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
},
"source": {
"cache": null,
"pvs": [
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
}
},
{
"rust": {
"cache": null,
"pvs": [
0,
1,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
},
"source": {
"cache": null,
"pvs": [
0,
1,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
}
},
{
"rust": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
},
"source": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
}
},
{
"rust": {
"cache": null,
"pvs": [
2,
0
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
},
"source": {
"cache": null,
"pvs": [
2,
0
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
}
},
{
"rust": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
},
"source": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": null
}
},
{
"rust": {
"cache": null,
"pvs": [
0,
1,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": null,
"pvs": [
0,
1,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
},
"source": {
"cache": null,
"pvs": [],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 2
}
},
{
"rust": {
"cache": null,
"pvs": [
1,
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
},
"source": {
"cache": null,
"pvs": [
1,
0,
2
],
"queries": [
[
[
3256877056,
3256877056,
3260022784
],
[
1109393408,
1109393408,
1112539136
]
]
],
"selected": 0
}
}
],
"source_report": "docs/research/qvm-location-nearest.json",
"source_report_sha256": "b46e72cc90f8d90de59d4b86aadcee3c1234901450512c8c195c535fa8ac1ed6"
}