CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
docs/comparison.md
docs/evidence-format.md
docs/initialization.md
docs/protocol.md
docs/reporting.md
docs/verification-limits.md
examples/sum/README.md
examples/sum/comparison-policy.toml
examples/sum/experiment.toml
examples/sum/implementations.py
examples/sum/small.txt
schemas/case-v1.schema.json
schemas/comparison-policy-v1.schema.json
schemas/comparison-v1.schema.json
schemas/manifest-v1.schema.json
schemas/protocol-v1.schema.json
schemas/run-v1.schema.json
src/prooflab/__init__.py
src/prooflab/__main__.py
src/prooflab/animation.py
src/prooflab/artifacts.py
src/prooflab/cli.py
src/prooflab/comparison.py
src/prooflab/comparison_policy.py
src/prooflab/execution_evidence.py
src/prooflab/ingestion.py
src/prooflab/initialization.py
src/prooflab/integrity.py
src/prooflab/materials.py
src/prooflab/measurements.py
src/prooflab/outputs.py
src/prooflab/planning.py
src/prooflab/protocol.py
src/prooflab/provenance.py
src/prooflab/records.py
src/prooflab/report.py
src/prooflab/runner.py
src/prooflab/schema.py
src/prooflab/snapshot.py
src/prooflab/verify.py
src/prooflab.egg-info/PKG-INFO
src/prooflab.egg-info/SOURCES.txt
src/prooflab.egg-info/dependency_links.txt
src/prooflab.egg-info/entry_points.txt
src/prooflab.egg-info/top_level.txt
src/prooflab/animation_frames/monochrome/frame-01.ans
src/prooflab/animation_frames/monochrome/frame-02.ans
src/prooflab/animation_frames/monochrome/frame-03.ans
src/prooflab/animation_frames/monochrome/frame-04.ans
src/prooflab/animation_frames/monochrome/frame-05.ans
src/prooflab/animation_frames/monochrome/frame-06.ans
src/prooflab/animation_frames/monochrome/frame-07.ans
src/prooflab/animation_frames/monochrome/frame-08.ans
src/prooflab/animation_frames/monochrome/frame-09.ans
src/prooflab/animation_frames/monochrome/frame-10.ans
src/prooflab/animation_frames/monochrome/frame-11.ans
src/prooflab/animation_frames/monochrome/frame-12.ans
src/prooflab/animation_frames/monochrome/frame-13.ans
src/prooflab/animation_frames/monochrome/frame-14.ans
src/prooflab/animation_frames/monochrome/frame-15.ans
src/prooflab/animation_frames/monochrome/frame-16.ans
src/prooflab/animation_frames/monochrome/frame-17.ans
src/prooflab/animation_frames/monochrome/frame-18.ans
src/prooflab/animation_frames/monochrome/frame-19.ans
src/prooflab/animation_frames/monochrome/frame-20.ans
src/prooflab/animation_frames/monochrome/frame-21.ans
src/prooflab/animation_frames/monochrome/frame-22.ans
src/prooflab/animation_frames/monochrome/frame-23.ans
src/prooflab/animation_frames/monochrome/frame-24.ans
src/prooflab/animation_frames/truecolor/frame-01.ans
src/prooflab/animation_frames/truecolor/frame-02.ans
src/prooflab/animation_frames/truecolor/frame-03.ans
src/prooflab/animation_frames/truecolor/frame-04.ans
src/prooflab/animation_frames/truecolor/frame-05.ans
src/prooflab/animation_frames/truecolor/frame-06.ans
src/prooflab/animation_frames/truecolor/frame-07.ans
src/prooflab/animation_frames/truecolor/frame-08.ans
src/prooflab/animation_frames/truecolor/frame-09.ans
src/prooflab/animation_frames/truecolor/frame-10.ans
src/prooflab/animation_frames/truecolor/frame-11.ans
src/prooflab/animation_frames/truecolor/frame-12.ans
src/prooflab/animation_frames/truecolor/frame-13.ans
src/prooflab/animation_frames/truecolor/frame-14.ans
src/prooflab/animation_frames/truecolor/frame-15.ans
src/prooflab/animation_frames/truecolor/frame-16.ans
src/prooflab/animation_frames/truecolor/frame-17.ans
src/prooflab/animation_frames/truecolor/frame-18.ans
src/prooflab/animation_frames/truecolor/frame-19.ans
src/prooflab/animation_frames/truecolor/frame-20.ans
src/prooflab/animation_frames/truecolor/frame-21.ans
src/prooflab/animation_frames/truecolor/frame-22.ans
src/prooflab/animation_frames/truecolor/frame-23.ans
src/prooflab/animation_frames/truecolor/frame-24.ans
src/prooflab/starter/README.md
src/prooflab/starter/comparison-policy.toml
src/prooflab/starter/experiment.toml
src/prooflab/starter/implementations.py
src/prooflab/starter/small.txt
tests/__init__.py
tests/build_fixtures.py
tests/execution_program.py
tests/phase6_demo.py
tests/support.py
tests/test_animation.py
tests/test_animation_background.py
tests/test_comparison.py
tests/test_initialization.py
tests/test_phase2.py
tests/test_phase4a.py
tests/test_records.py
tests/test_report.py
tests/test_runner.py
tests/test_verify.py
tests/fixtures/failed-experiment/manifest.json
tests/fixtures/failed-experiment/manifest.sha256
tests/fixtures/failed-experiment/protocol.json
tests/fixtures/failed-experiment/run.json
tests/fixtures/failed-experiment/artifacts/result.txt
tests/fixtures/failed-experiment/cases/small-1.json
tests/fixtures/tampered/manifest.json
tests/fixtures/tampered/manifest.sha256
tests/fixtures/tampered/protocol.json
tests/fixtures/tampered/run.json
tests/fixtures/tampered/artifacts/result.txt
tests/fixtures/tampered/cases/small-1.json
tests/fixtures/valid/manifest.json
tests/fixtures/valid/manifest.sha256
tests/fixtures/valid/protocol.json
tests/fixtures/valid/run.json
tests/fixtures/valid/artifacts/result.txt
tests/fixtures/valid/cases/small-1.json