R3 exposure source counterexamples, run 01

Actual source-only discovery on clean trust81b3592, admitted C-078. Exit1/stopped. Ran19 methods: seven positive controls succeeded, five named red methods produced eight failure subcases, seven mechanism controls were explicitly skipped. No setup/import errors or unexpected positive failures occurred. No soak, smoke, native simulator, actual mount, helper build or Rust compile ran.

The expected failures were actual: absent soak_exposure.py; registered default still5460; root parent omitted from snapshot; same-device mounts entered inventory (four decoded whitespace/backslash subcases); a new same-device mount immediately before unlink reached the mocked rmtree once. The deletion was mocked, so owned raw failure bytes were retained. These are source counterexamples, not evidence of native7200 exposure or kernel containment.

The six pure literal-vector controls and exact unchanged ten-gate names succeeded. Seven skips establish nothing about unavailable mechanism behavior. ExistingR2 results and original grading gates retain their meaning. Full R3 prerequisites, helper identity/lifetime/begin-witness and exact phase timing remain unresolved; C-062 S1 real phase maxima with25%margin remains mandatory.

The default outer resource group stopped; retained failure evidence path: /run/media/kmosoti/data/FabricO11y/evidence/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82. Raw logs and frozen source preserve every named counterexample. No real deletion/mount or destructive fault happened.

Outer command record

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/soak-exposure-registration-red-01.json; SHA256 9267c4772f24a6ab08b35f3be737d2e0135768ca35edc5f53651033031669009.

{
  "label": "soak-exposure-registration-red-01",
  "command": [
    "python3",
    "-B",
    "-m",
    "unittest",
    "discover",
    "-s",
    "tools/qualification",
    "-p",
    "test_soak_exposure.py",
    "-v"
  ],
  "delegated": false,
  "frozen": null,
  "scope": "harness controls only; no candidate acceptance evidence",
  "harness_revision": "81b3592acba1adaec498807a11b61044d77c06b9",
  "source_status_before": "",
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "admission_bytes": 32271634872,
  "admission_observation": {
    "data_bytes": 32271634872,
    "regular_path_bytes": 32271558362,
    "path_count": 380728,
    "uid": 0,
    "gid": 0,
    "attempt": 1
  },
  "reserved_bytes": 1073741824,
  "observations": [],
  "started_utc": "2026-10-13T04:24:12.178653+00:00",
  "state": "completed",
  "log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/soak-exposure-registration-red-01.log",
  "launcher_exit": 1,
  "exit": 1,
  "source_status_after": "",
  "finished_utc": "2026-10-13T04:24:13.184744+00:00",
  "log_sha256": "37e0528952605daf1d021305bb2b279ce1fdbecaed883b75bea85ef3b6b4abd5",
  "resource_receipts": [
    {
      "path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82.json",
      "sha256": "91a05cb40cb5b0d1aca1b618f2c4c70498e46e556282a355194f38a595467048",
      "exit": 1,
      "stop_confirmed": true,
      "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82"
    }
  ]
}

Resource stop and preservation receipt

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82.json; SHA256 91a05cb40cb5b0d1aca1b618f2c4c70498e46e556282a355194f38a595467048.

{
  "unit": "fabric-work-1783b26e79bc4780a152ac9bc4bb4f82",
  "command": [
    "python3",
    "-B",
    "-m",
    "unittest",
    "discover",
    "-s",
    "tools/qualification",
    "-p",
    "test_soak_exposure.py",
    "-v"
  ],
  "exit": 1,
  "wrapper_exit": 1,
  "command_receipt": {
    "unit": "fabric-work-1783b26e79bc4780a152ac9bc4bb4f82",
    "command": [
      "python3",
      "-B",
      "-m",
      "unittest",
      "discover",
      "-s",
      "tools/qualification",
      "-p",
      "test_soak_exposure.py",
      "-v"
    ],
    "cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82.service",
    "state": "completed",
    "exit": 1,
    "resource_observation": "command_return_before_service_stop",
    "resources": {
      "memory.peak": "27975680",
      "memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
      "cpu.stat": "usage_usec 158450\nuser_usec 141625\nsystem_usec 16824\nnice_usec 0\ncore_sched.force_idle_usec 0\nnr_periods 0\nnr_throttled 0\nthrottled_usec 0\nnr_bursts 0\nburst_usec 0"
    }
  },
  "stop_confirmed": true,
  "stop_error": null,
  "started_unix": 1791865452.2103832,
  "elapsed_s": 0.21383309364318848,
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-ypxmj6bt",
  "temporary_removed": true,
  "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82",
  "memory_high_bytes": 17179869184,
  "memory_max_bytes": 21474836480,
  "swap_max_bytes": 0,
  "runtime_max_seconds": 1800,
  "delegated": false
}

