Part VI
Verification
E. Algorithm and software checks · Lift-off support loses contact
A straight member 1.0 mm long has axial stiffness 100.0 N/mm and one fixed end. Its other end can move only axially and carries a 10.0 N push. A lift-off support holds that end only while reaction is positive. The support starts in contact. Does contact remain, or does the member lift away?
This page preserves a recorded benchmark and its expected values. The dated run below is not a new run of the current product.
The current product limits active-set solves to four iterations. Current mechanics combinations with nonlinear supports are withheld. These recorded transitions and free-degree residuals do not establish general equilibrium or convergence for other models.
1.Inputs.
Illustrative values, taken from no standard and chosen so the arithmetic can be followed by hand. Most do not describe a real pipe; read them in any consistent set of units.
| Quantity | Symbol | Value |
|---|---|---|
| Node count | — | 2 |
| Member length | L | 1.0 mm |
| Axial stiffness | k | 100.0 N/mm |
| Applied axial force | F | 10.0 N |
| Maximum iterations | — | 4 |
| Active-set residual tolerance | — | 0.0 (count) |
| Initial state | — | active (in contact) |
2.Method.
With contact active, the first solve holds the end in place. Its reaction has the opposite sign to the required bearing reaction, so the support releases. The second solve leaves the end free. The support remains released, so no state changes and the loop converges.
3.Results.
| Quantity | Expected |
|---|---|
| Iteration count | 2 |
| Final changed-support count | 0.0 |
| Final state | inactive (lifted off) |
| Converged | true |
The case record describes these checks:
- The solve converges in exactly 2 iterations, ending with the support lifted off and a changed-support count of 0.
- At the final iteration the out-of-balance force, moment and work at the free degrees of freedom are all exactly 0.0.
- The solve carries no notice that its tolerance is unset.
- The displacement changes over the last iteration, and that change stays inside the recorded envelope.
What it shows. Compares final support states, the iteration count, and force balance. It does not compare movements or reactions with a hand calculation.
Path exercised. The benchmark calls the solver’s components directly: elements, loads, frame solver and stress recovery. It does not go through the program’s own model-to-solve path.
Agreement. The loop counts as converged only when no support changes state between iterations. The changed-support count must reach exactly 0 within at most 4 iterations, with no relative or absolute allowance. At the final iteration, out-of-balance force, moment and work at free degrees of freedom must be 0.0. Changes in displacement and reaction over the last iteration must stay inside the recorded envelope. Long values are shown here to seven significant figures; the tests compare the full values in the record.
4.Recorded command.
This command belongs to the linked case record and its recorded execution path. This website update did not rerun it. A historical command or result does not establish current product support.
cd projects/chirality-piping cargo test --manifest-path validation/benchmarks/nonlinear/Cargo.toml assembled_global_loop_seed_cases_converge_under_governed_policy cargo test --manifest-path validation/benchmarks/nonlinear/Cargo.toml assembled_convergence_observations_record_measured_fixture_values_only cargo test --manifest-path validation/benchmarks/nonlinear/Cargo.toml assembled_force_displacement_residual_observations_use_free_dof_force_moment_thresholds
Hand calculation:
validation/hand_calcs/nonlinear/assembled_lift_off.md.
Test record, with the recorded run of 2026-07-10:
nl-assembled-lift-off-original.md.