CLAUDE.md
LICENSE
MANIFEST.in
Makefile
README.md
pyproject.toml
actions/setup/action.yml
actions/setup/verify_release.py
actions/verify/action.yml
actions/verify/prepare.sh
actions/verify/replay.sh
docs/agent.md
docs/architecture.md
docs/authoring.md
docs/ci.md
docs/decisions.md
docs/development.md
docs/example.md
docs/extensions.md
docs/quickstart.md
docs/scaffold.md
docs/sdk.md
docs/security.md
docs/usage.md
docs/verification-flow.svg
docs/superpowers/plans/2026-11-01-ci-selftest-sync-pinned.md
docs/superpowers/plans/2026-11-01-github-action-gate.md
docs/superpowers/plans/2026-11-02-check-only-test-checks.md
docs/superpowers/plans/2026-11-02-generic-stack-e2e.md
docs/superpowers/plans/2026-11-02-sdk-conformance.md
docs/superpowers/plans/2026-11-02-witnessbox-command.md
examples/basic/baseline.jsonl
examples/basic/evidence.jsonl
examples/basic/make_example.py
examples/basic/report.json
examples/basic/report.md
examples/basic/spec.toml
examples/e2e/run.sh
examples/e2e/jvm/build.gradle
examples/e2e/jvm/settings.gradle
examples/e2e/jvm/defect/src/main/java/example/Doubler.java
examples/e2e/jvm/ebt/pinned.txt
examples/e2e/jvm/src/main/java/example/Doubler.java
examples/e2e/jvm/src/test/java/example/DoublerEbtTest.java
examples/e2e/ts/bun.lock
examples/e2e/ts/double.ebt.test.ts
examples/e2e/ts/package.json
examples/e2e/ts/tsconfig.json
examples/e2e/ts/vitest.config.ts
examples/e2e/ts/defect/src/double.ts
examples/e2e/ts/ebt/pinned.txt
examples/e2e/ts/ebt/prepare.sh
examples/e2e/ts/src/double.ts
examples/flutter/integration_test/checkout_ebt_test.dart
examples/flutter/test_driver/integration_test.dart
src/checkers.py
src/ebt_check.py
src/ebt_verification/__init__.py
src/ebt_verification/api.py
src/witnessbox/__init__.py
src/witnessbox/api.py
src/witnessbox/cli.py
src/witnessbox/gate.sh
src/witnessbox.egg-info/PKG-INFO
src/witnessbox.egg-info/SOURCES.txt
src/witnessbox.egg-info/dependency_links.txt
src/witnessbox.egg-info/entry_points.txt
src/witnessbox.egg-info/top_level.txt
src/witnessbox/checker/__init__.py
src/witnessbox/checker/checkers.py
src/witnessbox/checker/cli.py
src/witnessbox/checker/ebt_check.py
src/witnessbox/checker/engine.py
src/witnessbox/checker/input.py
src/witnessbox/checker/rendering.py
src/witnessbox/checker/fixtures/record.jsonl
src/witnessbox/resources/__init__.py
src/witnessbox/resources/lib/ebt/Ebt.java
src/witnessbox/resources/lib/ebt/ebt.dart
src/witnessbox/resources/lib/ebt/ebt.ts
src/witnessbox/resources/scaffold/README.md
src/witnessbox/resources/scaffold/checks.py
src/witnessbox/resources/scaffold/spec.toml
src/witnessbox/resources/scaffold/test_checks.py
src/witnessbox/resources/scaffold/dart/pinned.txt
src/witnessbox/resources/scaffold/dart/test.sh
src/witnessbox/resources/scaffold/generic/pinned.txt
src/witnessbox/resources/scaffold/generic/test.sh
src/witnessbox/resources/scaffold/jvm/pinned.txt
src/witnessbox/resources/scaffold/jvm/test.sh
src/witnessbox/resources/scaffold/ts/pinned.txt
src/witnessbox/resources/scaffold/ts/test.sh
src/witnessbox/runners/flutter.sh
tests/__init__.py
tests/_verification_test_support.py
tests/release_check.py
tests/actions/__init__.py
tests/actions/test_setup.py
tests/actions/test_verify.py
tests/checker/__init__.py
tests/checker/test_checker.py
tests/gate/__init__.py
tests/gate/test_gate.py
tests/sdk/__init__.py
tests/sdk/golden.jsonl
tests/sdk/dart/ebt_test.dart
tests/sdk/java/EbtTest.java
tests/sdk/ts/ebt.test.ts