LICENSE
README.md
pyproject.toml
src/immune/__init__.py
src/immune/abstraction.py
src/immune/collector.py
src/immune/daikon.py
src/immune/debate.py
src/immune/enforcer.py
src/immune/enricher.py
src/immune/error_capture.py
src/immune/fingerprint.py
src/immune/herd.py
src/immune/houdini.py
src/immune/mines.py
src/immune/otel_collector.py
src/immune/pattern_library.py
src/immune/pipeline.py
src/immune/privacy.py
src/immune/quality_scorer.py
src/immune/spec_updater.py
src/immune/store.py
src/immune/types.py
src/immune/verifier_pbt.py
src/immune/verifier_symbolic.py
src/immune/web_templates.py
src/nightjar/__init__.py
src/nightjar/audit.py
src/nightjar/auto.py
src/nightjar/badge.py
src/nightjar/cache.py
src/nightjar/cli.py
src/nightjar/compiler.py
src/nightjar/compliance.py
src/nightjar/confidence.py
src/nightjar/config.py
src/nightjar/dafny_pro.py
src/nightjar/dafny_setup.py
src/nightjar/diagnosis.py
src/nightjar/display.py
src/nightjar/explain.py
src/nightjar/generator.py
src/nightjar/gitnexus_hooks.py
src/nightjar/hill_climb.py
src/nightjar/impact.py
src/nightjar/intent_router.py
src/nightjar/lock.py
src/nightjar/mcp_server.py
src/nightjar/negation_proof.py
src/nightjar/optimizer.py
src/nightjar/oracle_lifter.py
src/nightjar/parser.py
src/nightjar/replay.py
src/nightjar/resolver.py
src/nightjar/retry.py
src/nightjar/safety_gate.py
src/nightjar/sentry_integration.py
src/nightjar/shadow_ci.py
src/nightjar/shadow_ci_runner.py
src/nightjar/ship.py
src/nightjar/spec_rewriter.py
src/nightjar/step_cache.py
src/nightjar/tracking.py
src/nightjar/tui.py
src/nightjar/types.py
src/nightjar/verifier.py
src/nightjar/watch.py
src/nightjar/invariant_generators/__init__.py
src/nightjar/invariant_generators/dafny_gen.py
src/nightjar/invariant_generators/hypothesis_gen.py
src/nightjar/invariant_generators/icontract_gen.py
src/nightjar/prompts/__init__.py
src/nightjar/prompts/analyst_v1.py
src/nightjar/prompts/coder_v1.py
src/nightjar/prompts/formalizer_v1.py
src/nightjar/security/__init__.py
src/nightjar/security/owasp_pack.py
src/nightjar/stages/__init__.py
src/nightjar/stages/deps.py
src/nightjar/stages/formal.py
src/nightjar/stages/pbt.py
src/nightjar/stages/preflight.py
src/nightjar/stages/schema.py
src/nightjar/tui_widgets/__init__.py
src/nightjarzzz.egg-info/PKG-INFO
src/nightjarzzz.egg-info/SOURCES.txt
src/nightjarzzz.egg-info/dependency_links.txt
src/nightjarzzz.egg-info/entry_points.txt
src/nightjarzzz.egg-info/requires.txt
src/nightjarzzz.egg-info/top_level.txt