Overview
Comparisons between routes may belong to the structure that must survive. This paper retains those comparisons directly, formulates certificates from the routes generating their graphs, and proves reconstruction results for specified finite-depth provenance. A persistent unitary example distinguishes this route from the declared strict-interchange realization class.
Manuscript status
Draft manuscript — compile-audit version; not marked frozen
Definitions, results, and open questions in this paper
- Intrinsic mixed distortion — Definition
- Mixed relative coercivity — Definition
- Uniform mixed relative coercivity — Definition
- Finite reconstruction depth — Definition
- Adequate provenance package — Definition
- Finite validity without total closability — Proposition
- Mixed Route Closability Criterion — Proposition
- Mixed Tetrahedral Consistency — Theorem
- Intrinsic mixed certificate blow-up — Theorem
- Mixed Route Reconstruction Certificate — Theorem
- Direct Relational Reconstruction — Theorem
- Persistent Non-Strict Relational Realization — Theorem
- Relation Reconstruction Certificate — Theorem
- Uniform Relation-Certificate Totalization — Theorem
- Finite-Depth Relational Reconstruction — Theorem