readback-evidence.json

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

4273 bytes, as of the version from 2026-11-01 11:37 (current). Recorded here, not run.

{
  "table": "T647",
  "skill_manifest": "../20261101T092014Z-build-skills/manifest.json",
  "rows": [
    {
      "n": 3,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 4,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 5,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 6,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 7,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 8,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 9,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 10,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 11,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 12,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 13,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 14,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 15,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 16,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 17,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 18,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 19,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 20,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 21,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    },
    {
      "n": 22,
      "product_ball_contained": true,
      "independent_recursion_contained": true,
      "quadrature_roundings_contain_stored_intervals_at_60_and_90_significant_digits": true
    }
  ],
  "stored_recursion_identities": 18,
  "negative_control_passed": true
}