PROVA
Pricing
Sign inSTART FREE
PROVA

Formally verified AI reasoning. Every completion arrives with a certificate of logical validity or a precise diagnosis of failure.

H1(K;Z) = 0 iff argument is structurally valid.

Product
  • Verify
  • Gateway
  • Workflows
  • Models
  • Routing
  • Pricing
Solutions
  • For CCOs
  • Healthcare
  • Financial Services
  • Legal
  • Organizations
Proof
  • Benchmark
  • Trust Center
  • DPA
  • Subprocessors
  • Policies
  • security.txt
Developers
  • Documentation
  • Certificate Guide
  • Integrations
  • API Reference ↗
  • GitHub ↗
  • Embed Badge
Company
  • Book a demo
  • Compare
  • Sign in
  • Start free
  • Contact ↗
  • cobound.dev ↗

© 2026 Cobound · Compliance-ready for EU AI Act, FDA AI guidance, and SEC algorithmic audit.

v1.0.0TrustPolicies

Certificate

PROVA-20260418-0325

Issued

18 April 2026 at 15:09:33 UTC

✓VALID

confidence

100/100

prova

v1.0.0

validator

v0.1.0

prompt

v1

proof theater →embed badge →download pdf →dispute result

Argument Graph

Drag nodes to explore. Hover for full claim text. All dependencies are structurally sound.

premiseclaimconclusion

Original Reasoning Chain

The contract contains a non-compete clause barring the employee from joining a direct competitor within 50 miles for 24 months following termination. Under Delaware law, such clauses are enforceable when three requirements are met: the restriction must protect a legitimate business interest; its geographic and temporal scope must be reasonable; and the employee must have received adequate consideration at signing. Here, the clause protects proprietary trading algorithms and client relationships, both recognized as legitimate interests under Delaware precedent. A 50-mile radius and 24-month duration fall within the range courts have upheld for senior engineers with direct access to trade secrets. The employee received a $50,000 signing bonus at contract execution, constituting sufficient consideration. All three requirements are independently satisfied; the non-compete clause is enforceable.

Independent Verification

certificate urlhttps://prova.cobound.dev/certificate/PROVA-20260418-0325
sha-25603259a6ca9f96ddf25248cbcd570bf98e8dedda8b5ed9ab1bb2b321eec684355

Recompute the SHA-256 over timestamp + verdict + confidence_score + argument_graph + failure to verify this certificate has not been modified since issuance.

Scope of certification: This certificate verifies logical structure only. It does not verify factual accuracy, ethical appropriateness, regulatory compliance, or fitness for purpose. A structurally valid argument may still reach incorrect conclusions from false premises. A structurally invalid argument may accidentally reach a correct conclusion.