urt-rs / docs /research /qvm-return-placement.json
nmarshall's picture
qvm: guard callback return placement
6f245fc
Raw History Blame Contribute Delete
31.2 kB
{ "limits": "Synthetic opcode witnesses, supplied callback99. Direct LOCAL/CONST is inferable; dynamic STORE4 requires explicit reviewed offset. Patched words and their four bytes agree before a following LOAD1. No original program correctness implied.", "probes": [ { "byte": 0, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 1, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 2, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 3, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 0, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 1, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 2, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 3, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 0 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 0, "word": 0 }, { "byte": 0, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 1, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 1, "stored_word": 1, "word": 1 }, { "byte": 1, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 2, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 3, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 0, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 1, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 1, "stored_word": 1, "word": 1 }, { "byte": 1, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 2, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 3, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 1 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 1, "word": 1 }, { "byte": 0, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 1, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 2, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 3, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 0, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 1, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 2, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 3, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": -1 } } ], "return": 255, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 255, "stored_word": -1, "word": -1 }, { "byte": 0, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 120, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 120, "stored_word": 305419896, "word": 305419896 }, { "byte": 1, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 86, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 86, "stored_word": 305419896, "word": 305419896 }, { "byte": 2, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 52, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 52, "stored_word": 305419896, "word": 305419896 }, { "byte": 3, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 18, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 18, "stored_word": 305419896, "word": 305419896 }, { "byte": 0, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 120, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 120, "stored_word": 305419896, "word": 305419896 }, { "byte": 1, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 86, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 86, "stored_word": 305419896, "word": 305419896 }, { "byte": 2, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 52, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 52, "stored_word": 305419896, "word": 305419896 }, { "byte": 3, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 305419896 } } ], "return": 18, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 18, "stored_word": 305419896, "word": 305419896 }, { "byte": 0, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 1, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 2, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 3, "callback_after": 99, "dynamic": false, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 2, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 2, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 128, "stop": 7, "trace": null, "trace_length": 7, "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a" }, "result": 128, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 0, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 1, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 2, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 0, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 0, "stored_word": 2147483648, "word": 2147483648 }, { "byte": 3, "callback_after": 99, "dynamic": true, "execution": { "byte_writes": [], "calls": [ { "args": {}, "instruction": 3, "target": 99 } ], "children": [ { "call": { "args": {}, "instruction": 3, "target": 99 }, "effect": { "supplied_word": 2147483648 } } ], "return": 128, "stop": 8, "trace": null, "trace_length": 8, "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982" }, "result": 128, "stored_word": 2147483648, "word": 2147483648 } ] }
{
"limits": "Synthetic opcode witnesses, supplied callback99. Direct LOCAL/CONST is inferable; dynamic STORE4 requires explicit reviewed offset. Patched words and their four bytes agree before a following LOAD1. No original program correctness implied.",
"probes": [
{
"byte": 0,
"callback_after": 99,
"dynamic": false,
"execution": {
"byte_writes": [],
"calls": [
{
"args": {},
"instruction": 2,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 2,
"target": 99
},
"effect": {
"supplied_word": 0
}
}
],
"return": 0,
"stop": 7,
"trace": null,
"trace_length": 7,
"trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
},
"result": 0,
"stored_word": 0,
"word": 0
},
{
"byte": 1,
"callback_after": 99,
"dynamic": false,
"execution": {
"byte_writes": [],
"calls": [
{
"args": {},
"instruction": 2,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 2,
"target": 99
},
"effect": {
"supplied_word": 0
}
}
],
"return": 0,
"stop": 7,
"trace": null,
"trace_length": 7,
"trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
},
"result": 0,
"stored_word": 0,
"word": 0
},
{
"byte": 2,
"callback_after": 99,
"dynamic": false,
"execution": {
"byte_writes": [],
"calls": [
{
"args": {},
"instruction": 2,
"target": 99
}
],
"children": [
{
"call": {
"args": {},
"instruction": 2,
"target": 99
},
"effect": {
"supplied_word": 0
}
}
],
"return": 0,
"stop": 7,