verifaied 0.2.0.dev31__tar.gz → 0.3.0.dev32__tar.gz

{verifaied-0.2.0.dev31 → verifaied-0.3.0.dev32}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: verifaied
-Version: 0.2.0.dev31
-Summary: Find what's untested in your Python code — locally, no account required
+Version: 0.3.0.dev32
+Summary: Find what's untested in your code — locally, no account required
 Project-URL: Homepage, https://pypi.org/project/verifaied/
 Author: Kyle Richards
 License: MIT License
@@ -40,17 +40,19 @@ Description-Content-Type: text/markdown
 
 # verifaied
 
-Find what's untested in your Python code, so you (or your coding agent) can fix
+Find what's untested in your code, so you (or your coding agent) can fix
 it without waiting for CI.
 
 Two verbs:
 
 - **`verifaied check`** — runs entirely on your machine. No account, no API
-  token, no network call. Tells you which functions are untested or only
-  partially covered, and can hand you a ready-to-paste prompt for each one.
+  token, no network call. Tells you which Python functions are untested or
+  only partially covered, and can hand you a ready-to-paste prompt for each
+  one.
 - **`verifaied upload`** — syncs the same coverage to the [verifAIed](https://verifaied.app)
   app, which adds history, branch diffing against CI, a web UI, and AI-written
-  test prompts. Needs a free account.
+  test prompts. Handles both Python (pytest-cov) and TypeScript/JavaScript
+  (vitest/Istanbul). Needs a free account.
 
 ## Install
 
@@ -78,6 +80,10 @@ verifaied check
 Nothing leaves your machine — the whole analysis is a local AST pass over the
 source `coverage.json` already points at.
 
+`check` is Python-only: it reads pytest-cov's `coverage.json`. Point it at a
+vitest/Istanbul report and it exits with a note to use `verifaied upload`,
+which analyzes TypeScript/JavaScript on the hosted side.
+
 Add `--prompt` to get a concrete, ready-to-paste instruction for each one,
 generated from the function's signature and its uncovered lines (no LLM, no
 cost, unlimited):
