Integrity report for FVSpec: Real-World Property-Based Tests as Lean Challenges

A machine-verified record of the checks Pith has run against this paper: detector runs, findings, signed bundle events, and canonical identifiers.

arXiv:2606.01008 · pith:2026:AIJZ3GNRPTMF4KEMJ6MQOQY2HT

0Critical

0Advisory

3Detectors run

2026-06-05Last checked

Paper page arXiv integrity.json bundle.json

Detector runs

claim_evidence completed v1.0.0 · findings 0 · 2026-06-05 19:29:32.946789+00:00

cited_work_retraction completed v1.0.0 · findings 0 · 2026-06-04 22:27:38.298468+00:00

ai_meta_artifact skipped v1.0.0 · findings 0 · 2026-06-02 01:35:13.430094+00:00

Findings

No public integrity findings for this paper.

Signed record

The machine-readable record for this paper lives at /pith/AIJZ3GNRPTMF4KEMJ6MQOQY2HT/integrity.json. Pith Number bundles also include signed pith.integrity.v1 events where a Pith Number exists.