A short sequence for changing one unit and verifying observable behavior.
Configuration and model evidence · installed-binary HTTP proof · K3 near-cap proof.
Long output and literal acceptance of 1048576 were not executed; do not treat them as proved.
Return to the capstone to apply the sequence and record the result.