[executor] charon-executor still missing from workspace members — fourth consecutive PR flagged

[obchain]

Refs #44

File: Cargo.toml (root)

Problem

charon-executor is not in workspace.members. cargo clippy --workspace, cargo test --workspace, cargo fmt --all all silently skip the crate. CLAUDE.md pre-commit gate is blind to executor code.

Flagged in PR #39 (#140), PR #41 (#165), PR #42 (#176). Now fourth consecutive PR. Submit code is the LAST stage before broadcast — uncovered by lint/test enforcement is unacceptable.

Fix

Add "crates/charon-executor" to workspace.members in root Cargo.toml. Verify cargo build --workspace, cargo clippy --workspace, cargo test --workspace all hit the crate.

[obchain]

Verified charon-executor is already declared in the root workspace Cargo.toml (members + workspace.dependencies). Closing as verified.