Skip to content

v0.4.0 — a loop that is hard to game

Choose a tag to compare

@2akouwu 2akouwu released this 03 Sep 10:14

Scores what the verified set actually says, and closes the channels a model uses to look grounded without being informative.

Added

  • Information-weighted scoring: weight 0 for claims restating the fact sheet, duplicates, self-referential inline code, and echoes of previous tool output. grounded = nothing refuted and verified weight ≥ --min-information. (CORE-style)
  • Address spaces file|rva|va with translation + nearest_offset_of_expected; typed reads u16/u32/u64_at; OBSERVED verdict; id/depends_onINVALIDATED; operands on instructions.
  • Agent: addressed fact sheet with shift signals, echo/attrition detection, --samples with the verifier as selector.

Fixed

  • Pure PE parser: PE32+ ImageBase misread (BaseOfCode width) and PE32 crash on every 32-bit binary. Pinned on both backends.

128 tests. pip install -U reverify