{ "id": "1082@61967cca", "pr": 1082, "title": "perf: fast path for simple versions (intermediate commit 61967cca)", "base": "59f183fe90da403e41eef339ce9088bda0fe4cd3", "head": "61967cca278dc51389b8973ba65bbbf23eaa3eda", "merged": "2026-02-11", "after_ultra_release": false, "known": [ { "id": "unicode-digits", "match": { "probe": "P2", "traits": "non-ascii" }, "fixed_by": "review", "status": "verified" }, { "id": "inner-whitespace", "match": { "probe": "P2", "traits": "whitespace" }, "fixed_by": "review", "status": "verified" }, { "id": "oversized-int-exception", "match": { "probe": "P2", "traits": "long-digits" }, "fixed_by": 1155, "status": "verified" } ], "targets": [ { "target": "packaging.version:Version", "run_id": "bt-1082-61967cca-3660e2", "image": "62d98fe8-9c1e-42e6-b250-ab6f630d8680", "backend": "contree", "usd": 0.0789, "harvested": 80, "arms": { "hypothesis": { "classes": [], "known": [], "seconds": 8.6, "error": null }, "mutations": { "classes": [ "P2|outcome|exc:builtins.ValueError|exc:packaging.version.InvalidVersion|long-digits", "P2|outcome|exc:packaging.version.InvalidVersion|ok|whitespace" ], "known": [ "inner-whitespace", "oversized-int-exception" ], "seconds": 7.7, "error": null }, "breakwater": { "classes": [ "P2|outcome|exc:builtins.TypeError|exc:builtins.AttributeError|nested", "P2|outcome|exc:builtins.ValueError|exc:packaging.version.InvalidVersion|long-digits", "P2|outcome|exc:packaging.version.InvalidVersion|ok|long-digits+whitespace", "P2|outcome|exc:packaging.version.InvalidVersion|ok|non-ascii", "P2|outcome|exc:packaging.version.InvalidVersion|ok|non-ascii+whitespace", "P2|outcome|exc:packaging.version.InvalidVersion|ok|whitespace" ], "known": [ "unicode-digits", "inner-whitespace", "oversized-int-exception" ], "seconds": 50.0, "error": null }, "llm-plan": { "classes": [ "P2|outcome|exc:packaging.version.InvalidVersion|ok|non-ascii", "P2|outcome|exc:packaging.version.InvalidVersion|ok|whitespace" ], "known": [ "unicode-digits", "inner-whitespace" ], "seconds": 4.4, "error": null } }, "findings": [ { "signature": "P2|outcome|exc:packaging.version.InvalidVersion|ok|non-ascii", "probe": "P2", "detail": "outcome", "args": [ [ "٠" ] ], "base": { "status": "exc", "exc": "packaging.version.InvalidVersion" }, "head": { "status": "ok", "obs": { "str": "0", "repr": "", "attr:release": [ 0 ], "attr:public": "0" } }, "found_by": [ "A1/s1", "A2/s1", "A2/s4", "seed", "mutation:separators", "mutation:edges", "batch" ] }, { "signature": "P2|outcome|exc:builtins.TypeError|exc:builtins.AttributeError|nested", "probe": "P2", "detail": "outcome", "args": [ [ [ "..0" ] ] ], "base": { "status": "exc", "exc": "builtins.TypeError" }, "head": { "status": "exc", "exc": "builtins.AttributeError" }, "found_by": [ "A3/s3" ] }, { "signature": "P2|outcome|exc:packaging.version.InvalidVersion|ok|whitespace", "probe": "P2", "detail": "outcome", "args": [ [ "1 .2" ] ], "base": { "status": "exc", "exc": "packaging.version.InvalidVersion" }, "head": { "status": "ok", "obs": { "str": "1.2", "repr": "", "attr:release": [ 1, 2 ], "attr:public": "1.2" } }, "found_by": [ "seed", "mutation:equivalents", "mutation:separators", "mutation:whitespace-inner", "mutation:whitespace-outer" ] }, { "signature": "P2|outcome|exc:packaging.version.InvalidVersion|ok|non-ascii+whitespace", "probe": "P2", "detail": "outcome", "args": [ [ "١ .2" ] ], "base": { "status": "exc", "exc": "packaging.version.InvalidVersion" }, "head": { "status": "ok", "obs": { "str": "1.2", "repr": "", "attr:release": [ 1, 2 ], "attr:public": "1.2" } }, "found_by": [ "mutation:unicode-digits", "mutation:whitespace-outer", "mutation:whitespace-inner" ] }, { "signature": "P2|outcome|exc:packaging.version.InvalidVersion|ok|long-digits+whitespace", "probe": "P2", "detail": "outcome", "args": [ [ "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 .2" ] ], "base": { "status": "exc", "exc": "packaging.version.InvalidVersion" }, "head": { "status": "ok", "obs": { "str": "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.2", "repr": "", "attr:release": [ "", 2 ], "attr:public": "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.2" } }, "found_by": [ "mutation:huge-number" ] }, { "signature": "P2|outcome|exc:builtins.ValueError|exc:packaging.version.InvalidVersion|long-digits", "probe": "P2", "detail": "outcome", "args": [ [ "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0.1" ] ], "base": { "status": "exc", "exc": "builtins.ValueError" }, "head": { "status": "exc", "exc": "packaging.version.InvalidVersion" }, "found_by": [ "mutation:huge-number" ] } ], "perf": { "slower_families": [ { "id": "R4.1", "family": "Leading zeros in first segment", "verdict": "slower", "ladder": [ 1.0496890015356992, 1.0962680604806938, 1.4611391878098186, 2.2836515959855754, 2.8593465661298705 ], "origin": "expand:R4" }, { "id": "R4", "family": "Trailing numeric sub-label added", "verdict": "slower", "ladder": [ 1.045712297922988, 1.0783157138078856, 1.3656331099059376, 2.169888560382079, 2.740745097743191 ], "origin": "archive" }, { "id": "F6", "family": "valid versions with a long release segment and a pre‑release suffix only at the very end", "verdict": "slower", "ladder": [ 1.0331840672407537, 1.0438821063074624, 1.0798802591317496, 1.116169462162055, 1.135337794324347, 1.1403247529036953, 1.1394383481523722 ], "origin": "plan" }, { "id": "F4", "family": "pre‑release ‘a’", "verdict": "slower", "ladder": [ 1.033180832131094, 1.0438782219122749, 1.0798757899964537, 1.1161668432915512, 1.1353368939674782, 1.1403245053917974, 1.1394382875960531 ], "origin": "plan" } ], "worst_valid_ratio": 2.8593465661298705, "worst_family": "Leading zeros in first segment", "speedup_ratio_small": null, "report": { "run_id": "bt-1082-61967cca-3660e2", "target": "packaging.version:Version", "image": "62d98fe8-9c1e-42e6-b250-ab6f630d8680", "backend": "contree", "families": [ { "id": "F1", "kind": "suspected_slowdown", "family": "epoch indicator (!)", "why": "Version strings containing an epoch marker ‘!‘ take the fast‑path disjoint test, fail it, then fall back to the full regex. The extra set‑membership scan makes them slower than the old single‑regex path.", "size_meaning": "number of digits in the epoch (more digits → longer string → more work for both the set test and the regex)", "make_source": "def make(n):\n # n >= 1, epoch = '1' repeated n times\n epoch = '1' * n\n version = f'{epoch}!1.0'\n return [[version]]", "example_args": [ [ [ "1!1.0" ] ], [ [ "11!1.0" ] ], [ [ "111!1.0" ] ] ], "origin": "plan", "screen_ratio": 1.0779011742007427, "valid_fraction": 1.0, "error": null }, { "id": "F2", "kind": "suspected_slowdown", "family": "pre_release", "why": "Contains pre-release letters (a/b/rc) which are in _NON_SIMPLE_VERSION_INDICATORS, so the fast‑path set check runs and then falls back to the full regex. The extra scan of the version string makes the head version slower than the base regex‑only path.", "size_meaning": "Number of dot‑separated release components before the pre‑release suffix.", "make_source": "def make(n):\n # Build a version like 1.1.1...a1 with n release components\n release = '.'.join(['1'] * max(1, n))\n version = f'{release}a1'\n return [[version]]", "example_args": [ [ [ "1a1" ] ], [ [ "1.1a1" ] ], [ [ "1.1.1a1" ] ] ], "origin": "plan", "screen_ratio": 1.0798088129260297, "valid_fraction": 1.0, "error": null }, { "id": "F3", "kind": "suspected_slowdown", "family": "valid versions with a long release segment and a local version suffix", "why": "The fast‑path check `_NON_SIMPLE_VERSION_INDICATORS.isdisjoint(version)` scans the whole string until it reaches the '+' that marks the local version. For a version like '0.0.…0+local' the scan touches every character before falling back to the regex, adding a C‑level loop that the old code avoided.", "size_meaning": "n = number of release components before the local segment (each component is a single '0')", "make_source": "def make(n):\n # Build a version with n release components followed by a local segment.\n # Example for n=3 -> '0.0.0+local'\n release = '.'.join(['0'] * n)\n version = f'{release}+local'\n return [[version]]", "example_args": [], "origin": "plan", "screen_ratio": 1.0719333519622813, "valid_fraction": 1.0, "error": null }, { "id": "F4", "kind": "suspected_slowdown", "family": "pre‑release ‘a’", "why": "The letter ‘a’ is in _NON_SIMPLE_VERSION_INDICATORS, so the fast‑path test fails and the regex is executed afterwards. The extra disjoint check adds overhead.", "size_meaning": "length of the release segment (more dot‑separated numbers → longer string)", "make_source": "def make(n):\n # n >= 1 release components, then ‘a1’\n release = '.'.join(['1'] + ['0'] * (n - 1))\n version = f'{release}a1'\n return [[version]]", "example_args": [ [ [ "1a1" ] ], [ [ "1.0a1" ] ], [ [ "1.0.0a1" ] ] ], "origin": "plan", "screen_ratio": 1.0798757899964537, "valid_fraction": 1.0, "error": null }, { "id": "F5", "kind": "suspected_slowdown", "family": "post_release", "why": "Contains the word 'post' (or 'rev'/'r') which is in _NON_SIMPLE_VERSION_INDICATORS. The fast‑path set membership test executes before the regex, adding overhead for every post‑release version.", "size_meaning": "Number of dot‑separated release components before the post‑release suffix.", "make_source": "def make(n):\n release = '.'.join(['1'] * max(1, n))\n version = f'{release}.post1'\n return [[version]]", "example_args": [ [ [ "1.post1" ] ], [ [ "1.1.post1" ] ], [ [ "1.1.1.post1" ] ] ], "origin": "plan", "screen_ratio": 1.0793208791036755, "valid_fraction": 1.0, "error": null }, { "id": "F6", "kind": "suspected_slowdown", "family": "valid versions with a long release segment and a pre‑release suffix only at the very end", "why": "The indicator set contains the pre‑release letters (a, b, rc). Placing the first such letter at the end of a long dotted numeric prefix forces `isdisjoint` to walk the entire prefix before discovering the indicator and delegating to the regex.", "size_meaning": "n = number of release components before the pre‑release marker", "make_source": "def make(n):\n release = '.'.join(['0'] * n)\n version = f'{release}a1'\n return [[version]]", "example_args": [], "origin": "plan", "screen_ratio": 1.0798802591317496, "valid_fraction": 1.0, "error": null }, { "id": "R1", "kind": "suspected_slowdown", "family": "Each numeric chunk is an ascending sequence starting at '0'", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "size_meaning": "Number of dotted release segments (plus the trailing pre‑release).", "make_source": "\ndef make(n):\n chunks = []\n start_ord = ord('0')\n for i in range(n):\n s = ''\n cur = start_ord\n while len(s) < i:\n s += chr(cur)\n cur += 1\n if cur > ord('9'):\n cur = ord('0')\n chunks.append(s)\n version = '.'.join(chunks) + 'rc1'\n return [(version,)]", "example_args": [], "origin": "archive", "screen_ratio": 2.2444239666002184, "valid_fraction": 0.0, "error": "ladder inputs exceed 2000000 chars at n=4096; ladder stops here" }, { "id": "R2", "kind": "suspected_slowdown", "family": "Invalid version strings that nevertheless contain indicator characters (e.g. a trailing dot followed by a letter). The fast‑path still does the full scan before the regex fails.", "why": "Even though the version is invalid, the extra disjoint check runs; the regex then fails. This is the single allowed invalid family.", "size_meaning": "Number of dotted segments before the malformed tail.", "make_source": "def make(n):\n # \"1.\" repeated n times then an alphabetic tail – not a valid PEP‑440 version\n version = \"1.\" * n + \"x\"\n return [(version,)]", "example_args": [], "origin": "archive", "screen_ratio": 1.9962265393263607, "valid_fraction": 0.0, "error": null }, { "id": "R3", "kind": "suspected_slowdown", "family": "invalid strings that look simple (only digits and dots) but contain a non‑numeric segment, e.g. \"1.2.x\"", "why": "The indicator set is disjoint, so the fast path is entered. The code then executes `tuple(map(int, version.strip().split('.')))`, which raises `ValueError` on the bad segment; the exception is caught and re‑raised as `InvalidVersion`. Exception handling is considerably slower than the original regex‑only failure path.", "size_meaning": "n = number of leading numeric segments before the bad segment; larger n makes the split and the failed `int` conversion traverse more items before the exception.", "make_source": "def make(n):\n # build \"1.1.1....1.x\" with n numeric parts then a non‑numeric \"x\"\n good = \".\".join(\"1\" for _ in range(n))\n version = f\"{good}.x\"\n return [[version]]", "example_args": [], "origin": "archive", "screen_ratio": 1.9962265393263607, "valid_fraction": 0.0, "error": null }, { "id": "R4", "kind": "suspected_slowdown", "family": "Trailing numeric sub-label added", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "size_meaning": "Number of dotted release segments (plus the trailing pre‑release).", "make_source": "def make(n):\n segs = ['9'*i for i in range(1,n+1)]\n full_base = \".\".join(segs)\n suffixes = ['-alpha', '-beta.0', '-gamma']\n outs = []\n for s in suffixes:\n v = full_base + s\n outs.append([v])\n return outs", "example_args": [], "origin": "archive", "screen_ratio": 1.3656331099059376, "valid_fraction": 0.6666666666666666, "error": "ladder inputs exceed 2000000 chars at n=4096; ladder stops here" }, { "id": "R4.1", "kind": "suspected_slowdown", "family": "Leading zeros in first segment", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "size_meaning": "Number of dotted release segments (plus the trailing pre‑release).", "make_source": "def make(n):\n # Leading zero padding increases base length without changing value\n segs = ['0' * (i*2) + '5' for i in range(1, n+1)]\n full_base = \".\".join(segs)\n suffixes = ['-dev']\n outs = []\n for s in suffixes:\n v = full_base + s\n outs.append([v])\n return outs", "example_args": [], "origin": "expand:R4", "screen_ratio": 1.4611391878098186, "valid_fraction": 1.0, "error": "ladder inputs exceed 2000000 chars at n=4096; ladder stops here" }, { "id": "R4.2", "kind": "suspected_slowdown", "family": "Numeric-only prerelease repeated many times", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "size_meaning": "Number of dotted release segments (plus the trailing pre‑release).", "make_source": "def make(n):\n # Repeated dot-separated numbers after hyphen increase token count scanned by isdisjoint\n base = \"1.0\"\n suffix = \"-\" + \".\".join(['42'] * n)\n v = base + suffix\n return [[v]]", "example_args": [], "origin": "expand:R4", "screen_ratio": 1.0671771085410224, "valid_fraction": 0.0, "error": null }, { "id": "R4.3", "kind": "suspected_slowdown", "family": "Hyphen inside numeric segment forces fallback parsing", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "size_meaning": "Number of dotted release segments (plus the trailing pre‑release).", "make_source": "def make(n):\n # Embedded hyphens in version numbers trigger slower path due to non-standard format\n segs = [str(i) + \"-\" + str(i*2) for i in range(1, n+1)]\n full_base = \".\".join(segs)\n return [[full_base]]", "example_args": [], "origin": "expand:R4", "screen_ratio": 1.0514780843672, "valid_fraction": 0.0, "error": null }, { "id": "F6.1", "kind": "suspected_slowdown", "family": "Pre-release 'b' instead of 'a'", "why": "The indicator set contains the pre‑release letters (a, b, rc). Placing the first such letter at the end of a long dotted numeric prefix forces `isdisjoint` to walk the entire prefix before discovering the indicator and delegating to the regex.", "size_meaning": "n = number of release components before the pre‑release marker", "make_source": "def make(n):\n release = '.'.join(['0'] * n)\n version = f'{release}b1'\n return [[version]]", "example_args": [], "origin": "expand:F6", "screen_ratio": 1.0793592714954163, "valid_fraction": 1.0, "error": null }, { "id": "F6.2", "kind": "suspected_slowdown", "family": "Numeric-only dot appended after long prefix", "why": "The indicator set contains the pre‑release letters (a, b, rc). Placing the first such letter at the end of a long dotted numeric prefix forces `isdisjoint` to walk the entire prefix before discovering the indicator and delegating to the regex.", "size_meaning": "n = number of release components before the pre‑release marker", "make_source": "def make(n):\n release = '.'.join(['0'] * n)\n version = f'{release}.9'\n return [[version]]", "example_args": [], "origin": "expand:F6", "screen_ratio": 0.6301432920805569, "valid_fraction": 1.0, "error": null }, { "id": "F6.3", "kind": "suspected_slowdown", "family": "Longer repeated digit for stronger growth effect", "why": "The indicator set contains the pre‑release letters (a, b, rc). Placing the first such letter at the end of a long dotted numeric prefix forces `isdisjoint` to walk the entire prefix before discovering the indicator and delegating to the regex.", "size_meaning": "n = number of release components before the pre‑release marker", "make_source": "def make(n):\n d = str((n % 10))\n release = '.'.join([d] * max(2, min(n, 6)))\n version = f'{release}' + ('rc1') * ((n // 5) + 1)\n return [[version]]", "example_args": [], "origin": "expand:F6", "screen_ratio": 1.1002573872385384, "valid_fraction": 0.0, "error": null } ], "findings": [ { "family_id": "R4.1", "kind": "suspected_slowdown", "family": "Leading zeros in first segment", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "origin": "expand:R4", "screen_ratio": 1.4611391878098186, "valid_fraction": 1.0, "ladder": [ { "n": 2, "base_ir": 34274.285, "head_ir": 35977.34, "input_chars": 17.0, "valid_fraction": 1.0, "ratio": 1.0496890015356992, "judged": true }, { "n": 4, "base_ir": 38590.9925, "head_ir": 42306.0725, "input_chars": 35.0, "valid_fraction": 1.0, "ratio": 1.0962680604806938, "judged": true }, { "n": 16, "base_ir": 73530.94444444444, "head_ir": 107438.94444444444, "input_chars": 311.0, "valid_fraction": 1.0, "ratio": 1.4611391878098186, "judged": true }, { "n": 64, "base_ir": 362953.625, "head_ir": 828859.625, "input_chars": 4295.0, "valid_fraction": 1.0, "ratio": 2.2836515959855754, "judged": true }, { "n": 256, "base_ir": 3857360.5, "head_ir": 11029530.5, "input_chars": 66311.0, "valid_fraction": 1.0, "ratio": 2.8593465661298705, "judged": true }, { "n": 1024, "base_ir": null, "head_ir": null, "input_chars": 1051655.0, "valid_fraction": null, "ratio": null, "judged": false } ], "slope_base": 0.5647505509675612, "slope_head": 0.693420015579576, "top_inputs": [ { "args": [ "005.00005.0000005.000000005.00000000005-dev" ], "cpu_ratio": 1.12, "base_ir": 40917.03, "head_ir": 45962.11, "ir_ratio": 1.123300249309395, "outcome": "ok" }, { "args": [ "005.00005.0000005.000000005-dev" ], "cpu_ratio": 1.084, "base_ir": 38590.9925, "head_ir": 42306.0725, "ir_ratio": 1.0962680604806938, "outcome": "ok" } ], "error": "ladder inputs exceed 2000000 chars at n=4096; ladder stops here", "verdict": "slower", "worst_ratio": 2.8593465661298705, "worst_search": { "args": [ "005.00005.0000005.000000005.00000000005-dev" ], "cpu_ratio": 1.12, "base_ir": 40917.03, "head_ir": 45962.11, "ir_ratio": 1.123300249309395, "outcome": "ok" } }, { "family_id": "R4", "kind": "suspected_slowdown", "family": "Trailing numeric sub-label added", "why": "The fast‑path’s `isdisjoint` test iterates over every character. For a long dotted release the string length grows with n, so the extra scan adds linear overhead before the (already linear) regex match.", "origin": "archive", "screen_ratio": 1.3656331099059376, "valid_fraction": 0.6666666666666666, "ladder": [ { "n": 2, "base_ir": 25682.968333333334, "head_ir": 26856.995833333334, "input_chars": 14.333333333333334, "valid_fraction": 0.6666666666666666, "ratio": 1.045712297922988, "judged": true }, { "n": 4, "base_ir": 28643.96416666667, "head_ir": 30887.236666666668, "input_chars": 23.333333333333332, "valid_fraction": 0.6666666666666666, "ratio": 1.0783157138078856, "judged": true }, { "n": 16, "base_ir": 50799.5, "head_ir": 69373.47916666667, "input_chars": 161.33333333333334, "valid_fraction": 0.6666666666666666, "ratio": 1.3656331099059376, "judged": true }, { "n": 64, "base_ir": 215453.0, "head_ir": 467509.0, "input_chars": 2153.3333333333335, "valid_fraction": 0.6666666666666666, "ratio": 2.169888560382079, "judged": true }, { "n": 256, "base_ir": 2229984.8333333335, "head_ir": 6111820.0, "input_chars": 33161.333333333336, "valid_fraction": 0.6666666666666666, "ratio": 2.740745097743191, "judged": true }, { "n": 1024, "base_ir": null, "head_ir": null, "input_chars": 525833.3333333334, "valid_fraction": null, "ratio": null, "judged": false } ], "slope_base": 0.5651374169299807, "slope_head": 0.696726426425837, "top_inputs": [ { "args": [ "9999999999999999999999999999999999999999999999.999999999999999999999999999999999999.9999999999999999999999999999999999999999999999.999999999999999999999999999.99999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999.99999999999999999999999999999999.99999999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999999999.999999999999999999999999999999999999-alpha" ], "cpu_ratio": 1.607, "base_ir": 71360.01086956522, "head_ir": 120659.01086956522, "ir_ratio": 1.6908491100164034, "outcome": "ok" }, { "args": [ "9999999999999999999999999999999999999999999999.999999999999999999999999999999999999.99999999999999999999999999999999999999999999999.999999999999999999999999999.99999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999.99999999999999999999999999999999.99999999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999999999.999999999999999999999999999999999999-alpha" ], "cpu_ratio": 1.607, "base_ir": 71408.98913043478, "head_ir": 120824.98913043478, "ir_ratio": 1.692013717064911, "outcome": "ok" } ], "error": "ladder inputs exceed 2000000 chars at n=4096; ladder stops here", "verdict": "slower", "worst_ratio": 2.740745097743191, "worst_search": { "args": [ "9999999999999999999999999999999999999999999999.999999999999999999999999999999999999.99999999999999999999999999999999999999999999999.999999999999999999999999999.99999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999.99999999999999999999999999999999.99999999999999999999999999999999999999999999999999.9999999999999999999999999999999999999999999999.999999999999999999999999999999999999-alpha" ], "cpu_ratio": 1.607, "base_ir": 71408.98913043478, "head_ir": 120824.98913043478, "ir_ratio": 1.692013717064911, "outcome": "ok" } }, { "family_id": "F6", "kind": "suspected_slowdown", "family": "valid versions with a long release segment and a pre‑release suffix only at the very end", "why": "The indicator set contains the pre‑release letters (a, b, rc). Placing the first such letter at the end of a long dotted numeric prefix forces `isdisjoint` to walk the entire prefix before discovering the indicator and delegating to the regex.", "origin": "plan", "screen_ratio": 1.0798802591317496, "valid_fraction": 1.0, "ladder": [ { "n": 2, "base_ir": 30769.435, "head_ir": 31790.49, "input_chars": 9.0, "valid_fraction": 1.0, "ratio": 1.0331840672407537, "judged": true }, { "n": 4, "base_ir": 33888.0725, "head_ir": 35375.1525, "input_chars": 13.0, "valid_fraction": 1.0, "ratio": 1.0438821063074624, "judged": true }, { "n": 16, "base_ir": 53618.285, "head_ir": 57901.3275, "input_chars": 37.0, "valid_fraction": 1.0, "ratio": 1.0798802591317496, "judged": true }, { "n": 64, "base_ir": 133072.83783783784, "head_ir": 148531.83783783784, "input_chars": 133.0, "valid_fraction": 1.0, "ratio": 1.116169462162055, "judged": true }, { "n": 256, "base_ir": 450944.1710526316, "head_ir": 511973.9605263158, "input_chars": 517.0, "valid_fraction": 1.0, "ratio": 1.135337794324347, "judged": true }, { "n": 1024, "base_ir": 1700821.3333333333, "head_ir": 1939488.6666666667, "input_chars": 2053.0, "valid_fraction": 1.0, "ratio": 1.1403247529036953, "judged": true }, { "n": 4096, "base_ir": 6907864.75, "head_ir": 7871086.0, "input_chars": 8197.0, "valid_fraction": 1.0, "ratio": 1.1394383481523722, "judged": true } ], "slope_base": 0.8008382374813734, "slope_head": 0.8159340063080688, "top_inputs": [], "error": null, "verdict": "slower", "worst_ratio": 1.1403247529036953, "worst_search": null }, { "family_id": "F4", "kind": "suspected_slowdown", "family": "pre‑release ‘a’", "why": "The letter ‘a’ is in _NON_SIMPLE_VERSION_INDICATORS, so the fast‑path test fails and the regex is executed afterwards. The extra disjoint check adds overhead.", "origin": "plan", "screen_ratio": 1.0798757899964537, "valid_fraction": 1.0, "ladder": [ { "n": 2, "base_ir": 30772.435, "head_ir": 31793.49, "input_chars": 9.0, "valid_fraction": 1.0, "ratio": 1.033180832131094, "judged": true }, { "n": 4, "base_ir": 33891.0725, "head_ir": 35378.1525, "input_chars": 13.0, "valid_fraction": 1.0, "ratio": 1.0438782219122749, "judged": true }, { "n": 16, "base_ir": 53621.285, "head_ir": 57904.3275, "input_chars": 37.0, "valid_fraction": 1.0, "ratio": 1.0798757899964537, "judged": true }, { "n": 64, "base_ir": 133075.83783783784, "head_ir": 148534.83783783784, "input_chars": 133.0, "valid_fraction": 1.0, "ratio": 1.1161668432915512, "judged": true }, { "n": 256, "base_ir": 450947.1710526316, "head_ir": 511976.9605263158, "input_chars": 517.0, "valid_fraction": 1.0, "ratio": 1.1353368939674782, "judged": true }, { "n": 1024, "base_ir": 1700824.3333333333, "head_ir": 1939491.6666666667, "input_chars": 2053.0, "valid_fraction": 1.0, "ratio": 1.1403245053917974, "judged": true }, { "n": 4096, "base_ir": 6907867.75, "head_ir": 7871089.0, "input_chars": 8197.0, "valid_fraction": 1.0, "ratio": 1.1394382875960531, "judged": true } ], "slope_base": 0.8008232898284233, "slope_head": 0.8159196681990162, "top_inputs": [], "error": null, "verdict": "slower", "worst_ratio": 1.1403245053917974, "worst_search": null } ], "seconds": { "plan": 19.7, "screen": 189.11, "full": 206.5, "total": 415.32 } } } } ] }