TY - RPRT TI - Derivation Depth as an Information Metric: Axioms, Coding Theorems, and Storage--Computation Tradeoffs AU - Jianfeng Xu PY - 2026 UR - https://arxiv.org/abs/2602.19137 ID - 2602.19137 ER -