{
  "run_id": "2026-10-10T17-53-17-034Z",
  "version": "1.0",
  "scope": "LOCAL",
  "revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
  "engine_source_sha256": "7c39cebee278537ac097839e63511754e50fbf3db4b5da5959b7853adf570e65",
  "source_state": "Uncommitted local modifications; HEAD alone does not identify the engine bytes",
  "summary": {
    "total": 30,
    "executed": 30,
    "computed": 23,
    "correct": 23,
    "wrong": 0,
    "inconclusive": 0,
    "correct_rejections": 5,
    "unexpected_unsupported": [],
    "not_run": 0,
    "declared_behavior": {
      "numerator": 24,
      "denominator": 24
    },
    "computed_correctness": {
      "numerator": 23,
      "denominator": 23
    },
    "steps": {
      "checked": 3,
      "passed": 3
    },
    "safety": {
      "numerator": 7,
      "denominator": 7
    }
  },
  "results": [
    {
      "id": "D01",
      "operation": "derivative",
      "expression": "x^5+3x^2-7",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "5*x^4+6*x",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "5 · x ^ 4 + 6 · x",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 5 + 3 · x ^ 2 - 7",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 5) = (5) · (x) ^ (4) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the product rule",
          "expression": "(u · v)' = u' · v + u · v'",
          "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
          "rule": "product rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x ^ 5 + 3 · x ^ 2) = 5 · x ^ 4 + 6 · x",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x ^ 5 + 3 · x ^ 2 - 7) = 5 · x ^ 4 + 6 · x",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "5 · x ^ 4 + 6 · x",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 474.69960000000003,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:17.624Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "x^5+3x^2-7",
        "result": "5 · x ^ 4 + 6 · x",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 5 + 3 · x ^ 2 - 7",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 5) = (5) · (x) ^ (4) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the product rule",
            "expression": "(u · v)' = u' · v + u · v'",
            "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
            "rule": "product rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x ^ 5 + 3 · x ^ 2) = 5 · x ^ 4 + 6 · x",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x ^ 5 + 3 · x ^ 2 - 7) = 5 · x ^ 4 + 6 · x",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "5 · x ^ 4 + 6 · x",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D02",
      "operation": "derivative",
      "expression": "sin((x^2+1)^3)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "6*x*(x^2+1)^2*cos((x^2+1)^3)",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "6 · cos((x ^ 2 + 1) ^ 3) · (x ^ 2 + 1) ^ 2 · x",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "sin((x ^ 2 + 1) ^ 3)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x ^ 2 + 1) = 2 · x",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx((x ^ 2 + 1) ^ 3) = (3) · (x ^ 2 + 1) ^ (2) · (2 · x)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the chain rule",
          "expression": "d/dx sin((x ^ 2 + 1) ^ 3) = (cos((x ^ 2 + 1) ^ 3)) · (6 · (x ^ 2 + 1) ^ 2 · x)",
          "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
          "rule": "chain rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "6 · cos((x ^ 2 + 1) ^ 3) · (x ^ 2 + 1) ^ 2 · x",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "pass",
      "step_completeness": "pass",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 489.52970000000005,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:18.114Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "sin((x^2+1)^3)",
        "result": "6 · cos((x ^ 2 + 1) ^ 3) · (x ^ 2 + 1) ^ 2 · x",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "sin((x ^ 2 + 1) ^ 3)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x ^ 2 + 1) = 2 · x",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx((x ^ 2 + 1) ^ 3) = (3) · (x ^ 2 + 1) ^ (2) · (2 · x)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the chain rule",
            "expression": "d/dx sin((x ^ 2 + 1) ^ 3) = (cos((x ^ 2 + 1) ^ 3)) · (6 · (x ^ 2 + 1) ^ 2 · x)",
            "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
            "rule": "chain rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "6 · cos((x ^ 2 + 1) ^ 3) · (x ^ 2 + 1) ^ 2 · x",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D03",
      "operation": "derivative",
      "expression": "x^2*exp(x)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "exp(x)*(x^2+2*x)",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "2 · x · exp(x) + x ^ 2 · exp(x)",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 2 · exp(x)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the chain rule",
          "expression": "d/dx exp(x) = (exp(x)) · (1)",
          "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
          "rule": "chain rule"
        },
        {
          "title": "Apply the product rule",
          "expression": "(u · v)' = u' · v + u · v'",
          "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
          "rule": "product rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "2 · x · exp(x) + x ^ 2 · exp(x)",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 455.6563000000001,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:18.571Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "x^2*exp(x)",
        "result": "2 · x · exp(x) + x ^ 2 · exp(x)",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 2 · exp(x)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the chain rule",
            "expression": "d/dx exp(x) = (exp(x)) · (1)",
            "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
            "rule": "chain rule"
          },
          {
            "title": "Apply the product rule",
            "expression": "(u · v)' = u' · v + u · v'",
            "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
            "rule": "product rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "2 · x · exp(x) + x ^ 2 · exp(x)",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D04",
      "operation": "derivative",
      "expression": "(x^2+1)/(x-1)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "x!=1"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "(x^2-2*x-1)/(x-1)^2",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "(2 · x · (x - 1) - (x ^ 2 + 1)) / (x - 1) ^ 2",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "(x ^ 2 + 1) / (x - 1)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x ^ 2 + 1) = 2 · x",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x - 1) = 1",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Apply the quotient rule",
          "expression": "(u / v)' = (u' · v - u · v') / v^2",
          "explanation": "Differentiate the numerator and denominator with the quotient rule.",
          "rule": "quotient rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "(2 · x · (x - 1) - (x ^ 2 + 1)) / (x - 1) ^ 2",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 404.9389000000001,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:18.976Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "(x^2+1)/(x-1)",
        "result": "(2 · x · (x - 1) - (x ^ 2 + 1)) / (x - 1) ^ 2",
        "resultDefinition": "x - 1 ≠ 0\n(x - 1) ^ 2 ≠ 0",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "(x ^ 2 + 1) / (x - 1)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x ^ 2 + 1) = 2 · x",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x - 1) = 1",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Apply the quotient rule",
            "expression": "(u / v)' = (u' · v - u · v') / v^2",
            "explanation": "Differentiate the numerator and denominator with the quotient rule.",
            "rule": "quotient rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "(2 · x · (x - 1) - (x ^ 2 + 1)) / (x - 1) ^ 2",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D05",
      "operation": "derivative",
      "expression": "ln(x^2+1)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "2*x/(x^2+1)",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "2 · x / (x ^ 2 + 1)",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "ln(x ^ 2 + 1)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Differentiate each term",
          "expression": "d/dx(x ^ 2 + 1) = 2 · x",
          "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
          "rule": "sum rule"
        },
        {
          "title": "Apply the chain rule",
          "expression": "d/dx log(x ^ 2 + 1) = (1 / (x ^ 2 + 1)) · (2 · x)",
          "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
          "rule": "chain rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "2 · x / (x ^ 2 + 1)",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 400.19540000000006,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:19.377Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "ln(x^2+1)",
        "result": "2 · x / (x ^ 2 + 1)",
        "resultDefinition": "x ^ 2 + 1 > 0\nx ^ 2 + 1 ≠ 0",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "ln(x ^ 2 + 1)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dx(x ^ 2) = (2) · (x) ^ (1) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Differentiate each term",
            "expression": "d/dx(x ^ 2 + 1) = 2 · x",
            "explanation": "The derivative of a sum or difference is the sum or difference of the derivatives.",
            "rule": "sum rule"
          },
          {
            "title": "Apply the chain rule",
            "expression": "d/dx log(x ^ 2 + 1) = (1 / (x ^ 2 + 1)) · (2 · x)",
            "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
            "rule": "chain rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "2 · x / (x ^ 2 + 1)",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D06",
      "operation": "derivative",
      "expression": "sin(x)",
      "variables": {
        "variable": "x",
        "order": 2
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "-sin(x)",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "-sin(x)",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "sin(x)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the chain rule",
          "expression": "d/dx sin(x) = (cos(x)) · (1)",
          "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
          "rule": "chain rule"
        },
        {
          "title": "Simplify the higher-order derivative",
          "expression": "-sin(x)",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 374.07479999999987,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:19.751Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "sin(x)",
        "result": "-sin(x)",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Higher-order derivative independently verified at multiple safe points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "sin(x)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the chain rule",
            "expression": "d/dx sin(x) = (cos(x)) · (1)",
            "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
            "rule": "chain rule"
          },
          {
            "title": "Simplify the higher-order derivative",
            "expression": "-sin(x)",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D07",
      "operation": "derivative",
      "expression": "sqrt(x)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "x>0; no finite ordinary derivative at 0"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "1/(2*sqrt(x))",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "1 / (2 · sqrt(x))",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "sqrt(x)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the chain rule",
          "expression": "d/dx sqrt(x) = (1 / (2 · sqrt(x))) · (1)",
          "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
          "rule": "chain rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "1 / (2 · sqrt(x))",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 377.53549999999996,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:20.130Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "sqrt(x)",
        "result": "1 / (2 · sqrt(x))",
        "resultDefinition": "x ≥ 0\n2 · sqrt(x) ≠ 0",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "sqrt(x)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the chain rule",
            "expression": "d/dx sqrt(x) = (1 / (2 · sqrt(x))) · (1)",
            "explanation": "Differentiate the outer function, then multiply by the derivative of the inner expression.",
            "rule": "chain rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "1 / (2 · sqrt(x))",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "D08",
      "operation": "derivative",
      "expression": "x^x",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "x>0"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "x^x*(ln(x)+1)",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "computed",
      "observed_result": "f′(x) = f(x) · [ln(x) + x / x]",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use logarithmic differentiation",
          "expression": "d/dx((x) ^ (x))",
          "explanation": "When both the base and exponent can change, differentiate the logarithm of the power and multiply by the original expression.",
          "rule": "general power rule"
        },
        {
          "title": "Present the simplified answer",
          "expression": "f′(x) = f(x) · [ln(x) + x / x]",
          "expandedExpression": "x ^ x · (ln(x) + x / x)",
          "explanation": "Factor out the original function so the logarithmic derivative is easier to read. Expand this step to inspect the complete rule-tree form.",
          "rule": "logarithmic differentiation"
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 399.6010000000001,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:20.530Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "x^x",
        "result": "f′(x) = f(x) · [ln(x) + x / x]",
        "resultDefinition": "f(x) = x ^ x\nx > 0\nx ≠ 0",
        "expandedResult": "x ^ x · (ln(x) + x / x)",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use logarithmic differentiation",
            "expression": "d/dx((x) ^ (x))",
            "explanation": "When both the base and exponent can change, differentiate the logarithm of the power and multiply by the original expression.",
            "rule": "general power rule"
          },
          {
            "title": "Present the simplified answer",
            "expression": "f′(x) = f(x) · [ln(x) + x / x]",
            "expandedExpression": "x ^ x · (ln(x) + x / x)",
            "explanation": "Factor out the original function so the logarithmic derivative is easier to read. Expand this step to inspect the complete rule-tree form.",
            "rule": "logarithmic differentiation"
          }
        ]
      }
    },
    {
      "id": "I01",
      "operation": "integral",
      "expression": "3x^2+4x",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "x^3+2*x^2+C",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "x ^ 3 + 2 · x ^ 2 + C",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "3 · x ^ 2 + 4 · x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the power rule for integrals",
          "expression": "∫x ^ 2 dx",
          "explanation": "Increase the exponent by one and divide by the new exponent.",
          "rule": "power rule"
        },
        {
          "title": "Use the power rule for integrals",
          "expression": "∫x dx",
          "explanation": "Increase the exponent by one and divide by the new exponent.",
          "rule": "power rule"
        },
        {
          "title": "Add the integration constant",
          "expression": "x ^ 3 + 2 · x ^ 2 + C",
          "explanation": "Every indefinite integral represents a family of antiderivatives."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 359.6369000000004,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:20.890Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "3x^2+4x",
        "result": "x ^ 3 + 2 · x ^ 2 + C",
        "verified": true,
        "verification": "Verified by differentiating the antiderivative at multiple points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "3 · x ^ 2 + 4 · x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the power rule for integrals",
            "expression": "∫x ^ 2 dx",
            "explanation": "Increase the exponent by one and divide by the new exponent.",
            "rule": "power rule"
          },
          {
            "title": "Use the power rule for integrals",
            "expression": "∫x dx",
            "explanation": "Increase the exponent by one and divide by the new exponent.",
            "rule": "power rule"
          },
          {
            "title": "Add the integration constant",
            "expression": "x ^ 3 + 2 · x ^ 2 + C",
            "explanation": "Every indefinite integral represents a family of antiderivatives."
          }
        ]
      }
    },
    {
      "id": "I02",
      "operation": "integral",
      "expression": "cos(x)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "sin(x)+C",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "sin(x) + C",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "cos(x)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Recognize a standard antiderivative",
          "expression": "∫cos(x) dx",
          "explanation": "Use the standard rule and divide by the inner linear coefficient.",
          "rule": "substitution"
        },
        {
          "title": "Add the integration constant",
          "expression": "sin(x) + C",
          "explanation": "Every indefinite integral represents a family of antiderivatives."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 371.84239999999954,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:21.263Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "cos(x)",
        "result": "sin(x) + C",
        "verified": true,
        "verification": "Verified by differentiating the antiderivative at multiple points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "cos(x)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Recognize a standard antiderivative",
            "expression": "∫cos(x) dx",
            "explanation": "Use the standard rule and divide by the inner linear coefficient.",
            "rule": "substitution"
          },
          {
            "title": "Add the integration constant",
            "expression": "sin(x) + C",
            "explanation": "Every indefinite integral represents a family of antiderivatives."
          }
        ]
      }
    },
    {
      "id": "I03",
      "operation": "integral",
      "expression": "2x*cos(x^2)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "sin(x^2)+C",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "2 · x · cos(x ^ 2)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "not_run",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "not_run",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 355.7074999999995,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:21.618Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "integral",
        "input": "2x*cos(x^2)",
        "verified": false,
        "verification": "No supported deterministic antiderivative rule matched.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "2 · x · cos(x ^ 2)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          }
        ],
        "error": {
          "code": "unsupported_integral",
          "message": "This integral is outside the current deterministic rule set."
        }
      }
    },
    {
      "id": "I04",
      "operation": "integral",
      "expression": "x*exp(x)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "(x-1)*exp(x)+C",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "computed",
      "observed_result": "exp(x) · (x - 1) + C",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x · exp(x)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Integrate by parts",
          "expression": "∫(x) · (exp(x)) dx = (x) · (exp(x)) - ∫(exp(x)) · (1) dx",
          "expandedExpression": "u = x; dv = exp(x) dx; du = 1 dx; v = exp(x)",
          "explanation": "Differentiate the polynomial and integrate the exponential repeatedly until the polynomial derivative is zero.",
          "rule": "integration by parts"
        },
        {
          "title": "Add the integration constant",
          "expression": "exp(x) · (x - 1) + C",
          "explanation": "Every indefinite integral represents a family of antiderivatives."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "pass",
      "step_completeness": "pass",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 309.4801000000007,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:21.929Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "x*exp(x)",
        "result": "exp(x) · (x - 1) + C",
        "verified": true,
        "verification": "Verified by differentiating the antiderivative at multiple points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x · exp(x)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Integrate by parts",
            "expression": "∫(x) · (exp(x)) dx = (x) · (exp(x)) - ∫(exp(x)) · (1) dx",
            "expandedExpression": "u = x; dv = exp(x) dx; du = 1 dx; v = exp(x)",
            "explanation": "Differentiate the polynomial and integrate the exponential repeatedly until the polynomial derivative is zero.",
            "rule": "integration by parts"
          },
          {
            "title": "Add the integration constant",
            "expression": "exp(x) · (x - 1) + C",
            "explanation": "Every indefinite integral represents a family of antiderivatives."
          }
        ]
      }
    },
    {
      "id": "I05",
      "operation": "integral",
      "expression": "1/x",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "x!=0; constants independent on connected intervals"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "ln(abs(x))+C",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "ln|x| + C",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the reciprocal integral rule",
          "expression": "∫1/x dx = ln|x|",
          "explanation": "The exponent -1 is the logarithmic exception to the power rule, so the absolute value must be preserved.",
          "rule": "reciprocal integral rule"
        },
        {
          "title": "Add the integration constant",
          "expression": "ln|x| + C",
          "explanation": "Every indefinite integral represents a family of antiderivatives."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 325.6989000000003,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:22.256Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "1/x",
        "result": "ln|x| + C",
        "resultDefinition": "x ≠ 0",
        "verified": true,
        "verification": "Verified by differentiating the antiderivative at multiple points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the reciprocal integral rule",
            "expression": "∫1/x dx = ln|x|",
            "explanation": "The exponent -1 is the logarithmic exception to the power rule, so the absolute value must be preserved.",
            "rule": "reciprocal integral rule"
          },
          {
            "title": "Add the integration constant",
            "expression": "ln|x| + C",
            "explanation": "Every indefinite integral represents a family of antiderivatives."
          }
        ]
      }
    },
    {
      "id": "I06",
      "operation": "integral",
      "expression": "1/(1+x^2)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "atan(x)+C",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "atan(x) + C",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / (1 + x ^ 2)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the arctangent integral rule",
          "expression": "∫1/(x^2+1^2) dx = atan(x/1)/1",
          "explanation": "Use the arctangent rule with a nonzero real scale. If the parameter is zero, use the reciprocal power rule instead.",
          "rule": "arctangent integral rule"
        },
        {
          "title": "Add the integration constant",
          "expression": "atan(x) + C",
          "explanation": "Every indefinite integral represents a family of antiderivatives."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 351.6728000000003,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:22.608Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "1/(1+x^2)",
        "result": "atan(x) + C",
        "resultDefinition": "1 + x ^ 2 ≠ 0",
        "verified": true,
        "verification": "Verified by differentiating the antiderivative at multiple points.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / (1 + x ^ 2)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the arctangent integral rule",
            "expression": "∫1/(x^2+1^2) dx = atan(x/1)/1",
            "explanation": "Use the arctangent rule with a nonzero real scale. If the parameter is zero, use the reciprocal power rule instead.",
            "rule": "arctangent integral rule"
          },
          {
            "title": "Add the integration constant",
            "expression": "atan(x) + C",
            "explanation": "Every indefinite integral represents a family of antiderivatives."
          }
        ]
      }
    },
    {
      "id": "I07",
      "operation": "integral",
      "expression": "x^2",
      "variables": {
        "variable": "x",
        "lowerBound": "0",
        "upperBound": "1"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": {
        "lower": "0",
        "upper": "1"
      },
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "1/3",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "0.3333333333",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 2",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the power rule for integrals",
          "expression": "∫x ^ 2 dx",
          "explanation": "Increase the exponent by one and divide by the new exponent.",
          "rule": "power rule"
        },
        {
          "title": "Apply the bounds",
          "expression": "x ^ 2 from 0 to 1 = 0.3333333333",
          "explanation": "Subtract the antiderivative at the lower bound from its value at the upper bound."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 379.5500000000002,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:22.988Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "x^2",
        "result": "0.3333333333",
        "resultDefinition": "∫_0^1 x ^ 2 dx",
        "approximate": 0.3333333333333333,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Verified by differentiating the antiderivative and evaluating both bounds.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 2",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the power rule for integrals",
            "expression": "∫x ^ 2 dx",
            "explanation": "Increase the exponent by one and divide by the new exponent.",
            "rule": "power rule"
          },
          {
            "title": "Apply the bounds",
            "expression": "x ^ 2 from 0 to 1 = 0.3333333333",
            "explanation": "Subtract the antiderivative at the lower bound from its value at the upper bound."
          }
        ]
      }
    },
    {
      "id": "I08",
      "operation": "integral",
      "expression": "x^2",
      "variables": {
        "variable": "x",
        "lowerBound": "1",
        "upperBound": "0"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": {
        "lower": "1",
        "upper": "0"
      },
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "-1/3",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "-0.3333333333",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 2",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the power rule for integrals",
          "expression": "∫x ^ 2 dx",
          "explanation": "Increase the exponent by one and divide by the new exponent.",
          "rule": "power rule"
        },
        {
          "title": "Apply the bounds",
          "expression": "x ^ 2 from 1 to 0 = -0.3333333333",
          "explanation": "Subtract the antiderivative at the lower bound from its value at the upper bound."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 365.4921999999997,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:23.354Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "x^2",
        "result": "-0.3333333333",
        "resultDefinition": "∫_1^0 x ^ 2 dx",
        "approximate": -0.3333333333333333,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Verified by differentiating the antiderivative and evaluating both bounds.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 2",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the power rule for integrals",
            "expression": "∫x ^ 2 dx",
            "explanation": "Increase the exponent by one and divide by the new exponent.",
            "rule": "power rule"
          },
          {
            "title": "Apply the bounds",
            "expression": "x ^ 2 from 1 to 0 = -0.3333333333",
            "explanation": "Subtract the antiderivative at the lower bound from its value at the upper bound."
          }
        ]
      }
    },
    {
      "id": "I09",
      "operation": "integral",
      "expression": "abs(x)",
      "variables": {
        "variable": "x",
        "lowerBound": "-1",
        "upperBound": "1"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": {
        "lower": "-1",
        "upper": "1"
      },
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "1",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "computed",
      "observed_result": "1",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "|x|",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Evaluate deterministically",
          "expression": "|x| from -1 to 1 = 1",
          "explanation": "A bounded Simpson-rule computation was used because a supported symbolic antiderivative was unavailable."
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 385.9904999999999,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:23.740Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "integral",
        "input": "abs(x)",
        "result": "1",
        "resultDefinition": "∫_-1^1 |x| dx",
        "approximate": 1,
        "errorEstimate": 0,
        "verified": false,
        "verificationStatus": "computed",
        "verification": "Approximate numerical result with a refinement-based error estimate; not a symbolic verification.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "|x|",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Evaluate deterministically",
            "expression": "|x| from -1 to 1 = 1",
            "explanation": "A bounded Simpson-rule computation was used because a supported symbolic antiderivative was unavailable."
          }
        ]
      }
    },
    {
      "id": "I10",
      "operation": "integral",
      "expression": "1/x",
      "variables": {
        "variable": "x",
        "lowerBound": "-1",
        "upperBound": "1"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": {
        "lower": "-1",
        "upper": "1"
      },
      "approach": null,
      "direction": null,
      "expected_behavior": "honest_rejection_or_nonfinite",
      "reference_result": "DIVERGENT",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the reciprocal integral rule",
          "expression": "∫1/x dx = ln|x|",
          "explanation": "The exponent -1 is the logarithmic exception to the power rule, so the absolute value must be preserved.",
          "rule": "reciprocal integral rule"
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 398.9237999999996,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:24.139Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "integral",
        "input": "1/x",
        "verified": false,
        "verification": "The integrand is not finite and continuous across the requested interval.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the reciprocal integral rule",
            "expression": "∫1/x dx = ln|x|",
            "explanation": "The exponent -1 is the logarithmic exception to the power rule, so the absolute value must be preserved.",
            "rule": "reciprocal integral rule"
          }
        ],
        "error": {
          "code": "discontinuous_integrand",
          "message": "The integration interval crosses a point where the integrand is undefined or discontinuous."
        }
      }
    },
    {
      "id": "L01",
      "operation": "limit",
      "expression": "sin(x)/x",
      "variables": {
        "variable": "x",
        "approach": "0",
        "direction": "both"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "0",
      "direction": "both",
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "1",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "1",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "sin(x) / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Resolve the indeterminate form",
          "expression": "lim cos(x) / 1",
          "explanation": "The quotient is still indeterminate, so differentiate numerator and denominator until direct substitution is valid.",
          "rule": "L'Hôpital's rule"
        },
        {
          "title": "State the limit",
          "expression": "1",
          "explanation": "The two-sided limit converges to this value."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 458.448699999999,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:24.598Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "limit",
        "input": "sin(x)/x",
        "result": "1",
        "approximate": 1,
        "verified": true,
        "verification": "Verified by 1 exact L'Hôpital application followed by direct substitution.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "sin(x) / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Resolve the indeterminate form",
            "expression": "lim cos(x) / 1",
            "explanation": "The quotient is still indeterminate, so differentiate numerator and denominator until direct substitution is valid.",
            "rule": "L'Hôpital's rule"
          },
          {
            "title": "State the limit",
            "expression": "1",
            "explanation": "The two-sided limit converges to this value."
          }
        ]
      }
    },
    {
      "id": "L02",
      "operation": "limit",
      "expression": "(x^2-1)/(x-1)",
      "variables": {
        "variable": "x",
        "approach": "1",
        "direction": "both"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "1",
      "direction": "both",
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "2",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "2",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "(x ^ 2 - 1) / (x - 1)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Resolve the indeterminate form",
          "expression": "lim 2 · x / 1",
          "explanation": "The quotient is still indeterminate, so differentiate numerator and denominator until direct substitution is valid.",
          "rule": "L'Hôpital's rule"
        },
        {
          "title": "State the limit",
          "expression": "2",
          "explanation": "The two-sided limit converges to this value."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "pass",
      "step_completeness": "pass",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 401.09430000000066,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:24.999Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "limit",
        "input": "(x^2-1)/(x-1)",
        "result": "2",
        "approximate": 2,
        "verified": true,
        "verification": "Verified by 1 exact L'Hôpital application followed by direct substitution.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "(x ^ 2 - 1) / (x - 1)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Resolve the indeterminate form",
            "expression": "lim 2 · x / 1",
            "explanation": "The quotient is still indeterminate, so differentiate numerator and denominator until direct substitution is valid.",
            "rule": "L'Hôpital's rule"
          },
          {
            "title": "State the limit",
            "expression": "2",
            "explanation": "The two-sided limit converges to this value."
          }
        ]
      }
    },
    {
      "id": "L03",
      "operation": "limit",
      "expression": "1/x",
      "variables": {
        "variable": "x",
        "approach": "0",
        "direction": "right"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "0",
      "direction": "right",
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "Infinity",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "∞",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Compare directional behavior",
          "expression": "∞",
          "explanation": "Values approaching from the requested side show consistent finite or unbounded behavior."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 441.7006000000001,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:25.441Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "limit",
        "input": "1/x",
        "result": "∞",
        "verified": true,
        "verification": "Verified from the leading terms of the rational expression at the approach point.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Compare directional behavior",
            "expression": "∞",
            "explanation": "Values approaching from the requested side show consistent finite or unbounded behavior."
          }
        ]
      }
    },
    {
      "id": "L04",
      "operation": "limit",
      "expression": "1/x",
      "variables": {
        "variable": "x",
        "approach": "0",
        "direction": "left"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "0",
      "direction": "left",
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "-Infinity",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "-∞",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Compare directional behavior",
          "expression": "-∞",
          "explanation": "Values approaching from the requested side show consistent finite or unbounded behavior."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 499.58970000000045,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:25.941Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "limit",
        "input": "1/x",
        "result": "-∞",
        "verified": true,
        "verification": "Verified from the leading terms of the rational expression at the approach point.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Compare directional behavior",
            "expression": "-∞",
            "explanation": "Values approaching from the requested side show consistent finite or unbounded behavior."
          }
        ]
      }
    },
    {
      "id": "L05",
      "operation": "limit",
      "expression": "1/x",
      "variables": {
        "variable": "x",
        "approach": "0",
        "direction": "both"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "0",
      "direction": "both",
      "expected_behavior": "honest_rejection_or_nonfinite",
      "reference_result": "DNE",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 427.54399999999987,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:26.369Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "limit",
        "input": "1/x",
        "verified": false,
        "verification": "The proven left-hand and right-hand limits disagree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          }
        ],
        "error": {
          "code": "divergent_limit",
          "message": "The proven left-hand and right-hand limits disagree."
        }
      }
    },
    {
      "id": "L06",
      "operation": "limit",
      "expression": "sqrt(x^2+1)-x",
      "variables": {
        "variable": "x",
        "approach": "infinity",
        "direction": "both"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": "infinity",
      "direction": "both",
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "0",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "sqrt(x ^ 2 + 1) - x",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "not_run",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "not_run",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 387.10020000000077,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:26.756Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "limit",
        "input": "sqrt(x^2+1)-x",
        "verified": false,
        "verification": "No exact end-behavior rule matched this expression.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "sqrt(x ^ 2 + 1) - x",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          }
        ],
        "error": {
          "code": "unsupported_infinite_limit",
          "message": "This infinite limit is outside the current exact polynomial and rational rule set."
        }
      }
    },
    {
      "id": "B01",
      "operation": "derivative",
      "expression": "x^2",
      "variables": {
        "variable": "y"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "0",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "0",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 2",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dy(x ^ 2) = (2) · (x) ^ (1) · (0)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "0",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 385.3855000000003,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:27.141Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "x^2",
        "result": "0",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 2",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dy(x ^ 2) = (2) · (x) ^ (1) · (0)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "0",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "B02",
      "operation": "derivative",
      "expression": "sin(",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "invalid_input",
      "reference_result": "INVALID",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "invalid_input",
      "observed_result": null,
      "steps": [],
      "verification_status": null,
      "product_verified": null,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "not_run",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 421.5593000000008,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:27.563Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "error": {
          "code": "invalid_syntax",
          "message": "Check the parentheses."
        }
      }
    },
    {
      "id": "B03",
      "operation": "integral",
      "expression": "exp(-x^2)",
      "variables": {
        "variable": "x"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "special_function_or_unsupported",
      "reference_result": "SPECIAL_FUNCTION_OR_UNSUPPORTED",
      "support_claim_before_run": "coverage_probe",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "exp(-x ^ 2)",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "not_run",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 402.14930000000095,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:27.965Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "integral",
        "input": "exp(-x^2)",
        "verified": false,
        "verification": "No supported deterministic antiderivative rule matched.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "exp(-x ^ 2)",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          }
        ],
        "error": {
          "code": "unsupported_integral",
          "message": "This integral is outside the current deterministic rule set."
        }
      }
    },
    {
      "id": "B04",
      "operation": "implicit",
      "expression": "x^2+y^2=1",
      "variables": {
        "variable": "x",
        "dependentVariable": "y"
      },
      "assumptions": [
        "y!=0"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "-x/y",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "dy/dx = -2 · x / (2 · y)",
      "steps": [
        {
          "title": "Read the equation safely",
          "expression": "x ^ 2 + y ^ 2 = 1",
          "explanation": "Treat the dependent variable as a function of the independent variable."
        },
        {
          "title": "Differentiate both sides implicitly",
          "expression": "F_x + F_y · dy/dx = 0",
          "explanation": "Terms containing y produce a dy/dx factor through the chain rule.",
          "rule": "implicit differentiation"
        },
        {
          "title": "Collect the partial derivatives",
          "expression": "F_x = 2 · x,  F_y = 2 · y",
          "explanation": "Differentiate once while holding the other variable constant, then switch variables.",
          "rule": "partial derivatives"
        },
        {
          "title": "Solve for dy/dx",
          "expression": "dy/dx = -2 · x / (2 · y)",
          "explanation": "Move the independent-variable derivative to the other side and divide by the dependent-variable derivative."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 416.33519999999953,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:28.382Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "implicit",
        "input": "x^2+y^2=1",
        "result": "dy/dx = -2 · x / (2 · y)",
        "resultDefinition": "x ^ 2 + y ^ 2 = 1\ny ≠ 0",
        "verified": true,
        "verification": "Verified from the deterministic identity dy/dx = -F_x/F_y for the parsed equation.",
        "steps": [
          {
            "title": "Read the equation safely",
            "expression": "x ^ 2 + y ^ 2 = 1",
            "explanation": "Treat the dependent variable as a function of the independent variable."
          },
          {
            "title": "Differentiate both sides implicitly",
            "expression": "F_x + F_y · dy/dx = 0",
            "explanation": "Terms containing y produce a dy/dx factor through the chain rule.",
            "rule": "implicit differentiation"
          },
          {
            "title": "Collect the partial derivatives",
            "expression": "F_x = 2 · x,  F_y = 2 · y",
            "explanation": "Differentiate once while holding the other variable constant, then switch variables.",
            "rule": "partial derivatives"
          },
          {
            "title": "Solve for dy/dx",
            "expression": "dy/dx = -2 · x / (2 · y)",
            "explanation": "Move the independent-variable derivative to the other side and divide by the dependent-variable derivative."
          }
        ]
      }
    },
    {
      "id": "B05",
      "operation": "derivative",
      "expression": "x^2*y^3",
      "variables": {
        "variable": "y"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": null,
      "approach": null,
      "direction": null,
      "expected_behavior": "computed_or_honest_coverage_limit",
      "reference_result": "3*x^2*y^2",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "computed",
      "observed_result": "3 · x ^ 2 · y ^ 2",
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "x ^ 2 · y ^ 3",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dy(x ^ 2) = (2) · (x) ^ (1) · (0)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the power rule",
          "expression": "d/dy(y ^ 3) = (3) · (y) ^ (2) · (1)",
          "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
          "rule": "power rule"
        },
        {
          "title": "Apply the product rule",
          "expression": "(u · v)' = u' · v + u · v'",
          "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
          "rule": "product rule"
        },
        {
          "title": "Simplify the derivative",
          "expression": "3 · x ^ 2 · y ^ 2",
          "explanation": "Combine constants and remove neutral terms."
        }
      ],
      "verification_status": "verified",
      "product_verified": true,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "inconclusive",
      "step_completeness": "inconclusive",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 399.0605000000014,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:28.782Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "success",
        "operation": "derivative",
        "input": "x^2*y^3",
        "result": "3 · x ^ 2 · y ^ 2",
        "expansionOmitted": false,
        "verified": true,
        "verificationStatus": "verified",
        "verification": "Recomputed independently with the deterministic rule tree.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "x ^ 2 · y ^ 3",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dy(x ^ 2) = (2) · (x) ^ (1) · (0)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the power rule",
            "expression": "d/dy(y ^ 3) = (3) · (y) ^ (2) · (1)",
            "explanation": "Bring the exponent down, subtract one from it, and multiply by the inner derivative.",
            "rule": "power rule"
          },
          {
            "title": "Apply the product rule",
            "expression": "(u · v)' = u' · v + u · v'",
            "explanation": "Differentiate one factor at a time while keeping the other factor unchanged.",
            "rule": "product rule"
          },
          {
            "title": "Simplify the derivative",
            "expression": "3 · x ^ 2 · y ^ 2",
            "explanation": "Combine constants and remove neutral terms."
          }
        ]
      }
    },
    {
      "id": "B06",
      "operation": "integral",
      "expression": "1/x^2",
      "variables": {
        "variable": "x",
        "lowerBound": "-1",
        "upperBound": "1"
      },
      "assumptions": [
        "real variables"
      ],
      "bounds": {
        "lower": "-1",
        "upper": "1"
      },
      "approach": null,
      "direction": null,
      "expected_behavior": "honest_rejection_or_nonfinite",
      "reference_result": "DIVERGENT",
      "support_claim_before_run": "declared_in_methodology_or_example_catalog",
      "observed_outcome": "unsupported",
      "observed_result": null,
      "steps": [
        {
          "title": "Parse the expression safely",
          "expression": "1 / x ^ 2",
          "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
        },
        {
          "title": "Use the power rule for integrals",
          "expression": "∫x ^ -2 dx",
          "explanation": "Increase the exponent by one and divide by the new exponent.",
          "rule": "power rule"
        }
      ],
      "verification_status": "computed",
      "product_verified": false,
      "check_method": "Independent numeric parser + hand-derived reference identities; finite differences for antiderivatives. Domain/rule assertions. NOT formal proof.",
      "reference_check": "pass",
      "check_detail": "",
      "step_check": "not_run",
      "step_completeness": "not_run",
      "domain_check": "pass",
      "usage_behavior": {
        "status": "NOT_RUN",
        "reason": "Pure engine has no quota/billing; isolated HTTP test recorded separately"
      },
      "runtime_ms": 492.84400000000096,
      "test_environment": "LOCAL_PURE_ENGINE",
      "engine_revision": "3861320efdfb5937c64ea40669f5095cdefb3527",
      "captured_at": "2026-10-10T17:53:29.275Z",
      "evidence_paths": [
        "math/results.2026-10-10T17-53-17-034Z.json"
      ],
      "actual_response": {
        "status": "unsupported",
        "operation": "integral",
        "input": "1/x^2",
        "verified": false,
        "verification": "The integrand is not finite and continuous across the requested interval.",
        "steps": [
          {
            "title": "Parse the expression safely",
            "expression": "1 / x ^ 2",
            "explanation": "CalculusMate accepted only recognized mathematical tokens and functions."
          },
          {
            "title": "Use the power rule for integrals",
            "expression": "∫x ^ -2 dx",
            "explanation": "Increase the exponent by one and divide by the new exponent.",
            "rule": "power rule"
          }
        ],
        "error": {
          "code": "discontinuous_integrand",
          "message": "The integration interval crosses a point where the integrand is undefined or discontinuous."
        }
      }
    }
  ]
}