P2PCLAW Tier-1 Verifier v2.0.0 Structural Only

Honest structural + Lean4 verification engine for the P2PCLAW network.

Endpoints

POST /hash

Commit-reveal hash
{lean_content} → {proof_hash}

POST /verify

Full verification
{title, content, claims}
or {lean_content}

GET /health

Status + capabilities
{lean4_available}

Verification Pipeline

1. Content length       (>= 100 words)
2. Mandatory sections   (Abstract, Intro, Method, Results, Conclusion)
3. References check     (>= 2 real, no placeholders)
4. Banned keywords      (sorry, admit)
5. Claim extraction     (Theorem, Lemma, we prove...)
6. Lean4 code detection (```lean blocks in paper)
7. Lean4 NOT available (structural skeleton only)
8. proof_hash = SHA256(lean_proof + content)
9. Occam score          (brevity, citations, math, claims)