Download docs/research/qvm-execute-reentry.json from nmarshall/urt-rs: direct link, hf CLI and curl.
- Browser
- Download file 49.4 kB
-
https://huggingface.co/nmarshall/urt-rs/resolve/main/docs/research/qvm-execute-reentry.json
- Command line
-
hf download hf://nmarshall/urt-rs/docs/research/qvm-execute-reentry.json
-
curl -L -o qvm-execute-reentry.json https://huggingface.co/nmarshall/urt-rs/resolve/main/docs/research/qvm-execute-reentry.json
49.4 kB
{
"bytes": [
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 7,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 7,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 7,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 123,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 123,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 7,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 123,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": true,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 255,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 255,
"returned_commands": [
127,
128,
0
],
"written_byte": 255
}
],
"command": {
"commands": [
127,
128,
255
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {},
"instruction": 1,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 1,
"target": 99
},
"effect": {}
}
],
"return": -128,
"trace": null,
"trace_length": 7,
"trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
}
},
"countdowns": [
{
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1
},
"instruction": 5,
"target": 99
}
],
"children": [
{
"call": {
"args": {
"8": 1
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 0
}
}
],
"return": 0,
"trace": null,
"trace_length": 18,
"trace_sha256": "4f06ec74f19244e77bf08536cbf44117be74d100b4a99be99a8df27d1f82ab80"
},
"initial": 1,
"stored_result": 0
},
{
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 1
},
"instruction": 5,
"target": 99
}
],
"children": [
{
"call": {
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 1
}
},
{
"call": {
"args": {
"8": 1
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 0
}
}
],
"return": 0,
"trace": null,
"trace_length": 33,
"trace_sha256": "4220ac15c1cbd620da915d850d221b5e9c9b7136dcb1a762f5030cec7a2c6ae3"
},
"initial": 2,
"stored_result": 0
},
{
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 1
},
"instruction": 5,
"target": 99
}
],
"children": [
{
"call": {
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 2
}
},
{
"call": {
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 1
}
},
{
"call": {
"args": {
"8": 1
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 0
}
}
],
"return": 0,
"trace": null,
"trace_length": 48,
"trace_sha256": "1a90dbaf7505044b2fce520a2b5df1fc663b54204157da31c7a7427f773bba50"
},
"initial": 3,
"stored_result": 0
},
{
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 7
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 6
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 5
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 4
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 1
},
"instruction": 5,
"target": 99
}
],
"children": [
{
"call": {
"args": {
"8": 7
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 6
}
},
{
"call": {
"args": {
"8": 6
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 5
}
},
{
"call": {
"args": {
"8": 5
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 4
}
},
{
"call": {
"args": {
"8": 4
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 3
}
},
{
"call": {
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 2
}
},
{
"call": {
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 1
}
},
{
"call": {
"args": {
"8": 1
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 0
}
}
],
"return": 0,
"trace": null,
"trace_length": 108,
"trace_sha256": "9f07914bd00ef9647219cd0a723bc6ce7724cfc790f5fa905d2fbeebe38a6f21"
},
"initial": 7,
"stored_result": 0
},
{
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 64
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 63
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 62
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 61
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 60
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 59
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 58
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 57
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 56
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 55
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 54
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 53
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 52
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 51
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 50
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 49
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 48
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 47
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 46
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 45
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 44
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 43
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 42
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 41
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 40
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 39
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 38
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 37
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 36
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 35
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 34
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 33
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 32
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 31
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 30
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 29
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 28
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 27
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 26
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 25
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 24
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 23
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 22
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 21
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 20
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 19
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 18
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 17
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 16
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 15
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 14
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 13
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 12
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 11
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 10
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 9
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 8
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 7
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 6
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 5
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 4
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
{
"args": {
"8": 1
},
"instruction": 5,
"target": 99
}
],
"children": [
{
"call": {
"args": {
"8": 64
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 63
}
},
{
"call": {
"args": {
"8": 63
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 62
}
},
{
"call": {
"args": {
"8": 62
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 61
}
},
{
"call": {
"args": {
"8": 61
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 60
}
},
{
"call": {
"args": {
"8": 60
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 59
}
},
{
"call": {
"args": {
"8": 59
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 58
}
},
{
"call": {
"args": {
"8": 58
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 57
}
},
{
"call": {
"args": {
"8": 57
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 56
}
},
{
"call": {
"args": {
"8": 56
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 55
}
},
{
"call": {
"args": {
"8": 55
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 54
}
},
{
"call": {
"args": {
"8": 54
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 53
}
},
{
"call": {
"args": {
"8": 53
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 52
}
},
{
"call": {
"args": {
"8": 52
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 51
}
},
{
"call": {
"args": {
"8": 51
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 50
}
},
{
"call": {
"args": {
"8": 50
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 49
}
},
{
"call": {
"args": {
"8": 49
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 48
}
},
{
"call": {
"args": {
"8": 48
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 47
}
},
{
"call": {
"args": {
"8": 47
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 46
}
},
{
"call": {
"args": {
"8": 46
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 45
}
},
{
"call": {
"args": {
"8": 45
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 44
}
},
{
"call": {
"args": {
"8": 44
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 43
}
},
{
"call": {
"args": {
"8": 43
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 42
}
},
{
"call": {
"args": {
"8": 42
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 41
}
},
{
"call": {
"args": {
"8": 41
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 40
}
},
{
"call": {
"args": {
"8": 40
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 39
}
},
{
"call": {
"args": {
"8": 39
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 38
}
},
{
"call": {
"args": {
"8": 38
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 37
}
},
{
"call": {
"args": {
"8": 37
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 36
}
},
{
"call": {
"args": {
"8": 36
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 35
}
},
{
"call": {
"args": {
"8": 35
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 34
}
},
{
"call": {
"args": {
"8": 34
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 33
}
},
{
"call": {
"args": {
"8": 33
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 32
}
},
{
"call": {
"args": {
"8": 32
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 31
}
},
{
"call": {
"args": {
"8": 31
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 30
}
},
{
"call": {
"args": {
"8": 30
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 29
}
},
{
"call": {
"args": {
"8": 29
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 28
}
},
{
"call": {
"args": {
"8": 28
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 27
}
},
{
"call": {
"args": {
"8": 27
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 26
}
},
{
"call": {
"args": {
"8": 26
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 25
}
},
{
"call": {
"args": {
"8": 25
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 24
}
},
{
"call": {
"args": {
"8": 24
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 23
}
},
{
"call": {
"args": {
"8": 23
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 22
}
},
{
"call": {
"args": {
"8": 22
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 21
}
},
{
"call": {
"args": {
"8": 21
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 20
}
},
{
"call": {
"args": {
"8": 20
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 19
}
},
{
"call": {
"args": {
"8": 19
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 18
}
},
{
"call": {
"args": {
"8": 18
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 17
}
},
{
"call": {
"args": {
"8": 17
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 16
}
},
{
"call": {
"args": {
"8": 16
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 15
}
},
{
"call": {
"args": {
"8": 15
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 14
}
},
{
"call": {
"args": {
"8": 14
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 13
}
},
{
"call": {
"args": {
"8": 13
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 12
}
},
{
"call": {
"args": {
"8": 12
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 11
}
},
{
"call": {
"args": {
"8": 11
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 10
}
},
{
"call": {
"args": {
"8": 10
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 9
}
},
{
"call": {
"args": {
"8": 9
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 8
}
},
{
"call": {
"args": {
"8": 8
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 7
}
},
{
"call": {
"args": {
"8": 7
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 6
}
},
{
"call": {
"args": {
"8": 6
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 5
}
},
{
"call": {
"args": {
"8": 5
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 4
}
},
{
"call": {
"args": {
"8": 4
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 3
}
},
{
"call": {
"args": {
"8": 3
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 2
}
},
{
"call": {
"args": {
"8": 2
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 1
}
},
{
"call": {
"args": {
"8": 1
},
"instruction": 5,
"target": 99
},
"effect": {
"result": 0
}
}
],
"return": 0,
"trace": null,
"trace_length": 963,
"trace_sha256": "1a7818edc4ea2a270563735b9fd67387bffd5a94027e2d5c5dee3a04a90bf7aa"
},
"initial": 64,
"stored_result": 0
}
],
"limits": "Synthetic corrected execute mode preserves arbitrary byte writes across segments, reinjects handler-returned command bytes, and handles repeated calls/explicit result placement. Legacy byte snapshots included as counterexamples. No automatic migration of movement consumers."
}
{
"bytes": [
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 0
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 0
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 123
}
],
"calls": [
{
"args": {},
"instruction": 4,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 4,
"target": 99
},
"effect": {
"command_supplied": [
127,
-128,
0
]
}
}
],
"return": 0,
"trace": null,
"trace_length": 9,
"trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
},
"initial_byte": 0,
"returned_commands": [
127,
128,
0
],
"written_byte": 123
},
{
"corrected": false,
"execution": {
"byte_writes": [
{
"address": 2097252,
"value": 255
}