{
  "status": "PASS",
  "integer_determinants_checked": 3363,
  "synthetic_map_matrix": "[[0,-u],[v,0]], determinant=uv; the map is the Hom generator when gcd(u,v)=1",
  "graph_profiles": "Gamma_m.xi1=1; Gamma_m.xi2=m^2; Gamma_m.Gamma_n=(m-n)^2",
  "scope": "Exact finite diagnostics; no transcendence decision is inferred."
}