Counted as completed checks in the claim sentence numerator.
Paper Integrity Record · LEDGER
Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages
As of 4 August 2026, Pith completed 6 of 9 listed checks against arXiv:2607.19693. The completed checks produced 1 public finding within their stated scope. 3 checks were 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
ai_meta_artifact
skippedv1.0.0, observed 2026-08-04 18:09:07.325307+00:00
- Scope
- Paper body text scanned for literal AI-assistant artifacts.
- Reason
- Paper body text was unavailable.
doi_title_agreement
completedv1.0.0, observed 2026-08-03 16:08:54.116925+00:00
- Scope
- Cited titles compared with titles resolved from their DOI or arXiv identifier.
- Completed surface
- Checked 1 reference.
doi_compliance
completedv1.1.0, observed 2026-08-03 12:30:45.089049+00:00
- Scope
- DOI and arXiv identifiers listed in the bibliography checked against named registries.
- Completed surface
- Checked 24 references. Recorded 1 finding from this run.
claim_evidence
completedv1.0.0, observed 2026-07-30 00:31:02.744424+00:00
- Scope
- Recorded paper claims checked for the evidence artifacts they name.
- Completed surface
- Completed within the stated scope.
claim_evidence
completedv1.0.0, observed 2026-07-28 00:12:42.752644+00:00
- Scope
- Recorded paper claims checked for the evidence artifacts they name.
- Completed surface
- Completed within the stated scope.
claim_evidence
completedv1.0.0, observed 2026-07-24 01:09:51.555178+00:00
- Scope
- Recorded paper claims checked for the evidence artifacts they name.
- Completed surface
- Completed within the stated scope.
citation_quote_validity
skippedv0.1.0, observed 2026-07-23 19:57:30.962155+00:00
- Scope
- Specific factual attributions checked against cited-paper text available in Pith.
- Reason
- Paper body text was unavailable.
cited_work_retraction
completedv1.0.0, observed 2026-07-23 12:52:42.941580+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-07-23 00:51:27.962781+00:00
- Scope
- Paper body text scanned for literal AI-assistant artifacts.
- Reason
- Paper body text was unavailable.
Observations
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.