Issues

• [feat] APK awareness: decode AndroidManifest, enumerate DEX, report signing

  2akouwu/reverify#30 · Filter by author 1wgrumph opened on Oct 16, 2026

• import_present silently ignores unknown field names and degrades to a DLL-only check -> false VERIFIED

  2akouwu/reverify#23 · Filter by author WQY666666 opened on Sep 23, 2026
  2

• Verifier marks vacuous claims VERIFIED (empty string/pattern/bytes/mnemonics)

  2akouwu/reverify#22 · Filter by author czk-aa opened on Sep 11, 2026

• [feat] OrcaRouter provider support for reverify

  2akouwu/reverify#20 · Filter by author zsanig22-dotcom opened on Sep 10, 2026

• orchestrate: open-ended goals make the model ignore structured claim kinds (import_present etc.)

  2akouwu/reverify#14 · Filter by author IMGillusion opened on Sep 5, 2026
  2

• Expand the hallucination benchmark beyond the prologue prior

  2akouwu/reverify#4 · Filter by author 2akouwu opened on Sep 3, 2026

• Run the hallucination benchmark on Linux ELF and macOS Mach-O

  2akouwu/reverify#1 · Filter by author 2akouwu opened on Sep 3, 2026
  3