Quick progress update on Kinetic-AG:

I finished wiring up the package metadata and strict tool configs in pyproject.toml, then built out the pure-Python reference oracle (kvl/_oracle_ref.py). I also implemented the budgeted JSON SSA executor in kvl/dsl.py and added JSON-program support directly into verify_engine.py. For test coverage, I added differential, property, and exhaustive 4×4 binary-grid suites in test_kvl_properties.py.

Everything compiling and running locally looks solid—the exhaustive oracle comparison, DSL smoke checks, and checker integration tests all passed. The only hiccup is the property test suite: running it through unittest threw an import error because hypothesis is missing, and I couldn’t pull it down since the package index was down/unreachable. Once that’s reachable to install hypothesis, the full property suite should be ready to roll.