From the 2026-07-02 parser weak-points audit (the DbFact false-green meta-issue).
Many corpus cases are [DbFact] (live-DB gated, silently skipped without PGPROJ_TEST_CONNECTION) whose verdict the static engine can now decide offline after the P0/P1/P2 fixes (literal errors, precedence, generated/virtual columns, etc.). Those should be [Fact] so they run in the default offline suite — otherwise green ≠ covered.
Work: identify DbFact cases now statically decidable; promote to [Fact]; keep genuinely DB-dependent ones as [DbFact].
Acceptance: offline suite count rises by the promoted cases; the live suite stays green.
From the 2026-07-02 parser weak-points audit (the DbFact false-green meta-issue).
Many corpus cases are
[DbFact](live-DB gated, silently skipped withoutPGPROJ_TEST_CONNECTION) whose verdict the static engine can now decide offline after the P0/P1/P2 fixes (literal errors, precedence, generated/virtual columns, etc.). Those should be[Fact]so they run in the default offline suite — otherwise green ≠ covered.Work: identify DbFact cases now statically decidable; promote to
[Fact]; keep genuinely DB-dependent ones as[DbFact].Acceptance: offline suite count rises by the promoted cases; the live suite stays green.