{
  "correction": "Native proof exercised local ../oh-my-pi source at e8d0a93db61e756361aad84d4bcbc2dd2db88973, whose package declares 16.3.15—not an independently installed published 16.3.15 package. This supports retaining the existing floor absent contrary evidence but does not independently prove the published minimum. No file changes."
}