Independently corroborate the corrected seven-label word exclusion

research/f7-union-support-audit/ENVIRONMENT.json

@@ -0,0 +1,74 @@
+{
+  "platform": "Linux-6.6.87.2-microsoft-standard-WSL2-x86_64-with-glibc2.41",
+  "python": "3.12.15",
+  "compilers": {
+    "c++": "c++ (Debian 14.2.0-19) 14.2.0\nCopyright (C) 2024 Free Software Foundation, Inc.\nThis is free software; see the source for copying conditions.  There is NO\nwarranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n",
+    "clang++": "Debian clang version 19.1.7 (3+b1)\nTarget: x86_64-pc-linux-gnu\nThread model: posix\nInstalledDir: /usr/lib/llvm-19/bin\n"
+  },
+  "runs": [
+    {
+      "argv": [
+        "python3.12",
+        "-B",
+        "scripts/research_package.py",
+        "--package",
+        "research/f7-union-support-audit"
+      ],
+      "exit": 0,
+      "stdout": "CHECK Fresh C++20 build; tiny historical false prune; 270 exact word-set/oracle comparisons over eight complete small domains; 12 cap/error controls; four compiled mutants; UBSan/bounds complete comparison. Requires an installed C++20 compiler.\nPASS_F7_INDEPENDENT_QUICK\nCHECK Fresh C++20 build and six uncapped n=7 traversals from the empty prefix, exact comparison of all non-timing fields with FULL.json, empty witness files and successful completion.\nPASS_F7_INDEPENDENT_FULL\nPASS_REGISTERED_RESEARCH_PACKAGE research/f7-union-support-audit outcome=completed\n",
+      "stderr": "",
+      "seconds": 114.977
+    },
+    {
+      "argv": [
+        "python3.12",
+        "-I",
+        "-O",
+        "-Werror",
+        "-B",
+        "research/f7-union-support-audit/verify.py",
+        "--compiler",
+        "clang++"
+      ],
+      "exit": 0,
+      "stdout": "PASS_F7_INDEPENDENT_QUICK\n",
+      "stderr": "",
+      "seconds": 5.775
+    },
+    {
+      "argv": [
+        "python3.12",
+        "-I",
+        "-O",
+        "-Werror",
+        "-B",
+        "research/f7-union-support-audit/verify.py",
+        "--full",
+        "--compiler",
+        "clang++"
+      ],
+      "exit": 0,
+      "stdout": "PASS_F7_INDEPENDENT_FULL\n",
+      "stderr": "",
+      "seconds": 86.861
+    }
+  ],
+  "native_source_sha256": "3cd2c77fdb613e0463148265d9be084bcaa871f0a2c6c40ae3d94fea27c06949",
+  "build_flags": [
+    "-std=c++20",
+    "-O3",
+    "-Wall",
+    "-Wextra",
+    "-Wpedantic",
+    "-Wconversion",
+    "-Wsign-conversion",
+    "-Wshadow",
+    "-Werror"
+  ],
+  "sanitizer_flags": [
+    "-O1",
+    "-fsanitize=undefined,bounds",
+    "-fno-sanitize-recover=all"
+  ],
+  "note": "Both complete receipts are compared exactly. Timings are local command wall times, not a comparative benchmark. Subsequent tuple-unpacking/import-lint edits were rechecked by the quick command without changing census.cpp."
+}

research/f7-union-support-audit/FULL.json

@@ -0,0 +1,118 @@
+{
+  "cases": [
+    {
+      "attempts": 2260000903,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 15112797,
+      "entered": 322881109,
+      "hits": 0,
+      "length": 20,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 783614111,
+      "same_prunes": 838232725,
+      "size_prunes": 300160162,
+      "split": [
+        10,
+        10
+      ]
+    },
+    {
+      "attempts": 785502139,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 5126921,
+      "entered": 112232469,
+      "hits": 0,
+      "length": 20,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 150127584,
+      "same_prunes": 400234383,
+      "size_prunes": 117780783,
+      "split": [
+        10,
+        9
+      ]
+    },
+    {
+      "attempts": 42550772,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 566106,
+      "entered": 6082255,
+      "hits": 0,
+      "length": 20,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 2265584,
+      "same_prunes": 26552511,
+      "size_prunes": 7084317,
+      "split": [
+        10,
+        8
+      ]
+    },
+    {
+      "attempts": 100157693,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 2452,
+      "entered": 14322217,
+      "hits": 0,
+      "length": 20,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 4709034,
+      "same_prunes": 65136566,
+      "size_prunes": 15987425,
+      "split": [
+        9,
+        9
+      ]
+    },
+    {
+      "attempts": 174540,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 0,
+      "entered": 25087,
+      "hits": 0,
+      "length": 20,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 0,
+      "same_prunes": 117261,
+      "size_prunes": 32193,
+      "split": [
+        10,
+        7
+      ]
+    },
+    {
+      "attempts": 1675590,
+      "candidate_leaves": 0,
+      "cap": 0,
+      "complete": true,
+      "cross_prunes": 0,
+      "entered": 239661,
+      "hits": 0,
+      "length": 18,
+      "n": 7,
+      "prune": true,
+      "restoration_prunes": 71026,
+      "same_prunes": 1082685,
+      "size_prunes": 282219,
+      "split": [
+        9,
+        9
+      ]
+    }
+  ]
+}