fix: the second extras pass reads installed marks

A file a core reads at several destinations is added again at each one by a second pass that worked from the raw profile entries, so files the emulator or the platform's package installs came back into the packs and manifests by that route: the installer's per-target replay disagreed with the builder on six files.

scripts/packextras.py

@@ -19,7 +19,7 @@ from common import platform_layouts
 from common import standalone_set as platform_standalone_set
 from common import sanitize_pack_path
 from common import size_fits
-from validation import read_from_system_dir
+from validation import deliverable, read_from_system_dir
 from region import FILE_GROUP
 
 
@@ -956,6 +956,10 @@ def _collect_emulator_extras(
                 # covered elsewhere belongs to another program's file.
                 if fname not in covered_names or f.get("unsourceable"):
                     continue
+                # Installed with the emulator or by the platform's package,
+                # as the first pass already decided for the same entry.
+                if not deliverable([f], is_standalone, config.get("_key", "")):
+                    continue
                 # A member of an archive is read inside it, never as a loose
                 # file. The archive itself is placed by the passes above.
                 if f.get("archive"):