statelyai 0.15.1 → 0.17.0

package/README.md

@@ -24,33 +24,34 @@ npm install --global statelyai
 
 <!-- command capabilities and side effects from src/cli.ts#COMMANDS -->
 
-| Goal                                | Command                                              | Writes                                                  |
-| ----------------------------------- | ---------------------------------------------------- | ------------------------------------------------------- |
-| Calibrate reviewed behavior | `statelyai behavior calibrate --config config.json --output .scratch/calibration` | Native setup receipt awaiting inspected adoption |
-| Run deterministic behavior evidence | `statelyai behavior check --config config.json --output .scratch/run` | Fresh local run artifact; checked baseline unchanged |
-| Adopt inspected red or green evidence | `statelyai behavior adopt .scratch/run --config config.json` | Immutable checked state and exact config baseline |
-| Test an application against a model | `statelyai test ./feature.campaign.mjs` | Local code execution, report and optional replay fixture |
-| Process a saved verification report | `statelyai verify --from-report report.json`         | Local report file                                       |
-| List local machines                 | `statelyai scan`                                     | Nothing                                                 |
-| Edit local machines visually        | `statelyai open [file]`                              | Local source, when you save in the editor               |
-| Set up local discovery              | `statelyai init --local --scan`                      | Local `statelyai.json`                                  |
-| Set up project sync                 | `statelyai init --scan`                              | Remote project and local `statelyai.json`               |
-| Inspect project machines            | `statelyai status`                                   | Nothing                                                 |
-| Connect to a Studio project          | `statelyai link --project <id>`                      | Project association in `statelyai.json`                  |
-| Associate an existing machine       | `statelyai link <file> --machine <id>`               | Selected source machine ID comment                      |
-| Preview project uploads             | `statelyai push --dry-run`                           | Nothing                                                 |
-| Upload local machines               | `statelyai push [file]`                              | Remote machines and local `@statelyai` IDs              |
-| Download project machines           | `statelyai pull`                                     | Linked local files and new files under `newMachinesDir` |
-| Compare two machines                | `statelyai diff <source> <target>`                   | Nothing                                                 |
-| Fail on differences in CI           | `statelyai diff <source> <target> --fail-on-changes` | Nothing                                                 |
+| Goal                                  | Command                                                                           | Writes                                                   |
+| ------------------------------------- | --------------------------------------------------------------------------------- | -------------------------------------------------------- |
+| Calibrate reviewed behavior           | `statelyai behavior calibrate --config config.json --output .scratch/calibration` | Native setup receipt awaiting inspected adoption         |
+| Run deterministic behavior evidence   | `statelyai behavior check --config config.json --output .scratch/run`             | Fresh local run artifact; checked baseline unchanged     |
+| Adopt inspected red or green evidence | `statelyai behavior adopt .scratch/run --config config.json`                      | Immutable checked state and exact config baseline        |
+| Measure source transition outcomes    | `statelyai coverage model.ts --execute --cases cases.json`                        | Coverage report and optional Viz graph                   |
+| Test an application against a model   | `statelyai test ./feature.campaign.mjs`                                           | Local code execution, report and optional replay fixture |
+| Process a saved verification report   | `statelyai verify --from-report report.json`                                      | Local report file                                        |
+| List local machines                   | `statelyai scan`                                                                  | Nothing                                                  |
+| Edit local machines visually          | `statelyai open [file]`                                                           | Local source, when you save in the editor                |
+| Set up local discovery                | `statelyai init --local --scan`                                                   | Local `statelyai.json`                                   |
+| Set up project sync                   | `statelyai init --scan`                                                           | Remote project and local `statelyai.json`                |
+| Inspect project machines              | `statelyai status`                                                                | Nothing                                                  |
+| Connect to a Studio project           | `statelyai link --project <id>`                                                   | Project association in `statelyai.json`                  |
+| Associate an existing machine         | `statelyai link <file> --machine <id>`                                            | Selected source machine ID comment                       |
+| Preview project uploads               | `statelyai push --dry-run`                                                        | Nothing                                                  |
+| Upload local machines                 | `statelyai push [file]`                                                           | Remote machines and local `@statelyai` IDs               |
+| Download project machines             | `statelyai pull`                                                                  | Linked local files and new files under `newMachinesDir`  |
+| Compare two machines                  | `statelyai diff <source> <target>`                                                | Nothing                                                  |
+| Fail on differences in CI             | `statelyai diff <source> <target> --fail-on-changes`                              | Nothing                                                  |
 
 ## Test application behavior
 
 <!-- trusted local campaign command from src/testCommand.ts -->
 
