PFP IX: Reviewing Claims Against Code and Evidence

PFP IX: Reviewing Claims Against Code and Evidence Reviewing claims against code and evidence (version 0.1.0, 2026-10-02) presents a review protocol for the Proposal Fidelity Protocol (PFP) series. It connects a claim to its declared inputs, implementation, positive and negative controls, formal assumptions, and execution record. An exact triangle example distinguishes subtracting potential differences, which preserves the cycle sum, from replacing the claims, which changes the input. A retained ten-trial proposer–adversary trace is recounted against historical checker labels: all six refused proposals were challenged, two of four not-refused proposals were challenged, and two received concurrence. These descriptive counts do not establish physical ground truth or a general detection rate. Appendix A examines a historical terminal gate through five probe records in four defect families: input replacement, keyword adjudication, phantom evidence references, and templated receipts. The paper distinguishes the audited failures, source-inspected corrections, and remaining obligations. The standalone package includes the cited historical records with provenance, exact-arithmetic code, an asserted notebook, Lean sources with retained axiom reports, and a Landau quiz, study guide, instructor key, and executable capstone. Fresh recount and notebook execution are distinguished from retained model, gate, and formal verification reports. The paper proposes a review discipline; it reports no measured reviewer effectiveness or general truth detector.