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-5573

Issued

18 April 2026 at 15:09:17 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 patient reports sudden-onset crushing substernal chest pain with radiation to the left arm, onset 45 minutes ago. ECG shows ST elevation of 2mm in leads II, III, and aVF, satisfying the AHA criterion of elevation in two or more contiguous leads. Serum troponin I is 2.8 ng/mL against an institutional upper limit of normal of 0.04 ng/mL, confirming acute myocardial injury. The three independent STEMI diagnostic criteria are each satisfied: characteristic symptoms, qualifying ECG changes, and elevated cardiac biomarkers. Therefore, the diagnosis is inferior STEMI and the patient meets the Class I indication for emergent primary PCI via catheterization lab activation.

Independent Verification

certificate urlhttps://prova.cobound.dev/certificate/PROVA-20260418-5573
sha-2565573179cc38fb7d424cd7b285e28ac8a550eab5c71fe1d871e12b40ad86aa3a7

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.