TGMS uses plan and evidence contracts to make database-agent plans rejectable and claims checkable
The work proposes two enforceable contracts for LLM agents over databases: a plan contract that statically checks plan structure, result-field references, and grounded identifiers before execution, and an evidence contract that records belief state, completeness, and provenance so claims can be verified; in TGMS, result-field checking turns invalid references into repairable rejections, completeness propagation detects truncated-count failures in all 15 controlled cases, and claim gating leaves none of 199 emitted answers with an unsupported gated claim at the cost of 21 fewer answers.