{
  "date": "2026-10-02",
  "command": "make docs-check-external",
  "exit_code": 2,
  "scope": "Assembled current/historical books; access failures remain explicit. Local and pinned Git targets passed separately. No TLS bypass or new ignore patterns added.",
  "books": {
    "docs": {
      "status_counts": {
        "ignored": 872,
        "unchecked": 142,
        "working": 45,
        "broken": 4,
        "redirected": 20
      },
      "failures": [
        {
          "filename": "implementation/euf.md",
          "lineno": 272,
          "status": "broken",
          "code": 0,
          "uri": "https://disi.unitn.it/rseba/papers/JSAT-2007.pdf",
          "info": "HTTPSConnectionPool(host='disi.unitn.it', port=443): Max retries exceeded with url: /rseba/papers/JSAT-2007.pdf (Caused by SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c:1018)')))",
          "classification": "certificate-verification"
        },
        {
          "filename": "references.md",
          "lineno": 1,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.15168/11572_368265",
          "info": "403 Client Error: Forbidden for url: https://iris.unitn.it/handle/11572/368265",
          "classification": "http-403"
        },
        {
          "filename": "implementation/combination.md",
          "lineno": 694,
          "status": "broken",
          "code": 0,
          "uri": "https://iris.unitn.it/handle/11572/368265",
          "info": "403 Client Error: Forbidden for url: https://iris.unitn.it/handle/11572/368265",
          "classification": "http-403"
        },
        {
          "filename": "implementation/combination.md",
          "lineno": 696,
          "status": "broken",
          "code": 0,
          "uri": "https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955",
          "info": "403 Client Error: Forbidden for url: https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955",
          "classification": "http-403"
        }
      ]
    },
    "docs-history": {
      "status_counts": {
        "ignored": 67,
        "unchecked": 77,
        "redirected": 58,
        "working": 105,
        "broken": 13
      },
      "failures": [
        {
          "filename": "literature.md",
          "lineno": 338,
          "status": "broken",
          "code": 0,
          "uri": "https://disi.unitn.it/rseba/papers/JSAT-2007.pdf",
          "info": "HTTPSConnectionPool(host='disi.unitn.it', port=443): Max retries exceeded with url: /rseba/papers/JSAT-2007.pdf (Caused by SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c:1018)')))",
          "classification": "certificate-verification"
        },
        {
          "filename": "quantifiers.md",
          "lineno": 1086,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1145/1017472.1017477",
          "info": "403 Client Error: Forbidden for url: https://dl.acm.org/doi/10.1145/1017472.1017477",
          "classification": "http-403"
        },
        {
          "filename": "references.md",
          "lineno": 1,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1145/1670412.1670413",
          "info": "403 Client Error: Forbidden for url: https://dl.acm.org/doi/10.1145/1670412.1670413",
          "classification": "http-403"
        },
        {
          "filename": "quantifiers.md",
          "lineno": 1090,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1145/3453483.3454088",
          "info": "403 Client Error: Forbidden for url: https://dl.acm.org/doi/10.1145/3453483.3454088",
          "classification": "http-403"
        },
        {
          "filename": "papers/nelson-oppen-closure-methods.md",
          "lineno": 1387,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1145/357073.357079",
          "info": "403 Client Error: Forbidden for url: https://dl.acm.org/doi/10.1145/357073.357079",
          "classification": "http-403"
        },
        {
          "filename": "papers/lra-related-work.md",
          "lineno": 310,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1287/moor.2.2.103",
          "info": "403 Client Error: Forbidden for url: https://pubsonline.informs.org/doi/10.1287/moor.2.2.103",
          "classification": "http-403"
        },
        {
          "filename": "papers/lra-related-work.md",
          "lineno": 449,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.1287/opre.50.1.3.17780",
          "info": "403 Client Error: Forbidden for url: https://pubsonline.informs.org/doi/10.1287/opre.50.1.3.17780",
          "classification": "http-403"
        },
        {
          "filename": "references.md",
          "lineno": 1,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.15168/11572_368265",
          "info": "403 Client Error: Forbidden for url: https://iris.unitn.it/handle/11572/368265",
          "classification": "http-403"
        },
        {
          "filename": "qf-lra-heuristics.md",
          "lineno": 1083,
          "status": "broken",
          "code": 0,
          "uri": "https://doi.org/10.3233/SAT190034",
          "info": "403 Client Error: Forbidden for url: https://journals.sagepub.com/doi/full/10.3233/SAT190034",
          "classification": "http-403"
        },
        {
          "filename": "lexical-conformance.md",
          "lineno": 171,
          "status": "broken",
          "code": 0,
          "uri": "https://github.com/cvc5/cvc5/blob/f9e5d3c312d9476763dc0afa85ac637da5907d99/test/regress/cli/regress0/parser/issue11763-quoted-dt-cons.smt2",
          "info": "429 Client Error: Too Many Requests for url: https://github.com/cvc5/cvc5/blob/f9e5d3c312d9476763dc0afa85ac637da5907d99/test/regress/cli/regress0/parser/issue11763-quoted-dt-cons.smt2",
          "classification": "http-429"
        },
        {
          "filename": "lexical-conformance.md",
          "lineno": 171,
          "status": "broken",
          "code": 0,
          "uri": "https://github.com/cvc5/cvc5/blob/f9e5d3c312d9476763dc0afa85ac637da5907d99/test/regress/cli/regress0/parser/non-std-char.smt2",
          "info": "429 Client Error: Too Many Requests for url: https://github.com/cvc5/cvc5/blob/f9e5d3c312d9476763dc0afa85ac637da5907d99/test/regress/cli/regress0/parser/non-std-char.smt2",
          "classification": "http-429"
        },
        {
          "filename": "references.md",
          "lineno": 1,
          "status": "broken",
          "code": 0,
          "uri": "https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955",
          "info": "403 Client Error: Forbidden for url: https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955",
          "classification": "http-403"
        },
        {
          "filename": "papers/nelson-oppen-closure-methods.md",
          "lineno": 1391,
          "status": "broken",
          "code": 0,
          "uri": "https://www.sciencedirect.com/science/article/pii/0304397580900596",
          "info": "403 Client Error: Forbidden for url: https://www.sciencedirect.com/science/article/pii/0304397580900596",
          "classification": "http-403"
        }
      ]
    }
  }
}