{
  "title": "Marked-point modules and central nilpotents at roots of unity",
  "author": "Zhenyu Sun",
  "description": "Exact computational support; commands are run from the source archive root.",
  "tested_environment": {
    "Python": "3.12.14",
    "numpy": "2.3.5",
    "sympy": "1.14.0",
    "python-flint": "0.9.0"
  },
  "install": "python -m pip install numpy==2.3.5 sympy==1.14.0 python-flint==0.9.0",
  "verify": [
    "python anc/code/verify_marked_data.py anc/data/exact_*.json",
    "python anc/code/verify_quiver.py",
    "python anc/code/certify_c3_image.py --out-dir recomputed",
    "python anc/code/certify_c3_image.py --include-inverse --out-dir recomputed"
  ],
  "expected_images": [
    {
      "dimension": 328,
      "closure_products": 656
    },
    {
      "dimension": 397,
      "closure_products": 794
    }
  ],
  "scope": "The scripts verify finite calculations. The all-size theorem relies on the paper proof. The quiver-to-image identification additionally uses the cited Loewy structures.",
  "source_package": "Adapted from the reviewed signed v2 package. Changes are limited to reproduction paths, installation instructions, command typography, and the verifier usage example; mathematical content and computational algorithms are unchanged."
}