Skip to main content

codetether_rlm/oracle/tree_sitter_oracle/
verification.rs

1/// Result of tree-sitter oracle verification.
2#[derive(Debug, Clone, PartialEq)]
3pub enum TreeSitterVerification {
4    /// Answer matches AST truth exactly.
5    ExactMatch,
6    /// Answer matches but in different order.
7    UnorderedMatch,
8    /// Answer is a subset of the AST truth.
9    SubsetMatch { claimed: usize, actual: usize },
10    /// Answer contains incorrect claims.
11    HasErrors { errors: Vec<String> },
12    /// Answer is completely different.
13    Mismatch,
14    /// Could not parse or verify the answer.
15    CannotVerify { reason: String },
16}