[PIsberg]

Stacked on #1225: review the last commit (91bab9297). The first commit is #1225's and drops out of this diff once that merges. Both change docs/CHANGELOG.md, which is why they are chained.

Partly addresses #1220. select { onLock } stays open there (narrowed in a comment on the issue).

Why

A Mutex taken with tryLock held no owner token of the agent's. tryLock takes no continuation, so the hook could not read the caller's Job. A coroutine that took a mutex with tryLock and then locked it again from a coroutineScope or supervisorScope block hung exactly like the case the detector reports, and nothing was reported. The new fixture showed this before the change: Findings were: [].

What changed

• Weaver. Before a tryLock hook, KotlinMutexWeaver loads the continuation of the function the call is made in:

  • ALOAD 0 in an instance invokeSuspend(Object), the body of a suspend lambda;
  • an ALOAD of a trailing Continuation parameter, in a suspend function;
  • ACONST_NULL anywhere else.

  The hook takes it as one more argument, so the stack grows by one and frames are unchanged (COMPUTE_MAXS). A slot the method stores a non-reference value into is not loaded, so verification cannot fail. javac and kotlinc never do that to a parameter.

• Hooks. The new kotlinMutexTryLockIn and kotlinMutexTryLockDefaultIn make the call with a fresh owner token when none was passed, as the lock hook does since [P3] Kotlin Mutex detector keeps a stale holder after an unlock in an unwoven class and can report a false reentrancy #1221. They record a mutex they take as held by the caller's Job. A later lock by that coroutine that waits is then reported by the existing rule. The old kotlinMutexTryLock and kotlinMutexTryLockDefault hooks stay, so an older agent jar against this library still links. Both new hooks are additive public API, @since 1.14.2.

• Guardrail. The @AICore note on AsyncTestAgent, which inventories every weaver's bytecode shape, now describes the extra load. The guardrail files were regenerated by the build.

How it was verified

• Tests first: KotlinMutexReentrancyAfterTryLockIsReportedTest, against real kotlinx 1.11 in consumer-fixture-langs/kotlin, failed before the change with no findings. It now passes for a tryLock in a runBlocking lambda (the invokeSuspend path) and for one in a named suspend function (the parameter path).
• Silent twin: tryLock, unlock, then lock by the same coroutine stays silent. The 10 existing Kotlin mutex cases, reported and silent, stay green (12/12 in the module).
• KotlinMutexWeaverTest pins the slot rule: this in invokeSuspend, a trailing parameter after a two-slot long, nothing for a static invokeSuspend or an ordinary function. The row-descriptor test now covers the extra argument.
• Library suite 3963 green, agent suite 118 green (-P fast). The static gate chain (mvn install -DskipTests -Djacoco.skip=true) is green and regenerated the guardrails.

Docs

docs/CHANGELOG.md, docs/JVM_LANGUAGES.md, docs/agent/attaching.md, the catalog entry in docs/detector-catalog/12-futures-scale-structured.md, and the KotlinMutexReentrancyDetector javadoc all said a tryLock holds no token. They now say what still holds none: select, and a tryLock outside any suspend function. The VibeTags change is limited to the AsyncTestAgent note above, because a new bytecode shape is exactly what that note exists to list. No new annotation was added.

Checklist

• A behaviour change ships with a test that fails without the fix
• A new or changed detector is tested against the buggy code and its correctly synchronized twin
• Docs the change makes wrong are updated in this same change
• Nothing was hand-edited between VIBETAGS-START / VIBETAGS-END markers (the annotation changed, the build regenerated)
• Public API changes are intentional and carry the right version bump: 2 additive hooks, @since 1.14.2
• Commits an agent authored carry the Co-Authored-By trailer
• A new dependency was proposed with a reason (none added)
• CI is green, or the failure is explained below

Still missed (tracked in #1220)

select { mutex.onLock { } }, and a tryLock made outside any suspend function, where there is no coroutine to name.

🤖 Generated with Claude Code

[codecov]

Codecov Report

❌ Patch coverage is 69.32153% with 104 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
...deversity/asynctest/AgentConcurrencyUtilHooks.java	65.50%	41 Missing and 38 partials ⚠️
...ain/java/se/deversity/asynctest/KotlinMutexes.java	0.00%	16 Missing ⚠️
...e/deversity/asynctest/agent/KotlinMutexWeaver.java	67.85%	6 Missing and 3 partials ⚠️

📢 Thoughts on this report? Let us know!