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

Release certificate

Issued by Ironwood Aero Services · at://did:plc:mi3p6qthlyyfkfaziontelb3/dev.cldixon.f8130.release/3muy7odrjb52g

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:mi3p6qthlyyfkfaziontelb3",
  "commitment": "<32 bytes>",
  "formNumber": "SYNTHETIC81309646",
  "partNumber": "NT611002",
  "signerCert": "SYNTHETICCERT20418",
  "completedAt": "2026-08-29T04:45:00Z",
  "description": "Engine-driven hydraulic pump",
  "serialNumber": "SN786237",
  "fieldSetVersion": 2,
  "organizationName": "Ironwood Aero Services",
  "approvingAuthority": "FAA/United States",
  "organizationAddress": "9 Hangar Row, Tulsa, OK 74115"
}
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 f8ec7b6d352149ed21439877d35eb33937fade377aa3d37858f4df5debb59a62
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…