[gburd]

#268 made lock_order_check.c include db_int.h, which includes dbinc/queue.h from src/. leak-run.sh compiles each driver with only -I$BUILD, so the resource-accounting + correctness leak drivers job fails at the build step on master (dc5e6bc92) and on the v2026.10.7.3 release PR #271. The job only runs when src/lock, src/txn, src/mp, src/os or test paths change, which is why #268's own CI did not run it.

Add -I$HERE/../../src, as the Makefile rule already has in CPPFLAGS. On Debian 12 every driver builds and lock_order_check passes all three arms.

Backport: needed on lts/2026.10.7 for the release PR to go green.

[github-actions]

Coccinelle convention checks

No new violations. ✅

Resolved since baseline (3) -- update dist/cocci/baseline.txt to lock these in.

rule_mutex_unbalanced|MUTEX_UNBALANCED|src/btree/bt_curadj.c|return (ret);
rule_mutex_unbalanced|MUTEX_UNBALANCED|src/crypto/mersenne/mt19937db.c|return (ret);
rule_mutex_unbalanced|MUTEX_UNBALANCED|src/mp/mp_register.c|return (ret);

[github-actions]

ABI diff vs v2026.10.8 (libabigail — authoritative)

abidiff exit bitmask: 0

Removed exported symbols (nm -D, _NNNN version suffix normalized)

None.

---

Advisory: libabigail/nm is the authoritative binary-ABI check; Coccinelle is complementary source-level early warning. See dist/cocci/README.md.