[TS Calls] Bind symbolic inputs and record model decisions

[CaelmBleidd]

Prepare and search ordinary TypeScript Calls targets with AST entry/completed-return checkpoints, validated capture bindings, exact source/domain compatibility and coherent witnesses from one solver model. Preserve unbraced controls, recursion, directives, finally overrides, shadowed builtins and captured object aliases. Initial solver UNKNOWN is reported explicitly.

Symbolic inputs support Boolean/Number/String, bounded integer and primitive constants, optional/nullish alternatives, string arrays, recursively nested arrays and mixed optional element kinds. Runtime allocations retain logical dimensions and immediate component types. Input snapshots remain the original inputs after source mutations; recursive dense metadata is registered only after every input is initialized. Generic upper bounds and source type compatibility are checked before solving.

Rebased onto main at 5f75407 (#443, #444 and #448 are merged). The four-file #445 mapping prerequisite is included without the old feature stack. Tuple/Object domains remain outside this revision; #418 supplies object layouts separately.

Validation on 9edb2b2: 35 domain/engine source and native-replay tests passed, plus Calls and TypeScript compilation/Detekt main/test. The preceding 12d8404 revision passed all 56 Calls tests, 77 adapter tests, 3 generic tests and full GitHub CI; fresh CI for the expanded domains is pending.

Validation before the Date rebase (69a4804): 66 Calls tests, 42 Array/String model tests and 17 adapter source-replay/capture tests passed. Calls Detekt main/test, TypeScript Detekt main and git diff --check passed. The combined interpreter exceeded the LargeClass limit; initial solver-model setup was extracted into a private helper without changing behavior. GitHub CI for the rebased head is pending.

Date rebase validation on fc1cc4f: both captured Date Calls tests and all 23 Date model tests passed; TypeScript Detekt main and git diff --check passed.

Storage rebase validation on d82a0c7: all 66 Calls tests and 29 array storage tests passed; TypeScript Detekt main and git diff --check passed. Conflict resolution retains boxed storage from main and immediate component types for nested arrays; the new typed-array storage helper also uses the immediate component type. GitHub CI for this head is pending.