The model excludes semantic planning errors, read-side anomalies, security and policy violations, tool-contract misclassification, most intra-execution effect ordering, and liveness failures. · CiteArk
The model excludes semantic planning errors, read-side anomalies, security and policy violations, tool-contract misclassification, most intra-execution effect ordering, and liveness failures.
来源：paper:PDF p. 7, Section 3.3; Markdown block p7-b69
