Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Final release and retained boundaries
Final release and retained boundaries · lines 1835–1930
{}1.12
| Release alternative | Outcome | Exact scope |
|---|---|---|
| Constructed | Achieved | Prescribed truncated product on , relative to the stated inherited premises |
| Canonical prescription obstructed | Not the outcome | The prescribed candidate is constructed; no violating relation is exhibited |
| Contract proved obstructed | Not the outcome | No universal no-go theorem is claimed |
| Unresolved required gate | None in this release | F9b and larger-domain constructions are outside the claim, not silently completed |
{}1.12
| Object | Final status | Proof or boundary |
|---|---|---|
| First stages and one-edge outputs | Constructed, inherited | Values unchanged |
| Three two-edge outputs | Constructed, inherited | Existence and admission not reconstructed |
| Constructed, inherited | ||
| Evaluated | Both zero | |
| Four degree-four coefficient maps | Constructed | Actual-functional descent |
| Sharp charge witness | Constructed | Explicit cone-local scalar test |
| Live degree-two overlap | Evaluated | Zero |
| Whole new-domain decomposition | Constructed | Direct sum, including first stages |
| Whole-sum old overlap | Evaluated | Zero by the anchored-domain lemma |
| Evaluated | ||
| One declared partial product | Constructed | , modulo |
| Both sharp associations | Constructed | Selected word through |
| Partial-product involution | Constructed | Dagger-stable declared domain |
| Presentation independence | Constructed | Actual off-shell arguments; boundary terms retained |
| F9a, new test families | Constructed | Named fixed-support Fréchet domains |
| F9b | Unclaimed | No inverse topology estimates |
| Associativity for unspecified triples | Unclaimed | No domain-closure theorem |
| VII-C under (E1)–(E4) | Retained boundary | Not reopened or repaired |
| IX-D and G2 | Closed | Not begun |