Loading the assay ledger
Output
Everything the product knows, in a format you can hand to someone else. Exports carry each assay's seal, every factor with its citation, and the provenance of each external source.
An export of an empty ledger would be a file with nothing in it. Run one assay first and the DownloadIcon becomes a real certificate.
Run an assayProvenance, never dropped
Each source carries its status, upstream identifier, retrieval timestamp and attribution line. A sealed fallback is exported as a fallback and keeps its reason, so a consumer of the file can tell a live measurement from an offline sample without asking the sender.
Seals and replay
Every record exports its chain head and the rule used to derive it. Replay that chain from the exported events and you can confirm independently that no factor was edited after the fact: seal(n) = SHA-384(prevSeal || canonicalJson(event(n))).
Both current and stored grades
Alongside the grade struck at scan time, the export includes what the engine returns under the policy in force right now. Where those differ, the assumption moved, and the file shows it rather than hiding it.
The disclaimer travels with it
Every artifact carries the same statement: this is an engineering measurement from public data, not a penetration test or an audit opinion, and break years are outputs of a stated assumption rather than predictions.
Exports are generated from this session's records only. Nothing is cached publicly and no link grants access to another visitor's ledger.