{
  "limitations": [
    "Finite enumeration corroborates but does not prove the unbounded theorems.",
    "No external or specialist review is represented by this audit."
  ],
  "linear_loops": {
    "graph_orbit_value_checks": 1872,
    "infinite_orbit_identity_classification_checks": 16,
    "polynomial_identities_found": 406,
    "polynomial_identity_checks": 965250,
    "strict_three_state_recurrence_checks": 21,
    "vandermonde_rank_checks": 234
  },
  "protocol": "fprd-result-review-independent-audit.v1",
  "result": "pass",
  "scope": [
    "minimum faithful transformation degree",
    "linear-loop polynomial invariants"
  ],
  "transformation_degree": {
    "equal_kernel_cases": 138,
    "group_source_pairs": 40,
    "group_target_degree_checks": 76,
    "hostile_nonunital_restriction_checks": 1,
    "maximum_reachable_paired_values": 48,
    "maximum_shortest_representative_length": 11,
    "paired_kernel_checks": 12409,
    "shortest_representative_bound_checks": 12409,
    "transformation_permutation_agreements": 76
  }
}