KAIROS SWEEP — Optimize all RTL blocks in a directory

USAGE:
  kairos sweep <rtl_dir>

WHAT IT DOES:
  Walks a directory of RTL files and runs the full optimize pipeline on
  each block: propose area improvements, formally verify equivalence,
  and measure gate savings. Prints a per-block summary when done.

EXAMPLES:
  kairos sweep ./rtl/
  kairos sweep ./src/verilog --max-proposals 5 --timeout 900
  kairos sweep ./blocks --max-blocks 10

COMMON OPTIONS:
  --max-proposals N   Proposals per block (default 3)
  --timeout SECS      Timeout per block in seconds (default 600)
  --max-blocks N      Limit number of blocks to process

SEE ALSO:
  kairos optimize  Optimize a single block
  kairos doctor    Check your setup
  kairos helper    List all topics
