Validity proves whether a document's commitments can logically coexist — producing cryptographically verifiable proof of consistency or contradiction.
Validity transforms legal documents from interpretive text into formally testable systems. By extracting commitments, encoding them within a constrained logical framework, and solving them using deterministic methods, Validity delivers a definitive outcome: consistent, contradictory, or formally indeterminate.
Even the most sophisticated legal documents are evaluated through review, not verification. Inconsistencies are identified through human interpretation, and assurance is conveyed through opinion.
This model does not scale with complexity.
As documents grow in length, structure, and conditionality, the risk of internal contradiction increases — while the ability to conclusively detect it does not.
Validity applies a four-stage pipeline:
Each stage is fully specified, versioned, and deterministic. Identical inputs under identical configurations produce identical outputs.
Where a commitment cannot be formally represented, Validity does not approximate. It refuses with a structured indeterminacy.
Validity produces a cryptographically signed Proof Object containing:
Every reported contradiction is traceable to:
This enables independent verification without reliance on the originating party.
Within its defined logical fragment, Validity detects:
These are not heuristics. Each is established through formal proof.
Validity does not assess factual truth, regulatory compliance, or commercial reasonableness.
It evaluates only whether the commitments within a document can simultaneously hold within a defined logical system.
Where a claim falls outside this system, it is explicitly classified as UNDERDETERMINED, with a structured explanation. No approximation. No silent omission.
Validity v1 is optimized for investment fund offering documents, where dense conditional structures and investor commitments demand internal consistency.
Every Validity output is bound to:
Proofs are reproducible, comparable across versions, and subject to lifecycle status management — VALID, SUPERSEDED, or REVOKED.
Validity does not interpret what a document means. It proves what it permits.
Contact