interaction-check 0.1.0a6__py3-none-any.whl

interaction_check-0.1.0a6.dist-info/METADATA

@@ -0,0 +1,68 @@
+Metadata-Version: 2.4
+Name: interaction-check
+Version: 0.1.0a6
+Summary: Replay semantic event sequences against explicit local adapters
+Author: PerchAnton
+License-Expression: MIT OR Apache-2.0
+Project-URL: Repository, https://github.com/PerchAnton/interaction-check
+Project-URL: Documentation, https://github.com/PerchAnton/interaction-check#readme
+Project-URL: Issues, https://github.com/PerchAnton/interaction-check/issues
+Project-URL: Changelog, https://github.com/PerchAnton/interaction-check/blob/main/CHANGELOG.md
+Classifier: Development Status :: 3 - Alpha
+Classifier: Environment :: Console
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Software Development :: Testing
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE-MIT
+License-File: LICENSE-APACHE
+Dynamic: license-file
+
+# interaction-check
+
+A small Python command-line tool that replays semantic JSON event sequences against
+an explicitly selected local adapter. Python 3.10+; **zero runtime dependencies**.
+Licensed under MIT OR Apache-2.0. Experimental alpha: formats and CLI may still change.
+
+## Installation
+
+Install a published copy of this prerelease from PyPI:
+
+```sh
+python -m pip install 'interaction-check==0.1.0a6'
+```
+
+An exact version selects this prerelease without opting into all future prereleases.
+Use a virtual environment. On Windows, the same command works with `py -m pip`.
+For other distribution options and current publication status, see the
+[project README](https://github.com/PerchAnton/interaction-check#install-the-released-command).
+
+## Usage
+
+```sh
+interaction-check --version
+interaction-check --failure-dir failures --trace --report report.json scenario.json -- path/to/adapter
+```
+
+The adapter is a trusted program you select; it receives events as JSONL and returns
+states. Expected states are never sent to it. Each scenario starts a fresh process.
+The runner is not a sandbox and does not download or discover adapters automatically.
+
+`--failure-dir` creates a **new** directory containing numbered JSON scenarios through
+the first state mismatch. Expectations stay unchanged. These are checked prefixes, not
+automatically minimized or independently verified reproductions. Re-run an export with
+the same adapter revision. Crashes, timeouts and malformed protocol replies do not
+produce a guessed state-mismatch scenario.
+
+The installed wheel contains the runner and its licenses. Examples and application
+adapters remain in the repository and may have their own dependencies. The separate
+Rust library edit-session is not required.
+
+- [Scenario and adapter protocol](https://github.com/PerchAnton/interaction-check#scenario-format)
+- [Worked XState example](https://github.com/PerchAnton/interaction-check/tree/main/examples/xstate)
+- [Moving a useful scenario into a native test](https://github.com/PerchAnton/interaction-check/blob/main/docs/NATIVE_TESTS.md)
+- [Measured benefits and costs](https://github.com/PerchAnton/interaction-check/blob/main/docs/VALUE.md)
+
+If a normal project test is simpler, keep that test. Replay is useful when sharing an
+event sequence and a consistent report earns the adapter and runner maintenance cost.

interaction_check-0.1.0a6.dist-info/RECORD

@@ -0,0 +1,8 @@
+interaction_check.py,sha256=FxorEVn1Gp2x0vPoWVnDS3x4JjqPTwc-pIKPFfduMmo,17470
+interaction_check-0.1.0a6.dist-info/licenses/LICENSE-APACHE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
+interaction_check-0.1.0a6.dist-info/licenses/LICENSE-MIT,sha256=ZlqUL5MXo1iTC0cK1SKiKlj_bDRtsDlUY-yE3T4Z13U,1067
+interaction_check-0.1.0a6.dist-info/METADATA,sha256=MD52dcVR8N-BH_2ctzYAUqQnmOca81h-vWjgFWohB0s,3247
+interaction_check-0.1.0a6.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
+interaction_check-0.1.0a6.dist-info/entry_points.txt,sha256=-N-zlzGcyMJBGZWExvoTRrMlRtCq8veFbRTWcMA9iNo,61
+interaction_check-0.1.0a6.dist-info/top_level.txt,sha256=FALQVtc_dXNieBc8DOfjNeTpYZAFaz_5yeB7qZYnO9g,18
+interaction_check-0.1.0a6.dist-info/RECORD,,

interaction_check-0.1.0a6.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.2.1)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

interaction_check-0.1.0a6.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+interaction-check = interaction_check:main

interaction_check-0.1.0a6.dist-info/licenses/LICENSE-APACHE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

interaction_check-0.1.0a6.dist-info/licenses/LICENSE-MIT

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 PerchAnton
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

interaction_check-0.1.0a6.dist-info/top_level.txt

@@ -0,0 +1 @@
+interaction_check

interaction_check.py

@@ -0,0 +1,364 @@
+"""Replay semantic JSONL scenarios against an explicitly selected local adapter.
+
+No shell, sleeps, network client, GUI automation, or application dependency is required.
+Each scenario gets a fresh adapter process. Expected results are never sent to it.
+"""
+from __future__ import annotations
+
+import argparse
+import json
+import math
+import os
+from pathlib import Path
+import subprocess
+import sys
+import tempfile
+import time
+import xml.etree.ElementTree as ET
+
+VERSION = "0.1.0a6"
+LIMIT = 1024 * 1024
+MAX_DEPTH = 64
+
+
+class CheckError(Exception):
+    """A failed check, optionally carrying the adapter's bounded diagnostic output."""
+
+    def __init__(self, message, *, stderr=""):
+        super().__init__(message)
+        self.stderr = stderr
+        self.trace = None
+        self.failure_step = None
+
+
+def validate_json(value):
+    """Bound nesting before recursive comparison/encoding, including Python API input."""
+    pending = [(value, 1)]
+    while pending:
+        item, depth = pending.pop()
+        if type(item) in (dict, list):
+            if depth > MAX_DEPTH:
+                raise CheckError(f"JSON nesting exceeds {MAX_DEPTH} containers")
+            if isinstance(item, dict):
+                if any(type(key) is not str for key in item):
+                    raise CheckError("JSON object keys must be strings")
+                pending.extend((key, depth + 1) for key in item)
+                pending.extend((child, depth + 1) for child in item.values())
+            else:
+                pending.extend((child, depth + 1) for child in item)
+        elif type(item) is str:
+            try:
+                item.encode("utf-8")
+            except UnicodeError as error:
+                raise CheckError("JSON strings must contain valid Unicode scalar values") from error
+        elif type(item) is float:
+            if not math.isfinite(item):
+                raise CheckError("JSON numbers must be finite")
+        elif item is not None and type(item) not in (bool, int):
+            raise CheckError(f"Unsupported JSON value type: {type(item).__name__}")
+
+
+def strict_json(text):
+    def reject(value):
+        raise CheckError(f"Non-JSON numeric constant: {value}")
+    def finite_float(value):
+        result = float(value)
+        if not math.isfinite(result):
+            raise CheckError(f"Number is outside the finite JSON range: {value}")
+        return result
+    def unique_object(pairs):
+        result = {}
+        for key, value in pairs:
+            if key in result:
+                raise CheckError(f"Duplicate JSON key: {key!r}")
+            result[key] = value
+        return result
+    try:
+        value = json.loads(text, parse_constant=reject, parse_float=finite_float,
+                           object_pairs_hook=unique_object)
+    except (ValueError, UnicodeError, RecursionError) as error:
+        raise CheckError(f"Invalid JSON: {error}") from error
+    validate_json(value)
+    return value
+
+
+def validate(scenario):
+    validate_json(scenario)
+    if not isinstance(scenario, dict) or type(scenario.get("schema")) is not int or scenario["schema"] != 1:
+        raise CheckError("Scenario must declare schema: 1")
+    if not isinstance(scenario.get("name"), str) or not scenario["name"].strip():
+        raise CheckError("Scenario needs a nonempty name")
+    steps = scenario.get("steps")
+    if not isinstance(steps, list) or not steps:
+        raise CheckError("Scenario needs at least one step")
+    for index, step in enumerate(steps, 1):
+        if not isinstance(step, dict) or set(step) != {"event", "expect"}:
+            raise CheckError(f"Step {index}: use exactly event and expect")
+        if not isinstance(step["event"], dict) or not isinstance(step["expect"], dict) or not step["expect"]:
+            raise CheckError(f"Step {index}: event and nonempty expect must be objects")
+
+
+def differences(expected, actual, path="state"):
+    """Objects are subsets even inside arrays; array length/order and scalar types match."""
+    if isinstance(expected, dict):
+        if not isinstance(actual, dict):
+            return [f"{path}: expected an object, got {actual!r}"]
+        errors = []
+        for key, value in expected.items():
+            if key not in actual:
+                errors.append(f"{path}.{key}: missing")
+            else:
+                errors.extend(differences(value, actual[key], f"{path}.{key}"))
+        return errors
+    if isinstance(expected, list):
+        if not isinstance(actual, list) or len(expected) != len(actual):
+            return [f"{path}: expected {expected!r}, got {actual!r}"]
+        return [error for i, (a, b) in enumerate(zip(expected, actual))
+                for error in differences(a, b, f"{path}[{i}]")]
+    both_numbers = type(expected) in (int, float) and type(actual) in (int, float)
+    if (not both_numbers and type(expected) is not type(actual)) or expected != actual:
+        return [f"{path}: expected {expected!r}, got {actual!r}"]
+    return []
+
+
+def run_adapter(command, payload, timeout):
+    """Capture a trusted adapter, checking output growth while the process runs.
+
+    Sizes are checked periodically, not enforced as a disk quota: a fast writer may
+    overshoot between polls. Only the direct process is stopped, not its descendants.
+    """
+    with tempfile.TemporaryFile() as source, tempfile.TemporaryFile() as output, \
+            tempfile.TemporaryFile() as diagnostic:
+        source.write(payload)
+        source.seek(0)
+        try:
+            # A file-backed stdin cannot block the parent when an adapter stops reading.
+            with subprocess.Popen(command, stdin=source, stdout=output, stderr=diagnostic) as process:
+                deadline = time.monotonic() + timeout
+                try:
+                    while True:
+                        if (os.fstat(output.fileno()).st_size > LIMIT
+                                or os.fstat(diagnostic.fileno()).st_size > LIMIT):
+                            raise CheckError("Adapter output exceeds 1 MiB")
+                        remaining = deadline - time.monotonic()
+                        if remaining <= 0:
+                            raise CheckError(f"Adapter timed out after {timeout:g}s")
+                        try:
+                            process.wait(timeout=min(remaining, 0.05))
+                            break
+                        except subprocess.TimeoutExpired:
+                            continue
+                except BaseException:
+                    # Reap even on cancellation; Popen's context manager otherwise waits
+                    # for a still-running adapter on exit.
+                    process.kill()
+                    process.wait()
+                    raise
+            output.seek(0)
+            stdout = output.read(LIMIT + 1)
+            if len(stdout) > LIMIT or os.fstat(diagnostic.fileno()).st_size > LIMIT:
+                raise CheckError("Adapter output exceeds 1 MiB")
+        except CheckError as error:
+            diagnostic.seek(0)
+            error.stderr = diagnostic.read(LIMIT).decode("utf-8", errors="replace")
+            raise
+        except OSError as error:
+            raise CheckError(f"Cannot run adapter: {error}") from error
+        diagnostic.seek(0)
+        stderr = diagnostic.read(LIMIT).decode("utf-8", errors="replace")
+    if process.returncode:
+        raise CheckError(f"Adapter exited with {process.returncode}: {stderr[-2000:]}",
+                         stderr=stderr)
+    return stdout, stderr
+
+
+def replay(scenario, command, timeout=5.0, *, trace=False):
+    """Replay a scenario; optionally retain each checked event/expectation/actual state."""
+    validate(scenario)
+    if not command or not math.isfinite(timeout) or timeout <= 0:
+        raise CheckError("A command and a positive finite timeout are required")
+    try:
+        payload = "".join(json.dumps({"protocol": 1, "id": i, "event": step["event"]},
+                                    ensure_ascii=False, allow_nan=False) + "\n"
+                          for i, step in enumerate(scenario["steps"], 1)).encode("utf-8")
+    except (ValueError, UnicodeError, RecursionError) as error:
+        raise CheckError(f"Cannot encode scenario: {error}") from error
+    if len(payload) > LIMIT:
+        raise CheckError("Scenario exceeds 1 MiB")
+    stdout, stderr = run_adapter(command, payload, timeout)
+    entries = []
+    try:
+        try:
+            # JSONL is delimited by LF, not Unicode line separators inside strings.
+            lines = stdout.decode("utf-8").split("\n")
+            if lines[-1] == "":
+                lines.pop()  # A single final LF is optional; extra blank lines are errors.
+        except UnicodeError as error:
+            raise CheckError("Adapter output is not UTF-8") from error
+        if len(lines) != len(scenario["steps"]):
+            raise CheckError(f"Expected {len(scenario['steps'])} replies, got {len(lines)}")
+        for index, (line, step) in enumerate(zip(lines, scenario["steps"]), 1):
+            try:
+                response = strict_json(line)
+            except CheckError as error:
+                raise CheckError(f"Step {index}: {error}") from error
+            if (not isinstance(response, dict) or type(response.get("protocol")) is not int
+                    or response["protocol"] != 1 or type(response.get("id")) is not int
+                    or response["id"] != index or not isinstance(response.get("state"), dict)):
+                raise CheckError(f"Step {index}: invalid envelope or mismatched reply id")
+            errors = differences(step["expect"], response["state"])
+            if trace:
+                entry = {"step": index, "event": step["event"], "expect": step["expect"],
+                         "actual": response["state"], "passed": not errors}
+                if errors:
+                    entry["differences"] = errors
+                entries.append(entry)
+            if errors:
+                error = CheckError(f"Step {index} ({step['event']}): " + "; ".join(errors))
+                error.failure_step = index
+                raise error
+    except CheckError as error:
+        error.stderr = stderr
+        if trace:
+            error.trace = entries
+        raise
+    result = {"name": scenario["name"], "passed": True, "steps": len(lines), "stderr": stderr}
+    if trace:
+        result["trace"] = entries
+    return result
+
+
+def check_report_paths(destinations, scenarios):
+    """Catch accidental input replacement and overlapping outputs before running adapters."""
+    previous = list(scenarios)
+    for destination in destinations:
+        for other in previous:
+            if (destination.resolve() == other.resolve()
+                    or (destination.exists() and other.exists() and destination.samefile(other))):
+                raise CheckError(f"Report path overlaps an input or another report: {destination}")
+        previous.append(destination)
+
+
+def write_report(path, content):
+    """Replace only a complete report; a failed write leaves the previous file intact."""
+    temporary = None
+    try:
+        with tempfile.NamedTemporaryFile(mode="w", encoding="utf-8", newline="\n",
+                                         dir=path.parent, prefix=f".{path.name}.",
+                                         suffix=".tmp", delete=False) as output:
+            temporary = Path(output.name)
+            output.write(content)
+        os.replace(temporary, path)
+    finally:
+        if temporary is not None:
+            temporary.unlink(missing_ok=True)
+
+
+def junit_report(results):
+    def xml_text(value):
+        # JSON and stderr may include control characters that XML 1.0 cannot represent.
+        return "".join(char if (char in "\t\n\r" or " " <= char <= "\ud7ff"
+                               or "\ue000" <= char <= "\ufffd" or "\U00010000" <= char <= "\U0010ffff")
+                       else "\ufffd" for char in value)
+
+    suite = ET.Element("testsuite", name="interaction-check", tests=str(len(results)),
+                       failures=str(sum(not result["passed"] for result in results)), errors="0")
+    for result in results:
+        case = ET.SubElement(suite, "testcase", name=xml_text(result["name"]),
+                             classname="interaction-check", file=xml_text(result["source"]))
+        if not result["passed"]:
+            failure = ET.SubElement(case, "failure", message=xml_text(result["error"]),
+                                    type="CheckError")
+            failure.text = xml_text(result["error"])
+        if result.get("stderr"):
+            ET.SubElement(case, "system-err").text = xml_text(result["stderr"])
+    return '<?xml version="1.0" encoding="utf-8"?>\n' + ET.tostring(suite, encoding="unicode") + "\n"
+
+
+def main(argv=None):
+    argv = list(sys.argv[1:] if argv is None else argv)
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument("--version", action="version", version=f"interaction-check {VERSION}")
+    parser.add_argument("--timeout", type=float, default=5.0)
+    parser.add_argument("--report", type=Path, help="write a JSON report atomically")
+    parser.add_argument("--trace", action="store_true",
+                        help="include checked events, expectations and actual states in --report")
+    parser.add_argument("--junit", type=Path, help="write a JUnit XML report atomically")
+    parser.add_argument("--failure-dir", type=Path,
+                        help="create a new directory for scenarios ending at their first state mismatch")
+    parser.add_argument("scenarios", nargs="+", type=Path)
+    if argv in (["--help"], ["-h"], ["--version"]):
+        parser.parse_args(argv)
+    if "--" not in argv:
+        parser.error("Separate the adapter command with --")
+    boundary = argv.index("--")
+    args = parser.parse_args(argv[:boundary])
+    command = argv[boundary + 1:]
+    if not command or not math.isfinite(args.timeout) or args.timeout <= 0:
+        parser.error("Specify an adapter command and a positive finite timeout")
+    if args.trace and args.report is None:
+        parser.error("--trace requires --report")
+    try:
+        destinations = [path for path in (args.report, args.junit) if path]
+        if args.failure_dir is not None:
+            destinations += [args.failure_dir]
+            destinations += [args.failure_dir / f"{index:04d}.json"
+                             for index in range(1, len(args.scenarios) + 1)]
+        check_report_paths(destinations, args.scenarios)
+        if args.failure_dir is not None:
+            # A fresh directory prevents stale exports from looking like this run's results.
+            # The parent must already exist, like the JSON/JUnit report destinations.
+            args.failure_dir.mkdir()
+    except (CheckError, OSError, RuntimeError) as error:
+        parser.error(str(error))
+    results = []
+    for index, path in enumerate(args.scenarios, 1):
+        name = path.name
+        try:
+            if path.stat().st_size > LIMIT:
+                raise CheckError("Scenario exceeds 1 MiB")
+            scenario = strict_json(path.read_text(encoding="utf-8"))
+            if isinstance(scenario, dict) and isinstance(scenario.get("name"), str) and scenario["name"].strip():
+                name = scenario["name"]
+            result = replay(scenario, command, args.timeout, trace=args.trace)
+        except (CheckError, OSError, UnicodeError) as error:
+            result = {"name": name, "passed": False, "error": str(error)}
+            if isinstance(error, CheckError) and error.stderr:
+                result["stderr"] = error.stderr
+            if isinstance(error, CheckError) and error.trace is not None:
+                result["trace"] = error.trace
+            if (args.failure_dir is not None and isinstance(error, CheckError)
+                    and error.failure_step is not None):
+                destination = args.failure_dir / f"{index:04d}.json"
+                prefix = dict(scenario, steps=scenario["steps"][:error.failure_step])
+                try:
+                    write_report(destination, json.dumps(prefix, ensure_ascii=False, indent=2) + "\n")
+                    result["failure_scenario"] = str(destination)
+                except (OSError, UnicodeError) as export_error:
+                    result["export_error"] = str(export_error)
+                    print(f"ERROR writing failure scenario {destination}: {export_error}",
+                          file=sys.stderr)
+        result["source"] = str(path)
+        results.append(result)
+        print(("PASS " if result["passed"] else "FAIL ") + result["name"])
+        if not result["passed"]:
+            print("  " + result["error"])
+            if result.get("failure_scenario"):
+                print("  Scenario: " + result["failure_scenario"])
+    report_failed = False
+    for destination, render in [
+        (args.report, lambda: json.dumps({"version": VERSION, "results": results},
+                                        ensure_ascii=False, indent=2) + "\n"),
+        (args.junit, lambda: junit_report(results)),
+    ]:
+        if destination:
+            try:
+                write_report(destination, render())
+            except (OSError, UnicodeError) as error:
+                print(f"ERROR writing report {destination}: {error}", file=sys.stderr)
+                report_failed = True
+    return 0 if not report_failed and all(result["passed"] for result in results) else 1
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())