Introduction, provenance, and the Enter distinction

proof versus documentary citation. A cited manuscript is a source record, not a blanket axiom. The particular mathematical inputs used below are restated as Assumptions ass:carrier, ass:tensor, and ass:VIID. The conditional conclusions genuinely depend on those assumptions. No claim of an assumption-free reconstruction of the VII-D analysis is made.

boundary. “Neither sharp second multiplication is constructed” means that no such map is defined by this sheet. It does not deny separately versioned later partial-product constructions. IX-C, IX-Free, and IX-Free-2 are documentary successors, not premises, and their releases are not reversed by this adaptation CheungSuccessors.