stored-evidence.json

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

1201 bytes, as of the version from 2026-10-28 17:16 (current). Recorded here, not run.

{
  "table": "T586",
  "entries": 303,
  "product_checks": 303,
  "parity_checks": 303,
  "gram_identity_checks": 202,
  "gram_sign_failures": [
    126,
    134,
    195
  ],
  "stationary_endpoint_certificates": 100,
  "mpmath_checks": {
    "125_digits": 303,
    "155_digits": 303
  },
  "shifted_intervals_rejected": 606,
  "controls": "passed",
  "min_independent_product_accuracy_bits": 452,
  "measure": {
    "entries": 303,
    "longest": 104,
    "longest_at": "gram:62",
    "block_kb": 42.62890625
  },
  "cover": {
    "count": 100,
    "endpoint": "233",
    "cover_bits": 96,
    "leaf_counts": {
      "origin": 1,
      "monotone-exclude": 5150,
      "exclude": 20945,
      "root": 100
    },
    "leaves_sha256": "7d3f73b0126a8fd09f520f455c6ad39bd84e2a54e1b6a336e1dcedd28a995132",
    "origin_second_derivative": "[5.5 +/- 0.0428]",
    "origin_endpoint": "1/1024"
  },
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "mpmath": "1.4.1",
    "flint": "3.4.0"
  },
  "seconds": 122.08199000358582,
  "policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}