@@ -133,17 +139,37 @@ verifaied upload --repo kyle/verifaied        # owner/name slug
 verifaied upload --repo <UUID>                # raw UUID, no lookup
 ```
 
-The CLI reads `coverage.json`, pulls the source for every file it
-references from your working tree, and posts everything to
-`/repositories/<id>/local-coverage`. The response prints a summary of
-untested / partial / failing functions so you (or your LLM) can fix
-them on the next iteration.
+The CLI reads your coverage report(s), pulls the source for every file
+they reference from your working tree, and posts everything to
+`/repositories/<id>/local-coverage`. With no `--coverage` flag it
+auto-discovers the report, looking in order for `./coverage.json`
+(pytest-cov), then `./coverage/coverage-final.json`, then a bare
+`./coverage-final.json` (vitest/Istanbul). Pass `--coverage` one or more
+times to name reports explicitly — repeat it to push Python and
+TypeScript coverage in a single upload; multiple reports merge per
+language on the server. The response prints a summary of untested /
+partial / failing functions so you (or your LLM) can fix them on the
+next iteration.
+
+### What the upload reports
+
+The summary leads with counts so an LLM (or you) sees the deltas first:
+
+- **functions matched** — functions in the uploaded report the analyzer
+  resolved against your source.
+- **functions preserved** — functions retained from a previous upload in
+  another language for the same branch (only shown when non-zero). A
+  Python-only upload never wipes the TypeScript functions a vitest upload
+  recorded on the same branch, and vice versa — the branch's total tracked
+  functions is _matched + preserved_.
+- **untested / partial / failing tests** — what to fix next.
 
 ### What gets uploaded
 
-The CLI only sends files that appear in `coverage.json`'s `"files"`
-map — i.e. exactly the files `pytest --cov` instrumented. There is no
-directory walk and no glob:
+The CLI only sends files that appear in your coverage report — i.e.
+exactly the files your test run instrumented (pytest-cov's `"files"`
+map, or the top-level file keys in an Istanbul `coverage-final.json`).
+There is no directory walk and no glob:
 
 - `.env`, build artefacts, vendored libraries, and anything outside
   your coverage scope are never read.
@@ -169,13 +195,49 @@ expand **Recently deleted** under the branches grid, and use
 to the uploaded source — the per-card **Delete** is a soft-delete that
 keeps the data around for accidental-deletion recovery.
 
+### TypeScript / JavaScript
+
+`upload` ingests vitest/Istanbul coverage the same way it ingests
+pytest-cov's. Generate it with vitest's **Istanbul** provider:
+
+```bash
+npm i -D @vitest/coverage-istanbul
+vitest run --coverage --coverage.provider=istanbul --coverage.reporter=json \
+  --reporter=junit --outputFile.junit=junit.xml
+verifaied upload --junit junit.xml
+```
+
+The Istanbul provider is required. Istanbul applies your source maps, so
+`coverage/coverage-final.json` reports the original `.ts` / `.tsx`
+sources — which is what verifAIed matches function definitions against.
+vitest's default **v8** provider emits a different report shape that
+verifAIed rejects, so `--coverage.provider=istanbul` is not optional. The
+`--reporter=junit --outputFile.junit=junit.xml` flags produce the JUnit
+XML that feeds the failing-tests panel; hand it to the upload with
+`--junit`.
+
+If a report references only compiled output — paths under `dist/`,
+`build/`, `out/`, or `.next/` with no `.ts` / `.tsx` / `.jsx` entries —
+the upload is refused. That's the source-maps-not-applied case: coverage
+landed on bundled JS instead of your sources, and verifAIed can't map it
+back. Switching to the Istanbul provider is the fix.
+
+**Supported formats.** pytest-cov `coverage.json` and Istanbul
+`coverage-final.json` only. LCOV, Cobertura XML, jest's own format, and
+c8 / v8-style JSON are rejected with a clear error naming the two
+supported shapes.
+
 ### `upload` flags
 
 - `--repo / -r <UUID|owner/name>` — repository to upload to. If omitted,
   the CLI auto-detects from the GitHub `origin` remote.
 - `--branch / -b <name>` — branch to attach the upload to (default:
   `git branch --show-current`, then `local`)
-- `--coverage <path>` — path to coverage.json (default: `./coverage.json`)
+- `--coverage <path>` — coverage report to upload. **Repeatable** — pass
+  it once per report to combine Python and TypeScript coverage in one
+  upload. Accepts pytest-cov `coverage.json` and Istanbul
+  `coverage-final.json`. Default: auto-detect `./coverage.json`, then
+  `./coverage/coverage-final.json` (or a bare `./coverage-final.json`).
 - `--junit <path>` — optional JUnit XML for failing-test detail
 - `--commit-sha <sha>` — commit sha for display (default: `git rev-parse HEAD`)
 - `--root <path>` — root the coverage paths are relative to (default: cwd)

{verifaied-0.2.0.dev31 → verifaied-0.3.0.dev32}/README.md

@@ -1,16 +1,18 @@
 # verifaied
 
-Find what's untested in your Python code, so you (or your coding agent) can fix
+Find what's untested in your code, so you (or your coding agent) can fix
 it without waiting for CI.
 
 Two verbs:
 
 - **`verifaied check`** — runs entirely on your machine. No account, no API
-  token, no network call. Tells you which functions are untested or only
-  partially covered, and can hand you a ready-to-paste prompt for each one.
+  token, no network call. Tells you which Python functions are untested or
+  only partially covered, and can hand you a ready-to-paste prompt for each
+  one.
 - **`verifaied upload`** — syncs the same coverage to the [verifAIed](https://verifaied.app)
   app, which adds history, branch diffing against CI, a web UI, and AI-written
-  test prompts. Needs a free account.
+  test prompts. Handles both Python (pytest-cov) and TypeScript/JavaScript
+  (vitest/Istanbul). Needs a free account.
 
 ## Install
 
@@ -38,6 +40,10 @@ verifaied check
 Nothing leaves your machine — the whole analysis is a local AST pass over the
 source `coverage.json` already points at.
 
+`check` is Python-only: it reads pytest-cov's `coverage.json`. Point it at a
+vitest/Istanbul report and it exits with a note to use `verifaied upload`,
+which analyzes TypeScript/JavaScript on the hosted side.
+
 Add `--prompt` to get a concrete, ready-to-paste instruction for each one,
 generated from the function's signature and its uncovered lines (no LLM, no
 cost, unlimited):
@@ -93,17 +99,37 @@ verifaied upload --repo kyle/verifaied        # owner/name slug
 verifaied upload --repo <UUID>                # raw UUID, no lookup
 ```
 
