Tags: agent-ix/quire-contract-codegen

Archived 2026-09-07. Superseded implementation: main carries a supers…

…et of src/ (kani, oracle, strategy, vacuity) via PRs #25 and #27. Retained for its 2412 evidence/historical artifacts, which were deliberately never merged to main.