Nothing you type here is published. Values stay on this machine, and only commitments and proven claims reach the ledger.
Local circuit server found
attestation-vault-32 · depth 5
DEMO
Sample data for evaluation. Twenty-six fictional vehicles. Pick one and the whole form fills itself, then submit and watch the real circuits accept and refuse.
01
PASSPORT TYPE
slot 30 · passportOrigin
02
DEMONSTRATION VEHICLE
filtered by passport type
Switch to Existing vehicle and the list becomes the five retrofit records, including the odometer-rollback attempt and a written-off car whose clean claims are declined.
Expect
All accepted. A new vehicle proves its four claims by construction: keepers 0, and nothing on the record yet.
03
VEHICLE & IDENTITY
slots 5 · 22–26 · 28
Hashed before registration. Never published.
Becomes the registrar id, so every claim is attributable.
This instance's landing list only.
BEV / PHEV ONLYSlot 29 is the link out to the battery passport. A reference, never a copy of its claims.
04
RECORD AT REGISTRATION
slots 0–4 · rule: never falls
Each field is created under its integrity rule, fixed on the ledger at creation. None of these five may ever fall. Keepers 0 is what says new, never registered.
05
CLAIMS TO PROVE
proveFieldAtMost × 4
A claim the record cannot support aborts during proving and writes nothing. Verification then shows not proven, never a false tick.