docs(perf): verify lazy DNS on current master

docs/lazy-dns-benchmark-results.json

@@ -1,11 +1,12 @@
 {
   "metadata": {
-    "base": "b7119f7f3eb1601e81126ef3572699ed7b3b7c0b",
-    "candidate": "bd5571f5d8c0934cb900a10dd15cd200810184fa",
+    "base": "67c08a33100362c54b56fde784b0fd234f70fa11",
+    "candidate": "a05592a8a88b77ad85d961137943dfadfe98b612",
     "environment": "Linux-7.2.6-1-cachyos-x86_64-with-glibc2.44",
     "rust": "rustc 1.98.1 (48a229cea 2026-09-01) (Arch Linux rust 1:1.98.1-1.1)",
     "hosts_bytes": 2760051,
     "profile": "release with LTO",
+    "network_namespace": "unshare --user --map-root-user --net",
     "common_args": [
       "--no-config",
       "--config-path",
@@ -36,113 +37,113 @@
     "binary_cpus": "0-3",
     "harness_cpus": "8-9",
     "binary_sha256": {
-      "base": "592084468184592eccd6eb6c034ec5082c4d87cfb98830a356cafd2840895660",
-      "dns": "df3d9ec3dc0cb06f0f22eb78a5d931501e8dc732e8ec964821664b2639757b63"
+      "base": "4d6b090218ff36249ed95f14ec1a82626e8ea33854f3823f19a6de247b1524b8",
+      "dns": "a9d6bf949f56c53d18cc85bc9b53b21bd85a63bcdd04ad78992d392c675c77ac"
     }
   },
   "summary": {
     "literal-ipv4": {
-      "base_ms": 163.940108,
-      "dns_ms": 2.509731,
+      "base_ms": 168.23068849999999,
+      "dns_ms": 2.248762,
       "samples_each": 20
     },
     "mixed-cidrs": {
-      "base_ms": 156.416927,
-      "dns_ms": 2.828561,
+      "base_ms": 178.0855925,
+      "dns_ms": 2.4539600000000004,
       "samples_each": 20
     }
   },
   "samples": {
     "literal-ipv4": {
       "base": [
-        215.897718,
-        183.823791,
-        175.253542,
-        163.773817,
-        147.115293,
-        164.326923,
-        177.33364,
-        158.094141,
-        150.186893,
-        143.755972,
-        198.600258,
-        172.165225,
-        157.560206,
-        164.052818,
-        163.827398,
-        156.789986,
-        168.904366,
-        164.52782,
-        156.405881,
-        154.640973
+        143.391226,
+        146.562804,
+        149.615525,
+        151.188597,
+        152.269193,
+        159.499601,
+        164.926958,
+        164.347529,
+        167.208931,
+        165.433184,
+        172.246939,
+        169.252446,
+        172.777899,
+        170.729249,
+        170.092681,
+        171.863255,
+        169.612842,
+        170.857396,
+        173.117403,
+        175.206345
       ],
       "dns": [
-        4.250775,
-        6.259614,
-        2.766641,
-        2.157366,
-        4.590757,
-        2.363155,
-        3.606774,
-        2.939905,
-        2.26549,
-        2.302657,
-        2.594393,
-        2.192749,
-        2.304999,
-        2.55503,
-        2.491389,
-        2.199853,
-        2.274247,
-        2.005264,
-        2.528073,
-        3.944459
+        2.241793,
+        1.817341,
+        2.39956,
+        2.048986,
+        3.123401,
+        1.820017,
+        3.615094,
+        2.165312,
+        2.675535,
+        2.103261,
+        2.531392,
+        2.215141,
+        2.572939,
+        2.063803,
+        2.671431,
+        2.059846,
+        2.598858,
+        2.230916,
+        2.678259,
+        2.255731
       ]
     },
     "mixed-cidrs": {
       "base": [
-        160.128434,
-        156.649324,
-        179.480969,
-        156.18453,
-        165.469259,
-        176.904758,
-        165.883161,
-        194.900821,
-        166.629997,
-        147.115791,
-        143.570861,
-        141.100268,
-        134.591861,
-        138.817171,
-        137.906366,
-        134.771879,
-        164.06809,
-        135.593559,
-        184.674193,
-        155.142553
+        175.504767,
+        178.797842,
+        186.183728,
+        176.885958,
+        177.989816,
+        180.028568,
+        177.66299,
+        174.757221,
+        175.468485,
+        175.328023,
+        177.639639,
+        175.637593,
+        177.922435,
+        185.394396,
+        182.587204,
+        180.58311,
+        178.961137,
+        178.293186,
+        180.482419,
+        178.181369
       ],
       "dns": [
-        2.9847,
-        3.993055,
-        4.875872,
-        2.782137,
-        2.707159,
-        2.9424,
-        2.874985,
-        2.646729,
-        3.113046,
-        1.858364,
-        2.324747,
-        1.972527,
-        3.047183,
-        2.172364,
-        2.708645,
-        2.284746,
-        2.736481,
-        3.252555,
-        3.175199,
-        2.925109
+        3.275193,
+        2.114074,
+        2.700771,
+        2.183317,
+        2.606538,
+        2.368046,
+        2.599702,
+        2.238105,
+        2.683892,
+        2.292249,
+        2.528366,
+        2.114478,
+        2.668921,
+        2.103271,
+        3.275514,
+        2.27974,
+        3.103311,
+        2.265298,
+        2.580743,
+        2.379554
       ]
     }
   },

docs/lazy-dns-benchmark.md

@@ -1,7 +1,7 @@
 # Lazy DNS initialization benchmark
 
-Compared current Tokio master `b7119f7f3eb1601e81126ef3572699ed7b3b7c0b` with the lazy-resolver implementation
-at `bd5571f5d8c0934cb900a10dd15cd200810184fa` on 2026-10-02.
+Compared current Tokio master `67c08a33100362c54b56fde784b0fd234f70fa11` with the lazy-resolver implementation
+at `a05592a8a88b77ad85d961137943dfadfe98b612` on 2026-10-02.
 
 ## Method
 
@@ -30,8 +30,8 @@ The literal case adds `-a 127.0.0.1`. The mixed case adds
 
 | Workload | Master median | Lazy DNS median | Time saved |
 | --- | ---: | ---: | ---: |
-| Literal IPv4 | 163.94 ms | 2.51 ms | 161.43 ms (98.47%) |
-| IPv4/IPv6 CIDRs and exclusions | 156.42 ms | 2.83 ms | 153.59 ms (98.19%) |
+| Literal IPv4 | 168.23 ms | 2.25 ms | 165.98 ms (98.66%) |
+| IPv4/IPv6 CIDRs and exclusions | 178.09 ms | 2.45 ms | 175.63 ms (98.62%) |
 
 All 88 invocations exited successfully with the expected empty scan output.
 A separate syscall trace of the optimized literal-IP invocation recorded no