So, we've surfaced a disagreement, because I
don't think you need something like taint tracking. I think the security boundary between an LLM context that takes untrusted data (from, e.g., tickets) and a sensitive context (that can, e.g., make database queries) is essentially no different than the boundary between the GET/POST args in a web app and a SQL query.
It's not a trivial boundary, but it's one we have a very good handle on.