Tool Safety
The paper does not claim to provide automatic side-effect analysis for classifying tools. Tools are manually classified as safe or unsafe based on side effects. Read-only tools can safely execute early because discarded observations do not…
1 sources - 4 claims
The paper does not claim to provide automatic side-effect analysis for classifying tools. Tools are manually classified as safe or unsafe based on side effects. Read-only tools can safely execute early because discarded observations do not change external state. Unsafe tools can modify state irreversibly, so classification correctness is essential.