III.T12 — Adelic Embedding Theorem

Canonical map τ → 𝔸_τ is injective with dense image. Every τ-object maps to an adelic tuple; the product formula holds. Embeds discrete τ-arithmetic into adelic structure.