scripts/verify_all.py

#!/usr/bin/env python3
"""Phase 2: SBCL verification of macro expansions.

Usage: python3 scripts/verify_all.py [--tier tier1] [--library alexandria] [--max-calls 100]
"""

from __future__ import annotations

import sys
from pathlib import Path

sys.path.insert(0, str(Path(__file__).parent.parent / "src"))

from cl_macros.verif.batch_verifier import BatchVerifier


def main():
    import argparse
    ap = argparse.ArgumentParser()
    ap.add_argument("--tier", default="tier1")
    ap.add_argument("--library", default=None)
    ap.add_argument("--max-calls", type=int, default=100)
    args = ap.parse_args()

    bv = BatchVerifier()

    if args.library:
        summary = bv.verify_library(args.library, args.max_calls)
        print(f"\nDone: {summary}")
    else:
        manifest = bv.verify_all(args.tier, args.max_calls)
        print(f"\n{'='*60}")
        print("PHASE 2 COMPLETE")
        print(f"  Total verified: {manifest['total_verified']}")
        print(f"  Total failed: {manifest['total_failed']}")


if __name__ == "__main__":
    main()