Manuscript XV-A@1 · XV-A.tex · definition · f53f3515
Definition: Audit status
Evidence, terminology, and model signatures › What was supplied · lines 613–628
A ledger entry is:
constructed if the relevant object is supplied on its declared domain;
proved obstructed if a stated theorem excludes the required property in a specified frozen class;
unresolved if the required construction or exclusion has not been established in the supplied record;
a copied input if XV-A uses it as a predecessor result rather than proving it independently.
The fourth designation is a provenance designation, not a competing mathematical outcome. Thus a copied input may report a constructed, obstructed, or unresolved source outcome.