Counted as completed checks in the claim sentence numerator.
Paper Integrity Record · LEDGER
How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
As of 5 June 2026, Pith completed 2 of 3 listed checks against arXiv:2606.01107. The completed checks produced no public findings within their stated scope. 1 check was skipped and produced no result.
This is a record of named checks, not a clean-status claim or a paper verdict.
Coverage vector
Skipped checks produced no result and say nothing about absence.
Listed checks
claim_evidence
completedv1.0.0, observed 2026-06-05 17:29:31.135673+00:00
- Scope
- Recorded paper claims checked for the evidence artifacts they name.
- Completed surface
- Completed within the stated scope.
cited_work_retraction
completedv1.0.0, observed 2026-06-04 21:57:36.774535+00:00
- Scope
- Cited references checked for source-reported retractions or expressions of concern.
- Completed surface
- Completed within the stated scope.
ai_meta_artifact
skippedv1.0.0, observed 2026-06-02 04:35:16.320547+00:00
- Scope
- Paper body text scanned for literal AI-assistant artifacts.
- Reason
- Paper body text was unavailable.
Observations
The completed checks produced no public findings within their stated scope.
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.