pub fn verify_generated(target_id: &str, code: &str) -> Result<(), String>Expand description
Deterministic, provider-free verification of generated target code.
Minimum bar for D.5: non-empty + balanced brackets outside string
literals / line comments. Full per-target parser integration is future
work — it would live in TargetProfile and invoke each target’s
toolchain when bock build --verify is on.
Python is indentation-sensitive and doesn’t carry {}, so bracket
balancing is skipped for that target; only the emptiness check runs.
§Errors
Returns Err(message) with a human-readable reason when verification
fails.