Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
urt-rs / docs /research /rust-exit-predicate.json
nmarshall's picture
nmarshall
gameplay: port ranked tie predicate
243d687
Raw History Blame Contribute Delete
18.4 kB
{
"limits": "Typed tie policy over168 original source cases. Bounded ranks; native runtime remains open.",
"probes": [
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": false
},
"source": {
"tied": false
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
},
{
"rust": {
"tied": true
},
"source": {
"tied": true
}
}
],
"source_report": "docs/research/qvm-exit-predicate.json",
"source_report_sha256": "806a738609de74d6f425ecc4a9a2ad42e06eecb6ce53f285fb79daeab3d7c126"
}