{
  "kind": "hwanse-selected-root-opcode-matrix-review",
  "source": "tools/build_selected_root_opcode_matrix_review.py",
  "status": "opcode-matrix-grounded-no-upstream-route-producer",
  "summary": {
    "selectorRootCount": 93,
    "rootsWithSelectedRootOpcodeCount": 57,
    "lowByteCountsInRootRanges": {
      "0x08": 3215,
      "0x09": 318,
      "0x4f": 112,
      "0x07": 3294
    },
    "opcode4fMode1WriterCount": 27,
    "opcode4fSelfWriterCount": 23,
    "opcode4fSlotAliasCount": 4,
    "opcode4fCrossGroupCount": 0,
    "opcode07CandidateCount": 2938,
    "opcode07ExactRootSelectCount": 0,
    "opcode07CrossRangeSelectCount": 103,
    "opcode07CrossRangeExactRootSelectCount": 0,
    "opcode08LowByteConsumerCount": 3215,
    "opcode09CandidateCount": 288,
    "opcode09ModeCounts": {
      "0": 288
    },
    "opcode09ExactRootStoreCount": 0,
    "opcode09CrossRangeStoreCount": 0,
    "sourceOrPredecessorToCurrentExactRootSelectCount": 0,
    "sourceOrPredecessorToCurrentExactRootStoreCount": 0,
    "routeProducerPromoted": false,
    "decision": "Generalized selector-root opcode scanning finds grounded 0x4f mode1 self/slot-alias writers, but no opcode 0x07 exact-root selection and no opcode 0x09 exact-root store. Source/predecessor roots still do not select or store the current 2:0 route root."
  },
  "strictInterpretation": [
    "Opcode 0x4f is counted as selector-byte writer only when stream[+1] == 1.",
    "Opcode 0x07 range hits are not promotion proof unless the selected value equals an exact selector-root start.",
    "Opcode 0x09 mode0 stores the continuation pointer; it is not a cross-root producer by itself.",
    "Opcode 0x08 consumes selectedRoot but does not identify who wrote it."
  ],
  "opcode4fRows": [
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00444a90",
      "valueHex": "0x000d014f",
      "selector": "13:1",
      "targetSelector": "13:0",
      "classification": "same-group-slot1-to-slot0-alias",
      "fieldMaps": [
        "map5_14i",
        "map5_13i",
        "map5_11i",
        "map5_12i",
        "map5_15i",
        "map5_16i",
        "map5_17i",
        "map5_18i",
        "map5_19i",
        "map5_20i"
      ],
      "rootVaHex": "0x00444a44",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00444aa8",
      "valueHex": "0x010d014f",
      "selector": "13:1",
      "targetSelector": "13:1",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map5_14i",
        "map5_13i",
        "map5_11i",
        "map5_12i",
        "map5_15i",
        "map5_16i",
        "map5_17i",
        "map5_18i",
        "map5_19i",
        "map5_20i"
      ],
      "rootVaHex": "0x00444a44",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x0044ab14",
      "valueHex": "0x0004014f",
      "selector": "4:1",
      "targetSelector": "4:0",
      "classification": "same-group-slot1-to-slot0-alias",
      "fieldMaps": [
        "map3_09a",
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j"
      ],
      "rootVaHex": "0x0044aad0",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x0044ab24",
      "valueHex": "0x0104014f",
      "selector": "4:1",
      "targetSelector": "4:1",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map3_09a",
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j"
      ],
      "rootVaHex": "0x0044aad0",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00459e08",
      "valueHex": "0x0016014f",
      "selector": "22:0",
      "targetSelector": "22:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x0045d7dc",
      "valueHex": "0x0009014f",
      "selector": "9:0",
      "targetSelector": "9:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map2_01c",
        "map2_13c",
        "map2_03l",
        "map4_01l",
        "map4_09l",
        "map4_08n"
      ],
      "rootVaHex": "0x0045d7a0",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00468b64",
      "valueHex": "0x0010014f",
      "selector": "16:0",
      "targetSelector": "16:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map5_01f",
        "map5_40f",
        "map5_02h",
        "map5_04h",
        "map5_03h",
        "map5_05h",
        "map5_06h",
        "map5_07h",
        "map5_08h",
        "map5_09h",
        "map5_10h",
        "map5_39h"
      ],
      "rootVaHex": "0x00468b18",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004741f0",
      "valueHex": "0x0013014f",
      "selector": "19:1",
      "targetSelector": "19:0",
      "classification": "same-group-slot1-to-slot0-alias",
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00474200",
      "valueHex": "0x0113014f",
      "selector": "19:1",
      "targetSelector": "19:1",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004783c0",
      "valueHex": "0x0001014f",
      "selector": "1:0",
      "targetSelector": "1:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j",
        "map2_15j",
        "map2_16j"
      ],
      "rootVaHex": "0x00478364",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004845c0",
      "valueHex": "0x000c014f",
      "selector": "12:0",
      "targetSelector": "12:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map5_14i",
        "map5_37i"
      ],
      "rootVaHex": "0x0048458c",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00494c88",
      "valueHex": "0x0008014f",
      "selector": "8:0",
      "targetSelector": "8:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map5_01f",
        "map5_40f",
        "map5_02h",
        "map5_04h",
        "map5_03h",
        "map5_05h",
        "map5_06h",
        "map5_07h",
        "map5_08h",
        "map5_09h",
        "map5_10h",
        "map5_39h"
      ],
      "rootVaHex": "0x00494c34",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004a4ec8",
      "valueHex": "0x000f014f",
      "selector": "15:0",
      "targetSelector": "15:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map4_02f",
        "map4_03h",
        "map4_04h",
        "map4_05h",
        "map4_06h",
        "map4_07h"
      ],
      "rootVaHex": "0x004a4e9c",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004ac138",
      "valueHex": "0x0012014f",
      "selector": "18:0",
      "targetSelector": "18:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map2_04l",
        "map2_05e",
        "map2_06e",
        "map2_07e",
        "map2_08e",
        "map6_01e",
        "map6_02e",
        "map6_03e",
        "map6_04e",
        "map6_05e",
        "map6_06e"
      ],
      "rootVaHex": "0x004ac10c",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004c3e5c",
      "valueHex": "0x000b014f",
      "selector": "11:0",
      "targetSelector": "11:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map5_01f",
        "map5_40f",
        "map5_02h",
        "map5_04h",
        "map5_03h",
        "map5_05h",
        "map5_06h",
        "map5_07h",
        "map5_08h",
        "map5_09h",
        "map5_10h",
        "map5_39h",
        "map2_15j"
      ],
      "rootVaHex": "0x004c3e08",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004c9ad8",
      "valueHex": "0x0003014f",
      "selector": "3:1",
      "targetSelector": "3:0",
      "classification": "same-group-slot1-to-slot0-alias",
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004c9ab4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004c9ae8",
      "valueHex": "0x0103014f",
      "selector": "3:1",
      "targetSelector": "3:1",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004c9ab4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004e23b0",
      "valueHex": "0x0015014f",
      "selector": "21:0",
      "targetSelector": "21:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map6_10e",
        "map7_01f",
        "map7_05h"
      ],
      "rootVaHex": "0x004e2374",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004e43cc",
      "valueHex": "0x0007014f",
      "selector": "7:0",
      "targetSelector": "7:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map4_08n"
      ],
      "rootVaHex": "0x004e4388",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004e6298",
      "valueHex": "0x000e014f",
      "selector": "14:0",
      "targetSelector": "14:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map4_01l",
        "map4_09l",
        "map4_08n"
      ],
      "rootVaHex": "0x004e6254",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004f2908",
      "valueHex": "0x0011014f",
      "selector": "17:0",
      "targetSelector": "17:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j",
        "map2_15j",
        "map2_16j"
      ],
      "rootVaHex": "0x004f28a4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x004f5b14",
      "valueHex": "0x0006014f",
      "selector": "6:0",
      "targetSelector": "6:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map4_02f",
        "map4_03h",
        "map4_04h",
        "map4_05h",
        "map4_06h",
        "map4_07h"
      ],
      "rootVaHex": "0x004f5ae8",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00501854",
      "valueHex": "0x0000014f",
      "selector": "0:0",
      "targetSelector": "0:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map1_01a",
        "map1_02b"
      ],
      "rootVaHex": "0x00501808",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x0053297c",
      "valueHex": "0x0005014f",
      "selector": "5:0",
      "targetSelector": "5:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map7_05h",
        "map4_01l",
        "map4_09l",
        "map4_08n"
      ],
      "rootVaHex": "0x00532940",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x0053c500",
      "valueHex": "0x000a014f",
      "selector": "10:0",
      "targetSelector": "10:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j",
        "map2_15j",
        "map2_16j"
      ],
      "rootVaHex": "0x0053c4a4",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00540770",
      "valueHex": "0x0002014f",
      "selector": "2:0",
      "targetSelector": "2:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map1_01a",
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j",
        "map2_15j",
        "map2_16j"
      ],
      "rootVaHex": "0x00540714",
      "rootClass": "sequence-root-with-resource-structure"
    },
    {
      "kind": "opcode4f-selector-byte-writer",
      "vaHex": "0x00557ea4",
      "valueHex": "0x0014014f",
      "selector": "20:0",
      "targetSelector": "20:0",
      "classification": "self-selector-writer",
      "fieldMaps": [
        "map6_12j",
        "map6_13j",
        "map6_14j",
        "map6_15j",
        "map6_16j",
        "map6_17j",
        "map6_18j",
        "map6_19j",
        "map6_20j",
        "map6_21j",
        "map6_22j",
        "map6_24j",
        "map6_25h"
      ],
      "rootVaHex": "0x00557e68",
      "rootClass": "sequence-root-with-resource-structure"
    }
  ],
  "opcode07ExactRootRows": [],
  "opcode07CrossRangeSamples": [
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0044a32c",
      "valueHex": "0x00000307",
      "selector": "13:1",
      "index": 3,
      "operandTableHex": "0x0044b21c",
      "operandTableSelector": "4:1",
      "selectedSlotHex": "0x0044b228",
      "selectedValueHex": "0x0047e802",
      "selectedValueSelector": "1:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_14i",
        "map5_13i",
        "map5_11i",
        "map5_12i",
        "map5_15i",
        "map5_16i",
        "map5_17i",
        "map5_18i",
        "map5_19i",
        "map5_20i"
      ],
      "rootVaHex": "0x00444a44"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0044a354",
      "valueHex": "0x00000307",
      "selector": "13:1",
      "index": 3,
      "operandTableHex": "0x0044c21c",
      "operandTableSelector": "4:1",
      "selectedSlotHex": "0x0044c228",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_14i",
        "map5_13i",
        "map5_11i",
        "map5_12i",
        "map5_15i",
        "map5_16i",
        "map5_17i",
        "map5_18i",
        "map5_19i",
        "map5_20i"
      ],
      "rootVaHex": "0x00444a44"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0044a36c",
      "valueHex": "0x00000307",
      "selector": "13:1",
      "index": 3,
      "operandTableHex": "0x0044c564",
      "operandTableSelector": "4:1",
      "selectedSlotHex": "0x0044c570",
      "selectedValueHex": "0x0054e802",
      "selectedValueSelector": "51:25",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_14i",
        "map5_13i",
        "map5_11i",
        "map5_12i",
        "map5_15i",
        "map5_16i",
        "map5_17i",
        "map5_18i",
        "map5_19i",
        "map5_20i"
      ],
      "rootVaHex": "0x00444a44"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045026c",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004515bc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004515c8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450284",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004516dc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004516e8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045029c",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004517fc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451808",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004502a4",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x00451c38",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451c44",
      "selectedValueHex": "0x004be802",
      "selectedValueSelector": "62:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004503d8",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004520e4",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004520f0",
      "selectedValueHex": "0x0051e802",
      "selectedValueSelector": "36:2",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450604",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004519a8",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004519b4",
      "selectedValueHex": "0x0051e802",
      "selectedValueSelector": "36:2",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450ca8",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004515bc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004515c8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450cc0",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004516dc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004516e8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450cd8",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004517fc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451808",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450ce0",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x00451c38",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451c44",
      "selectedValueHex": "0x004be802",
      "selectedValueSelector": "62:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00450d74",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004519a8",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004519b4",
      "selectedValueHex": "0x0051e802",
      "selectedValueSelector": "36:2",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00451218",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004519a8",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004519b4",
      "selectedValueHex": "0x0051e802",
      "selectedValueSelector": "36:2",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004513f0",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004515bc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004515c8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00451408",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004516dc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x004516e8",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00451420",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x004517fc",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451808",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00451428",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x00451c38",
      "operandTableSelector": "45:0",
      "selectedSlotHex": "0x00451c44",
      "selectedValueHex": "0x004be802",
      "selectedValueSelector": "62:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004599bc",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00459abc",
      "valueHex": "0x00000307",
      "selector": "45:0",
      "index": 3,
      "operandTableHex": "0x0045b878",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045b884",
      "selectedValueHex": "0x004be802",
      "selectedValueSelector": "62:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [],
      "rootVaHex": "0x0044dd5c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00459dec",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00459f50",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045a054",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045a110",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045a1cc",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045c9e4",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045c9f0",
      "selectedValueHex": "0x004ce802",
      "selectedValueSelector": "50:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0045a27c",
      "valueHex": "0x00000307",
      "selector": "22:0",
      "index": 3,
      "operandTableHex": "0x0045b878",
      "operandTableSelector": "22:0",
      "selectedSlotHex": "0x0045b884",
      "selectedValueHex": "0x004be802",
      "selectedValueSelector": "62:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map7_09k",
        "map7_10k",
        "map7_11k",
        "map7_12k"
      ],
      "rootVaHex": "0x00459dc4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00468438",
      "valueHex": "0x00000307",
      "selector": "9:0",
      "index": 3,
      "operandTableHex": "0x00469188",
      "operandTableSelector": "16:0",
      "selectedSlotHex": "0x00469194",
      "selectedValueHex": "0x004ee802",
      "selectedValueSelector": "53:25",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map2_01c",
        "map2_13c",
        "map2_03l",
        "map4_01l",
        "map4_09l",
        "map4_08n"
      ],
      "rootVaHex": "0x0045d7a0"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00468480",
      "valueHex": "0x00000307",
      "selector": "9:0",
      "index": 3,
      "operandTableHex": "0x00469a44",
      "operandTableSelector": "16:0",
      "selectedSlotHex": "0x00469a50",
      "selectedValueHex": "0x004ae802",
      "selectedValueSelector": "18:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map2_01c",
        "map2_13c",
        "map2_03l",
        "map4_01l",
        "map4_09l",
        "map4_08n"
      ],
      "rootVaHex": "0x0045d7a0"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00473e58",
      "valueHex": "0x00000307",
      "selector": "16:0",
      "index": 3,
      "operandTableHex": "0x00474a70",
      "operandTableSelector": "19:1",
      "selectedSlotHex": "0x00474a7c",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_01f",
        "map5_40f",
        "map5_02h",
        "map5_04h",
        "map5_03h",
        "map5_05h",
        "map5_06h",
        "map5_07h",
        "map5_08h",
        "map5_09h",
        "map5_10h",
        "map5_39h"
      ],
      "rootVaHex": "0x00468b18"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00473e68",
      "valueHex": "0x00000307",
      "selector": "16:0",
      "index": 3,
      "operandTableHex": "0x00474ce4",
      "operandTableSelector": "19:1",
      "selectedSlotHex": "0x00474cf0",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_01f",
        "map5_40f",
        "map5_02h",
        "map5_04h",
        "map5_03h",
        "map5_05h",
        "map5_06h",
        "map5_07h",
        "map5_08h",
        "map5_09h",
        "map5_10h",
        "map5_39h"
      ],
      "rootVaHex": "0x00468b18"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004742c8",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x00474a70",
      "operandTableSelector": "19:1",
      "selectedSlotHex": "0x00474a7c",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x004742d8",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x00474ce4",
      "operandTableSelector": "19:1",
      "selectedSlotHex": "0x00474cf0",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00477d2c",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x004793b0",
      "operandTableSelector": "1:0",
      "selectedSlotHex": "0x004793bc",
      "selectedValueHex": "0x0047e802",
      "selectedValueSelector": "1:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00477d54",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x0047c3b4",
      "operandTableSelector": "1:0",
      "selectedSlotHex": "0x0047c3c0",
      "selectedValueHex": "0x0052e802",
      "selectedValueSelector": "34:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00477d74",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x0047c7fc",
      "operandTableSelector": "1:0",
      "selectedSlotHex": "0x0047c808",
      "selectedValueHex": "0x0054e802",
      "selectedValueSelector": "51:25",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00477dc0",
      "valueHex": "0x00000307",
      "selector": "19:1",
      "index": 3,
      "operandTableHex": "0x004793b0",
      "operandTableSelector": "1:0",
      "selectedSlotHex": "0x004793bc",
      "selectedValueHex": "0x0047e802",
      "selectedValueSelector": "1:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map3_02f",
        "map3_03h",
        "map3_04h",
        "map3_05h",
        "map3_06h",
        "map3_07h"
      ],
      "rootVaHex": "0x004741c4"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x0047907c",
      "valueHex": "0x00000307",
      "selector": "1:0",
      "index": 3,
      "operandTableHex": "0x0047d0f0",
      "operandTableSelector": "1:0",
      "selectedSlotHex": "0x0047d0fc",
      "selectedValueHex": "0x0048e802",
      "selectedValueSelector": "32:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map2_02d",
        "map2_18d",
        "map2_09g",
        "map2_10g",
        "map2_11g",
        "map2_12h",
        "map2_17h",
        "map2_14j",
        "map2_15j",
        "map2_16j"
      ],
      "rootVaHex": "0x00478364"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00485b74",
      "valueHex": "0x00000307",
      "selector": "12:0",
      "index": 3,
      "operandTableHex": "0x00486388",
      "operandTableSelector": "12:0",
      "selectedSlotHex": "0x00486394",
      "selectedValueHex": "0x0046e802",
      "selectedValueSelector": "16:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_14i",
        "map5_37i"
      ],
      "rootVaHex": "0x0048458c"
    },
    {
      "kind": "opcode07-selected-root-indexed-writer-candidate",
      "vaHex": "0x00485b7c",
      "valueHex": "0x00000307",
      "selector": "12:0",
      "index": 3,
      "operandTableHex": "0x004863b4",
      "operandTableSelector": "12:0",
      "selectedSlotHex": "0x004863c0",
      "selectedValueHex": "0x0049e802",
      "selectedValueSelector": "8:0",
      "selectedValueIsExactRoot": false,
      "selectedValueCrossesRoot": true,
      "fieldMaps": [
        "map5_14i",
        "map5_37i"
      ],
      "rootVaHex": "0x0048458c"
    }
  ],
  "opcode09ExactRootRows": [],
  "opcode09CrossRangeRows": [],
  "sourceOrPredecessorToCurrentRows": {
    "opcode07ExactRootSelects": [],
    "opcode09ExactRootStores": []
  },
  "remainingProofs": [
    "Find a source/predecessor or higher-level root that writes selectedRoot to the current route root exactly.",
    "Find a live stream/root producer that reaches 0x00406dbb with selector 2:0 outside save/load restore.",
    "Find a non-selector-only event/field dispatcher that chooses the current selector root during normal gameplay."
  ]
}