CHANGELOG.md
COMMERCIAL.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
docs/BENCHMARK.md
docs/DEMO.md
docs/PROOF.md
docs/QUICKSTART.md
docs/SCALE.md
docs/SIGHT_LAW_PROMPT.md
docs/TEACHING.md
docs/generalization_experiment.py
docs/proof_one_example.py
docs/data/arm_a_full_results.json
docs/data/lean_arm_tokens.json
docs/data/lean_obs_raw.json
docs/data/scale/arrow-after.log
docs/data/scale/click-after.log
docs/data/scale/click-before-partial.log
docs/data/scale/protocol.py
docs/data/scale/sortedcontainers-after.log
docs/data/scale/span_bench.log
docs/data/scale/span_bench.py
docs/data/scale/span_bench2.log
docs/data/scale/span_bench3.log
docs/data/scale/span_bench4.log
docs/data/scale/span_bench4_results.json
docs/data/scale/span_bench_results.json
docs/data/scale/span_rules.py
docs/data/scale/v6-replays-round1.log
docs/data/scale/v6-replays-round2.log
docs/data/scale/v6-replays-round5.log
docs/data/scale/v6-replays-round6.log
docs/data/scale/v6_replays_round1.sh
docs/data/scale/v6_replays_round2.sh
docs/data/scale/v6_replays_round5.sh
docs/data/scale/v6_replays_round6.sh
docs/laws/sight.c
docs/media/clip_s1.gif
docs/media/clip_s2.gif
docs/media/clip_s3.gif
docs/media/clip_s4.gif
docs/media/clip_s5.gif
docs/media/demo.mp4
docs/media/live-session.log
docs/media/live-session.mp4
src/fluidfix/__init__.py
src/fluidfix/acts.py
src/fluidfix/cli.py
src/fluidfix/coracle.py
src/fluidfix/engine.py
src/fluidfix/guard.py
src/fluidfix/hotspots.py
src/fluidfix/javaoracle.py
src/fluidfix/lanes.py
src/fluidfix/localize.py
src/fluidfix/loop.py
src/fluidfix/observers.py
src/fluidfix/oracle.py
src/fluidfix/rank.py
src/fluidfix/router.py
src/fluidfix/sight.py
src/fluidfix.egg-info/PKG-INFO
src/fluidfix.egg-info/SOURCES.txt
src/fluidfix.egg-info/dependency_links.txt
src/fluidfix.egg-info/entry_points.txt
src/fluidfix.egg-info/requires.txt
src/fluidfix.egg-info/top_level.txt
tests/test_acts.py
tests/test_c_adapter.py
tests/test_cli.py
tests/test_context_transforms.py
tests/test_demo_walkthrough.py
tests/test_dictionary.py
tests/test_dry_run.py
tests/test_e2e.py
tests/test_engine_fusion.py
tests/test_estimate.py
tests/test_guard.py
tests/test_harness_errors.py
tests/test_hotspots.py
tests/test_init.py
tests/test_java.py
tests/test_lanes.py
tests/test_law_never_ruled_wrong.py
tests/test_one_example_generalises.py
tests/test_packaging.py
tests/test_rank_law.py
tests/test_refusal_diagnosis.py
tests/test_regressions.py
tests/test_router_law.py
tests/test_sight_law.py
tests/test_span_edits.py
tests/test_teaching.py