{"source":"map1_01a","target":"map2_02d","objective":"classify opcode 0x24 context+0x58 consumers for the current route blocker","context58RefCount":23,"context58ReadCount":16,"context58WriteCount":7,"currentOpcode24VaHex":"0x005428e4","currentOpcode24ValueHex":"0x0c000124","currentOpcode24ModeHex":"0x01","currentOpcode24ModeMeaning":"Write byte(0x0059e348)+3 to current object+0x61, then advance stream +4.","currentOpcode24ModeTouchesContext58":false,"opcode24Mode0Context58RefCount":1,"opcode24Mode0Context58Refs":[{"vaHex":"0x0040c56d","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 83","routeNote":"opcode24 mode0 reads object+0x58 state"}],"context58Refs":[{"vaHex":"0x00404a4f","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 40 58 88","routeNote":null},{"vaHex":"0x0040c56d","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 83","routeNote":"opcode24 mode0 reads object+0x58 state"},{"vaHex":"0x0040c7d4","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x0040c829","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x0040c8d4","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x0040cd14","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 85","routeNote":null},{"vaHex":"0x0040cf55","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x00414fd6","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x004150df","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x0041d741","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write","rawHex":"88 0d 58 db","routeNote":null},{"vaHex":"0x004332ba","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 00 8b","routeNote":null},{"vaHex":"0x004332ec","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 00 8b","routeNote":null},{"vaHex":"0x0043331e","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 00 8b","routeNote":null},{"vaHex":"0x00433350","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 01 33","routeNote":null},{"vaHex":"0x00433370","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 02 8b","routeNote":null},{"vaHex":"0x00433391","offsetHex":"0x58","offset":88,"field":"object/context state","access":"write-immediate","rawHex":"c6 40 58 00 8b","routeNote":null},{"vaHex":"0x00433553","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x004335d4","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x0043377c","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 85","routeNote":null},{"vaHex":"0x0043386b","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 85","routeNote":null},{"vaHex":"0x00433a56","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 89","routeNote":null},{"vaHex":"0x00433f4e","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 85","routeNote":null},{"vaHex":"0x004349dc","offsetHex":"0x58","offset":88,"field":"object/context state","access":"read","rawHex":"8a 48 58 83","routeNote":null}],"opcode20Context58HandlerCount":1,"opcode20Context58Handlers":[{"opcode":40,"opcodeHex":"0x28","entryVaHex":"0x004405d8","handlerVaHex":"0x0040570c","handlerSection":".text","name":"save/load selection-buffer base pointer","writesContextA8":true,"baseExpression":"dword[0x0059dd70 + stream[2]*4]","evidenceVaHex":"0x0040575a","meaning":"mode 1 restores context+0xa8 from the saved pointer table; mode 0 stores context+0x58 into that table."}],"context58PromotionStatus":"blocked-not-current-opcode24-path","promotionStatus":"blocked","nextEvidenceNeeded":["runtime producer proof for 0x0059e348 or selected pointer 0x0059de30","strict map1_01a source coordinate or hotspot","selector merge/control-flow proof that reaches selector 2:0"],"conclusion":"The current map1_01a->map2_02d opcode 0x24 boundary is mode 1, which writes object+0x61 from 0x0059e348 and advances by +4. The static object-field scan finds context/object+0x58 references, but the route-relevant opcode 0x24 context+0x58 reference is mode 0 only. The known nested opcode 0x20 handler that stores context+0x58 is a generic saved-pointer-table helper, not a direct leaf-table, frontier-reader, or map transition selector. This closes context+0x58 as standalone promotion evidence for the current route."}