Raw source counterexample log

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/soak-exposure-registration-red-01.log; SHA256 37e0528952605daf1d021305bb2b279ce1fdbecaed883b75bea85ef3b6b4abd5.

Running as unit: fabric-work-1783b26e79bc4780a152ac9bc4bb4f82.service
resource group: /user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-1783b26e79bc4780a152ac9bc4bb4f82.service; memory.max=21474836480; swap.max=0
test_kernel_snapshot_includes_actual_parent_and_population (test_soak_exposure.ExistingSoakSourceControls.test_kernel_snapshot_includes_actual_parent_and_population) ... FAIL
test_new_same_device_mount_refuses_immediately_before_first_unlink (test_soak_exposure.ExistingSoakSourceControls.test_new_same_device_mount_refuses_immediately_before_first_unlink) ... FAIL
test_original_ten_gate_names_remain_exact (test_soak_exposure.ExistingSoakSourceControls.test_original_ten_gate_names_remain_exact) ... ok
test_registered_default_exposure_is_not_the_5460_second_profile (test_soak_exposure.ExistingSoakSourceControls.test_registered_default_exposure_is_not_the_5460_second_profile) ... FAIL
test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) ... 
  test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested space') ... FAIL
  test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\tname') ... FAIL
  test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\nname') ... FAIL
  test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\\name') ... FAIL
test_registered_mechanism_is_available (test_soak_exposure.ExposureMechanismAvailability.test_registered_mechanism_is_available) ... FAIL
test_actual_parent_limits_and_stopped_population_are_required (test_soak_exposure.ExposureMechanismControls.test_actual_parent_limits_and_stopped_population_are_required) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_each_phase_ceiling_and_global_remainder_are_hard (test_soak_exposure.ExposureMechanismControls.test_each_phase_ceiling_and_global_remainder_are_hard) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_each_real_phase_requires_25_percent_headroom (test_soak_exposure.ExposureMechanismControls.test_each_real_phase_requires_25_percent_headroom) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_literal_half_open_edges_plus_minus_one_ns (test_soak_exposure.ExposureMechanismControls.test_literal_half_open_edges_plus_minus_one_ns) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_old_profile_mislabeled_and_early_exposure_are_refused (test_soak_exposure.ExposureMechanismControls.test_old_profile_mislabeled_and_early_exposure_are_refused) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_pending_runtime_and_exact_stopped_bindings_are_immutable (test_soak_exposure.ExposureMechanismControls.test_pending_runtime_and_exact_stopped_bindings_are_immutable) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_stopped_checkpoint_renames_without_copy_and_refuses_live_or_cross_device (test_soak_exposure.ExposureMechanismControls.test_stopped_checkpoint_renames_without_copy_and_refuses_live_or_cross_device) ... skipped 'R3 mechanism absent; availability assertion remains red'
test_actual_parent_limits_and_stopped_population_are_required (test_soak_exposure.LiteralExposureControls.test_actual_parent_limits_and_stopped_population_are_required) ... ok
test_each_phase_ceiling_and_global_remainder_are_hard (test_soak_exposure.LiteralExposureControls.test_each_phase_ceiling_and_global_remainder_are_hard) ... ok
test_each_real_phase_requires_25_percent_headroom (test_soak_exposure.LiteralExposureControls.test_each_real_phase_requires_25_percent_headroom) ... ok
test_literal_half_open_edges_plus_minus_one_ns (test_soak_exposure.LiteralExposureControls.test_literal_half_open_edges_plus_minus_one_ns) ... ok
test_old_profile_mislabeled_and_early_exposure_are_refused (test_soak_exposure.LiteralExposureControls.test_old_profile_mislabeled_and_early_exposure_are_refused) ... ok
test_pending_runtime_and_exact_stopped_bindings_are_immutable (test_soak_exposure.LiteralExposureControls.test_pending_runtime_and_exact_stopped_bindings_are_immutable) ... ok

======================================================================
FAIL: test_kernel_snapshot_includes_actual_parent_and_population (test_soak_exposure.ExistingSoakSourceControls.test_kernel_snapshot_includes_actual_parent_and_population)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 325, in test_kernel_snapshot_includes_actual_parent_and_population
    self.assertIn('.', observed, 'actual parent omitted from kernel snapshot')
    ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: '.' not found in {'server': {'memory.max': '6442450944', 'memory.high': '5368709120', 'memory.peak': '1000', 'memory.current': '0', 'memory.events': 'oom 0\noom_kill 0', 'memory.swap.current': '0', 'cpu.max': 'max 100000', 'cpu.stat': 'usage_usec 4', 'pids.max': '1536'}} : actual parent omitted from kernel snapshot

