[AlgoReel] Tracing: 13_control_flow_match_pass.py
[AlgoReel] Python: python
[AlgoReel] Max steps: 2000, Timeout: 30s
[AlgoReel] Running: python -m algoreel_tracer d:\PROG\AlgoReel\test_real\13_control_flow_match_pass.py --max-steps 2000 --timeout 30
---
[AlgoReel] Stderr:
<frozen runpy>:128: RuntimeWarning: 'algoreel_tracer.__main__' found in sys.modules after import of package 'algoreel_tracer', but prior to execution of 'algoreel_tracer.__main__'; this may result in unpredictable behaviour

[AlgoReel] Trace output:
{
  "schema_version": 1,
  "file": "d:\\PROG\\AlgoReel\\test_real\\13_control_flow_match_pass.py",
  "entry": null,
  "roles": {
    "score": "scalar",
    "grade": "scalar",
    "passed": "scalar",
    "age": "scalar",
    "has_id": "scalar",
    "can_enter": "scalar",
    "i": "scalar",
    "sum_evens": "scalar",
    "num": "scalar",
    "http_status": "scalar",
    "message": "array",
    "sys": "scalar"
  },
  "role_badges": [
    {
      "variable": "score",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "grade",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "passed",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "age",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "has_id",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "can_enter",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "i",
      "role": "scalar",
      "confidence": 0.7,
      "overridable": true,
      "evidence": [
        "no_evidence"
      ]
    },
    {
      "variable": "sum_evens",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "num",
      "role": "scalar",
      "confidence": 0.7,
      "overridable": true,
      "evidence": [
        "no_evidence"
      ]
    },
    {
      "variable": "http_status",
      "role": "scalar",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops"
      ]
    },
    {
      "variable": "message",
      "role": "array",
      "confidence": 0.9,
      "overridable": true,
      "evidence": [
        "no_container_ops",
        "runtime_string_sequence",
        "runtime_confirmed"
      ]
    },
    {
      "variable": "sys",
      "role": "scalar",
      "confidence": 0.7,
      "overridable": true,
      "evidence": [
        "no_evidence"
      ]
    }
  ],
  "steps": [
    {
      "line": 5,
      "event": "line",
      "locals": {},
      "pointers": {},
      "call_stack": [
        "<module>"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set sys = <module 'sys' (built-in)>"
      },
      "deltas": [
        {
          "variable": "sys",
          "prev_value": null,
          "curr_value": "<module 'sys' (built-in)>",
          "action": "created"
        }
      ]
    },
    {
      "line": 60,
      "event": "line",
      "locals": {},
      "pointers": {},
      "call_stack": [
        "<module>"
      ],
      "control_flow": {
        "statement_type": "operator_eval",
        "branch_action": "MUTATION",
        "explanation": "Equal: builtins == None \u2794 None",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "==",
          "operator_name": "Equal",
          "left_val": "builtins",
          "right_val": null,
          "result_val": null,
          "explanation": "Equal: builtins == None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "test_control_flow",
          "prev_value": null,
          "curr_value": "<function test_control_flow at 0x000001E73504BBA0>",
          "action": "created"
        }
      ]
    },
    {
      "line": 61,
      "event": "line",
      "locals": {},
      "pointers": {},
      "call_stack": [
        "<module>"
      ]
    },
    {
      "line": 5,
      "event": "call",
      "function": "test_control_flow",
      "locals": {},
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 7,
      "event": "line",
      "locals": {},
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 8,
      "event": "line",
      "locals": {
        "score": 85
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set score = 85"
      },
      "deltas": [
        {
          "variable": "score",
          "prev_value": null,
          "curr_value": 85,
          "action": "created"
        },
        {
          "variable": "sys",
          "prev_value": "<module 'sys' (built-in)>",
          "curr_value": null,
          "action": "deleted"
        },
        {
          "variable": "test_control_flow",
          "prev_value": "<function test_control_flow at 0x000001E73504BBA0>",
          "curr_value": null,
          "action": "deleted"
        }
      ]
    },
    {
      "line": 9,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "F"
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "score >= 90",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (score >= 90): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">=",
          "operator_name": "Greater or Equal",
          "left_val": 85,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater or Equal: 85 >= None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "grade",
          "prev_value": null,
          "curr_value": "F",
          "action": "created"
        }
      ]
    },
    {
      "line": 11,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "F"
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "elif",
        "condition_text": "score >= 80",
        "eval_result": true,
        "branch_action": "ELIF_TAKEN",
        "explanation": "Evaluated condition (score >= 80): True \u2794 Executing ELIF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">=",
          "operator_name": "Greater or Equal",
          "left_val": 85,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater or Equal: 85 >= None \u2794 None"
        }
      }
    },
    {
      "line": 12,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "F"
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 19,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B"
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "operator_eval",
        "branch_action": "MUTATION",
        "explanation": "Greater or Equal: 85 >= 60 \u2794 None",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">=",
          "operator_name": "Greater or Equal",
          "left_val": 85,
          "right_val": 60,
          "result_val": null,
          "explanation": "Greater or Equal: 85 >= 60 \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "grade",
          "prev_value": "F",
          "curr_value": "B",
          "action": "modified"
        }
      ]
    },
    {
      "line": 22,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set passed = True"
      },
      "deltas": [
        {
          "variable": "passed",
          "prev_value": null,
          "curr_value": true,
          "action": "created"
        }
      ]
    },
    {
      "line": 23,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set age = 22"
      },
      "deltas": [
        {
          "variable": "age",
          "prev_value": null,
          "curr_value": 22,
          "action": "created"
        }
      ]
    },
    {
      "line": 24,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set has_id = True"
      },
      "deltas": [
        {
          "variable": "has_id",
          "prev_value": null,
          "curr_value": true,
          "action": "created"
        }
      ]
    },
    {
      "line": 25,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": false
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "age >= 18",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (age >= 18): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">=",
          "operator_name": "Greater or Equal",
          "left_val": 22,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater or Equal: 22 >= None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "can_enter",
          "prev_value": null,
          "curr_value": false,
          "action": "created"
        }
      ]
    },
    {
      "line": 26,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": false
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "has_id",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (has_id): True \u2794 Executing IF block"
      }
    },
    {
      "line": 27,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": false
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 30,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "i in range(3)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #1: i = None",
        "loop_progress": {
          "current_iteration": 1,
          "current_value": null
        }
      },
      "deltas": [
        {
          "variable": "can_enter",
          "prev_value": false,
          "curr_value": true,
          "action": "modified"
        }
      ]
    },
    {
      "line": 31,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 0
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "i == 1",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (i == 1): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "==",
          "operator_name": "Equal",
          "left_val": 0,
          "right_val": null,
          "result_val": null,
          "explanation": "Equal: 0 == None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "i",
          "prev_value": null,
          "curr_value": 0,
          "action": "created"
        }
      ]
    },
    {
      "line": 30,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 0
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "i in range(3)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #2: i = 0 in range(3)",
        "loop_progress": {
          "current_iteration": 2,
          "current_value": 0
        }
      }
    },
    {
      "line": 31,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "i == 1",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (i == 1): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "==",
          "operator_name": "Equal",
          "left_val": 1,
          "right_val": null,
          "result_val": null,
          "explanation": "Equal: 1 == None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "i",
          "prev_value": 0,
          "curr_value": 1,
          "action": "modified"
        }
      ]
    },
    {
      "line": 32,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "pass",
        "branch_action": "NO_OP",
        "explanation": "Pass statement executed \u2794 No operation"
      }
    },
    {
      "line": 30,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "i in range(3)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #3: i = 1 in range(3)",
        "loop_progress": {
          "current_iteration": 3,
          "current_value": 1
        }
      }
    },
    {
      "line": 31,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "i == 1",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (i == 1): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "==",
          "operator_name": "Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Equal: 2 == None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "i",
          "prev_value": 1,
          "curr_value": 2,
          "action": "modified"
        }
      ]
    },
    {
      "line": 30,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "i in range(3)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #4: i = 2 in range(3)",
        "loop_progress": {
          "current_iteration": 4,
          "current_value": 2
        }
      }
    },
    {
      "line": 35,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #1: num = None",
        "loop_progress": {
          "current_iteration": 1,
          "current_value": null
        }
      },
      "deltas": [
        {
          "variable": "sum_evens",
          "prev_value": null,
          "curr_value": 0,
          "action": "created"
        }
      ]
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (num % 2 != 0): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": null,
          "curr_value": 1,
          "action": "created"
        }
      ]
    },
    {
      "line": 38,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "continue",
        "branch_action": "LOOP_CONTROL",
        "explanation": "Continue statement executed \u2794 Skipping to next loop iteration"
      }
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 1
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #2: num = 1 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 2,
          "current_value": 1
        }
      }
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num % 2 != 0): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 1,
          "curr_value": 2,
          "action": "modified"
        }
      ]
    },
    {
      "line": 39,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num > 6",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num > 6): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">",
          "operator_name": "Greater Than",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater Than: 2 > None \u2794 None"
        }
      }
    },
    {
      "line": 41,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 0,
        "num": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 2
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #3: num = 2 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 3,
          "current_value": 2
        }
      },
      "deltas": [
        {
          "variable": "sum_evens",
          "prev_value": 0,
          "curr_value": 2,
          "action": "modified"
        }
      ]
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 3
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (num % 2 != 0): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 2,
          "curr_value": 3,
          "action": "modified"
        }
      ]
    },
    {
      "line": 38,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 3
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "continue",
        "branch_action": "LOOP_CONTROL",
        "explanation": "Continue statement executed \u2794 Skipping to next loop iteration"
      }
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 3
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #4: num = 3 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 4,
          "current_value": 3
        }
      }
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 4
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num % 2 != 0): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 3,
          "curr_value": 4,
          "action": "modified"
        }
      ]
    },
    {
      "line": 39,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 4
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num > 6",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num > 6): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">",
          "operator_name": "Greater Than",
          "left_val": 4,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater Than: 4 > None \u2794 None"
        }
      }
    },
    {
      "line": 41,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 2,
        "num": 4
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 4
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #5: num = 4 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 5,
          "current_value": 4
        }
      },
      "deltas": [
        {
          "variable": "sum_evens",
          "prev_value": 2,
          "curr_value": 6,
          "action": "modified"
        }
      ]
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 5
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (num % 2 != 0): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 4,
          "curr_value": 5,
          "action": "modified"
        }
      ]
    },
    {
      "line": 38,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 5
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "continue",
        "branch_action": "LOOP_CONTROL",
        "explanation": "Continue statement executed \u2794 Skipping to next loop iteration"
      }
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 5
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #6: num = 5 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 6,
          "current_value": 5
        }
      }
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 6
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num % 2 != 0): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 5,
          "curr_value": 6,
          "action": "modified"
        }
      ]
    },
    {
      "line": 39,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 6
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num > 6",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num > 6): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">",
          "operator_name": "Greater Than",
          "left_val": 6,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater Than: 6 > None \u2794 None"
        }
      }
    },
    {
      "line": 41,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 6,
        "num": 6
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 6
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #7: num = 6 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 7,
          "current_value": 6
        }
      },
      "deltas": [
        {
          "variable": "sum_evens",
          "prev_value": 6,
          "curr_value": 12,
          "action": "modified"
        }
      ]
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 7
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (num % 2 != 0): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 6,
          "curr_value": 7,
          "action": "modified"
        }
      ]
    },
    {
      "line": 38,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 7
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "continue",
        "branch_action": "LOOP_CONTROL",
        "explanation": "Continue statement executed \u2794 Skipping to next loop iteration"
      }
    },
    {
      "line": 36,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 7
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "for",
        "condition_text": "num in range(1, 10)",
        "branch_action": "FOR_ITERATION",
        "explanation": "For Loop iteration #8: num = 7 in range(1, 10)",
        "loop_progress": {
          "current_iteration": 8,
          "current_value": 7
        }
      }
    },
    {
      "line": 37,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num % 2 != 0",
        "eval_result": false,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (num % 2 != 0): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": "!=",
          "operator_name": "Not Equal",
          "left_val": 2,
          "right_val": null,
          "result_val": null,
          "explanation": "Not Equal: 2 != None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "num",
          "prev_value": 7,
          "curr_value": 8,
          "action": "modified"
        }
      ]
    },
    {
      "line": 39,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "num > 6",
        "eval_result": true,
        "branch_action": "IF_TAKEN",
        "explanation": "Evaluated condition (num > 6): True \u2794 Executing IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">",
          "operator_name": "Greater Than",
          "left_val": 8,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater Than: 8 > None \u2794 None"
        }
      }
    },
    {
      "line": 40,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "break",
        "branch_action": "LOOP_CONTROL",
        "explanation": "Break statement executed \u2794 Exiting loop immediately"
      }
    },
    {
      "line": 44,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 45,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200
      },
      "pointers": {},
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set http_status = 200"
      },
      "deltas": [
        {
          "variable": "http_status",
          "prev_value": null,
          "curr_value": 200,
          "action": "created"
        }
      ]
    },
    {
      "line": 46,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Unknown"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "n"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "n"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "n"
          },
          {
            "name": "i",
            "index": 2,
            "value": "k"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "if",
        "condition_text": "sys.version_info >= (3, 10)",
        "eval_result": null,
        "branch_action": "IF_SKIPPED",
        "explanation": "Evaluated condition (sys.version_info >= (3, 10)): False \u2794 Skipping IF block",
        "operator_eval": {
          "category": "comparison",
          "operator_symbol": ">=",
          "operator_name": "Greater or Equal",
          "left_val": null,
          "right_val": null,
          "result_val": null,
          "explanation": "Greater or Equal: None >= None \u2794 None"
        }
      },
      "deltas": [
        {
          "variable": "message",
          "prev_value": null,
          "curr_value": "Unknown",
          "action": "created"
        }
      ]
    },
    {
      "line": 47,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Unknown"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "n"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "n"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "n"
          },
          {
            "name": "i",
            "index": 2,
            "value": "k"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "match",
        "condition_text": "match http_status",
        "branch_action": "MATCH_EVAL",
        "explanation": "Match statement: evaluating subject http_status = 200"
      }
    },
    {
      "line": 48,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Unknown"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "n"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "n"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "n"
          },
          {
            "name": "i",
            "index": 2,
            "value": "k"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 49,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Unknown"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "n"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "n"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "n"
          },
          {
            "name": "i",
            "index": 2,
            "value": "k"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ]
    },
    {
      "line": 55,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Success OK"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "u"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "u"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "u"
          },
          {
            "name": "i",
            "index": 2,
            "value": "c"
          },
          {
            "name": "num",
            "index": 8,
            "value": "O"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "control_flow": {
        "statement_type": "assignment",
        "branch_action": "MUTATION",
        "explanation": "Executed statement: set message = Success OK"
      },
      "deltas": [
        {
          "variable": "message",
          "prev_value": "Unknown",
          "curr_value": "Success OK",
          "action": "modified"
        }
      ]
    },
    {
      "line": 56,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Success OK"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "u"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "u"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "u"
          },
          {
            "name": "i",
            "index": 2,
            "value": "c"
          },
          {
            "name": "num",
            "index": 8,
            "value": "O"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "stdout": "Grade: B\n"
    },
    {
      "line": 57,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Success OK"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "u"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "u"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "u"
          },
          {
            "name": "i",
            "index": 2,
            "value": "c"
          },
          {
            "name": "num",
            "index": 8,
            "value": "O"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "stdout": "Grade: B\nCan Enter: True\n"
    },
    {
      "line": 58,
      "event": "line",
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Success OK"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "u"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "u"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "u"
          },
          {
            "name": "i",
            "index": 2,
            "value": "c"
          },
          {
            "name": "num",
            "index": 8,
            "value": "O"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "stdout": "Grade: B\nCan Enter: True\nSum Evens: 12\n"
    },
    {
      "line": 58,
      "event": "return",
      "function": "test_control_flow",
      "return_value": null,
      "locals": {
        "score": 85,
        "grade": "B",
        "passed": true,
        "age": 22,
        "has_id": true,
        "can_enter": true,
        "i": 2,
        "sum_evens": 12,
        "num": 8,
        "http_status": 200,
        "message": "Success OK"
      },
      "pointers": {
        "message": [
          {
            "name": "passed",
            "index": true,
            "value": "u"
          },
          {
            "name": "has_id",
            "index": true,
            "value": "u"
          },
          {
            "name": "can_enter",
            "index": true,
            "value": "u"
          },
          {
            "name": "i",
            "index": 2,
            "value": "c"
          },
          {
            "name": "num",
            "index": 8,
            "value": "O"
          }
        ]
      },
      "call_stack": [
        "<module>",
        "test_control_flow"
      ],
      "stdout": "Grade: B\nCan Enter: True\nSum Evens: 12\nMatch Message: Success OK\n"
    }
  ],
  "truncated": false,
  "total_steps": 64,
  "patterns": []
}


[AlgoReel] ✅ Trace parsed successfully!
[AlgoReel] Roles: {"score":"scalar","grade":"scalar","passed":"scalar","age":"scalar","has_id":"scalar","can_enter":"scalar","i":"scalar","sum_evens":"scalar","num":"scalar","http_status":"scalar","message":"array","sys":"scalar"}
[AlgoReel] Steps: 64
