LinearAutoDestroy: A New Type to Enforce One-Time Use in Code

FullAgenticStack introduces LinearAutoDestroy, a semantic behavior type that automatically destroys values after a single use. This aims to eliminate bugs and security flaws from manual cleanup code like close or destroy. The approach shifts responsibility from programmers to the type system.