OCaml rewatch performance and immutable interfaces - #8680

Draft

fhammerschmidt wants to merge 62 commits into

rewatch-ocamlfrom

rewatch-ocaml-consolidated

Commits on Sep 25, 2026

Make OCaml rewatch benchmarks reproducible across build scenarios

codex
authored and
fhammerschmidt
committed
a67928f
Add opt-in compiler request timing trace

codex
authored and
fhammerschmidt
committed
e415568
Record retained watch filesystem audit

codex
authored and
fhammerschmidt
committed
19cd9bf
Document compiler-core timing bottlenecks

codex
authored and
fhammerschmidt
committed
d49ad43
Align benchmark compiler profiles and refresh results

codex
authored and
fhammerschmidt
committed
95499ed
Record matched before-and-after OCaml benchmarks

codex
authored and
fhammerschmidt
committed
87f58d4
Document CMI lookup cost and reuse bound

codex
authored and
fhammerschmidt
committed
1830b9e
Document repeated signature opening cost

codex
authored and
fhammerschmidt
committed
64de041
Build opened signature label tables in bulk

codex
authored and
fhammerschmidt
committed
b2f9f94
Time builds independently of resource sampling

codex
authored and
fhammerschmidt
committed
cacbf09
Record label-table benchmark and reproduction steps

codex
authored and
fhammerschmidt
committed
515f4f5
Record unexplained single-worker outliers

codex
authored and
fhammerschmidt
committed
0af49e4
Record compiler filesystem effect on Rewatch baselines

codex
authored and
fhammerschmidt
committed
02b518e
Restore source baseline between edit benchmark runs

codex
authored and
fhammerschmidt
committed
9f5079a
Measure retained watches without compiler proxy overhead

codex
authored and
fhammerschmidt
committed
d544397
Record restored-edit fast compiler comparison

codex
authored and
fhammerschmidt
committed
cfbb43f
Record parser environment allocation probe

codex
authored and
fhammerschmidt
committed
68e372d
Document in-process OCaml rewatch in changelog

codex
authored and
fhammerschmidt
committed
f43bfdd
Clarify OCaml rewatch compiler timing breakdowns
fhammerschmidt
committed
80eb959
Add exclusive compiler phase tracing for OCaml rewatch
fhammerschmidt
committed
26ec8df
Cache expanded signatures per OCaml rewatch worker
fhammerschmidt
committed
54e3bd0
Document OCaml rewatch signature cache in changelog
fhammerschmidt
committed
d1c43a0
Reuse runtime CMIs and shared signature snapshots
fhammerschmidt
committed
5d68298
Keep compiler dependency state for the project lifetime
fhammerschmidt
committed
ac85680
Document project-scoped compiler session in changelog
fhammerschmidt
committed
b72fc53
Clarify testrepo benchmark platform limitation
fhammerschmidt
committed
2e2baf5
Add immutable compiled interface representation
fhammerschmidt
committed
807a6e1
Document immutable interface experiment in changelog
fhammerschmidt
committed
ff965cc

Commits on Sep 26, 2026

Continue immutable interface experiments
fhammerschmidt
committed
8aa9dd3
Advance Rewatch lifecycle and tooling performance
fhammerschmidt
committed
14dc9b4
Gate compatibility copies behind explicit mode
fhammerschmidt
committed
bf921de
Fix OCaml CI compatibility issues
fhammerschmidt
committed
8b53da9
Align config acceptance with annotation defaults
fhammerschmidt
committed
b580562
Align suffix CI test with default output layout
fhammerschmidt
committed
736a6d3
Build annotated tooling dependencies in macOS CI
fhammerschmidt
committed
4043321

Commits on Sep 27, 2026

Separate watch-filter edits in parity test
fhammerschmidt
committed
e258d0e
Run CI for rewatch-ocaml stack PRs
fhammerschmidt
committed
80c2375
Build experimental stack on branch pushes
fhammerschmidt
committed
2004dad

Commits on Sep 28, 2026

Speed up frozen interface reuse and leaf publication
fhammerschmidt
committed
4d47905

Commits on Sep 29, 2026

Fix cross-platform OCaml rewatch CI failures
fhammerschmidt
committed
2e5a03d
Wait for completed watch build before lock assertion
fhammerschmidt
committed
28908ec
Match completion message after watch recovery
fhammerschmidt
committed
a79880f
Report production feature outputs in integration test
fhammerschmidt
committed
b8ce0dc
Normalize genType trace paths in Windows integration test
fhammerschmidt
committed
f74d9c1
Use native paths for Windows diagnostic logs
fhammerschmidt
committed
0e9e6ec
Prune interim OCaml Rewatch experiment notes
fhammerschmidt
committed
ef0a737

Commits on Sep 30, 2026

Record embedded compiler performance baseline
codex
committed
c0a00b9
Cache typed compiler options per session
codex
committed
af8881a
Separate compiler and editor policies
codex
committed
97186f4
Supply owned semantic inputs to GenType
codex
committed
d820f22
Persist validated GenType dependency summaries
codex
committed
c1015c3
Make binary annotations editor-only for GenType builds
codex
committed
e477c34
Defer owned AST persistence after session handoff
codex
committed
71e77b4
Persist owned compiler artifacts after session handoff
codex
committed
908b0cb
Validate frozen imported modules and interface parity
codex
committed
1170ce9
Validate frozen lookup in mixed GenType builds
codex
committed
2d1fae7
Isolate and measure the legacy PPX adapter
codex
committed
66a92e9
Prepare final compiler promotion gates
codex
committed
fe4df0b
Preserve PPX write errors and atomic symlink test replacement
codex
committed
97d5f5d
Record static Linux promotion gate
codex
committed
a7be34e

Commits on Oct 1, 2026

Update GenType compiler argument parity checks
fhammerschmidt
committed
58b7858
Make rapid rewrite tests deterministic on Windows
fhammerschmidt
committed
b4347bf