LICENSE
README.md
pyproject.toml
setup.py
SpecGo.egg-info/PKG-INFO
SpecGo.egg-info/SOURCES.txt
SpecGo.egg-info/dependency_links.txt
SpecGo.egg-info/entry_points.txt
SpecGo.egg-info/requires.txt
SpecGo.egg-info/top_level.txt
specgo/__init__.py
specgo/__main__.py
specgo/agent/__init__.py
specgo/agent/budget.py
specgo/agent/config.py
specgo/agent/runner.py
specgo/agent/state.py
specgo/agent/steps/__init__.py
specgo/agent/steps/gates.py
specgo/agent/steps/ingest.py
specgo/agent/steps/iterate.py
specgo/agent/steps/report.py
specgo/agent/steps/test_diff.py
specgo/agent/steps/validate.py
specgo/agent/tools/__init__.py
specgo/agent/tools/ingest_tool.py
specgo/agent/tools/replay_tool.py
specgo/agent/tools/report_tool.py
specgo/agent/tools/test_tool.py
specgo/agent/tools/validate_tool.py
specgo/api_spec/__init__.py
specgo/api_spec/model.py
specgo/api_spec/validator.py
specgo/cli/__init__.py
specgo/cli/default_paths.py
specgo/cli/main.py
specgo/cli/commands/__init__.py
specgo/cli/commands/codegen_protocol.py
specgo/cli/commands/config.py
specgo/cli/commands/gate_codegen.py
specgo/cli/commands/gate_test.py
specgo/cli/commands/run.py
specgo/cli/commands/spec_ingest.py
specgo/cli/commands/spec_validate.py
specgo/cli/commands/start.py
specgo/cli/commands/test_diff.py
specgo/cli/commands/test_roundtrip.py
specgo/codegen/__init__.py
specgo/codegen/api.py
specgo/codegen/naming.py
specgo/codegen/platform.py
specgo/codegen/protocol.py
specgo/codegen/render.py
specgo/codegen/templates/README.md
specgo/codegen/templates/c/protocol.c.j2
specgo/codegen/templates/c/protocol.h.j2
specgo/gates/__init__.py
specgo/gates/codegen.py
specgo/gates/evaluator.py
specgo/gates/io.py
specgo/gates/metrics.py
specgo/ingest/__init__.py
specgo/ingest/dbc.py
specgo/ingest/dispatcher.py
specgo/ingest/pdf.py
specgo/ingest/text.py
specgo/ir/__init__.py
specgo/ir/io.py
specgo/ir/model.py
specgo/ir/validator/__init__.py
specgo/ir/validator/layer0_schema.py
specgo/ir/validator/layer1_semantic.py
specgo/llm/__init__.py
specgo/llm/placeholder.py
specgo/llm/provider.py
specgo/llm/actions/__init__.py
specgo/llm/actions/propose_code_patch.py
specgo/llm/actions/propose_ir_patch.py
specgo/llm/prompts/__init__.py
specgo/llm/prompts/codegen.md
specgo/llm/prompts/ir_fix.md
specgo/replay/__init__.py
specgo/replay/model.py
specgo/replay/record.py
specgo/replay/run.py
specgo/report/__init__.py
specgo/report/generate.py
specgo/testgen/__init__.py
specgo/testgen/harness.py
specgo/testgen/property.py
specgo/testgen/raw/__init__.py
specgo/testgen/raw/io.py
specgo/testgen/raw/runner.py
specgo/testgen/tests/test_roundtrip_property.py
specgo/workspace/__init__.py
specgo/workspace/bootstrap.py
specgo/workspace/config_model.py
specgo/workspace/layout.py
specgo/workspace/store.py