{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.03654","arxiv_id":"2605.03654","integrity":{"available":true,"endpoint":"/pith/2605.03654/integrity.json","summary":{"critical":0,"advisory":2,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":0,"advisory":2,"informational":0}}},"clean":false,"detectors_run":[{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T13:36:48.236075Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T00:31:21.711421Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T15:07:44.381714Z","findings_count":2}],"findings":[{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-24605-3\\_37) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-540-24605-3\\_37","detected_arxiv_id":null,"ref_index":9,"audited_at":"2026-05-19T15:07:44.381714Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/11499107\\_5) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/11499107\\_5","detected_arxiv_id":null,"ref_index":8,"audited_at":"2026-05-19T15:07:44.381714Z"}],"snapshot_sha256":"f7d5ccc2d4cec49ee88ab76cdf110fefa08810f63916799e5c9d08bd6a6c1f31"},"events":[{"event_id":1786,"event_type":"pith.integrity.v1","payload_sha256":"761c53465d3346954267eb34760d18b95c8826f0d2671ce9617d0148c4581038","signature_b64":"qrUEdFmAmD//FePU0kUvgwmvfiuQe6dPRIPT0z1U4Z7J8+VVpFX4iUCYY1RDW3bvsVatAiyBuWBxQhjc2GngBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T15:12:09.458345+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-24605-3\\_37) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Niklas E´ en and Niklas S¨ orensson. An extensible sat-solver. In Enrico Giunchiglia and Armando Tacchella, editors,Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Mar- gherita Ligure, Italy,","arxiv_id":"2605.03654","detector":"doi_compliance","evidence":{"ref_index":9,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Niklas E´ en and Niklas S¨ orensson. An extensible sat-solver. In Enrico Giunchiglia and Armando Tacchella, editors,Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Mar- gherita Ligure, Italy,","reconstructed_doi":"10.1007/978-3-540-24605-3\\_37"},"severity":"advisory","ref_index":9,"audited_at":"2026-05-19T15:07:44.381714Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-540-24605-3\\_37","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"30d8a59ab0bd09e7428d0a03ebaae7d0e93485da888f21a334a089538f2cba36","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":1785,"event_type":"pith.integrity.v1","payload_sha256":"dd233cfdb779cd6da15ffb227e2329ad58e36f734e8fd7d0db744f87fcdf8c80","signature_b64":"YLnUY4VPCjpoeTq+UNm0Dt8BSV51b6N1gIy4CPi2etxBBmNnMihfm7SQH7AT7QAl2p8kiRqF/npl/Tvf3LPCBg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T15:12:09.456763+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/11499107\\_5) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Niklas E´ en and Armin Biere. Effective preprocessing in SAT through vari- able and clause elimination. In Fahiem Bacchus and Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Confer- ence, SAT 2005, ","arxiv_id":"2605.03654","detector":"doi_compliance","evidence":{"ref_index":8,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Niklas E´ en and Armin Biere. Effective preprocessing in SAT through vari- able and clause elimination. In Fahiem Bacchus and Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Confer- ence, SAT 2005, ","reconstructed_doi":"10.1007/11499107\\_5"},"severity":"advisory","ref_index":8,"audited_at":"2026-05-19T15:07:44.381714Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/11499107\\_5","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"0645ac226d7528c0415f6071fd89ae35e8fca2631b673eb705c711b5fe34482c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.03654/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}