CHANGELOG.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
VALIDATION.md
action.yml
pyproject.toml
requirements-build.txt
.github/proofcli_action.py
.github/workflows/ci.yml
.github/workflows/demo-video.yml
.github/workflows/demo.yml
.github/workflows/pypi.yml
.github/workflows/release.yml
demo/package-lock.json
demo/package.json
demo/remotion.config.ts
demo/tsconfig.json
demo/src/Closing.tsx
demo/src/Composition.tsx
demo/src/Opening.tsx
demo/src/Ordinary.tsx
demo/src/Root.tsx
demo/src/Verification.tsx
demo/src/design.tsx
demo/src/evidence.json
demo/src/index.ts
docs/audit-0.3.md
docs/capture-0.4.md
docs/demo.md
docs/github-action.md
docs/releasing.md
docs/reports.md
docs/specification.md
docs/use-cases.md
docs/assets/demo-poster.png
examples/false-success.json
examples/good.json
examples/timeout.json
examples/export/export.py
examples/export/extra-column.json
examples/export/false-success.json
examples/export/good.json
examples/export/missing-record.json
examples/export/wrong-value.json
examples/export/fixtures/input.csv
proofcli/__init__.py
proofcli/__main__.py
proofcli/_verify.py
proofcli/assertions.py
proofcli/cli.py
proofcli/process.py
proofcli/runner.py
proofcli/spec.py
proofcli/winjob.py
proofcli.egg-info/PKG-INFO
proofcli.egg-info/SOURCES.txt
proofcli.egg-info/dependency_links.txt
proofcli.egg-info/entry_points.txt
proofcli.egg-info/top_level.txt
tests/test_action.py
tests/test_assertions.py
tests/test_cli.py
tests/test_export.py
tests/test_hardening.py
tests/test_qol.py
tools/audit_dependencies.py
tools/capture_demo.py
tools/fetch_release.py
tools/prepare_release.py
tools/verify_dist.py