======================================================================
FAIL: test_new_same_device_mount_refuses_immediately_before_first_unlink (test_soak_exposure.ExistingSoakSourceControls.test_new_same_device_mount_refuses_immediately_before_first_unlink)
----------------------------------------------------------------------
ValueError: owned freeze remains after deletion

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 379, in test_new_same_device_mount_refuses_immediately_before_first_unlink
    with self.assertRaisesRegex(ValueError, 'mount'):
         ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^
AssertionError: "mount" does not match "owned freeze remains after deletion"

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 382, in test_new_same_device_mount_refuses_immediately_before_first_unlink
    delete.assert_not_called()
    ~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 947, in assert_not_called
    raise AssertionError(msg)
AssertionError: Expected 'rmtree' to not have been called. Called 1 times.
Calls: [call(PosixPath('/run/media/kmosoti/data/FabricO11y/scratch/tmplncrtcqw/owned'))].

======================================================================
FAIL: test_registered_default_exposure_is_not_the_5460_second_profile (test_soak_exposure.ExistingSoakSourceControls.test_registered_default_exposure_is_not_the_5460_second_profile)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 306, in test_registered_default_exposure_is_not_the_5460_second_profile
    self.assertEqual(soak_tier.SECONDS, 7200, 'existing 5460-second command cannot establish R3 exposure')
    ~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: 5460 != 7200 : existing 5460-second command cannot establish R3 exposure

======================================================================
FAIL: test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested space')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 343, in test_same_device_mount_refuses_before_inventory_without_deletion
    preserve.tree_manifest(root)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/preserve_soak_r2.py", line 183, in tree_manifest
    for directory, dirs, files in os.walk(root, topdown=True, followlinks=False):
                                  ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1176, in __call__
    return self._mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1180, in _mock_call
    return self._execute_mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1241, in _execute_mock_call
    raise effect
AssertionError: inventory entered mount

======================================================================
FAIL: test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\tname')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 343, in test_same_device_mount_refuses_before_inventory_without_deletion
    preserve.tree_manifest(root)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/preserve_soak_r2.py", line 183, in tree_manifest
    for directory, dirs, files in os.walk(root, topdown=True, followlinks=False):
                                  ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1176, in __call__
    return self._mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1180, in _mock_call
    return self._execute_mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1241, in _execute_mock_call
    raise effect
AssertionError: inventory entered mount

======================================================================
FAIL: test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\nname')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 343, in test_same_device_mount_refuses_before_inventory_without_deletion
    preserve.tree_manifest(root)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/preserve_soak_r2.py", line 183, in tree_manifest
    for directory, dirs, files in os.walk(root, topdown=True, followlinks=False):
                                  ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1176, in __call__
    return self._mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1180, in _mock_call
    return self._execute_mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1241, in _execute_mock_call
    raise effect
AssertionError: inventory entered mount

======================================================================
FAIL: test_same_device_mount_refuses_before_inventory_without_deletion (test_soak_exposure.ExistingSoakSourceControls.test_same_device_mount_refuses_before_inventory_without_deletion) (mount='nested\\name')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 343, in test_same_device_mount_refuses_before_inventory_without_deletion
    preserve.tree_manifest(root)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/preserve_soak_r2.py", line 183, in tree_manifest
    for directory, dirs, files in os.walk(root, topdown=True, followlinks=False):
                                  ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1176, in __call__
    return self._mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1180, in _mock_call
    return self._execute_mock_call(*args, **kwargs)
           ~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "/usr/lib64/python3.14/unittest/mock.py", line 1241, in _execute_mock_call
    raise effect
AssertionError: inventory entered mount

======================================================================
FAIL: test_registered_mechanism_is_available (test_soak_exposure.ExposureMechanismAvailability.test_registered_mechanism_is_available)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/soak-exposure/tools/qualification/test_soak_exposure.py", line 260, in test_registered_mechanism_is_available
    self.assertTrue(MECHANISM.is_file(), 'R3 soak_exposure.py mechanism unavailable; not a product failure')
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: False is not true : R3 soak_exposure.py mechanism unavailable; not a product failure

----------------------------------------------------------------------
Ran 19 tests in 0.068s

FAILED (failures=8, skipped=7)
          Finished with result: exit-code
Main processes terminated with: code=exited, status=1/FAILURE
               Service runtime: 199ms
             CPU time consumed: 163ms
                   Memory peak: 26.6M (swap: 0B)