Issues

• read-before-init: unreachable blocks feed Kill facts into the forward meet (handler ending in raise)

  bugpriority:p2scope:repo
  hyperpolymath/pons-asinorum#50 · Filter by author hyperpolymath opened on Sep 30, 2026

• dead-store: with-suppressed exceptions make an earlier store look dead (ADR-0002 treats with as linear)

  priority:p2scope:repo
  hyperpolymath/pons-asinorum#48 · Filter by author hyperpolymath opened on Sep 30, 2026

• read-before-init: 75 of 78 real-world findings are infeasible-path false positives (ADR-0002 FP claim is false)

  priority:p2scope:repo
  hyperpolymath/pons-asinorum#47 · Filter by author hyperpolymath opened on Sep 30, 2026

• docs: USAGE.adoc, catalogue.adoc and man/pons.1 document subcommands and flags the binary does not have

  documentationpriority:p2scope:repo
  hyperpolymath/pons-asinorum#43 · Filter by author hyperpolymath opened on Sep 30, 2026

• byteOffset is an offset into the decoded string, not the file, for non-UTF-8 sources

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/pons-asinorum#33 · Filter by author hyperpolymath opened on Sep 23, 2026

• SARIF is silent about skipped paths, so a code-scanning consumer sees a clean run over a tree it never opened

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/pons-asinorum#32 · Filter by author hyperpolymath opened on Sep 23, 2026

• SARIF/human columns are byte offsets emitted as UTF-16 code units

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/pons-asinorum#30 · Filter by author hyperpolymath opened on Sep 22, 2026

• Discovery-level walk errors are fatal for the whole scan, not just the unreadable directory

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/pons-asinorum#29 · Filter by author hyperpolymath opened on Sep 22, 2026