-`statelyai test ./feature.campaign.mjs` runs graph paths and property testing through `@statelyai/model-testing`. Install that package in the campaign project. The campaign is trusted JavaScript with ordinary local permissions. The child process is not a sandbox.
+`statelyai test ./feature.campaign.mjs` runs graph paths and property testing through the shared internal testing runtime. Install `statelyai` in the campaign project and import authoring helpers from `statelyai/testing`. The campaign is trusted JavaScript with ordinary local permissions. The child process is not a sandbox.
 
-Use `--report report.json --fixture regression.json` to save results and a concrete counterexample, then `--replay regression.json` after fixing the app. Exit codes are 0 for passed, 1 for a model/app discrepancy, and 2 for inconclusive execution. See [Test application behavior](../../docs/cli/test.md) for budgets and replay, or the [runnable browser example](../model-testing/README.md#verify-the-browser-example).
+Use `--report report.json --fixture regression.json` to save results and a concrete counterexample, then `--replay regression.json` after fixing the app. Exit codes are 0 for passed, 1 for a model/app discrepancy, and 2 for inconclusive execution. See [Test application behavior](../../docs/cli/test.md) for budgets and replay, or the [runnable browser example](../mcp/testing/README.md#verify-the-browser-example).
 
 ## Quick start
 
@@ -301,6 +302,12 @@ writes an evidence artifact. `adopt <artifact-directory> --config <path>`
 validates inspected red/green evidence and advances the exact checked baseline.
 See [Behavior evidence in CI](#behavior-evidence-in-ci) for setup and exit codes.
 
+### `coverage`
+
+Extract source outcomes without executing the model, or add `--execute --cases
+cases.json` to search and replay witnesses. See [Source transition
+coverage](#source-transition-coverage) for dependency requirements and outputs.
+
 ### `login`
 
 Store an OAuth credential or API key.
@@ -649,6 +656,25 @@ dependency scope, not complete transitive coverage. Core execution remains
 reported; review identity is unavailable. CI requires clean bound inputs and
 actual HEAD equal to `GITHUB_SHA`; environment metadata alone is not remote proof.
 
+## Source transition coverage
+
+<!-- coverage execution, dependencies, deadlines, and output ownership from src/sourceCoverageCommand.ts and src/sourceCoverageRunner.ts -->
+
+`statelyai coverage model.ts` extracts a JSON obligation manifest without
+executing application code. Add `--execute --cases cases.json` to search for
+witnesses using the model project's v6 runtime, source-coverage graph planner and
+`@xstate/test` adapter. `--replay report.json` rechecks retained witnesses;
+`--graph coverage.graph.json` writes a source-linked Viz coverage graph.
+Execution runs trusted local code with ordinary permissions in a worker with a
+deadline. It requires project releases containing the new graph and test APIs.
+Execution supports ESM imports, top-level await and the source project's
+TypeScript path aliases. Both extraction and execution use `--timeout`, which
+defaults to 120 seconds. After output paths pass alias checks, a failed run
+replaces the report with an error and removes any previous coverage graph.
+
+See [source transition coverage](../../docs/sdk/source-coverage.md) for examples,
+exit codes, supported source forms and coverage criteria.
+
 ## Self-hosting
 
 <!-- self-host auth and URL behavior from LoginCommand, baseUrlFlags, OpenCommand, credential resolution, and projectConfig.ts -->

package/dist/bin.mjs

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { C as run } from "./cli-CE7KhcOJ.mjs";
+import { C as run } from "./cli-BBG--n3O.mjs";
 
 //#region src/bin.ts
 run();