Experiment formal guest loader import counterexample results 01 - kmosoti/FabricO11y GitHub Wiki

Guest loader import counterexample results 01

Finite source/CLI import evidence, not native guest or package qualification. The production cross_family/guest.py loads installation run-qemu.py by file; its new top-level custody import required an ambient install PYTHONPATH. Earlier broad source tests supplied that path and did not establish this actual boundary.

A separate test-only commit 0eed764af1f3cdb0269db2b8a69a1fc2faa9dc59 introduces an isolated Python -I subprocess loading actual guest.py, without test shims or workspace PYTHONPATH. It fails at actual run-qemu.py:25 with ModuleNotFoundError: No module named 'custody_native'. This is a missing import, not successful detection of an invalid custody fixture. Direct QEMU CLI help completed before that failing test. The implementation 525373dc70174ddf7dc3fb133322fbd9bb3beae8 prepends its own install and tools paths before importing custody_native, replacing the later tools-only setup (net production line −1). No expectation/oracle/resource/source ceiling changed. No full suite or VM was repeated; PR72 CI was not reset for this followup.

Both exact workloads used fresh run labels, clean pinned source, DATA storage, 1 GiB reservation, strict namespace census, resource_group 16/20 GiB, no swap, 1800 s, and exclusive scheduler clearance after the prior actual heavy job stopped. Read-only wrapper plan/hash preflights are issue59 comments 6207587183(red) and 6207604494(green). Native X224 remains independently subject to its actual merged harness and 03:58:47Z preflight; no source result establishes native acceptance.

custody-import-red-01

Source 0eed764af1f3cdb0269db2b8a69a1fc2faa9dc59, clean before/after. Actual inner command:

python3 -B tools/qualification/install/run-qemu.py --help
env PYTHONPATH=tools/qualification/cross_family python3 -B -m unittest -v test_guest_import.IsolatedGuestImport.test_production_loader_resolves_its_own_native_helpers

Actual wrapper/launcher exit 1; finished2026-10-16T03:44:15.710234+00:00. stop_confirmed=true, temporary_removed=true. Memory peak30580736 bytes; no swap.

Outer receipt /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-74c481c62c564bb39ee48e267878d08c.json, SHA256 b1c4345bb2ccf5e727205e5184dfb446ab6724e7280c5ba803100b4c39e15268. Raw log /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/custody-import-red-01.log, SHA256 24eb2fb5502096fa03015ecfbe5fc774906d549b0bf249d61b5faaf5126576f0.

Retained failure evidence: /run/media/kmosoti/data/FabricO11y/evidence/fabric-work-74c481c62c564bb39ee48e267878d08c.

custody-import-green-01

Source 525373dc70174ddf7dc3fb133322fbd9bb3beae8, clean before/after. Actual inner command:

env -u PYTHONPATH python3 -B tools/qualification/install/run-qemu.py --help
env -u PYTHONPATH python3 -B tools/qualification/owner_walkthrough.py --help
env -u PYTHONPATH python3 -B tools/qualification/cross_family/run.py --help
env PYTHONPATH=tools/qualification/cross_family python3 -B -m unittest -v test_guest_import.IsolatedGuestImport.test_production_loader_resolves_its_own_native_helpers

Actual wrapper/launcher exit 0; finished2026-10-16T03:46:08.292890+00:00. stop_confirmed=true, temporary_removed=true. Memory peak32763904 bytes; no swap.

Outer receipt /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-fafeebc8f098492fa44317bfc1fede2f.json, SHA256 08c186e8a6a301124c5ee9a87a5debbcfa044dd338f92ee9105e2cb876c12676. Raw log /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/custody-import-green-01.log, SHA256 564d5cfec715bbf9089cde050fd95a0d512ae91798f6241f09a83dc58da33d14.

Retained failure evidence: None.

Red: 1 method,1 actual assertion failure caused by the missing import; exit 1. Green: all three actual CLI help invocations completed 0 with ambient PYTHONPATH removed; 1 isolated production-loader method ran, no skips/failures, exit 0. Failure evidence and original source/control remain preserved. Worktree DATA/scratch/guest-import-boundary is independently owned; no owner checkout changes, no release/tag.

Frozen outer commands

Each driver invokes the resource launcher for the entire quoted inner command. The following arrays are the exact process arguments, including actual newlines in the final bash argument (shown as JSON escapes).

red-plan.json SHA256 2b3e9c46784772dc47e8553050d325fae8c0d039691750a5684b20d3143fa50d; driver SHA256 a0cc18a00c9b7eca6e09965d3d77b7cc755126c7fd93abce32b47bef6ab9a15d.

[
  "python3",
  "-B",
  "/run/media/kmosoti/data/FabricO11y/results/installation-native-custody/import-counterexample-01/red-driver.py",
  "custody-import-red-01",
  "1073741824",
  "bash",
  "-euc",
  "python3 -B tools/qualification/install/run-qemu.py --help\nenv PYTHONPATH=tools/qualification/cross_family python3 -B -m unittest -v test_guest_import.IsolatedGuestImport.test_production_loader_resolves_its_own_native_helpers\n"
]

green-plan.json SHA256 46839acafe249453e0c290b82a8bcc475cf5065b47d3aa499ce1cfd43ad6e726; driver SHA256 9231492f13ac22d2f2129011aa91fe483318eda6b847e82e2f65b5a1a77809f5.

[
  "python3",
  "-B",
  "/run/media/kmosoti/data/FabricO11y/results/installation-native-custody/import-counterexample-01/green-driver.py",
  "custody-import-green-01",
  "1073741824",
  "bash",
  "-euc",
  "env -u PYTHONPATH python3 -B tools/qualification/install/run-qemu.py --help\nenv -u PYTHONPATH python3 -B tools/qualification/owner_walkthrough.py --help\nenv -u PYTHONPATH python3 -B tools/qualification/cross_family/run.py --help\nenv PYTHONPATH=tools/qualification/cross_family python3 -B -m unittest -v test_guest_import.IsolatedGuestImport.test_production_loader_resolves_its_own_native_helpers\n"
]