[
  {
    "input": {
      "schema": "finite-field-scalar-scan-v1",
      "p": 101,
      "polynomial": [
        2,
        3,
        1
      ],
      "separator": [
        0,
        1
      ],
      "trial_limit": 101
    },
    "report": {
      "status": "proper_divisor_verified",
      "factorization_verified": false,
      "trials": 100,
      "scalar": 99,
      "divisor": [
        2,
        1
      ],
      "cofactor": [
        1,
        1
      ],
      "separator": [
        0,
        1
      ],
      "interpretation": "One supplied separator, not a complete factorization algorithm",
      "work_charged": 982,
      "limits": {
        "prime_max": 2147483647,
        "degree_max": 64,
        "work_limit": 2000000
      },
      "scope": "Conventional exact finite-field checks; no source large-characteristic backend or proof acceptance"
    },
    "scan_seconds": 0.0005160419968888164,
    "sympy_version": "1.13.1",
    "sympy_factor_seconds": [
      0.00015004198940005153,
      0.00014254098641686141,
      0.00011324998922646046
    ],
    "comparison": "Three tiny illustrations, not a general performance benchmark; separator is supplied"
  },
  {
    "input": {
      "schema": "finite-field-scalar-scan-v1",
      "p": 1009,
      "polynomial": [
        2,
        3,
        1
      ],
      "separator": [
        0,
        1
      ],
      "trial_limit": 1009
    },
    "report": {
      "status": "proper_divisor_verified",
      "factorization_verified": false,
      "trials": 1008,
      "scalar": 1007,
      "divisor": [
        2,
        1
      ],
      "cofactor": [
        1,
        1
      ],
      "separator": [
        0,
        1
      ],
      "interpretation": "One supplied separator, not a complete factorization algorithm",
      "work_charged": 9207,
      "limits": {
        "prime_max": 2147483647,
        "degree_max": 64,
        "work_limit": 2000000
      },
      "scope": "Conventional exact finite-field checks; no source large-characteristic backend or proof acceptance"
    },
    "scan_seconds": 0.004995708994101733,
    "sympy_version": "1.13.1",
    "sympy_factor_seconds": [
      0.00021425000159069896,
      0.00016770799993537366,
      0.00021241699869278818
    ],
    "comparison": "Three tiny illustrations, not a general performance benchmark; separator is supplied"
  },
  {
    "input": {
      "schema": "finite-field-scalar-scan-v1",
      "p": 65537,
      "polynomial": [
        2,
        3,
        1
      ],
      "separator": [
        0,
        1
      ],
      "trial_limit": 256
    },
    "report": {
      "status": "unknown_trial_limit",
      "factorization_verified": false,
      "trials": 256,
      "separator": [
        0,
        1
      ],
      "interpretation": "No divisor found within this scan; not an irreducibility conclusion",
      "work_charged": 2489,
      "limits": {
        "prime_max": 2147483647,
        "degree_max": 64,
        "work_limit": 2000000
      },
      "scope": "Conventional exact finite-field checks; no source large-characteristic backend or proof acceptance"
    },
    "scan_seconds": 0.0013706249883398414,
    "sympy_version": "1.13.1",
    "sympy_factor_seconds": [
      0.0001424999936716631,
      0.0001401250046910718,
      0.00028399999428074807
    ],
    "comparison": "Three tiny illustrations, not a general performance benchmark; separator is supplied"
  }
]