FROM INTELLIGENCE TO CAPABILITY

{
  "task_id": "debug_trace_001",
  "category": "execution_grounded_debugging",
  "language": "python",
  "context": {
    "repo": "internal/microservice-auth",
    "file": "auth/token_validator.py"
  },
  "problem": {
    "description": "Token validation intermittently fails for valid JWTs in production.",
    "symptom": "Users randomly get logged out despite valid tokens.",
    "logs": [
      "ValueError: Signature verification failed",
      "TokenExpiredError: Signature has expired"
    ]
  },
  "execution_trace": [
    {
      "step": 1,
      "action": "Inspect token decoding logic",
      "observation": "Clock skew not handled"
    },
    {
      "step": 2,
      "action": "Compare server time vs token expiry",
      "observation": "5-10 sec drift detected"
    },
    {
      "step": 3,
      "action": "Test with leeway parameter",
      "observation": "Validation succeeds"
    }
  ],
  "root_cause": "Token validation fails due to missing clock skew tolerance.",
  "fix": {
    "code_patch": "jwt.decode(token, key, algorithms=['HS256'], leeway=10)"
  },
  "learning_signal": {
    "bug_type": "time_synchronization",
    "skill": ["debugging", "distributed_systems"]
  }
},
  "execution_trace": [
    {
      "step": 1,
      "action": "Inspect decoding logic",
      "observation": "Clock skew not handled"
    },
    {
      "step": 2,
      "action": "Add 10s leeway",
      "observation": "Validation succeeds"
    }
  ],
  "fix": "jwt.decode(token, key, leeway=10)"
}