add alignment_checker

Cargo.toml

@@ -50,6 +50,7 @@ hex = { version = "*" }
 toml_edit = { version = "*" }
 
 syn = { version = "2", features = ["full", "extra-traits"] }
+verus_syn = { git = "https://github.com/verus-lang/verus.git", features = ["full", "parsing", "printing", "clone-impls"] }
 quote = { version = "*" }
 proc-macro2 = { version = "*" }
 

README.md

@@ -22,6 +22,13 @@ pre-commit = "run --manifest-path dv/Cargo.toml --bin pre_commit --"
 cargo dv verify --targets <target1> <target2> ...
 ```
 
+To check exec API alignment against an anchor repository, use the integrated
+alignment checker:
+
+```bash
+cargo dv alignment-check -i [path/to/config/toml]
+```
+
 Optionally, if you want to use the pre-commit hook, you can add the rusty-hook to your project:
 
 ```bash
@@ -37,4 +44,3 @@ pre-commit = "cargo pre-commit"
 [logging]
 verbose = true
 ```
-

src/alignment_checker.rs

@@ -0,0 +1,29 @@
+#[path = "alignment_checker_check.rs"]
+mod check;
+#[path = "alignment_checker_cli.rs"]
+pub mod cli;
+#[path = "alignment_checker_index.rs"]
+mod index;
+
+pub use check::CheckSummary;
+
+pub fn check_consistency(args: &cli::Args) -> anyhow::Result<CheckSummary> {
+    let loaded_config = cli::LoadedConfig::from_path(&args.input)?;
+    loaded_config.check_consistency()
+}
+
+pub fn plural(count: usize) -> &'static str {
+    if count == 1 {
+        ""
+    } else {
+        "s"
+    }
+}
+
+pub fn entry_plural(count: usize) -> &'static str {
+    if count == 1 {
+        "y"
+    } else {
+        "ies"
+    }
+}