[TS PBT] Add Kotlin-first property abstraction - #369

Merged

CaelmBleidd merged 11 commits into

mainfrom

caelmbleidd/issue-347-kotlin-first-property-abstraction

Aug 22, 2026

Commits on Aug 22, 2026

docs: design Kotlin-first property abstraction
CaelmBleidd
committed
742d995
docs: plan Kotlin-first property abstraction
CaelmBleidd
committed
3a46901
feat(ts-pbt): add Kotlin property model
CaelmBleidd
committed
7354bee
feat(ts-pbt): add backend capability model
CaelmBleidd
committed
7e46f07
feat(ts-pbt): project domains to fast-check
CaelmBleidd
committed
8a76230
feat(ts-pbt): integrate Kotlin property projection
CaelmBleidd
committed
064a367
fix(ts-pbt): project singleton infinity domains
CaelmBleidd
committed
8b49fdb
docs: remove internal design artifacts
CaelmBleidd
committed
9306dc0
refactor(ts-pbt): migrate fast-check adapter to TypeScript
CaelmBleidd
committed
9e7f907
fix(ts-pbt): address review feedback
CaelmBleidd
committed
3121d8c
fix(ts): include current main lint baseline
CaelmBleidd
committed
da3c5d8