Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Copied interfaces
Release alternatives and inherited contract › Copied interfaces · lines 540–583
{}1.12
| Object | Entering status | Present obligation |
|---|---|---|
| First stages and one-edge outputs | Constructed, inherited | Retain their values |
| Two-edge outputs and admission | Constructed in IX-Free | Use, do not reconstruct |
| , degree-two maps | Constructed in IX-Free | Overlap agreement |
| Evaluated as | Do not reopen | |
| Concrete, unevaluated | Evaluate the kernels | |
| Degree-four coefficients | Values admitted; descent open | Actual-functional descent |
| Live degree-two intersection | Unevaluated | Separate its factors |
| Old and sum-domain overlaps | Unevaluated | Simultaneous gluing |
| F9a | Constructed for inherited families | Extend to degree-four families |
| F9b | Unclaimed | No assertion here |