LICENSE
README.md
pyproject.toml
graphspec/__init__.py
graphspec/analysis.py
graphspec/cli.py
graphspec/diagnostics.py
graphspec/diff.py
graphspec/expr.py
graphspec/model.py
graphspec/parser.py
graphspec/render.py
graphspec/scaffold.py
graphspec/serve.py
graphspec/validate.py
graphspec.egg-info/PKG-INFO
graphspec.egg-info/SOURCES.txt
graphspec.egg-info/dependency_links.txt
graphspec.egg-info/entry_points.txt
graphspec.egg-info/requires.txt
graphspec.egg-info/top_level.txt
graphspec/rules/__init__.py
graphspec/rules/e_cycle_cap.py
graphspec/rules/e_edge_ends.py
graphspec/rules/e_effects.py
graphspec/rules/e_fanout.py
graphspec/rules/e_human.py
graphspec/rules/e_kind.py
graphspec/rules/e_no_terminal.py
graphspec/rules/e_read_unset.py
graphspec/rules/e_terminal.py
graphspec/rules/e_unreachable.py
graphspec/rules/e_verifier.py
graphspec/rules/e_when_unset.py
graphspec/rules/w_advisory.py
graphspec/rules/w_counter_write.py
graphspec/rules/w_self_read.py
graphspec/static/a11y.js
graphspec/static/app.css
graphspec/static/app.js
graphspec/static/index.html
graphspec/static/lens.js
graphspec/static/traceoverlay.js
graphspec/trace/__init__.py
graphspec/trace/cli.py
graphspec/trace/cost.py
graphspec/trace/inputs.py
graphspec/trace/mapping.py
graphspec/trace/overlay.py
tests/test_diff.py
tests/test_foundation.py
tests/test_golden.py
tests/test_render.py
tests/test_scaffold.py
tests/test_schema.py
tests/test_serve.py
tests/test_serve_acceptance.py
tests/test_static_a11y.py
tests/test_static_lens.py
tests/test_static_traceoverlay.py
tests/test_trace_cli.py
tests/test_trace_cost.py
tests/test_trace_mapping.py
tests/test_trace_overlay.py
tests/test_validate_integration.py
tests/test_workflows_yaml.py