{
  "subject": "AGNT Labs Technical Report IV",
  "subject_sha256": "179f954ca9cd3d06e150842b682fe839a94e27552d9f42b2ba1cc1c26ccd8fed",
  "date": "2026-07-22",
  "proofkit_verification_id": "pv_mrvbqobt_283e13ab61",
  "verdicts": {
    "algebraic_theorem": "PASS",
    "classification_and_inverse": "PASS",
    "published_manuscript": "MAJOR_CORRECTION_REQUIRED",
    "historical_novelty": "NO_EXACT_ANTECEDENT_LOCATED_NOT_PRIORITY_PROOF",
    "infinity_bridge": "NOT_ESTABLISHED"
  },
  "proof_obligations": {
    "O1": "PASS",
    "O2": "PASS",
    "O3": "PASS",
    "O4": "PASS",
    "O5": "PASS",
    "O6": "PASS"
  },
  "material_defects": [
    {
      "id": "D1",
      "severity": "material",
      "claim": "The displayed unswapped map commutes with diag(zeta,1).",
      "status": "FALSE",
      "repair": "Use distinct source/target representations or swap target coordinates."
    },
    {
      "id": "D2",
      "severity": "minor",
      "claim": "The m orbit points constitute a collision for all m>=1.",
      "status": "FALSE_AT_M_EQUALS_1",
      "repair": "State the collision interpretation for m>=2."
    },
    {
      "id": "D3",
      "severity": "material_context",
      "claim": "Miyanishi directly controls the pure cyclic pseudoreflection class for even m.",
      "status": "NOT_ESTABLISHED",
      "repair": "State the small-group hypothesis and explain the trivial residual quotient."
    }
  ],
  "independent_checks": {
    "low_degree_exact_systems": 130,
    "low_degree_solutions": 0,
    "weighted_edge_exact_rational_checks": 500,
    "formal_series_counterexample": "B=-1 for A=1+t, Phi=1/(1+t)"
  },
  "traces": [
    "bcfbd98e-7a93-4abe-8ea9-77231dd7e1be",
    "c923400e-9f43-4706-9d9e-ef9fb1d9df1d",
    "273626f0-88e9-4df6-9cf5-a9dc904243c1",
    "ce0b4c26-248c-4a2b-8924-59f4b4499283",
    "d3e1f6e0-34d4-4688-8274-fda331170050",
    "79fbf738-2c96-4926-945d-bed0aa37d6fd",
    "8829af4a-c473-4d53-8daf-975ea5925b27"
  ]
}