We ran Pinaka on an open, unresolved Prisma bug. No ground truth. Here's what it found.

We ran Pinaka on an open, unresolved Prisma bug without a known fix. The benchmark found a reproducible error in the PrismaPg driver adapter when filtering nullable String fields for null values. The logs provided behavioral evidence for the diagnosis, which would have been difficult to achieve with static-code-only analysis. This run validated Pinaka's ability to diagnose issues in the absence of a known-correct answer.