P-87: {run: db-s-core-return-20261019, owner: Astra, state: filed, result: "<lab>/runs/db-s-core-return-20261019/results.json", decides: [F-40, F-41], note: "exact s87 amend1 inputs; whole-line within-page reordering null; residual cross-line suppression 0/3; independent result audit PASS (AUDIT.md); filed by Opus 2026-10-19 as a bounded scope correction, not an equivalence claim", question: "Does F-40's cross-line core deficit survive a null that keeps whole lines intact?"}