ReadonlycontractThe declaring contract's display name, resolved from Contract Model.
ReadonlydaysDays remaining as of the run that produced this evidence; negative when already expired.
Readonlyexpiredtrue when daysRemaining is negative -- the deadline has already passed.
ReadonlyexpiresThe raw ISO date string, exactly as declared -- never reformatted.
ReadonlyexportReadonlyfileRoot-relative, POSIX-separated path of the declaring contract.
Readonlykeyundefined for a contract-level expiry, set for a per-variable one.
ReadonlyownerEffective owner, so a reader knows who to chase without a second lookup.
ReadonlyrefreshHow to obtain a replacement value, if the declaration says.
One contract- or variable-level
expiresAtinside the configured window.