LICENSE
NOTICE.md
README.md
pyproject.toml
proofkit/__init__.py
proofkit/__main__.py
proofkit/_dispatch.py
proofkit/_extensions.py
proofkit/_render.py
proofkit/_render_auto.py
proofkit/_types.py
proofkit/_wf_artifacts.py
proofkit/_wf_changeops.py
proofkit/_wf_discovery.py
proofkit/_wf_engine.py
proofkit/_wf_evidence.py
proofkit/_wf_inference.py
proofkit/_wf_infra.py
proofkit/_wf_registry.py
proofkit/_wf_templates.py
proofkit/_wf_validation.py
proofkit/_workflow.py
proofkit/cli.py
proofkit/templates/commands/sdd-design.md
proofkit/templates/commands/sdd-propose.md
proofkit/templates/commands/sdd-specify.md
proofkit/templates/commands/sdd-status.md
proofkit/templates/commands/sdd-tasks.md
proofkit/templates/commands/sdd-verify.md
proofkit/templates/docs/adapter-authoring-v0.1.md
proofkit/templates/docs/adapter-contract-v0.1.md
proofkit/templates/docs/adapters-v0.1.md
proofkit/templates/docs/production-readiness-v0.1.md
proofkit/templates/docs/proofkit-protocol-v0.1.md
proofkit/templates/docs/sdd-validator-v0.1.md
proofkit/templates/sdd/constitution.md
proofkit/templates/sdd/protocol.md
proofkit/templates/sdd/state.json
proofkit/templates/sdd/adapters/claude-code.json
proofkit/templates/sdd/adapters/codex.json
proofkit/templates/sdd/adapters/cursor.json
proofkit/templates/sdd/adapters/gemini-cli.json
proofkit/templates/sdd/adapters/generic-markdown.json
proofkit/templates/sdd/adapters/github-copilot.json
proofkit/templates/sdd/adapters/opencode.json
proofkit/templates/sdd/adapters/qwen-code.json
proofkit/templates/sdd/agents/architect.md
proofkit/templates/sdd/agents/archivist.md
proofkit/templates/sdd/agents/critic.md
proofkit/templates/sdd/agents/explorer.md
proofkit/templates/sdd/agents/implementer.md
proofkit/templates/sdd/agents/orchestrator.md
proofkit/templates/sdd/agents/planner.md
proofkit/templates/sdd/agents/specifier.md
proofkit/templates/sdd/agents/verifier.md
proofkit/templates/sdd/examples/standard-verified-change/archive.md
proofkit/templates/sdd/examples/standard-verified-change/delta-spec.md
proofkit/templates/sdd/examples/standard-verified-change/design.md
proofkit/templates/sdd/examples/standard-verified-change/proposal.md
proofkit/templates/sdd/examples/standard-verified-change/tasks.md
proofkit/templates/sdd/examples/standard-verified-change/verification.md
proofkit/templates/sdd/memory/decisions.md
proofkit/templates/sdd/memory/project.md
proofkit/templates/sdd/profiles/bugfix.md
proofkit/templates/sdd/profiles/enterprise.md
proofkit/templates/sdd/profiles/quick.md
proofkit/templates/sdd/profiles/refactor.md
proofkit/templates/sdd/profiles/research.md
proofkit/templates/sdd/profiles/standard.md
proofkit/templates/sdd/schemas/adapter-capabilities.schema.json
proofkit/templates/sdd/schemas/agent.schema.json
proofkit/templates/sdd/schemas/artifact.schema.json
proofkit/templates/sdd/schemas/extension.schema.json
proofkit/templates/sdd/schemas/phase-result.schema.json
proofkit/templates/sdd/schemas/skill.schema.json
proofkit/templates/sdd/schemas/verification.schema.json
proofkit/templates/sdd/skills/archive.md
proofkit/templates/sdd/skills/critique.md
proofkit/templates/sdd/skills/design.md
proofkit/templates/sdd/skills/implement.md
proofkit/templates/sdd/skills/propose.md
proofkit/templates/sdd/skills/specify.md
proofkit/templates/sdd/skills/sync-specs.md
proofkit/templates/sdd/skills/task.md
proofkit/templates/sdd/skills/verify.md
proofkit_cli.egg-info/PKG-INFO
proofkit_cli.egg-info/SOURCES.txt
proofkit_cli.egg-info/dependency_links.txt
proofkit_cli.egg-info/entry_points.txt
proofkit_cli.egg-info/top_level.txt
tests/test_contracts.py
tests/test_core.py
tests/test_execution_evidence.py
tests/test_features.py
tests/test_golden.py
tests/test_inference.py
tests/test_sdd.py
tests/test_verify.py
tests/test_workflow.py