λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077

Scope and unchanged legal outcomes

Release contract and fixed target › Scope and unchanged legal outcomes · lines 197–226

Back to manuscript

This manuscript is a commutator-coverage paper. It does not propose a time-ordered construction.

The target inherited from IX-E is a complex-linear actual tensor map

Here “actual” means that tensors are formed from actual functionals, not from unquotiented test-function presentations. The formal parameter is fixed by conjugation.

We retain IX-E's three legal outcomes unchanged:

  1. Constructed: all coefficients exist and every declared interface clause holds on the fixed domain.

  2. Proved obstructed: a contradiction excludes every map satisfying that interface on the fixed domain.

  3. Unresolved: at least one required consistency, extension, admission, contact, continuity, or overlap obligation remains undischarged.

The Constructed outcome is retained for series consistency but is unavailable within the deliberately restricted scope of this paper. A vanishing commutator is not a construction.

Displayed formulas in this passage

  • unlabeled · line 203