[TS PBT] Map property coverage to EtsIR

[CaelmBleidd]

Summary

• resolve property predicate and precondition exports to EtsIR methods with explicit receiver, input, and result bindings
• map backend-neutral statement and binary branch coverage to exact, ambiguous, unmapped, or unsupported EtsIR targets without guessing across duplicate source candidates
• preserve TypeScript UTF-16 coordinates, canonical source paths, backend provenance, coverage diagnostics, exhausted preconditions, and typed backend failures across the [TS PBT] Design a Kotlin-first property abstraction for PBT engines and USVM #347-[TS PBT] Map Kotlin property definitions and source coverage to EtsIR #350 block
• harden projection protocol validation, bounded concurrent I/O, raw c8/source-map inspection, and adapter termination through owned process groups with stable Worker-thread and command hosts
• resolve runtime exports soundly, including type-only exports, callable locals, named/star re-exports, extensionless and directory-index candidates, and sparse ambiguous branches
• centralize Kotlin mapping diagnostic IDs and validate non-blank diagnostic code/message values

JacoDB dependency

• depends on [ETS] Preserve type-only export metadata jacodb#364
• current exact pin: aa319129f8b634d3bc1b6b85376a22f06e8739b9 (aa319129f8 in Dependencies.kt)
• the pin preserves isTypeOnly independently of the runtime declaration kind

Verification

• ./gradlew --no-daemon :usvm-ts-pbt:check :usvm-ts-pbt:detektMain :usvm-ts-pbt:detektTest :usvm-ts-pbt:installDist --rerun-tasks
• JVM tests: 166/166
• Node adapter tests: 46/46
• Detekt main/test: 0/0 findings
• installed-distribution supervisor smoke from /private/tmp: packaged command host relayed stdin/stdout successfully
• installed-distribution projection smoke from /private/tmp: 3/3 boolean samples through the packaged adapter and supervisor
• git diff --check
• no leaked projection/execution supervisor processes or process-group PID files

Closes #350