Note: This is a prototype for demonstration purposes only and is built with synthetic data.

Release certificate

Issued by Basalt Aero Repair · at://did:plc:hp3sygmhpppz6z7ffozcdptu/dev.cldixon.f8130.release/3mvlh2xhfkv2g

SYNTHETIC
NOT AN AIRWORTHINESS RECORD
FAA/United States
AUTHORIZED RELEASE CERTIFICATE
FAA Form 8130-3 · AIRWORTHINESS APPROVAL TAG
Block 13a — Certifies conformity
withheld — which column certifies is not on the public record
Block 14a — Approval for return to service
withheld — which column certifies is not on the public record

Click any block to fold its leaf up to the published root. Without the bundle only the nine public blocks have values — the rest are committed and withheld.

The record, as published

{
  "$type": "dev.cldixon.f8130.release",
  "issuerDid": "did:plc:hp3sygmhpppz6z7ffozcdptu",
  "commitment": "<32 bytes>",
  "formNumber": "SYNTHETIC81309843",
  "partNumber": "NT744446",
  "signerCert": "SYNTHETICCERT23044",
  "completedAt": "2026-09-15T20:18:00Z",
  "description": "Starter-generator brush assembly",
  "serialNumber": "SN957444",
  "fieldSetVersion": 2,
  "organizationName": "Basalt Aero Repair",
  "approvingAuthority": "FAA/United States",
  "organizationAddress": "1900 Rimrock Drive, Bend, OR 97701"
}
Nine of the seventeen blocks travel here. The rest are committed to and withheld — the commitment covers the whole form either way.

The commitment

root 582d6f77bfad93bac87f3fb57586c042bc695139a82ea630ac33338518ed9b72
You cannot open a leaf from the commitment. It is one-way and inert — not a container, an index, or something you can expand. Its only ability is to answer yes or no to a claim someone else brings you. Paste the bundle below and every leaf becomes computable.

Open it with a bundle

The bundle is what travels with the part: all seventeen values and all seventeen nonces. It is recomputed and discarded — no AppView stores one.

New release certificate Draft

Generating a synthetic 8130-3…