Purpose, sources, and the layer distinction

The supplied manuscripts address different objects:

CONE.

085VvBp1.tex studies finite instrument networks, the order-theoretic and metric cone, semantic refinement, foliation independence, and conditional continuum and dynamical statements CheungCONE.

STEN.

085VvBp2.tex proposes changing word metrics with increasingly dense directional stencils and supplies the main geometric construction CheungSTEN.

TRANSPORT.

085VvBp3.tex proposes a five-part transport argument, a relational outcome-law limit, a tail-limit algebra, and a concrete Poincare action CheungTRANSPORT.

En05-A.

The supplied comparison separates complete snapshots, channels, adjoint support, residual response, and device closure CheungEn05A.

These are source records, not automatic theorem premises. The results asserted here are either proved below or explicitly conditional on displayed hypotheses. In particular, a missing mathematical argument is not repaired by describing it as awaiting machine verification.

The designation of this synthesis is En06-A, superseding the working designation En05-B used in the supplied combination plan.