Merge pull request #275 from bonilokesh/fix/property-replay-usage-docs

docs: align property-replay usage with CLI and document --all mode

Author: StepenkoAnatoli

research-kit/README.md

@@ -494,7 +494,8 @@ node research-kit/bin/path-authority.mjs          conform | validate
 node research-kit/bin/ledger-conformance.mjs      --vectors <packet.json> --json
 node research-kit/bin/fi-sidecar-conformance.mjs  --vectors <packet.json> --json
 node research-kit/bin/property-vector-conformance.mjs --vectors <packet.json> --json
-node research-kit/bin/property-replay.mjs         --case <case-id>
+node research-kit/bin/property-replay.mjs         --case <property-regression.json> [--json]
+node research-kit/bin/property-replay.mjs         --all [--directory <property-regressions>] [--json]
 ```
 
 Status maps to exit code — `PASS` 0, `FAIL`/`REOPEN` 1, `INCOMPLETE` 2, `BLOCKED` 3 — and

research-kit/test/property-replay.test.mjs

@@ -84,4 +84,7 @@ test('property-replay CLI documents its read-only replay modes', () => {
   assertEqual(run.status, 0, run.stderr || run.stdout);
   assert(run.stdout.includes('--case <property-regression.json>'), run.stdout);
   assert(run.stdout.includes('--all [--directory <property-regressions>]'), run.stdout);
+  const readme = fs.readFileSync(path.join(ROOT, 'README.md'), 'utf8');
+  assert(readme.includes('--case <property-regression.json> [--json]'), 'README documents --case');
+  assert(readme.includes('--all [--directory <property-regressions>] [--json]'), 'README documents --all');
 });