v9.11.4 — Simpler adaptive supervision

Remove invented budget and exact scheduling requirements. Separate changing an unproductive approach from proving a backend hang. Allow provisional artifact inspection and replace blocking supervision examples with bounded waits. Preserve first-minute checks, flexible follow-up, and weaker-model verification requirements. Validated structure and versions; an independent scenario review covered silence, useful long-running tests, and queued steering. No runtime changes.