Skip to content

[TS] Measure paired source coverage and search cost - #416

Merged
CaelmBleidd merged 2 commits into
mainfrom
caelmbleidd/iccq-coverage-v4
Oct 13, 2026
Merged

CaelmBleidd merged 2 commits into
mainfrom
caelmbleidd/iccq-coverage-v4

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Oct 1, 2026 •

Copy link
Copy Markdown
Member

Measure paired source coverage against a fixed universe and report preparation, search and replay time separately.

Depends on #414.

Validation of the complete Calls stack: 134 Calls tests, 81 FastCheck JVM tests and 138 Node adapter tests passed, including positive object-input replay and structured-constant rejection. Compilation and Detekt passed. Final parent-only rewrites retained identical source trees.

GitHub CI for the published revisions is still running. These checks do not establish a completed experimental campaign.

@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v4 branch from eec98e9 to da16021 Compare October 13, 2026 03:10
@CaelmBleidd
CaelmBleidd changed the base branch from caelmbleidd/iccq-coverage-v3 to caelmbleidd/iccq-coverage-v2 October 13, 2026 03:13
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v2 branch from 85a99f7 to c72747c Compare October 13, 2026 03:25
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v4 branch from da16021 to 30a2182 Compare October 13, 2026 03:27
@CaelmBleidd
CaelmBleidd marked this pull request as ready for review October 13, 2026 03:44
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v2 branch from c72747c to 8c47890 Compare October 13, 2026 21:31
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v4 branch from 30a2182 to 350fbd4 Compare October 13, 2026 21:31
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v2 branch from 8c47890 to 19b1184 Compare October 13, 2026 21:55
Base automatically changed from caelmbleidd/iccq-coverage-v2 to main October 13, 2026 21:57
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v4 branch 2 times, most recently from 640d249 to d9627c6 Compare October 13, 2026 22:08
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/iccq-coverage-v4 branch from 42cf036 to 7c7029e Compare October 13, 2026 22:24
@CaelmBleidd
CaelmBleidd merged commit 8a69996 into main Oct 13, 2026
6 checks passed
@CaelmBleidd
CaelmBleidd deleted the caelmbleidd/iccq-coverage-v4 branch October 13, 2026 22:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants