feat(ground-study): cancel qualified flight recomputation

[d-sorgcodexagent]

Summary

• add additive keyword-only cooperative cancellation to registered Waterloo/Penner surface flight recomputation
• poll cancellation across adaptive derivative boundaries, dense-output materialization, retained sampling, metrics, and streaming canonical evidence hashing
• preserve callback-free/always-false solver output, trajectory/result digests, persisted jobs, and wire contracts
• map cancellation and callback defects to existing typed zero-progress production terminals without partial publication
• reconcile the campaign manifest to all current open-carrier heads and update SPEC plus every canonical handoff

Safety and compatibility

• partial flight, qualification, and regional-ground results are never published
• callback defects remain chained to their original internal cause while public authority failures stay non-secret
• deterministic preparation remains callback-free
• the existing public signatures remain backward compatible; new callback parameters are optional and keyword-only
• this PR targets exact parent PR feat(ground-study): prepare jobs from current editors #4374 head e1da8708c15f966afc926e20eae3fdf084ba8a16

Verification

• python -m pytest tests/rate_of_closure -q -n 8 — 1,233 passed
• focused cancellation/profile/job/runner contract suite — 87 passed
• campaign manifest validator and eight manifest tests — passed
• Python 3.11 / MyPy 2.1 changed-source gate — passed on eight source files
• Ruff check and format, module-size budget, and git diff --check — passed
• independent final audit — no remaining P0, P1, or P2 findings

Human review is recorded as approved for this continuation. Normal protected checks and dependency order remain required. Durable restart recovery, static/frozen qualification, calibrated regional physics, compiled/downstream parity, ancestor integration, and release remain open.

Advances #4369. Related: #4273, #4267.

[dieterolson]

Consolidated into #4409. Closing to reduce CI/CD runner load.