Issues

• SonarQube Cloud analysis fails on main and on PRs

  bug
  hyperpolymath/proven-tests-and-benches#86 · Filter by author hyperpolymath opened on Oct 6, 2026

• Residual after #80: 4 findings that cannot be fixed from this repository (3 undeclared-secret reusables + 1 dormant SMTP caller)

  hyperpolymath/proven-tests-and-benches#82 · Filter by author hyperpolymath opened on Oct 3, 2026

• SD022 false positive: repo-qualified src/<dir>/ references (panic-attack:src/aggregate/)

  bug
  hyperpolymath/proven-tests-and-benches#78 · Filter by author hyperpolymath opened on Oct 3, 2026

• check-escape-hatches.sh cannot distinguish a QUOTED banned token from a USED one

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/proven-tests-and-benches#59 · Filter by author hyperpolymath opened on Sep 15, 2026

• Taxonomy: README is honest about the 17th category — the real defects are a dropped proof-system axis, a mis-sited file reference, a duplicated 9-element enum, and a C.3 numbering collision that would renumber shipped code

  bugpriority:p2scope:repo
  hyperpolymath/proven-tests-and-benches#46 · Filter by author hyperpolymath opened on Aug 27, 2026
  1