{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.18980","arxiv_id":"2605.18980","integrity":{"available":true,"endpoint":"/pith/2605.18980/integrity.json","summary":{"critical":1,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":1,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-21T00:33:05.031637Z","findings_count":2},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-21T00:31:30.607817Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-21T00:22:17.200894Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T00:33:31.694753Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-05-20T00:22:00.298242Z","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.1016/j.jsc.2021.03.005.Magron) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1016/j.jsc.2021.03.005.Magron","detected_arxiv_id":null,"ref_index":10,"audited_at":"2026-05-20T00:31:00.868290Z"},{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.1016/s0022-4049(01' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detected_doi":"10.1016/s0022-4049(01","detected_arxiv_id":null,"ref_index":16,"audited_at":"2026-05-20T00:31:00.868290Z"}],"snapshot_sha256":"6e07936db7ddf862661bdeb8ea039daee0abf3c0f409668c3b8721bc404b292d"},"events":[{"event_id":3839,"event_type":"pith.integrity.v1","payload_sha256":"8757483c45457ff3091cf8cf4ad25aff84003dd8aa6546ff5ea0edddf0dd1c7e","signature_b64":"u7Lf5tconoExUnzNh8lJ2Nk4d/GUOXfFQoXOs/ZwhL2xKL0xfR2J38E09epwV1Stvw6rTH2PcklBd3J1S3icAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-20T00:32:29.393990+00:00","payload":{"note":"Identifier '10.1016/s0022-4049(01' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"URL:https://www.sciencedirect.com/science/article/pii/ S002240490100041X, doi:https://doi.org/10.1016/S0022-4049(01) 00041-X. Singh, G., Gehr, T., Mirman, M., Püschel, M., Vechev, M.,","arxiv_id":"2605.18980","detector":"doi_compliance","evidence":{"doi":"10.1016/s0022-4049(01","arxiv_id":null,"ref_index":16,"raw_excerpt":"URL:https://www.sciencedirect.com/science/article/pii/ S002240490100041X, doi:https://doi.org/10.1016/S0022-4049(01) 00041-X. Singh, G., Gehr, T., Mirman, M., Püschel, M., Vechev, M.,","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":16,"audited_at":"2026-05-20T00:31:00.868290Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/s0022-4049(01","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"f38f579d0005a8d977c0b8d3a7875d6b65371d793e8bffb045302254d4eac035","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":3838,"event_type":"pith.integrity.v1","payload_sha256":"68c9ab6a87d7846d9d5ac8ff5821efa9e5b1e28b32f4133bdfb8f213545b1b15","signature_b64":"IvXkfAfjKHO97WxumiR8cw+L6oGs95wKKx1U7Y/B/KKe3Z6pR7Dt04+Ljg0FXs7lQRvr1Vl+6o9bntviFRGyAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-20T00:32:29.391228+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.jsc.2021.03.005.Magron) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"On exact reznick, hilbert-artin and putinar’s representations. Journal of Symbolic Computation 107, 221–250. URL:https://www.sciencedirect.com/science/article/ pii/S0747717121000249, doi:https://doi.org/10.1016/j.jsc.2021. 03.005. Magron, V","arxiv_id":"2605.18980","detector":"doi_compliance","evidence":{"ref_index":10,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"On exact reznick, hilbert-artin and putinar’s representations. Journal of Symbolic Computation 107, 221–250. URL:https://www.sciencedirect.com/science/article/ pii/S0747717121000249, doi:https://doi.org/10.1016/j.jsc.2021. 03.005. Magron, V","reconstructed_doi":"10.1016/j.jsc.2021.03.005.Magron"},"severity":"advisory","ref_index":10,"audited_at":"2026-05-20T00:31:00.868290Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/j.jsc.2021.03.005.Magron","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"7f8ad4b8385513ac4abb10ad4d61b95182bd90bf8866c1129c421ad7fc146628","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.18980/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}