Paper Integrity Record · LEDGER

Neural Decision-Propagation for Answer Set Programming

As of 20 May 2026, Pith completed 3 of 3 listed checks against arXiv:2605.01797. The completed checks produced 2 public findings within their stated scope.

This is a record of named checks, not a clean-status claim or a paper verdict.

pith.integrity.v1
2605.01797 v2
pith:2026:XYYQ35M6QISLFGVCFOVWULA3HT

Coverage vector

completed 3 of 3 listed checks

Counted as completed checks in the claim sentence numerator.

Listed checks

ai_meta_artifact

completed

v1.0.0, observed 2026-05-20 17:35:56.431865+00:00

Scope: Paper body text scanned for literal AI-assistant artifacts.
Completed surface: Checked 1 reference.

doi_title_agreement

completed

v1.0.0, observed 2026-05-20 05:01:22.689447+00:00

Scope: Cited titles compared with titles resolved from their DOI or arXiv identifier.
Completed surface: Checked 27 references.

doi_compliance

completed

v1.0.0, observed 2026-05-19 16:58:34.590334+00:00

Scope: DOI and arXiv identifiers listed in the bibliography checked against named registries.
Completed surface: Checked 41 references. Recorded 2 findings from this run.

Observations

advisory doi_compliance · recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-24599-5\_17) was visible in the surrounding text but could not be confirmed against doi.org as printed.

ref #36 · 2026-05-19 16:58:34.590334+00:00

Finding detail Try DOI

advisory doi_compliance · recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-28633-2\_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.

ref #17 · 2026-05-19 16:58:34.590334+00:00

Finding detail Try DOI

Methods and limits

Each listed check names the surface it examined. A skipped, failed, partial, unavailable, not collected, not requested, or withheld check says nothing about what a completed check would have returned.

Only checks with status completed enter the claim sentence numerator.
Findings appear only from completed checks and only within the scope printed for that check.
Severity labels describe one observation row. They do not roll up into a paper judgment.