[TS PBT] Map property coverage to EtsIR - #381

Merged

CaelmBleidd merged 22 commits into

mainfrom

caelmbleidd/issue-350-property-ets-mapping

Sep 8, 2026

Commits on Aug 29, 2026

[TS PBT] Map property coverage to EtsIR
CaelmBleidd
committed
2425bf9
[TS PBT] Harden projection protocol boundaries
CaelmBleidd
committed
68d720a
[TS PBT] Bound projection adapter I/O waits
CaelmBleidd
committed
ba775f0
[TS PBT] Terminate projection process trees
CaelmBleidd
committed
ea41799
[TS PBT] Preserve failures across backend execution
CaelmBleidd
committed
7ff4d39
[TS PBT] Distinguish exhausted preconditions
CaelmBleidd
committed
7dd564b
[TS PBT] Preserve coverage diagnostics and scopes
CaelmBleidd
committed
d5ed01f

Commits on Aug 30, 2026

[TS PBT] Harden raw coverage inspection
CaelmBleidd
committed
6a9f05e
[TS PBT] Resolve runtime exports soundly
CaelmBleidd
committed
5e15445
[TS PBT] Characterize ambiguous export and branch mappings
CaelmBleidd
committed
c6d9874
[TS PBT] Resolve final mapping review findings
CaelmBleidd
committed
143a772
[TS PBT] Resolve final block review findings
CaelmBleidd
committed
59047f9
[TS PBT] Stabilize inherited pipe deadline test
CaelmBleidd
committed
67f462e
[TS PBT] Remove scheduler-sensitive test timeout
CaelmBleidd
committed
62d7c26
[TS PBT] Own execution adapter process groups
CaelmBleidd
committed
ea3e43c

Commits on Aug 31, 2026

[TS PBT] Pin merged JacoDB export metadata
CaelmBleidd
committed
094f339
[TS PBT] Clarify mapping and process supervision
CaelmBleidd
committed
0f61429

Commits on Sep 7, 2026

[TS PBT] Split architecture diagram into data flows
CaelmBleidd
committed
0cb6bbc
[TS PBT] Address mapping review feedback
CaelmBleidd
committed
2472c0b

Commits on Sep 8, 2026

[TS PBT] Scope custom Detekt rules to TS modules
CaelmBleidd
committed
a5d812b
[TS PBT] Fix mapping test lint findings
CaelmBleidd
committed
011f33a
[TS PBT] Remove qualified type references
CaelmBleidd
committed
e3d9b8e