λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XI-D@1 · XI-D.tex · section · 994a5c1b

Gate verdict

D1–D2: the admission interface › Gate verdict · lines 635–647

Back to manuscript

The finite-rank mismatch proves that XI-B's existing operations alone do not perform admission. Proposition prop:shadow settles an inconsistent off-shell interpretation. Neither fact constructs the on-shell admission of Definition def:interface, and neither excludes every such admission.

Accordingly, D1–D2 end at Unresolved. This is the governing release status.