fix(varcon)!: Parse verified/level

crates/varcon-core/src/borrowed.rs

@@ -1,6 +1,8 @@
 #[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
 pub struct Cluster {
     pub header: &'static str,
+    pub verified: bool,
+    pub level: usize,
     pub entries: &'static [Entry],
     pub notes: &'static [&'static str],
 }
@@ -9,6 +11,8 @@ impl Cluster {
     pub fn into_owned(self) -> crate::Cluster {
         crate::Cluster {
             header: self.header.to_owned(),
+            verified: self.verified,
+            level: self.level,
             entries: self.entries.iter().map(|s| s.into_owned()).collect(),
             notes: self.notes.iter().map(|s| (*s).to_owned()).collect(),
         }

crates/varcon-core/src/lib.rs

@@ -13,6 +13,8 @@ pub use crate::parser::ClusterIter;
 #[derive(Clone, PartialEq, Eq, Hash, Debug)]
 pub struct Cluster {
     pub header: String,
+    pub verified: bool,
+    pub level: usize,
     pub entries: Vec<Entry>,
     pub notes: Vec<String>,
 }

crates/varcon-core/src/parser.rs

@@ -54,7 +54,9 @@ A Cv: acknowledgment's / Av B C: acknowledgement's
             str![[r#"
 [
     Cluster {
-        header: "acknowledgment <verified> (level 35)",
+        header: "acknowledgment ",
+        verified: true,
+        level: 35,
         entries: [
             Entry {
                 variants: [
@@ -229,7 +231,9 @@ A Cv: acknowledgment's / Av B C: acknowledgement's
             str![[r#"
 [
     Cluster {
-        header: "acknowledgment <verified> (level 35)",
+        header: "acknowledgment ",
+        verified: true,
+        level: 35,
         entries: [
             Entry {
                 variants: [
@@ -379,7 +383,9 @@ A Cv: acknowledgment's / Av B C: acknowledgement's
         notes: [],
     },
     Cluster {
-        header: "acknowledgment <verified> (level 35)",
+        header: "acknowledgment ",
+        verified: true,
+        level: 35,
         entries: [
             Entry {
                 variants: [
@@ -545,7 +551,11 @@ impl Cluster {
             let header = (
                 "#",
                 winnow::ascii::space0,
-                winnow::ascii::till_line_ending,
+                winnow::token::take_till(1.., ('\r', '\n', '<', '(')),
+                winnow::ascii::space0,
+                opt(("<verified>", winnow::ascii::space0)),
+                delimited("(level ", winnow::ascii::digit1, ')').parse_to::<usize>(),
+                winnow::ascii::space0,
                 winnow::ascii::line_ending,
             );
             let note = preceded(
@@ -562,10 +572,14 @@ impl Cluster {
             );
             let (header, entries, notes): (_, _, Vec<_>) = cluster.parse_next(input)?;
 
+            let verified = header.4.is_some();
+            let level = header.5;
             let header = header.2.to_owned();
             let notes = notes.into_iter().map(|s| s.to_owned()).collect();
             let c = Self {
                 header,
+                verified,
+                level,
                 entries,
                 notes,
             };
@@ -606,7 +620,9 @@ A Cv: acknowledgment's / Av B C: acknowledgement's
             actual.to_debug(),
             str![[r#"
 Cluster {
-    header: "acknowledgment <verified> (level 35)",
+    header: "acknowledgment ",
+    verified: true,
+    level: 35,
     entries: [
         Entry {
             variants: [
@@ -785,7 +801,9 @@ A B C: coloration's / B. Cv: colouration's
             actual.to_debug(),
             str![[r#"
 Cluster {
-    header: "coloration <verified> (level 50)",
+    header: "coloration ",
+    verified: true,
+    level: 50,
     entries: [
         Entry {
             variants: [

crates/varcon/tests/codegen.rs

@@ -36,6 +36,8 @@ fn generate<W: std::io::Write>(file: &mut W) {
         cluster.infer();
         writeln!(file, "Cluster {{").unwrap();
         writeln!(file, "  header: {:?},", cluster.header).unwrap();
+        writeln!(file, "  verified: {:?},", cluster.verified).unwrap();
+        writeln!(file, "  level: {:?},", cluster.level).unwrap();
         writeln!(file, "  entries: &[").unwrap();
         for entry in &cluster.entries {
             writeln!(file, "  Entry {{").unwrap();