Notes, mostly on systems, verification, and faithful LLM systems—the data of my thoughts. Some are half-formed; that is the point.