-The CLI reads `coverage.json`, pulls the source for every file it
-references from your working tree, and posts everything to
-`/repositories/<id>/local-coverage`. The response prints a summary of
-untested / partial / failing functions so you (or your LLM) can fix
-them on the next iteration.
+The CLI reads your coverage report(s), pulls the source for every file
+they reference from your working tree, and posts everything to
+`/repositories/<id>/local-coverage`. With no `--coverage` flag it
+auto-discovers the report, looking in order for `./coverage.json`
+(pytest-cov), then `./coverage/coverage-final.json`, then a bare
+`./coverage-final.json` (vitest/Istanbul). Pass `--coverage` one or more
+times to name reports explicitly — repeat it to push Python and
+TypeScript coverage in a single upload; multiple reports merge per
+language on the server. The response prints a summary of untested /
+partial / failing functions so you (or your LLM) can fix them on the
+next iteration.
+
+### What the upload reports
+
+The summary leads with counts so an LLM (or you) sees the deltas first:
+
+- **functions matched** — functions in the uploaded report the analyzer
+  resolved against your source.
+- **functions preserved** — functions retained from a previous upload in
+  another language for the same branch (only shown when non-zero). A
+  Python-only upload never wipes the TypeScript functions a vitest upload
+  recorded on the same branch, and vice versa — the branch's total tracked
+  functions is _matched + preserved_.
+- **untested / partial / failing tests** — what to fix next.
 
 ### What gets uploaded
 
-The CLI only sends files that appear in `coverage.json`'s `"files"`
-map — i.e. exactly the files `pytest --cov` instrumented. There is no
-directory walk and no glob:
+The CLI only sends files that appear in your coverage report — i.e.
+exactly the files your test run instrumented (pytest-cov's `"files"`
+map, or the top-level file keys in an Istanbul `coverage-final.json`).
+There is no directory walk and no glob:
 
 - `.env`, build artefacts, vendored libraries, and anything outside
   your coverage scope are never read.
@@ -129,13 +155,49 @@ expand **Recently deleted** under the branches grid, and use
 to the uploaded source — the per-card **Delete** is a soft-delete that
 keeps the data around for accidental-deletion recovery.
 
+### TypeScript / JavaScript
+
+`upload` ingests vitest/Istanbul coverage the same way it ingests
+pytest-cov's. Generate it with vitest's **Istanbul** provider:
+
+```bash
+npm i -D @vitest/coverage-istanbul
+vitest run --coverage --coverage.provider=istanbul --coverage.reporter=json \
+  --reporter=junit --outputFile.junit=junit.xml
+verifaied upload --junit junit.xml
+```
+
+The Istanbul provider is required. Istanbul applies your source maps, so
+`coverage/coverage-final.json` reports the original `.ts` / `.tsx`
+sources — which is what verifAIed matches function definitions against.
+vitest's default **v8** provider emits a different report shape that
+verifAIed rejects, so `--coverage.provider=istanbul` is not optional. The
+`--reporter=junit --outputFile.junit=junit.xml` flags produce the JUnit
+XML that feeds the failing-tests panel; hand it to the upload with
+`--junit`.
+
+If a report references only compiled output — paths under `dist/`,
+`build/`, `out/`, or `.next/` with no `.ts` / `.tsx` / `.jsx` entries —
+the upload is refused. That's the source-maps-not-applied case: coverage
+landed on bundled JS instead of your sources, and verifAIed can't map it
+back. Switching to the Istanbul provider is the fix.
+
+**Supported formats.** pytest-cov `coverage.json` and Istanbul
+`coverage-final.json` only. LCOV, Cobertura XML, jest's own format, and
+c8 / v8-style JSON are rejected with a clear error naming the two
+supported shapes.
+
 ### `upload` flags
 
 - `--repo / -r <UUID|owner/name>` — repository to upload to. If omitted,
   the CLI auto-detects from the GitHub `origin` remote.
 - `--branch / -b <name>` — branch to attach the upload to (default:
   `git branch --show-current`, then `local`)
