Skip to main content
v1.0.0
ready

Public alpha standing

This browser app is the public alpha verifier surface. It links a real public manifest and runs synthetic local verification samples separately. Current standing remains blocked_not_release_green.

Public manifestPUBLIC_PROOFBUNDLE_MANIFEST_20260516.json
Reference recordexamples/public_alpha_manifest_reference_20260516.json
Latest bridge sequence2741
Bridge head SHA-2566DDCAB5EAF95B4E71F66FDA8B5FFDA8E182D35EFBA5E8DE274E1824B2FA6EFC2
Indexed proof corpus13,236 files; 189 audit exceptions remain
Real manifest load status
pending

Make a receipt

Choose what kind of claim this is, bind the facts it depends on, and create a local cryptographic receipt.

Templates define the checks. They do not ask anyone to trust the claim.
Show technical JSON
These fields are locked into the receipt. Changing a field changes the outcome.
More options
Encoded as base64url and embedded in the bundle.
Atoms: equals, in, range, present, before, after, within, expired, not_expired, age_lt, age_gt, within_last, within_next.
If set, verification requires the supplied context JSON to match this sealed digest commitment.
ISO 8601 UTC. Past expiration = out-of-bounds.

Verify a ProofBundle

Drop a bundle or paste a verification package. Everything runs locally: schema, canonical digest, signature, context boundary, lineage, and policy checks.

  1. Load a bundle plus public key and context, or use one package.
  2. Run local verification. No network call is made.
  3. Read the verdict. A valid receipt is not release authorization.
Drop a .pbundle, .json verification package, or bundle file here
One-piece verification package
Packages keep the bundle, public key, context, selected profile, and parents together for non-expert verification.
Required for PB-LINEAGE-1 when refs are present. Parent refs resolve by parent_id and parent_digest.

Inspect a bundle

Decode and display structure without verifying.

Implementation standing

This browser artifact is synchronized to the v1.0.0-alpha.1 conformance-manifest-sync lane. Closed for this lane. Open to governed evolution. It verifies bundles locally, records that the 300-vector corpus exists, blocks false proof-standing inheritance, declares the operative manifest scope, keeps the release gate closed, and states the current implementation matrix: Python 300/300, TypeScript 300/300 verified, Rust near-green with a context-commitment blocker, and Go patched but unverified.

Closure receipt

Closed for this lane. Open to governed evolution. The current closure is descriptive, hash-checkable, and blocked for release. It does not claim formal proof closure.

Claim libraries

Reusable claim classes. Load a template, then bind it to local policy, context, keys, and parent bundles.

Lineage chain

Visualize parent references and verify the chain.

Paste bundles separated by blank lines. The first is the leaf; subsequent are parents.

Hash-conditioned successor

Seal a successor whose payload is conditioned on a parent bundle and whose refs point back to that parent.

Runtime checks

Executable implementation checks and receipts. Passing here does not close formal proof obligations.

Registry

v1.0.0 algorithm, outcome, profile, claim-class, and adapter registry. This page does not claim formal proof closure.

Algorithms

Profiles and outcomes

Conformance and proof standing

Algorithm Registry

Supported digest and signature algorithms. This panel does not claim formal proof closure.

Digest algorithms

AlgorithmKindStatusCapability
SHA-256digestsupportedNIST FIPS 180-4, 256-bit
SHA-384digestsupportedNIST FIPS 180-4, 384-bit
SHA-512digestsupportedNIST FIPS 180-4, 512-bit
SHA3-256digestsupportedNIST FIPS 202, 256-bit
SHA3-384digestsupportedNIST FIPS 202, 384-bit
SHA3-512digestsupportedNIST FIPS 202, 512-bit
BLAKE3digestsupported128-bit security, parallel
BLAKE2bdigestsupportedUp to 512-bit output
BLAKE2sdigestsupportedUp to 256-bit output

Signature algorithms

AlgorithmKindStatusCapability
Ed25519signaturesupportedEdDSA, 128-bit security
ECDSA-P256signaturesupportedNIST P-256 curve
ECDSA-P384signaturesupportedNIST P-384 curve
ECDSA-P521signaturesupportedNIST P-521 curve
RSA-PSS-2048signaturesupportedRSA-PSS, 2048-bit modulus
RSA-PSS-3072signaturesupportedRSA-PSS, 3072-bit modulus
RSA-PSS-4096signaturesupportedRSA-PSS, 4096-bit modulus
Dilithium2signaturesupportedML-DSA-44, NIST PQC
Falcon512signaturesupportedNIST PQC, fast verification
SPHINCS+-256signaturesupportedHash-based, stateless

1097-Vector Conformance Ledger

Conformance vectors covering the eleven verifier outcomes. Tally chips show current counts.

verified invalid-signature malformed out-of-bounds lineage-invalid resource-exhausted policy-denied unknown-version missing-side-info expired
#profileexpecteddigestsignaturevariant
1coreverifiedSHA-256Ed25519canonical
2coreinvalid-signatureSHA-256Ed25519flipped-bit
3coremalformedSHA-256Ed25519truncated
4boundaryout-of-boundsSHA-384ECDSA-P256future-date
5lineagelineage-invalidSHA-512ECDSA-P384missing-parent
6policypolicy-deniedBLAKE3ECDSA-P521deny-rule
7resourceresource-exhaustedBLAKE2bRSA-PSS-2048deep-nesting
8versionunknown-versionBLAKE2sRSA-PSS-3072future-version

EU AI Act Compliance (Regulation (EU) 2024/1689)

Interactive compliance worksheet. This browser view is informative and does not constitute legal advice.

Applicability timeline

Regulation entry into force2 August 2024
Prohibited practices deadline2 February 2025
General provisions and GPAI2 August 2025
High-risk systems (Annex III)2 August 2026
High-risk systems (Annex II)2 August 2027

Article 10 compliance vector

AI-BOM

AI Bill of Materials: list training data, models, and upstream artifacts.


  
  

  
Article 50(2) machine-readable marking