Root 0x00540714 range 0x00540714..0x00543578. First frontier reader 0x00542b0c.
Helper 0x00410c90 accepts cases 0x00..0x0b.
valid activation-context fills: 0
root-range valid fills with execution evidence: 0
root-range valid promoting fills: 0
branch operand false positives: 1 (small scalar: 1)
The current writer activation trace contains no valid opcode 0x10 helper fill. Its opcode 0x10 rows pass 0x20, outside helper 0x00410c90's 0x00..0x0b dispatch range. The only root-range valid-looking candidate before the frontier is 0x00542244, the small-scalar branch-target operand of opcode 0x11 at 0x00542240, not an executable linear opcode 0x10 helper-fill row. primaryBranchState is inherited from earlier runtime state at this point.
| va | value | table | helper arg | valid? | confidence | meaning |
|---|---|---|---|---|---|---|
0x00542454 | 0x00200010 | primaryBranchState | 0x20 | no | executed activation context | helper 0x00410c90 receives out-of-range case 0x20; no table fill |
0x00542464 | 0x00200010 | primaryBranchState | 0x20 | no | executed activation context | helper 0x00410c90 receives out-of-range case 0x20; no table fill |
| va | value | table | helper arg | valid? | confidence | pointer refs | operand role |
|---|---|---|---|---|---|---|---|
0x00542244 | 0x00000010 | primaryBranchState | 0x00 | yes | branch operand dword | 0 | branchTargetOperand 0x00542240 |
| owner | owner value | condition | operand | operand value | operand kind | promoting fill? | explanation |
|---|---|---|---|---|---|---|---|
0x00542240 | 0x00ea8011 | secondaryBranchState[selectionBuffer[0xea]] == 1 | 0x00542244 | 0x00000010 | small-scalar-not-va | False | 0x00542244 is the branch-target operand consumed by opcode 0x11 at 0x00542240, not a linear opcode 0x10 helper-fill row. |
| va | value | b0 | b1 | b2 | b3 |
|---|---|---|---|---|---|
0x0054222c | 0x0000000b | 0x0b | 0x00 | 0x00 | 0x00 |
0x00542230 | 0x00542248 | 0x48 | 0x22 | 0x54 | 0x00 |
0x00542234 | 0x00000265 | 0x65 | 0x02 | 0x00 | 0x00 |
0x00542238 | 0x0000000c | 0x0c | 0x00 | 0x00 | 0x00 |
0x0054223c | 0x00542248 | 0x48 | 0x22 | 0x54 | 0x00 |
0x00542240 | 0x00ea8011 | 0x11 | 0x80 | 0xea | 0x00 |
0x00542244 | 0x00000010 | 0x10 | 0x00 | 0x00 | 0x00 |
0x00542248 | 0x00000001 | 0x01 | 0x00 | 0x00 | 0x00 |
0x0054224c | 0x00000003 | 0x03 | 0x00 | 0x00 | 0x00 |
0x00542250 | 0x00542220 | 0x20 | 0x22 | 0x54 | 0x00 |
0x00542254 | 0x0000016d | 0x6d | 0x01 | 0x00 | 0x00 |