Start with the exact calibration diff, then carry the evidence into What‑If.
Run the BIN/XDF/log correlator first. This bridge reads the correlator’s named changed maps and which changed regions were exercised, then passes that evidence into the log-based What‑If simulator. It deliberately does not invent numeric boost/timing/lambda deltas when the XDF result only proves that a map changed.
1 · Run BIN + XDF + Log correlationBaseline BIN + test BIN + exact XDF + log
Carry the correlation forward.
After the correlator finishes, this will collect the currently identified changed maps and changed + exercised maps. Numeric What‑If fields remain untouched unless a value magnitude is known; the transferred note explains exactly what was and was not established.
Run the correlator above first.
2 · Log-based What‑IfCorrelation evidence is added to the scenario context