LIBERO-Para: A Diagnostic Benchmark and Metrics for Paraphrase Robustness in VLA Models | Signal Canvas | ScienceToStartup