Public registry

Standards

Specifications maintained by legalproof.dev working groups. Drafts are open for public comment; ratified standards are eligible for certification.

6 of 6 standards · 4 working groups

The canonical machine-readable representation of legal reasoning as nodes, edges, claims, facts, authorities, defeaters, and conclusion status.

URN-style stable identifiers for statutes, cases, regulations, contracts, and administrative guidance.

Closed vocabulary of conclusion status codes (definitely_proven, defeasibly_supported, defeated, …).

Rules for reasoning about law as of a given date — supersession, amendment, repeal, retroactivity.

Metadata required to deterministically replay a proof: engine version, knowledge graph version, rulebase version, retrieval trace.

Signed receipts for ProofGraph artifacts with redaction policies; future ZK-compatible.