P4.3: computational audit passed; publication and clean-archive replay in progress.
Physical measurements: 0. Conditional requirements model, not vehicle qualification.
