Pre-formal Protocol Freeze for K3D01 Controlled Map--Physics Repair Experiment

This archive freezes the pre-formal protocol for K3D01, a controlled map--physics support-defect experiment embedded in an independent RGB-D reconstructed Nav2 simulation scene. The archive contains the K2/K3 protocol, K3D01 geometry catalog, frozen through and away goal manifests, SHA-256 hash index, world-generation and goal-generation scripts, the K3 pilot review, and the dedicated K3 R3 runner. K3D01 was selected through a complete map-based candidate scan and a direct-route safety contract before formal execution. The formal experiment is pre-specified as clean, defect, and repaired conditions crossed with through and away routes, using 20 paired trials per condition-route cell. Pilot records are retained as pilot evidence and are not pooled with the formal statistical population. This record does not retrospectively preregister the historical K1 experiments. It documents the frozen protocol and artifacts required before the K3D01 formal matrix.