supercov 0.0.44-x86_64-linux-gnu → 0.0.45-x86_64-linux-gnu

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2c229ecd294c4a1470279ec9c6339a901415d307c55087b67f40d72034bd47d5
-  data.tar.gz: bc8e3e9f0c574be534396912258a335b77b0de7cbac7993daf1e59940dcb77ef
+  metadata.gz: 9df1673923e594c5d710ed7ead3ebef187bd3fb94298063b7d4f787bd22d81db
+  data.tar.gz: 8270e61b2248a97aaf5a9ac6471eb733f1f2fbc39ba72abf878bb697c0254802
 SHA512:
-  metadata.gz: fcd304ff790e8b6bace76f92af729de1525e8cf6a150845daed4dbcdcfdcece8cd8662eddb51fed92de409b9e2e803379a6cf92a6e7c0d9ea4f6a11d43d7a505
-  data.tar.gz: 1a8a7fe3dfbd6ed054f246d006968b5feb4985b173e490e3d2ff4b48a25c727c332a2fbe3ee7ce64f80451c44190d0971a080c42ddf6d813d7252c1e99b13d19
+  metadata.gz: 47d8be56ace656dcde5e58df6e1b108a85f7b2ffb284ef72a2c1384f65cbe25c10a3f0b48f21fe5bcb959dbd5eadcf422100e85713287afd0fdd240066e2873f
+  data.tar.gz: e28351188eaf12f83cdd3eee255961dcebbc79339d2b8142a9bd6b45c46db606cd51f7e58ffdf967ef32bc6e974397debe74f524aa54599631b02f30bcedc535

data/README.md

@@ -46,22 +46,30 @@ npx supercov -- python -m unittest
 npx supercov -- bundle exec rspec
 ```
 
-## Inspect assertion evidence (JS/TS)
+## Map what assertions check
 
-After a run, inspect what existing assertions appear to check:
+Each normal test run creates an assertion map automatically. An agent can
+optionally fill in what the assertions check:
 
 ```sh
-npx supercov runs latest assertions --limit 5
-npx supercov runs latest assertions --pragmas --json
-npx supercov runs latest assertions --evidence /tests --limit 5 --json
+npx supercov runs latest assertions --json
+# Pin the returned run ID. Inspect assertions and the source that ran:
+npx supercov runs <run> assertion <assertion-id>
+npx supercov runs <run> source src/example.ts
+# Edit assertions.json, then validate and acknowledge:
+npx supercov runs <run> assertions validate --json
+# Copy examined expectedBasis tokens into assertions.json; save again.
+npx supercov runs <run> assertions check --require-mappings --require-observed --json
+npx supercov runs <run>  # includes the assertion percentage in the regular report
 ```
 
-This npm-only query uses the run archive and matching source; it adds no new
-test-time instrumentation. It requires a compatible project TypeScript compiler
-API (5.8.3 and native 7.0.2 are tested). Results are candidates, not proof
-that changes are safe or a verified assertion percentage. Follow
-[`assertion-evidence.md`](docs/assertion-evidence.md) for provenance, optional
-assertion hints, pagination, and limitations.
+After code or tests change, run the same test command again. Supercov reuses the
+newest available map for that command and language and identifies dirty flows. Rust owns
+validation, change tracking and reporting; the agent supplies semantic reasoning.
+The score is agent-assessed and separate from MC/DC. See
+[assertion maps](docs/assertion-maps.md) for the format and JS/TS limits, or run
+`supercov docs assertion-agent` for the agent workflow. `supercov assertions schema`
+exports the editor schema; `assertions validate --file <path>` checks JSON syntax.
 
 ## Give Supercov a job
 
@@ -170,7 +178,7 @@ Supercov uses exact per-test attribution where an adapter is available. For othe
 | --- | --- |
 | Playwright | Exact per test, worker, retry, outcome, action, and assertion phase |
 | Vitest | Exact per test, with setup execution kept separate |
-| Jest | Exact per test, including parameterized tests; `expect` assertions link the evidence they check |
+| Jest | Exact per test, including parameterized tests; exact `expect` occurrence identity for assertion maps |
 | `node:test` | Exact per test |
 | AVA and Mocha | Aggregate structural coverage |
 | Cargo's standard libtest runner | Exact test, attempt, and passing-assertion identity |
@@ -223,6 +231,7 @@ npx supercov clean             # remove all runs and the build cache
 
 - [Getting started](https://supercov.com/docs/getting-started)
 - [Agent workflow](https://supercov.com/docs/agent-loop)
+- [Understanding assertions](docs/assertions.md)
 - [Troubleshooting](https://supercov.com/docs/troubleshooting)
 - [CLI reference](https://supercov.com/docs/cli)
 - [Supported languages and test suites](https://supercov.com/docs/supported-suites)

data/lib/supercov.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Supercov
-  VERSION = "0.0.44"
+  VERSION = "0.0.45"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: supercov
 version: !ruby/object:Gem::Version
-  version: 0.0.44
+  version: 0.0.45
 platform: x86_64-linux-gnu
 authors:
 - Supercorp