SIE.Preface:4 - The first whole result
The first useful whole is SemanticIntegrationPackage@Use. It is a connected, inspectable set of eight results, not necessarily one file and not necessarily RDF or a graph:
- use contract;
- source manifest;
- correspondence set;
- cross-source identity disposition when it is load-bearing;
- source-qualified claim composition;
- mapping specification;
- realization and interface;
- validation account.
The package references any SIE.3 model qualification on which it relies. Preserve identity premises where the answer depends on them; explain their non-use only when it affects interpretation or later reliance. A package may return explicit conflict or non-comparability. Positive validation requires matching evidence for every load-bearing premise of the claimed whole use or contract-permitted subset.