Manuscript Psy02-B@2 · Psy02-B-v2.tex · definition · cfd06e2e
Definition: Source-alignment certificate
Source sufficiency and the complete construction ledger · lines 2597–2610
Psy02-B@2#def:alignment
An exact inherited application of an interface theorem requires:
versioned complete sources and byte-level artifact identification;
every defining density, tensor, operator, support condition, topology, and equivalence relation;
an explicit notation translation;
verification of the theorem's hypotheses on those objects;
no unrecorded change of coefficient, field space, regulator, or ambiguity class.
A summary of a source's conclusion is not such a certificate.