This paper introduces Tanyuan, a native AI engineering paradigm that grounds mission alignment in formal information-theoretic axioms rather than ad-hoc ethical preferences. Starting from two irreducible fundamental postulates, we derive nine fully formalized core theorems, among which the Logical Desirelessness Theorem mathematically proves truth-seeking silicon agents possess no intrinsic incentive for selfish resource hoarding. We design a dual-engine closed-loop architecture consisting of an