README.md

metadata

title: LCERT Certificate Verifier
emoji: 🔏
colorFrom: indigo
colorTo: green
sdk: static
app_file: index.html
pinned: false
license: apache-2.0
short_description: Verify a certificate in your browser. Nothing is uploaded.
tags:
  - verification
  - formal-methods
  - eda
  - certificates

LCERT Certificate Verifier

Drop a certificate on this page. Get a verdict in milliseconds. Nothing is uploaded.

This Space is fully static — the verifier is plain JavaScript running in your tab. No server sees your data, and you can pull the network cable and it still works.

Try it in 30 seconds

Press a forged verdict 😈. The certificate is byte-for-byte valid except that its recorded outcome is a lie — and the page catches it, naming the field:

[clip_a] recorded interval_admit=false but re-derived true

Then press a valid ADMIT certificate to see the other outcome, or drop a bundle directory of your own.

Why the verdict can be trusted

The verdict is recomputed from the certificate's own numbers, never read from it. The per-locus interval arithmetic uses only correctly rounded IEEE-754 operations, so this browser implementation is bit-identical to the Python reference — a property measured by a 90-check conformance suite, not asserted.

What is not checked

The physics. This confirms a certificate is internally consistent, untampered, and that its verdict follows from its own numbers. Whether those numbers describe your design needs sound enclosures over physical models — a separate commercial product.

The rest of the toolkit

lcert-verify	The Python reference this browser build is checked against.
lcert-verify-web	The source of this page.
equiv-receipt	Prove two circuits equivalent, with a re-checkable receipt.
prereg-seal	Seal acceptance criteria before you measure.
cert-atlas	The 21 forgeries this verifier is scored against.
📊 The atlas dataset	Browse the forgeries.

Where the free edition stops

This page checks a certificate. It does not produce one that is physically meaningful — that needs sound enclosures over real process models, which is a separate commercial product.

Apache-2.0.