LICENSE
README.md
pyproject.toml
src/zft/__init__.py
src/zft/taskgate.py
src/zft.egg-info/PKG-INFO
src/zft.egg-info/SOURCES.txt
src/zft.egg-info/dependency_links.txt
src/zft.egg-info/entry_points.txt
src/zft.egg-info/requires.txt
src/zft.egg-info/top_level.txt
src/zft/attest/__init__.py
src/zft/attest/dsse.py
src/zft/attest/errors.py
src/zft/attest/export.py
src/zft/attest/jcs.py
src/zft/attest/keys.py
src/zft/cli/main.py
src/zft/codegen/__init__.py
src/zft/codegen/gherkin_gen.py
src/zft/codegen/property_gen.py
src/zft/debug/__init__.py
src/zft/debug/ledger.py
src/zft/debug/repro.py
src/zft/dsl/__init__.py
src/zft/dsl/ears.py
src/zft/dsl/oracle.py
src/zft/dsl/predicate.py
src/zft/dsl/strategies.py
src/zft/gates/__init__.py
src/zft/gates/driver_gate.py
src/zft/gates/l0.py
src/zft/gates/l1.py
src/zft/gates/l2.py
src/zft/gates/l3.py
src/zft/gates/mutation_bar.py
src/zft/gates/sandbox.py
src/zft/gates/runners/__init__.py
src/zft/gates/runners/mutmut_runner.py
src/zft/gates/runners/pytest_runner.py
src/zft/lineage/__init__.py
src/zft/lineage/extract.py
src/zft/lineage/impact.py
src/zft/lineage/matrix.py
src/zft/negotiate/__init__.py
src/zft/negotiate/a2a_adapter.py
src/zft/negotiate/resume.py
src/zft/negotiate/sm.py
src/zft/negotiate/terms.py
src/zft/negotiate/transport.py
src/zft/registry/__init__.py
src/zft/registry/conflicts.py
src/zft/spec/__init__.py
src/zft/spec/canon.py
src/zft/spec/delta.py
src/zft/spec/findings.py
src/zft/spec/identity.py
src/zft/spec/lint.py
src/zft/spec/schema.py
src/zft/spec/store.py