Sigil is a programming language designed for AI agents. Evidentiality markers track data provenance in the type system. 9-layer agent infrastructure for memory, planning, collaboration, and safety.