-
-
Notifications
You must be signed in to change notification settings - Fork 6
OpenAug 18, 2026
No due date
•Last updated 0% complete
List view
0 of 9 selected 0 issues of 9 selected
The verifier reaches opposite verdicts on the same claim and unchanged code across runs
bugSomething isn't workingSomething isn't workingjavaPull requests that update java codePull requests that update java codeStatus: Open.#711 In devops-thiago/ThrillhouseBot;A finding with no inline thread cannot be declined: the decline re-check reads only inline comments
bugSomething isn't workingSomething isn't workingjavaPull requests that update java codePull requests that update java codeStatus: Open.#709 In devops-thiago/ThrillhouseBot;RebuttalContradiction's line scan mis-reads Java text blocks, C++ raw strings and block comments
bugSomething isn't workingSomething isn't workingStatus: Open.#651 In devops-thiago/ThrillhouseBot;Disclosure classification races under the parallel batch pass (flaky test, possible real bug)
bugSomething isn't workingSomething isn't workingStatus: Open.#586 In devops-thiago/ThrillhouseBot;fix(ai): register a bound callId atomically so a parallel batch's usage is never dropped
bugSomething isn't workingSomething isn't workingStatus: Open.#763 In devops-thiago/ThrillhouseBot;fix(review): the last raw model-supplied values in INFO logs bypass LogSafe
bugSomething isn't workingSomething isn't workingsecuritySecurity-sensitive issue or hardeningSecurity-sensitive issue or hardeningStatus: Open.#764 In devops-thiago/ThrillhouseBot;fix(review): make per-repo ignore globs behave as their documented gitignore-style syntax, and harden the YAML parser
bugSomething isn't workingSomething isn't workingjavaPull requests that update java codePull requests that update java codereworkDefect introduced during this release cycle, not pre-existingDefect introduced during this release cycle, not pre-existingStatus: Open.#481 In devops-thiago/ThrillhouseBot;fix(review): harden the patch-coverage report reader (zip-bomb bound, cross-module attribution, failed-run, multi-module merge)
bugSomething isn't workingSomething isn't workingjavaPull requests that update java codePull requests that update java codereworkDefect introduced during this release cycle, not pre-existingDefect introduced during this release cycle, not pre-existingsecuritySecurity-sensitive issue or hardeningSecurity-sensitive issue or hardeningStatus: Open.#483 In devops-thiago/ThrillhouseBot;Severity and confidence are not calibrated across a review round
bugSomething isn't workingSomething isn't workingStatus: Open.#773 In devops-thiago/ThrillhouseBot;