Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
urt-rs / docs /research /qvm-effect-counter.json
nmarshall's picture
nmarshall
qvm: correct effect identities and recover counter writes
5e20728
Raw History Blame Contribute Delete
7.77 kB
{
"limits": "Actual283463 through283486 void-return boundary. Supplied client, finite15-word research window; true counter-enum bounds/lifecycle remain unresolved.",
"probes": [
{
"counters": [
1,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 0,
"value": 0
}
},
{
"counters": [
8,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 0,
"value": 7
}
},
{
"counters": [
0,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 0,
"value": 4294967295
}
},
{
"counters": [
2147483649,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 0,
"value": 2147483648
}
},
{
"counters": [
100,
101,
102,
103,
104,
1,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 5,
"value": 0
}
},
{
"counters": [
100,
101,
102,
103,
104,
8,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 5,
"value": 7
}
},
{
"counters": [
100,
101,
102,
103,
104,
0,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 5,
"value": 4294967295
}
},
{
"counters": [
100,
101,
102,
103,
104,
2147483649,
106,
107,
108,
109,
110,
111,
112,
113,
114
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 5,
"value": 2147483648
}
},
{
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
1
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 14,
"value": 0
}
},
{
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
8
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 14,
"value": 7
}
},
{
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
0
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 14,
"value": 4294967295
}
},
{
"counters": [
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
2147483649
],
"execution": {
"stop": 283486,
"trace_length": 22,
"trace_sha256": "3e01484196a13f9af81eac67c114770eaac38bfb0a7057382e52186c544d4ea7"
},
"guards": [
2864434397,
287454020
],
"input": {
"index": 14,
"value": 2147483648
}
}
],
"sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
"source": {
"archive": "zUrT43_qvm.pk3",
"archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
"member": {
"bytes": 983300,
"comment_hex": "",
"compressed_bytes": 246560,
"compression": 8,
"crc32": "98ea1768",
"create_system": 0,
"create_version": 63,
"date_time": [
2018,
6,
18,
22,
11,
50
],
"directory": false,
"entry_index": 2,
"external_attr": 32,
"extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
"extract_version": 20,
"flags": 0,
"header_offset": 221309,
"internal_attr": 0,
"occurrence": 0,
"output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
"path": "vm/qagame.qvm",
"sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
"type": "member",
"volume": 0
}
}
}