-- `--coverage <path>` — path to coverage.json (default: `./coverage.json`)
+- `--coverage <path>` — coverage report to upload. **Repeatable** — pass
+  it once per report to combine Python and TypeScript coverage in one
+  upload. Accepts pytest-cov `coverage.json` and Istanbul
+  `coverage-final.json`. Default: auto-detect `./coverage.json`, then
+  `./coverage/coverage-final.json` (or a bare `./coverage-final.json`).
 - `--junit <path>` — optional JUnit XML for failing-test detail
 - `--commit-sha <sha>` — commit sha for display (default: `git rev-parse HEAD`)
 - `--root <path>` — root the coverage paths are relative to (default: cwd)

{verifaied-0.2.0.dev31 → verifaied-0.3.0.dev32}/pyproject.toml

@@ -1,7 +1,7 @@
 [project]
 name = "verifaied"
-version = "0.2.0.dev31"
-description = "Find what's untested in your Python code — locally, no account required"
+version = "0.3.0.dev32"
+description = "Find what's untested in your code — locally, no account required"
 readme = "README.md"
 requires-python = ">=3.10"
 license = { file = "LICENSE" }

{verifaied-0.2.0.dev31 → verifaied-0.3.0.dev32}/src/verifaied/cli.py

@@ -41,6 +41,7 @@ from verifaied.uploader import (
     UploaderError,
     build_payload,
     detect_branch,
+    detect_coverage_kind,
     detect_repo_slug,
 )
 
@@ -91,10 +92,14 @@ def upload_command(
         "-b",
         help="Branch name. Defaults to `git branch --show-current`.",
     ),
