Counted as completed checks in the claim sentence numerator.
Paper Integrity Record · LEDGER
An Improved Upper Bound for the Bilu-Linial Conjecture via Interlacing Families
As of 19 July 2026, Pith completed 6 of 6 listed checks against arXiv:2606.28797. The completed checks produced no public findings within their stated scope.
This is a record of named checks, not a clean-status claim or a paper verdict.
Coverage vector
Listed checks
ai_meta_artifact
completedv1.0.0, observed 2026-07-19 21:00:29.118690+00:00
- Scope
- Paper body text scanned for literal AI-assistant artifacts.
- Completed surface
- Checked 1 reference.
doi_compliance
completedv1.0.0, observed 2026-07-13 07:50:52.766502+00:00
- Scope
- DOI and arXiv identifiers listed in the bibliography checked against named registries.
- Completed surface
- Checked 2 references.
doi_title_agreement
completedv1.0.0, observed 2026-07-12 07:02:01.997298+00:00
- Scope
- Cited titles compared with titles resolved from their DOI or arXiv identifier.
- Completed surface
- Completed within the stated scope.
claim_evidence
completedv1.0.0, observed 2026-07-10 03:22:16.469950+00:00
- Scope
- Recorded paper claims checked for the evidence artifacts they name.
- Completed surface
- Completed within the stated scope.
doi_title_agreement
completedv1.0.0, observed 2026-07-09 19:01:03.525628+00:00
- Scope
- Cited titles compared with titles resolved from their DOI or arXiv identifier.
- Completed surface
- Checked 5 references.
doi_compliance
completedv1.0.0, observed 2026-07-09 13:14:35.295434+00:00
- Scope
- DOI and arXiv identifiers listed in the bibliography checked against named registries.
- Completed surface
- Checked 1 reference.
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.