08-ilang-propagation / 05-anchor
05anchorverified
Determines when oscillator cells without pinning have a lowest eigenvector with held bodies and sources, what an anchor changes, and whether the mark is long-range and weighed with an anchor.
# External verification: 05-anchor - **Subproject:** 08-ilang-propagation - **Package:** 05-anchor - **Verified version:** v3 - **External round:** 3 of 3 - **Date:** 2026-10-25T09:36:59+01:00 - **Focus points:** none --- VERDICT: correct ## Summary The quadratic reduction, lowest-eigenvector criteria, anchored inverse, and source mutual-cost formulas are consistent with the stated contracts. The cost and weighing expansions have the correct coefficients, and the derivation distinguishes perturbative coefficients from lowest states that actually exist at the stated grip strength. The order-dependent asymptotics and the controls correctly delimit the long-range and weighing claims, including the nonvanishing anchor corrections in cancellation geometries. The supplied code implements the stated checks, and its reported outputs support the numerical claims. ## Issues None. ## Focus points None given.
nDot Physics Research