-    coverage: Path | None = typer.Option(
-        None,
+    coverage: list[Path] = typer.Option(
+        [],
         "--coverage",
-        help="Path to the pytest-cov json report (default: ./coverage.json).",
+        help=(
+            "Coverage report path(s). Repeatable. Accepts pytest-cov "
+            "coverage.json and Istanbul coverage-final.json. Default: "
+            "auto-detect coverage.json and/or coverage/coverage-final.json."
+        ),
     ),
     junit: Path | None = typer.Option(
         None,
@@ -109,7 +114,11 @@ def upload_command(
     root: Path | None = typer.Option(
         None,
         "--root",
-        help="Root the coverage paths are relative to (default: cwd).",
+        help=(
+            "Root the coverage paths are relative to (default: cwd). Its "
+            "position inside the git repo is the prefix every stored path "
+            "is rooted by, so paths display repo-rooted."
+        ),
     ),
     api_url: str | None = typer.Option(
         None,
@@ -138,23 +147,31 @@ def upload_command(
     # block the preview. Skip the token check for that path.
     if not dry_run and not resolved_token:
         err_console.print(
-            f"[red]error[/red]: no API token (set ${ENV_API_TOKEN} or pass --token)"
+            "[red]VerifAIed error[/red]: no API token "
+            f"(set ${ENV_API_TOKEN} or pass --token)"
         )
         raise typer.Exit(code=1)
 
-    coverage_path = coverage or Path("coverage.json")
     root_path = root or Path.cwd()
+    coverage_paths = list(coverage) if coverage else _discover_coverage_files()
+    if not coverage_paths:
+        err_console.print(
+            "[red]VerifAIed error[/red]: no coverage file found (looked for "
+            "coverage.json, coverage/coverage-final.json, coverage-final.json). "
+            "Run `pytest --cov --cov-report=json` or `vitest run --coverage` first."
+        )
+        raise typer.Exit(code=1)
 
     try:
         payload = build_payload(
-            coverage_path=coverage_path,
+            coverage_paths=coverage_paths,
             root=root_path,
             branch=branch,
             commit_sha=commit_sha,
             junit_path=junit,
         )
     except UploaderError as e:
-        err_console.print(f"[red]error[/red]: {e}")
+        err_console.print(f"[red]VerifAIed error[/red]: {e}")
         raise typer.Exit(code=1) from e
 
     if dry_run:
@@ -169,7 +186,7 @@ def upload_command(
             repo_input=repo, api_url=resolved_url, token=resolved_token
         )
     except (UploaderError, ApiError, RepoNotFoundError) as e:
-        err_console.print(f"[red]error[/red]: {e}")
+        err_console.print(f"[red]VerifAIed error[/red]: {e}")
         raise typer.Exit(code=2 if isinstance(e, ApiError) else 1) from e
 
     try:
@@ -180,7 +197,7 @@ def upload_command(
             payload=payload,
         )
     except ApiError as e:
-        err_console.print(f"[red]error[/red]: {e.message}")
+        err_console.print(f"[red]VerifAIed error[/red]: {e.message}")
         raise typer.Exit(code=2) from e
 
     _render(result, api_url=resolved_url, repo_id=repo_id)
@@ -191,7 +208,11 @@ def check_command(
     coverage: Path | None = typer.Option(
         None,
         "--coverage",
-        help="Path to the pytest-cov json report (default: ./coverage.json).",
+        help=(
+            "Path to the coverage report (default: ./coverage.json). "
+            "check is Python-only; Istanbul/vitest reports are refused — "
+            "use `verifaied upload` for TS/JS."
+        ),
     ),
     root: Path | None = typer.Option(
         None,
@@ -245,7 +266,7 @@ def check_command(
         raw = coverage_path.read_text(encoding="utf-8")
     except OSError as e:
         err_console.print(
-            f"[red]error[/red]: cannot read {coverage_path} — run "
+            f"[red]VerifAIed error[/red]: cannot read {coverage_path} — run "
             f"`pytest --cov --cov-report=json` first"
         )
         raise typer.Exit(code=1) from e
@@ -253,9 +274,23 @@ def check_command(
     try:
         coverage_json = json.loads(raw)
     except json.JSONDecodeError as e:
-        err_console.print(f"[red]error[/red]: {coverage_path} is not valid JSON: {e}")
+        err_console.print(
+            f"[red]VerifAIed error[/red]: {coverage_path} is not valid JSON: {e}"
+        )
         raise typer.Exit(code=1) from e
 
+    if isinstance(coverage_json, dict):
+        try:
+            kind = detect_coverage_kind(coverage_json)
+        except UploaderError:
+            kind = None
+        if kind == "istanbul":
+            err_console.print(
+                "[red]VerifAIed error[/red]: verifaied check is Python-only "
+                "today — for TS/JS use `verifaied upload` (hosted analysis)."
+            )
+            raise typer.Exit(code=1)
+
     summary = analyze_coverage(coverage_json, root=root_path)
 
     if summary.files_missing:
@@ -357,7 +392,8 @@ def check_done_command(
     resolved_token = resolved_api_token(token)
     if not resolved_token:
         err_console.print(
-            f"[red]error[/red]: no API token (set ${ENV_API_TOKEN} or pass --token)"
+            "[red]VerifAIed error[/red]: no API token "
+            f"(set ${ENV_API_TOKEN} or pass --token)"
         )
         raise typer.Exit(code=1)
 
@@ -366,7 +402,7 @@ def check_done_command(
             repo_input=repo, api_url=resolved_url, token=resolved_token
         )
     except (UploaderError, ApiError, RepoNotFoundError) as e:
-        err_console.print(f"[red]error[/red]: {e}")
+        err_console.print(f"[red]VerifAIed error[/red]: {e}")
         raise typer.Exit(code=2 if isinstance(e, ApiError) else 1) from e
 
     resolved_branch = branch or detect_branch()
@@ -378,7 +414,7 @@ def check_done_command(
             branch=resolved_branch,
         )
     except ApiError as e:
-        err_console.print(f"[red]error[/red]: {e.message}")
+        err_console.print(f"[red]VerifAIed error[/red]: {e.message}")
         raise typer.Exit(code=2) from e
 
     if as_json:
@@ -530,6 +566,21 @@ def _resolve_repo(*, repo_input: str | None, api_url: str, token: str) -> UUID:
     return resolve_repo_id(api_url=api_url, token=token, owner=slug[0], name=slug[1])
 
 
+def _discover_coverage_files() -> list[Path]:
+    """Default coverage discovery when no ``--coverage`` is passed: pytest's
+    ``coverage.json`` and/or vitest's ``coverage/coverage-final.json``
+    (falling back to a bare ``coverage-final.json``). Order preserved so a
+    same-file collision resolves later-wins consistently with the backend."""
+    found: list[Path] = []
+    if Path("coverage.json").is_file():
+        found.append(Path("coverage.json"))
+    if Path("coverage/coverage-final.json").is_file():
+        found.append(Path("coverage/coverage-final.json"))
+    elif Path("coverage-final.json").is_file():
+        found.append(Path("coverage-final.json"))
+    return found
+
+
 def _render(result: UploadResult, *, api_url: str, repo_id: UUID) -> None:
     """Print a compact, scannable summary. Designed for LLM tail-reads
     too: the counts come first so the model sees the deltas without
@@ -538,6 +589,8 @@ def _render(result: UploadResult, *, api_url: str, repo_id: UUID) -> None:
     table.add_row("branch", result.branch)
     table.add_row("files received", str(result.files_received))
     table.add_row("functions matched", str(result.functions_matched))
+    if result.functions_preserved > 0:
+        table.add_row("functions preserved", str(result.functions_preserved))
     table.add_row("untested", str(len(result.untested)))
     table.add_row("partial", str(len(result.partial)))
     table.add_row("failing tests", str(len(result.failing_tests)))
@@ -576,6 +629,15 @@ def _render_dry_run(payload, *, repo_input: str | None) -> None:
     header.add_row("repo", repo_display)
     header.add_row("branch", payload.branch)
     header.add_row("commit", payload.commit_sha or "-")
+    if payload.path_prefix is None:
+        prefix_display = "(none — server resolves against the repo tree)"
+    elif payload.path_prefix == "":
+        prefix_display = '"" (repo root)'
+    else:
+        prefix_display = (
+            f"{payload.path_prefix} — stored as {payload.path_prefix}/<path>"
+        )
+    header.add_row("path prefix", prefix_display)
     header.add_row("files", str(len(payload.files)))
     total_bytes = sum(
         len(content.encode("utf-8")) for content in payload.files.values()

{verifaied-0.2.0.dev31 → verifaied-0.3.0.dev32}/src/verifaied/client.py

@@ -45,6 +45,9 @@ class UploadResult:
     failing_tests: list[dict[str, Any]]
     message: str
     summary: dict[str, Any]
+    # Functions retained from earlier uploads of other languages (0 on
+    # older backends that don't return the field).
+    functions_preserved: int = 0
 
 
 def upload(
@@ -65,7 +68,10 @@ def upload(
         "branch": payload.branch,
         "commit_sha": payload.commit_sha,
         "files": payload.files,
-        "coverage_json": payload.coverage_json,
+        "coverage_reports": payload.coverage_reports,
+        # Sent unconditionally; older backends ignore the extra field.
+        # ``None`` tells the server to resolve the prefix itself.
+        "path_prefix": payload.path_prefix,
     }
     if payload.junit_xml is not None:
         body["junit_xml"] = payload.junit_xml
@@ -92,6 +98,7 @@ def upload(
         failing_tests=data.get("failing_tests") or [],
         message=data.get("message") or "",
         summary=data.get("summary") or {},
+        functions_preserved=data.get("functions_preserved") or 0,
     )