pub enum DeclaredExportStatus {
Current,
Missing,
Stale {
stamped: String,
current: String,
},
KindMismatch {
declared: String,
stamped: String,
},
Unreadable(String),
}Expand description
The verdict for ONE declared export (clause 3).
Variants§
Current
The stamp names the layer the pin resolves to, by the declared adapter.
Missing
The declared directory carries no stamp — never generated, deleted, or not a varve export at all.
This is a FAILURE, not a warning. “I forgot to generate it” and “it is stale” are the same severity to anyone relying on the export, and distinguishing them mainly helps the person who made the mistake.
Stale
The stamp was produced from a different layer than the pin now resolves.
KindMismatch
The directory was produced by a DIFFERENT adapter than the one declared.
A cargo declaration checked against a vsix stamp would otherwise
pass on freshness while the declared thing was never produced at all.
Unreadable(String)
The stamp exists but could not be read or parsed. Distinct from
Missing, because “re-run the export” is not the fix for a permissions
fault or a truncated file.