Jian Lin—Theorem Compendium (1–7)v2

This compendium consolidates seven DOI-canonical theorems into a single audit-ready document. The chain establishes an asymmetric security law for anchor-dependent intelligent agents (CEIT and extensions), a necessity principle for external anchoring under telomere-style ordinal bounds (TEANT), a non-interference preservation theorem (NIPT), a deterministic earliest-failure terminal adjudication soundness theorem (EFTS), and a final closure theorem (CDCT) proving existence and uniqueness of a terminal certificate hash as a deterministic function of committed policy and hash-addressed evidence.