{
  "date": "2026-10-02",
  "baseline": "8c76deb",
  "scope": "Current and historical books; external targets checked separately from local/Git links. No solver run. Access failures are not suppressed.",
  "commands": [
    "PRIMO_DOCS_DIR=docs bash scripts/build_docs.sh --all --builder custom --custom-builder linkcheck",
    "PRIMO_DOCS_DIR=docs-history bash scripts/build_docs.sh --all --builder custom --custom-builder linkcheck"
  ],
  "books": {
    "docs": {
      "exit_code": 1,
      "status_counts": {
        "ignored": 891,
        "unchecked": 153,
        "working": 45,
        "broken": 4,
        "redirected": 18,
        "timeout": 2
      },
      "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"
        },
        {
          "filename": "papers/clause-forgetting.md",
          "lineno": 66,
          "status": "timeout",
          "code": 0,
          "uri": "https://doi.org/10.4230/LIPIcs.SAT.2025.14",
          "info": "HTTPSConnectionPool(host='drops.dagstuhl.de', port=443): Read timed out. (read timeout=15)",
          "classification": "timeout"
        },
        {
          "filename": "implementation/dpllt.md",
          "lineno": 371,
          "status": "timeout",
          "code": 0,
          "uri": "https://doi.org/10.4230/LIPIcs.SAT.2023.8",
          "info": "HTTPSConnectionPool(host='drops.dagstuhl.de', port=443): Read timed out. (read timeout=15)",
          "classification": "timeout"
        }
      ]
    },
    "docs-history": {
      "exit_code": 1,
      "status_counts": {
        "ignored": 68,
        "unchecked": 77,
        "working": 105,
        "redirected": 56,
        "broken": 13,
        "timeout": 2
      },
      "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": "papers/yices.md",
          "lineno": 202,
          "status": "broken",
          "code": 0,
          "uri": "https://github.com/arminbiere/cadical/blob/rel-3.0.0/src/cadical.hpp#L1248-L1367",
          "info": "429 Client Error: Too Many Requests for url: https://github.com/arminbiere/cadical/blob/rel-3.0.0/src/cadical.hpp",
          "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/tactic-configuration-evidence.md",
          "lineno": 38,
          "status": "broken",
          "code": 0,
          "uri": "https://web.archive.org/web/20240414123740id_/https://www.inf.utfsm.cl/~ngalvez/strategies.pdf",
          "info": "429 Client Error: Too Many Requests for url: https://web.archive.org/web/20240414123740id_/https://www.inf.utfsm.cl/~ngalvez/strategies.pdf",
          "classification": "http-429"
        },
        {
          "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"
        },
        {
          "filename": "papers/clause-forgetting.md",
          "lineno": 66,
          "status": "timeout",
          "code": 0,
          "uri": "https://doi.org/10.4230/LIPIcs.SAT.2025.14",
          "info": "HTTPSConnectionPool(host='drops.dagstuhl.de', port=443): Read timed out. (read timeout=15)",
          "classification": "timeout"
        },
        {
          "filename": "dpllt.md",
          "lineno": 64,
          "status": "timeout",
          "code": 0,
          "uri": "https://doi.org/10.4230/LIPIcs.SAT.2023.8",
          "info": "HTTPSConnectionPool(host='drops.dagstuhl.de', port=443): Read timed out. (read timeout=15)",
          "classification": "timeout"
        }
      ]
    }
  }
}