E.5 Excluded inferences
On this page · Permalink · Source line 112
The following boundaries are retained from the release's failure register. They are part of the closed scope, not a promise to finish every exploratory route.
Semantic elimination curvature. Exact existential eliminations commute. A nonzero semantic commutator cannot be asserted for those exact operators.
Expanded-state counting. Exponentially many residuals or obstruction descriptions can arise from a small circuit. The number of expanded objects is not their shared construction cost.
Small-case equality. Agreement of affine-optimized one-packet and complete-cover degrees through four inputs does not extend to all sizes. Chapter 16 gives an exact separating family.
Free homogeneous extraction. A projected grade may have greater nonlinear cost than the whole and can fail to remain safe. Chapter 17 keeps the input length and total affine cost explicit.
Unrestricted gluing. The exponential dimension theorem applies to a fixed faithful linear multiplicative map. It does not exclude succinct, nonlinear, or context-dependent algorithms.
Context-free trace multiplication. The disjoint-variable product rule fails at shared witness variables. A short expression containing an extraction operator is not an efficient implementation of that extraction.