{
  "controlled_dyck": {
    "bonding_checks": 1572,
    "bounded_signature_cells": 30392,
    "deep_tail_failure_controls": 256,
    "degree_lowering_action_checks": 11760,
    "two_state_controllers": 64
  },
  "generalized_dyck": {
    "bounded_future_cells": 41516,
    "exact_midpoint_prefixes": 1274,
    "field_rank_checks": 20,
    "identity_minor_cells": 4370
  },
  "rational_learning": {
    "degenerate_presentations_skipped": 1524,
    "exact_2r_reconstructions": 5856,
    "moment_equalities_checked": 56,
    "sharp_finite_difference_families": [
      {
        "first_difference_index": 1,
        "rank": 1,
        "shared_coefficients": 1
      },
      {
        "first_difference_index": 3,
        "rank": 2,
        "shared_coefficients": 3
      },
      {
        "first_difference_index": 5,
        "rank": 3,
        "shared_coefficients": 5
      },
      {
        "first_difference_index": 7,
        "rank": 4,
        "shared_coefficients": 7
      },
      {
        "first_difference_index": 9,
        "rank": 5,
        "shared_coefficients": 9
      },
      {
        "first_difference_index": 11,
        "rank": 6,
        "shared_coefficients": 11
      },
      {
        "first_difference_index": 13,
        "rank": 7,
        "shared_coefficients": 13
      }
    ]
  },
  "status": "pass"
}