tracefork 0.2.1__tar.gz → 0.3.0__tar.gz

{tracefork-0.2.1 → tracefork-0.3.0}/.github/workflows/ci.yml

@@ -27,7 +27,9 @@ jobs:
       - name: Type check
         run: uv run mypy src/tracefork
       - name: Tests + coverage
-        run: uv run pytest -q --cov --cov-report=term-missing
+        run: uv run pytest -q --cov --cov-report=term-missing --junit-xml=junit.xml
+      - name: Executed-evidence CI sentinel
+        run: uv run python scripts/check_executed_evidence.py
       - name: Self-validation regression gate
         run: uv run tracefork validate --check
       - name: Build distribution

tracefork-0.3.0/.github/workflows/mutation.yml

@@ -0,0 +1,46 @@
+name: Mutation testing
+
+# Nightly, informational-only mutation-testing pass over the four
+# proof-bearing modules (transport/tape/matcher/blame) via mutmut — see
+# scripts/mutation_summary.py's module docstring for the full rationale.
+#
+# Deliberately triggers ONLY on a schedule + manual dispatch, never on
+# `push`/`pull_request`: this job is structurally incapable of blocking a
+# merge. `continue-on-error: true` on the job is belt-and-suspenders on top
+# of that (and on top of scripts/mutation.sh / scripts/mutation_summary.py
+# each already exiting 0 by design).
+
+on:
+  schedule:
+    - cron: "0 7 * * *" # nightly, 07:00 UTC
+  workflow_dispatch:
+
+jobs:
+  mutation:
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+      - uses: actions/checkout@v7
+      - name: Install uv
+        uses: astral-sh/setup-uv@v7
+        with:
+          python-version: "3.12"
+      - name: Install dependencies
+        run: uv sync --extra dev --extra mutation
+      - name: Seed coverage data for mutmut --use-coverage
+        run: uv run pytest -q --cov
+      - name: Run mutmut over transport/tape/matcher/blame
+        run: uv run mutmut run --use-coverage || true
+      - name: Export mutmut results as JUnit XML
+        run: uv run mutmut junitxml > mutmut-junit.xml
+      - name: Summarize mutation results
+        run: uv run python scripts/mutation_summary.py --junit-xml mutmut-junit.xml || true
+      - name: Upload mutation report
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: mutation-report
+          path: |
+            mutmut-junit.xml
+            .mutmut-cache
+          if-no-files-found: warn

{tracefork-0.2.1 → tracefork-0.3.0}/.github/workflows/release.yml

@@ -20,9 +20,9 @@ jobs:
     permissions:
       id-token: write # OIDC token for PyPI Trusted Publishing
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
       - name: Install uv
-        uses: astral-sh/setup-uv@v3
+        uses: astral-sh/setup-uv@v7
         with:
           python-version: "3.12"
       - name: Build sdist and wheel

{tracefork-0.2.1 → tracefork-0.3.0}/.gitignore

@@ -17,9 +17,11 @@ __pycache__/
 /store.db
 /report.html
 /blame_*.json
+/tournament_*.json
 /validation_report.json
 /bench_report.json
 /examples/demo_report.html
+/junit.xml
 
 # Build, coverage, and tool caches (regenerated on demand)
 /dist/
@@ -34,3 +36,4 @@ docs/superpowers/
 .beads/
 planning/
 .superpowers/
+blame_*.md