**局部 Jacobian probe 实验的运行说明**

这是独立 Windows native worker 实验，不改变生产默认求解路径。输入默认为八路模型 `tests/data/test-mql-8-corrected.json`。生成源码、可执行文件、计数、二进制结果及报告保存在 `test/local-probe-20260917/`。

先构建验证版本，再按 group 26 → group 18–26 → 全部 group 验证；发现任意 dy/w 差异时程序立即终止。

```powershell
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py prepare --audit
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --audit --label reference-audit --mask 0
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --audit --label group26-final-audit --mask 0x4000000
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --audit --label small-final-audit --mask 0x7fc0000
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --audit --label all-audit --mask 0x7ffffff
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py guard
& .venv-win/Scripts/python.exe -B -m unittest tests.test_local_probe_experiment
```

再构建不含影子计算、矩阵落盘和内核入口计数的性能版本。先预热，然后交替运行五对；测量期间不要并行编译或启动其他仿真。

```powershell
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py prepare
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label reference-warmup --mask 0
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label all-warmup --mask 0x7ffffff
for ($probePair = 0; $probePair -lt 5; $probePair++) {
    if ($probePair % 2 -eq 0) {
        & .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label "reference-run-$probePair" --mask 0
        & .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label "all-run-$probePair" --mask 0x7ffffff
    } else {
        & .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label "all-run-$probePair" --mask 0x7ffffff
        & .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py run --label "reference-run-$probePair" --mask 0
    }
}
& .venv-win/Scripts/python.exe -B tests/manual/local_probe_experiment.py cold
& .venv-win/Scripts/python.exe -B tests/manual/compare_local_probe.py
```

重复使用相同 label 会覆盖该实验目录下的同名运行证据。比较器针对默认八路、0–10 s 的验收集，其他模型或终止时间应使用独立输出目录和对应验收配置，不能混入当前比较集。

`plan.json` 保存每组扰动状态、保守依赖范围、执行区间、上下文检查点及操作输入输出；`comparison.json` 包含逐组实际执行/跳过计数、所有矩阵比对结果和全部计时样本；`report.md` 为中文分析。

实验限制：只接受已有 canonical Jacobian reuse 且无循环调度块的生成模型；支持最多63组。property context 和 pipe cache 采用逐位保护，时间或组外状态变化会失效。运行期对象属于独立单次 worker，不能直接将该代码嵌入同进程并行求解。audit额外计算不进入求解器nfev，单独计入auditComparisons；性能测量必须使用未开启audit的worker。