PR: #26 (feat/01-scaffold-workspace)
Commit: cb1a5eb
File: crates/charon-cli/Cargo.toml — [dependencies] section absent
Problem: charon-cli is the binary entrypoint. Needs tokio, clap, anyhow, tracing-subscriber, charon-core on first logic PR. All five are declared in [workspace.dependencies] — author clearly intended them for CLI. [workspace.dependencies] lists charon-core as path dep; design expects CLI to consume core, but relationship not wired in manifest.
Fix: Add to crates/charon-cli/Cargo.toml:
[dependencies]
tokio = { workspace = true }
clap = { workspace = true }
anyhow = { workspace = true }
tracing = { workspace = true }
tracing-subscriber = { workspace = true }
charon-core = { workspace = true }
Makes next feature PR pure logic addition, not manifest change.
PR: #26 (feat/01-scaffold-workspace)
Commit: cb1a5eb
File: crates/charon-cli/Cargo.toml —
[dependencies]section absentProblem: charon-cli is the binary entrypoint. Needs tokio, clap, anyhow, tracing-subscriber, charon-core on first logic PR. All five are declared in
[workspace.dependencies]— author clearly intended them for CLI.[workspace.dependencies]lists charon-core as path dep; design expects CLI to consume core, but relationship not wired in manifest.Fix: Add to crates/charon-cli/Cargo.toml:
Makes next feature PR pure logic addition, not manifest change.