feat(compact-lint): add the fill-constraints command

.gitignore

@@ -36,6 +36,8 @@ artifacts/
 # compact-compiler's per-source circuit-info cache, written next to the
 # .compact sources it measures.
 .circuit-info.json
+# Except the seeded cache the fill-constraints tests read.
+!crates/compact-lint/tests/fixtures/**/.circuit-info.json
 midnight-level-db
 compactc
 

Cargo.toml

@@ -16,13 +16,15 @@ anyhow = "1.0"
 cc = "1"
 clap = { version = "4.6", features = ["derive", "env"] }
 globset = "0.4"
+portable-pty = "0.9"
 serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"
 thiserror = "2.0"
 toml = "1.1"
 tree-sitter = "0.25"
 compact-tree-sitter = { version = "0.1.0", path = "crates/compact-tree-sitter" }
 tree-sitter-language = "0.1"
+tempfile = "3.27"
 walkdir = "2.5"
 
 assert_cmd = "2.2"
-tempfile = "3.27"

crates/compact-lint/Cargo.toml

@@ -22,7 +22,10 @@ path = "src/main.rs"
 anyhow.workspace = true
 clap.workspace = true
 globset.workspace = true
+portable-pty.workspace = true
 serde.workspace = true
+serde_json.workspace = true
+tempfile.workspace = true
 thiserror.workspace = true
 toml.workspace = true
 tree-sitter.workspace = true
@@ -31,4 +34,3 @@ walkdir.workspace = true
 
 [dev-dependencies]
 assert_cmd.workspace = true
-tempfile.workspace = true