Maps the blast radius of a changed component across caller-declared pack-to-component usage lists: each declared pack carries the component identifiers it declares, and the kernel emits the impacted-pack set (in declared order), the impact count, a trace restating the membership count, and an overall verdict (IMPACT_MAPPED when at least one declared usage list contains the changed component; NO_IMPACT when none does). Every impacted pack is a direct (depth-1) consumer: the kernel maps membership in the declared lists only, computes no transitive closure, and reads no real repository, registry, or build system. HARD FENCE: this is a deterministic membership computation over declared synthetic inputs; it is never an observation of any live estate.
compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.