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

Open

CaelmBleidd wants to merge 16 commits into

mainfrom

caelmbleidd/issue-350-property-ets-mapping

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