Pith. sign in

Paper Integrity Record · LEDGER

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets

As of 11 August 2026, Pith completed 4 of 6 listed checks against arXiv:2608.06820. The completed checks produced 2 public findings within their stated scope. 2 checks were skipped and produced no result.

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

pith.integrity.v1
2608.06820 v1
pith:2026:HEXN2AHQYWHJ55EWCM3FTM7VUV

Coverage vector

completed 4 of 6 listed checks

Counted as completed checks in the claim sentence numerator.

skipped 2 of 6 listed checks

Skipped checks produced no result and say nothing about absence.

Listed checks

doi_title_agreement

completed

v1.0.0, observed 2026-08-11 21:08:29.848399+00:00

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

doi_compliance

completed

v1.1.0, observed 2026-08-11 20:38:18.089983+00:00

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

claim_evidence

completed

v1.0.0, observed 2026-08-11 06:08:16.052022+00:00

Scope
Recorded paper claims checked for the evidence artifacts they name.
Completed surface
Completed within the stated scope.

citation_quote_validity

skipped

v0.1.0, observed 2026-08-10 19:08:48.505386+00:00

Scope
Specific factual attributions checked against cited-paper text available in Pith.
Reason
Paper body text was unavailable.

cited_work_retraction

completed

v1.0.0, observed 2026-08-10 12:08:11.832585+00:00

Scope
Cited references checked for source-reported retractions or expressions of concern.
Completed surface
Completed within the stated scope.

ai_meta_artifact

skipped

v1.0.0, observed 2026-08-10 03:08:41.495306+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.