Add input/output invariant checks and one known-answer test per condition: ImuPreintegrator (ΔR∈SO3 across accumulation; dropped-sample counter for the dt>0 gate); solve_alignment (orthonormal keyframe rotations, finite dR_dbg); init_window/so3_from_matrix (orthonormality of SfM rotations — currently assumed, never checked); two_view (parallax / essential-matrix conditioning / Sampson self-check); pnp (DLT conditioning, reprojection RMS). Acceptance: each precondition is asserted and has a known-answer test that fails when violated. Part of #261. See docs/assessments/vio-diagnostic-methodology.md §C.2.
Add input/output invariant checks and one known-answer test per condition: ImuPreintegrator (ΔR∈SO3 across accumulation; dropped-sample counter for the dt>0 gate); solve_alignment (orthonormal keyframe rotations, finite dR_dbg); init_window/so3_from_matrix (orthonormality of SfM rotations — currently assumed, never checked); two_view (parallax / essential-matrix conditioning / Sampson self-check); pnp (DLT conditioning, reprojection RMS). Acceptance: each precondition is asserted and has a known-answer test that fails when violated. Part of #261. See docs/assessments/vio-diagnostic-methodology.md §C.2.