{"source":"map1_01a","target":"map2_02d","descriptorRowCount":12,"descriptorIndices":[0,1,2,3,4,5,6,7,8,9,10,11],"slotCapacity":3,"uniqueOrderSpace":{"repeatAllowed":false,"orderCount":1464,"fieldRecordOrderCount":0,"currentFrontierRefOrderCount":0,"gateWriterOrderCount":0,"gateReaderOrderCount":0,"directProofOrderCount":0,"nonPointerContextOrderCount":1424,"finalShapedContextA8BaseHistogram":[{"value":"0x0059e310","count":438},{"value":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","count":584},{"value":"dword[0x0059dd70 + stream[2]*4]","count":438},{"value":"none","count":4}],"finalNonPointerContextA8BaseHistogram":[{"value":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","count":1424},{"value":"none","count":40}],"finalShapedPointerDwordCount":876,"sampleRows":[{"order":[0],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[1],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":null,"finalShapedContextA8IsPointerDword":null,"finalNonPointerContextA8BaseExpression":null},{"order":[2],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[3],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":null,"finalShapedContextA8IsPointerDword":null,"finalNonPointerContextA8BaseExpression":null},{"order":[4],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[5],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[6],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[7],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[8],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[9],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[10],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[11],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[0,1],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,2],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,3],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,4],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"}]},"repeatAllowedOrderSpace":{"repeatAllowed":true,"orderCount":1884,"fieldRecordOrderCount":0,"currentFrontierRefOrderCount":0,"gateWriterOrderCount":0,"gateReaderOrderCount":0,"directProofOrderCount":0,"nonPointerContextOrderCount":1800,"finalShapedContextA8BaseHistogram":[{"value":"0x0059e310","count":561},{"value":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","count":748},{"value":"dword[0x0059dd70 + stream[2]*4]","count":561},{"value":"none","count":14}],"finalNonPointerContextA8BaseHistogram":[{"value":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","count":1800},{"value":"none","count":84}],"finalShapedPointerDwordCount":1122,"sampleRows":[{"order":[0],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[1],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":null,"finalShapedContextA8IsPointerDword":null,"finalNonPointerContextA8BaseExpression":null},{"order":[2],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[3],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":null,"finalShapedContextA8IsPointerDword":null,"finalNonPointerContextA8BaseExpression":null},{"order":[4],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[5],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[6],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"0x0059e310","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[7],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[8],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[9],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[10],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[11],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":true,"finalShapedContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]","finalShapedContextA8IsPointerDword":false,"finalNonPointerContextA8BaseExpression":"dword[0x0059db30 + context[0xf2]*4] or dword[0x0059db30 + stream[2]*4]"},{"order":[0,0],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,1],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,2],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null},{"order":[0,3],"hasFieldRecord":false,"hasCurrentFrontierRef":false,"hasGateWriter":false,"hasGateReader":false,"hasNonPointerContextA8Setter":false,"finalShapedContextA8BaseExpression":"dword[0x0059dd70 + stream[2]*4]","finalShapedContextA8IsPointerDword":true,"finalNonPointerContextA8BaseExpression":null}]},"knownSampleSignatures":[],"knownSampleStateCount":0,"currentFrontierSampleCovered":false,"allEnumeratedOrdersLackDirectRouteProof":true,"activeOrderAlonePromotesRoute":false,"runtimeDescriptorObjectStateRequired":true,"proofFound":false,"opcode20OrderSpaceProofFound":false,"failedOpcode20OrderSpaceGateIds":["selector-2-0-active-order","runtime-descriptor-object-state","direct-route-proof-in-descriptor-order","strict-source-hotspot"],"missingEvidence":["selector 2:0 active order/count or equivalent runtime trace","runtime descriptor/object state selected by opcode 0x20","field-map/frontier/gate direct proof in an enumerated descriptor order","strict map1_01a source hotspot"],"evidenceRefs":[{"path":"out/save_selector_opcode20_descriptor_scripts.json","description":"descriptor script scans used to enumerate direct route proof absence"},{"path":"out/save_selector_opcode20_slot_sources.json","description":"loaded slot capacity and runtime slot descriptor requirements"},{"path":"out/save_selector_opcode20_sample_order_effects.json","description":"known public sample order signatures and current selector sample coverage"}],"evidenceRefCount":3,"promotionStatus":"blocked","remainingProofs":["capture selector 2:0 active order/count or an equivalent runtime trace","prove the runtime object pointer selected by descriptor+4 if the 0x42 path is active","find a strict map1_01a source hotspot or equivalent non-coordinate trigger"],"conclusion":"Enumerating every descriptor active-order shape up to the loaded three-slot capacity still finds no static field-map record, current-frontier reference, or 0xe8/0xea gate reader/writer in descriptor+4 scripts. The only non-pointer context+0xa8 base that can be selected by active order alone is the generic runtime object-pointer table path. The 0x0059e310 rows are pointer-dword low-byte collisions in the shaped scan, not reliable script opcodes. Active order alone therefore cannot prove the gate-time base for map1_01a->map2_02d; runtime descriptor/object state or an equivalent trace is still required."}