{
  "title": "Scalar certificates accompanying the unitary Weil half-plane paper",
  "scope": "Exact scalar inequalities only, not analytic proof or formal verification of the full endpoint.",
  "files": {
    "complete-certificate.json": "Rational boundary0.8733821,25 conditions,78 Bernstein leaves,23 positive constants.",
    "contact-certificate.json": "Exact boundary(777-sqrt(1081))/852,29 conditions,73 leaves,23 positive constants.",
    "verify_complete.py": "Independent saved-rational-certificate verifier using the standard library.",
    "verify_contact.py": "Independent saved-algebraic-certificate verifier using rational enclosures and the standard library.",
    "certify_complete.py": "SymPy generator for the rational certificate.",
    "certify_contact.py": "SymPy generator for the algebraic certificate; also imports the rational generator."
  },
  "verified_environment": {
    "Python": "3.13.2",
    "SymPy": "1.14.0"
  },
  "verify_from_extracted_root": [
    "python3 anc/verify_complete.py",
    "python3 anc/verify_contact.py"
  ],
  "regenerate_optional": [
    "python3 anc/certify_complete.py",
    "python3 anc/certify_contact.py"
  ],
  "notes": [
    "Run from a writable extracted directory: the scripts write certificates or receipts beside themselves.",
    "Run Python normally, without -O, because assertions implement verification.",
    "No network access or external repository is required.",
    "These files contain no Lean endpoint or tracker admission certificate."
  ]
}