{
 "experiment": "symbolic_checks_sympy",
 "timestamp_utc": "2026-11-01T05:41:53+00:00",
 "command": "theory/elliptic_curves/symbolic_checks.py",
 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",
 "seed": null,
 "host": {
  "hostname": "MacBookPro-de-simon-pierre-2.local",
  "os": "Darwin 27.0.0 (27.0)",
  "machine": "arm64",
  "python": "3.12.13",
  "cpu": "Apple M5 Max",
  "cores": 18,
  "ram_gb": 48.0
 },
 "software": {
  "numpy": "2.5.4",
  "scipy": "1.18.1",
  "sympy": "1.14.0",
  "gmpy2": "2.3.2",
  "z3": "5.3.3",
  "pysat": "1.9.dev17",
  "ecdsa": "0.19.2",
  "coincurve": "21.0.0"
 },
 "params": {
  "sympy": "1.14.0"
 },
 "measurements": {
  "S1_formulas_preserve_curve": true,
  "S2_phi_is_endomorphism": true,
  "S3_xonly_differential_addition": true,
  "S4_semaev_S3_polynomial": true,
  "S5_ecdsa_malleability_scalars": true,
  "S6_schnorr_correctness_scalars": true
 },
 "elapsed_s": 0.178
}