Skip to content

v0.2.0 — closed reconstruction loop

Choose a tag to compare

@2akouwu 2akouwu released this 02 Sep 15:46

reverify reconstruct closes the loop: a language model proposes claims about a binary, the deterministic verifier judges each against the actual bytes, refutations are fed back, and it iterates until the reconstruction is grounded.

Added

  • ReconstructionAgent (reverify/agent.py) and the reverify reconstruct --goal ... command (--mock offline demo, --rounds cap).
  • Model injected as a propose callable; fully testable offline. openai_proposer() builds a live one from OPENAI_* env.

75 unit tests. pip install reverify