{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.27964","arxiv_id":"2607.27964","integrity":{"available":true,"endpoint":"/pith/2607.27964/integrity.json","summary":{"critical":0,"advisory":6,"informational":0,"by_detector":{"doi_compliance":{"total":6,"critical":0,"advisory":6,"informational":0}}},"clean":false,"detectors_run":[{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-09T01:08:35.939457Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-07T13:09:10.677278Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-07T03:40:21.140966Z","findings_count":6},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-06T00:28:15.660843Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-03T23:38:22.649076Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T22:38:25.057206Z","findings_count":6},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-03T03:48:08.087357Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-08-02T21:08:38.313409Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-08-02T07:08:09.411496Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-31T12:21:15.543754Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-07-31T02:51:30.711765Z","findings_count":0}],"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-662-54458-7_26) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-662-54458-7_26","detected_arxiv_id":null,"ref_index":27,"audited_at":"2026-07-31T22:12:08.299433Z"},{"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.18653/v1/2023.emnlp-main.985) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.18653/v1/2023.emnlp-main.985","detected_arxiv_id":null,"ref_index":12,"audited_at":"2026-07-31T22:12:08.299433Z"},{"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-319-67425-4_12) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-319-67425-4_12","detected_arxiv_id":null,"ref_index":17,"audited_at":"2026-07-31T22:12:08.299433Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.IC.2017.07.010 resolves to 'Undecidability of asynchronous session subtyping'. A reader following the printed text alone cannot reach it.","detected_doi":"10.1016/J.IC.2017.07.010","detected_arxiv_id":null,"ref_index":8,"audited_at":"2026-07-31T22:12:08.299433Z"},{"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-031-37703-7_18) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-031-37703-7_18","detected_arxiv_id":null,"ref_index":14,"audited_at":"2026-07-31T22:12:08.299433Z"},{"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-981-96-0617-7_1) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-981-96-0617-7_1","detected_arxiv_id":null,"ref_index":54,"audited_at":"2026-07-31T22:12:08.299433Z"}],"snapshot_sha256":"304a90dd434252f8f60e8a12cd9dd16ed77166f9e4ca9961694d97540f9b78fb"},"events":[{"event_id":14545,"event_type":"pith.integrity.v1","payload_sha256":"8d51c1e8faed86391a18f9f430e358d568ad0287e0d084e6b76954a09b48a190","signature_b64":"uGBiQTR7G/UcMCvFX2QJTaeKruHMvifY4dj9GIDkU/8/r5oZFnkX13JUtNwCe0zy0Lhw2CD/jdStK6gkCzlYCw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.856127+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-981-96-0617-7_1) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, and Yang Yang. 2024. NL2CTL: Automatic Generation of Formal Requirements Specifi- cations via Large Language Models. InFormal Methods and Software Engineer- ing - 25th Interna","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":54,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-9","reconstructed_doi":"10.1007/978-981-96-0617-7_1"},"severity":"advisory","ref_index":54,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-981-96-0617-7_1","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"e090bbd0b325192bd429cea42eba3f6aa1a72e4bd448145e9ec357beb351a469","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14544,"event_type":"pith.integrity.v1","payload_sha256":"7ceb6e86f485af1844f94648ac4292cb42110e0e987b64ad5f38e1b2b63b6af4","signature_b64":"V63rfqJ7YmTec8Kz5wIMsOgZtqj3aR+t3GMZ1xPI/npFgHF9UnNbA4mhg7pvj9hqA0xIvhHGtMwFjZ2v1gbOAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.850186+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-662-54458-7_26) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Julien Lange and Nobuko Yoshida. 2017. On the Undecidability of Asynchronous Session Subtyping. InFoundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint C","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":27,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-662-","reconstructed_doi":"10.1007/978-3-662-54458-7_26"},"severity":"advisory","ref_index":27,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-662-54458-7_26","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"88d2a81d821838563114845f1c7a6db660003db097c3f987fc8869b74489ac3b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14543,"event_type":"pith.integrity.v1","payload_sha256":"6cbcfd88b9034fa6e4ae037a825b7e51634d4d85afba3b3a3dc78fdded557601","signature_b64":"tAcG0g4HlXKp99rZmjqeA3b2WUPd/qrnk5eWJZrXHAFQVHh9DkcjsPYDdImMQ8vfi8m82AZGpG6BMQTzAqWDCQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.842166+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-67425-4_12) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, and Larisa Safina. 2017. Microservices: Yester- day, Today, and Tomorrow. InPresent and Ulterior Software Engineering, Manuel Ma","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":17,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-319-","reconstructed_doi":"10.1007/978-3-319-67425-4_12"},"severity":"advisory","ref_index":17,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-67425-4_12","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"493d135525d80b42a02370a22f8aa00e865735df5b62dcf79acf973724cf8a8b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14542,"event_type":"pith.integrity.v1","payload_sha256":"cc6612e610f5f7503acecd3add9f5acd70394ea40f83a75a9c4b00f5ff410096","signature_b64":"MrDwS5q8t0pzeQtyywZfbHQVuWdWNQpPrzOjISHeeTq3uaOukI62L1KiYJR1aUAY4rS9cFDODOkU1JaUnhHPAw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.836278+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-37703-7_18) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. 2023. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. InComputer Aided Verification -","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":14,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-031-","reconstructed_doi":"10.1007/978-3-031-37703-7_18"},"severity":"advisory","ref_index":14,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-031-37703-7_18","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8e1a8c6d0458f65678989f9e98e5c56c801afa5904af277179779f7d07b35bb3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14541,"event_type":"pith.integrity.v1","payload_sha256":"87fa49d5cb6f25d3a7be37fb4f62e3c4ddccb2e0b7a76cdf2c2198ad28778ba7","signature_b64":"Uqhoq2GKYHZcGqc59SPB/JmAcuQM1Ssp5CbPOz22yNo5kmEAdnyyNfLIKWSw9zfWsVEAmJdrL7nTe1annNv6BA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.789214+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18653/v1/2023.emnlp-main.985) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Yongchao Chen, Rujul Gandhi, Yang Zhang, and Chuchu Fan. 2023. NL2TL: Trans- forming Natural Languages to Temporal Logics using Large Language Models. InProceedings of the 2023 Conference on Empirical Methods in Natural Language Processing,","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":12,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.18653/v1/2023.emnlp-","reconstructed_doi":"10.18653/v1/2023.emnlp-main.985"},"severity":"advisory","ref_index":12,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.18653/v1/2023.emnlp-main.985","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"5aae46e8608906c3fca3037ba16ff5e471907a96cada81486d1356b42404c635","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14540,"event_type":"pith.integrity.v1","payload_sha256":"5b22674bac10840c738dce1a21555f6327bdf132ead40be7148ba06d5e5d5433","signature_b64":"OKDzgHxGB8eCelbpsqPGDhVW3hFIO2D/IkS76cgRUuDnktKF9UKSv8zcSKj5R8WMzQJ8FBjfmjqr1720R8yjBQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-31T22:16:23.781609+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.IC.2017.07.010 resolves to 'Undecidability of asynchronous session subtyping'. A reader following the printed text alone cannot reach it.","snippet":"Mario Bravetti, Marco Carbone, and Gianluigi Zavattaro. 2017. Undecidability of asynchronous session subtyping.Inf. Comput.256 (2017), 300–320. doi:10.1016/J. IC.2017.07.010","arxiv_id":"2607.27964","detector":"doi_compliance","evidence":{"ref_index":8,"verdict_class":"incontrovertible","resolved_title":"Undecidability of asynchronous session subtyping","printed_excerpt":"10.1016/j","reconstructed_doi":"10.1016/J.IC.2017.07.010"},"severity":"advisory","ref_index":8,"audited_at":"2026-07-31T22:12:08.299433Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/J.IC.2017.07.010","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d153d042806911e3f380aa50f3840286407ff762083a17783b23da0e5e0db230","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Undecidability of asynchronous session subtyping","detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.27964/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}