Experiment formal custody envelope depth red results 01 - kmosoti/FabricO11y GitHub Wiki

Inherited Batch message recursion counterexample, run 01

Actual named red on clean trust-only 54235630490bb40dfa49e09119f5ad91fcdb4da5, admitted by C-075. Production unchanged. Two test methods ran; exactly four refusal subcases failed, exit1/stopped. Both positive empty-group boundaries accepted. No setup/import/positive failures occurred. This is an observed reader defect, not a product ingestion failure.

The failure was ValueError not raised for Cursor100 groups and scalar inside99, and Btrfs99 groups and scalar inside98. Locked prost’s inherited budgets are99/98; the Python call sites incorrectly reset to100. The correction must pass depths1/2 at those two sites only; do not change the original oracle/controls or raw authority. Broad green controls remain NOT RUN.

Failure fixtures are retained at /run/media/kmosoti/data/FabricO11y/evidence/fabric-work-26dc9fe108f54828a7009d4db22a06ac. Cleanup did not delete this evidence; the owned resource group is stopped.

Outer command record

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/installation-custody-envelope-depth-red-01.json, SHA256 81b33daecb34ec2eb0e30b8a3b7ee6cc9125cdb8f79c072739d0ccd60012d653, 1656 bytes.

{
  "label": "installation-custody-envelope-depth-red-01",
  "command": [
    "python3",
    "-B",
    "-m",
    "unittest",
    "discover",
    "-s",
    "tools/qualification/install",
    "-p",
    "test_custody_witness.py",
    "-k",
    "inherits",
    "-v"
  ],
  "delegated": false,
  "frozen": null,
  "scope": "harness controls only; no candidate acceptance evidence",
  "harness_revision": "54235630490bb40dfa49e09119f5ad91fcdb4da5",
  "source_status_before": "",
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "admission_bytes": 32269190923,
  "admission_observation": {
    "data_bytes": 32269190923,
    "regular_path_bytes": 32269114413,
    "path_count": 380678,
    "uid": 0,
    "gid": 0,
    "attempt": 1
  },
  "reserved_bytes": 1073741824,
  "observations": [],
  "started_utc": "2026-10-13T04:13:26.726149+00:00",
  "state": "completed",
  "log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/installation-custody-envelope-depth-red-01.log",
  "launcher_exit": 1,
  "exit": 1,
  "source_status_after": "",
  "finished_utc": "2026-10-13T04:13:27.731801+00:00",
  "log_sha256": "3a7baf0c6eea8e675302d1d3546cc1df1b502fc78dce35e43599668ae4a30764",
  "resource_receipts": [
    {
      "path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-26dc9fe108f54828a7009d4db22a06ac.json",
      "sha256": "31012bac5e63fe4fe5420d1c21ad1119f7a0f95fa2e92db9838f1901e3c8b90c",
      "exit": 1,
      "stop_confirmed": true,
      "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-26dc9fe108f54828a7009d4db22a06ac"
    }
  ]
}

Resource and preservation receipt

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-26dc9fe108f54828a7009d4db22a06ac.json, SHA256 31012bac5e63fe4fe5420d1c21ad1119f7a0f95fa2e92db9838f1901e3c8b90c, 1777 bytes.

