Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e
Final release and retained boundaries
Final release and retained boundaries · lines 1765–1857
{}1.14
| Object | Status | Exact boundary |
|---|---|---|
| Object | Status | Exact boundary |
| Free product on | Constructed, inherited | Relative IX-Free-2 premise; unchanged old restriction |
| Both free associations of this word | Constructed, inherited | Through , not arbitrary-triple associativity |
| Evaluated, inherited | No causal normalization follows | |
| Causal-interface lists | Completed | Requirements, not product constructions |
| Configuration-support bounds | Proved | Not retarded argument-slot support |
| Constructed-word scalar non-lift | Proved | Excludes a causal definition by numerical renaming |
| Free-coherence/causal separation | Proved | An algebraic nonimplication, not a no-go theorem |
| Simultaneous zero source-contact prescription | Proved obstructed under stated hypotheses | Only the prescription in Assumption ass:source |
| Conditional unnormalized subtraction | Proved implication | Time-ordering hypotheses remain undischarged |
| Normalized order audit | Proved | Order-three numerator determines quotient through order two |
| Sharp | Unresolved | No time-ordered extension constructed |
| Sharp normalized | Unresolved | No unconditional subtraction or normalization released |
| Sharp | Unresolved | Higher time ordering and intermediate domains absent |
| General free-domain enlargement | Unclaimed | No intermediate-closure or nonexistence assertion |
| F9a | Inherited on named families | No global causal continuity statement |
| F9b and quantum hypocontinuity | Unclaimed | No promotion from algebraic descent or F9a |
| G2-compatible switched construction | Unresolved; not begun | Original first-order witness boundary retained |
| Global interacting algebra | Outside this construction | No realization claimed |