[TS Calls] Execute semantic models written in TypeScript

[CaelmBleidd]

Summary

• load reproducible TypeScript semantic-model artifacts through the native JacoDB frontend and represent them directly as TsUnknownCallModel objects
• merge validated model EtsIR files into the analysis scene and execute model bodies through the normal interpreter with receiver, argument, return, exception, alias, and shared-state transfer
• apply domain guards and the single configured residual fallback, route nested unknown calls through the same dispatcher, and prevent recursive model redirection
• retain source and EtsIR hashes in the artifact as reproducibility metadata while keeping the common catalog fingerprint based only on enabled model IDs
• reject ambiguous scene artifacts and document the TypeScript-body/intrinsic boundary without adding descriptor, backend-registration, implementation-kind, or fallback-profile layers
• add Array.pop as the EtsIR-body example while preserving the unresolved-element Array.shift behavior from [TS Calls] Add guarded semantic models with a simplified contract #377

This PR is stacked on #377 and should be merged after it.

Testing

Local verification at c51b303a:

• ./gradlew :usvm-ts:test :usvm-ts:detektMain :usvm-ts:detektTest --console=plain
• git diff --check origin/main...c51b303a
• linear history on the rebased [TS Calls] Add guarded semantic models with a simplified contract #377 head eba8e4e6

Closes #366

Part of #360

Depends on #377