{
  "unit": "fabric-work-26dc9fe108f54828a7009d4db22a06ac",
  "command": [
    "python3",
    "-B",
    "-m",
    "unittest",
    "discover",
    "-s",
    "tools/qualification/install",
    "-p",
    "test_custody_witness.py",
    "-k",
    "inherits",
    "-v"
  ],
  "exit": 1,
  "wrapper_exit": 1,
  "command_receipt": {
    "unit": "fabric-work-26dc9fe108f54828a7009d4db22a06ac",
    "command": [
      "python3",
      "-B",
      "-m",
      "unittest",
      "discover",
      "-s",
      "tools/qualification/install",
      "-p",
      "test_custody_witness.py",
      "-k",
      "inherits",
      "-v"
    ],
    "cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-26dc9fe108f54828a7009d4db22a06ac.service",
    "state": "completed",
    "exit": 1,
    "resource_observation": "command_return_before_service_stop",
    "resources": {
      "memory.peak": "23367680",
      "memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
      "cpu.stat": "usage_usec 116887\nuser_usec 99100\nsystem_usec 17787\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": 1791864806.7550676,
  "elapsed_s": 0.1575913429260254,
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-9d3udgee",
  "temporary_removed": true,
  "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-26dc9fe108f54828a7009d4db22a06ac",
  "memory_high_bytes": 17179869184,
  "memory_max_bytes": 21474836480,
  "swap_max_bytes": 0,
  "runtime_max_seconds": 1800,
  "delegated": false
}

Raw literal counterexample log

Path /run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/installation-custody-envelope-depth-red-01.log, SHA256 3a7baf0c6eea8e675302d1d3546cc1df1b502fc78dce35e43599668ae4a30764, 4313 bytes.

Running as unit: fabric-work-26dc9fe108f54828a7009d4db22a06ac.service
resource group: /user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-26dc9fe108f54828a7009d4db22a06ac.service; memory.max=21474836480; swap.max=0
test_btrfs_inherits_cursor_recursion_budget (test_custody_witness.CustodyWitnessControls.test_btrfs_inherits_cursor_recursion_budget) ... 
  test_btrfs_inherits_cursor_recursion_budget (test_custody_witness.CustodyWitnessControls.test_btrfs_inherits_cursor_recursion_budget) (btrfs='too-deep') ... FAIL
  test_btrfs_inherits_cursor_recursion_budget (test_custody_witness.CustodyWitnessControls.test_btrfs_inherits_cursor_recursion_budget) (btrfs='scalar-at-limit') ... FAIL
test_cursor_inherits_batch_recursion_budget (test_custody_witness.CustodyWitnessControls.test_cursor_inherits_batch_recursion_budget) ... 
  test_cursor_inherits_batch_recursion_budget (test_custody_witness.CustodyWitnessControls.test_cursor_inherits_batch_recursion_budget) (cursor='too-deep') ... FAIL
  test_cursor_inherits_batch_recursion_budget (test_custody_witness.CustodyWitnessControls.test_cursor_inherits_batch_recursion_budget) (cursor='scalar-at-limit') ... FAIL

======================================================================
FAIL: test_btrfs_inherits_cursor_recursion_budget (test_custody_witness.CustodyWitnessControls.test_btrfs_inherits_cursor_recursion_budget) (btrfs='too-deep')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/installation-custody-witness/tools/qualification/install/test_custody_witness.py", line 267, in test_btrfs_inherits_cursor_recursion_budget
    with self.assertRaisesRegex(ValueError, 'depth|recursion'):
         ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: ValueError not raised

======================================================================
FAIL: test_btrfs_inherits_cursor_recursion_budget (test_custody_witness.CustodyWitnessControls.test_btrfs_inherits_cursor_recursion_budget) (btrfs='scalar-at-limit')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/installation-custody-witness/tools/qualification/install/test_custody_witness.py", line 267, in test_btrfs_inherits_cursor_recursion_budget
    with self.assertRaisesRegex(ValueError, 'depth|recursion'):
         ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: ValueError not raised

======================================================================
FAIL: test_cursor_inherits_batch_recursion_budget (test_custody_witness.CustodyWitnessControls.test_cursor_inherits_batch_recursion_budget) (cursor='too-deep')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/installation-custody-witness/tools/qualification/install/test_custody_witness.py", line 248, in test_cursor_inherits_batch_recursion_budget
    with self.assertRaisesRegex(ValueError, 'depth|recursion'):
         ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: ValueError not raised

======================================================================
FAIL: test_cursor_inherits_batch_recursion_budget (test_custody_witness.CustodyWitnessControls.test_cursor_inherits_batch_recursion_budget) (cursor='scalar-at-limit')
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/installation-custody-witness/tools/qualification/install/test_custody_witness.py", line 248, in test_cursor_inherits_batch_recursion_budget
    with self.assertRaisesRegex(ValueError, 'depth|recursion'):
         ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: ValueError not raised

----------------------------------------------------------------------
Ran 2 tests in 0.033s

FAILED (failures=4)
          Finished with result: exit-code
Main processes terminated with: code=exited, status=1/FAILURE
               Service runtime: 144ms
             CPU time consumed: 122ms
                   Memory peak: 22.2M (swap: 0B)