Validate Lean code generation

READ-ONLY validation of the Lean4 CPG across ALL contexts (single-file, multi-file packages, stress,

Adversarial pre-commit validation across multiple crates with structured findings.

• · results array (structured JSON)

• · Claude agent (sub-LLM orchestration)
• · Workflow parallel execution

• · Source data is read-only
• · Node.js runtime required

• · Sub-agent panic or build failure

• · Explicit output schema defined (structured result)
• · Multi-phase orchestration with explicit flow names
• · Explicit parallelization with concurrency guard
• · Git-based state inspection (authoritative)
• · Explicit dependency declaration