readback-evidence.json

back to table · edit · history · where entries came from · files · download

853 bytes, as of the version from 2026-10-28 03:22 (current). Recorded here, not run.

{
  "all_passed": true,
  "exact_polynomials": 21,
  "independent_method": "exact interpolation in nu^2 from the Bessel polynomial n-recurrence",
  "independent_polynomial_equalities": 21,
  "half_integer_comparisons": 441,
  "roots_checked_with_both_signs": 420,
  "recurrence_checks": 20,
  "ode_coefficients_vanishing": 20,
  "stored_bessel_polynomials_compared": 21,
  "controls": [
    "y_0=1, y_1=x+1, y_2=3*x^2+3*x+1",
    "interpolation reproduces 1,t,t^2",
    "adding 1/7 to a_20 is detected"
  ],
  "measurements": {
    "entries": 21,
    "longest": 1213,
    "longest_at": 20,
    "block_kb": 9.6376953125
  },
  "sage_version": "10.9",
  "skill_manifest": "agents/runs/20261028T022135Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "values_read_back_from_api": true
}