This document outlines the guarantees and non-guarantees of AILint, including aspects like declaration fidelity, interpretation stability, and limitations on authorship and detection accuracy.