{"abstract":"Versions such as 1.0.0+build.5 fail every version clause.","category":"Feature flag rollout bucketing","checks":8,"contract":"Versions are MAJOR[.MINOR[.PATCH]][-prerelease][+build]; missing components are 0, build metadata is ignored, anything else is invalid (return None). A release outranks its prereleases; prerelease identifiers compare numerically when all digits, lexically otherwise, numeric below alphanumeric, and a shorter identifier list ranks lower when it is a prefix. op is semVerLessThan, semVerEqual or semVerGreaterThan; unknown ops return None.","contract_signature":"version, op, target","evaluation_group":"w2-feature-flag-rollout-bucketing-semver-clause","failed_approach":"Stripping build metadata only from the prerelease part leaves release versions with build tags invalid.","family":"w2-feature-flag-rollout-bucketing-semver-clause-build-metadata","id":"FA-74121","implementations":{"attempt":{"sha256":"ed4bd32ce508de08c416238cdab1c2b9c38c86e260f5e9be6aedec3d6256e602","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(version, op, target):\n    def parse(s):\n        core, _, pre = s.partition('-')\n        parts = core.split('.')\n        if not 1 <= len(parts) <= 3 or not all(p.isdigit() for p in parts):\n            return None\n        nums = [int(p) for p in parts] + [0] * (3 - len(parts))\n        ids = pre.split('+')[0].split('.') if pre else []\n        return nums, ids\n    def key_id(i):\n        return (0, int(i), '') if i.isdigit() else (1, 0, i)\n    def cmp(a, b):\n        if a[0] != b[0]:\n            return -1 if a[0] < b[0] else 1\n        x, y = a[1], b[1]\n        if not x or not y:\n            return (len(x) == 0) - (len(y) == 0) if (x or y) else 0\n        for p, q in zip(x, y):\n            kp, kq = key_id(p), key_id(q)\n            if kp != kq:\n                return -1 if kp < kq else 1\n        return (len(x) > len(y)) - (len(x) < len(y))\n    a, b = parse(version), parse(target)\n    if a is None or b is None:\n        return None\n    c = cmp(a, b)\n    return {'semVerLessThan': c < 0, 'semVerEqual': c == 0, 'semVerGreaterThan': c > 0}.get(op)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('numeric prerelease identifiers compare as numbers',\n   ['1.0.0-beta.11', 'semVerGreaterThan', '1.0.0-beta.2'],\n   True),\n  ('numeric identifier ranks below alphanumeric', ['1.0.0-1', 'semVerLessThan', '1.0.0-alpha'], True),\n  ('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('version pair sample 1', ['1.0.0-beta.11', 'semVerEqual', '1.0.0-alpha'], False),\n  ('version pair sample 2', ['1.0.0-alpha', 'semVerEqual', '1.0.0'], False)],\n [('numeric identifier ranks below alphanumeric', ['1.0.0-1', 'semVerLessThan', '1.0.0-alpha'], True),\n  ('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('version pair sample 6', ['1.0.0.0', 'semVerEqual', '2.1'], None),\n  ('version pair sample 32', ['1.0.0-beta.11', 'semVerEqual', '1.0.0+build.5'], False),\n  ('version pair sample 36', ['1.0.0-beta.11', 'semVerLessThan', '1.0.0+build.5'], True)],\n [('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('version pair sample 10', ['1.0.0-alpha', 'semVerEqual', '1.0.0+build.5'], False),\n  ('version pair sample 11', ['1.0.0+build.5', 'semVerLessThan', '1.0.0.0'], None),\n  ('version pair sample 22', ['1.0.0-2', 'semVerEqual', '1.0.0+build.5'], False)],\n [('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('minor ten beats minor nine', ['2.10.0', 'semVerGreaterThan', '2.9.0'], True),\n  ('version pair sample 3', ['1.0.0-alpha.10', 'semVerLessThan', '1.0.0+build.5'], True),\n  ('version pair sample 16', ['1.0.0-alpha.10', 'semVerEqual', '1.0.0'], False),\n  ('version pair sample 44', ['1.0.0+build.5', 'semVerLessThan', '1.0.0-beta.2'], False)],\n [('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('minor ten beats minor nine', ['2.10.0', 'semVerGreaterThan', '2.9.0'], True),\n  ('four components are invalid', ['1.0.0.0', 'semVerEqual', '1.0.0'], None),\n  ('version pair sample 21', ['2.1.0', 'semVerGreaterThan', '2.1'], False),\n  ('version pair sample 27', ['1.0.0-10', 'semVerLessThan', '1.0.0+build.5'], True),\n  ('version pair sample 42', ['1.0.0-beta.2', 'semVerGreaterThan', '1.0.0+build.5'], False)]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"4a6633caf8c40818de77db68504e52e354285979a0e58bf8551abdc056d128f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(version, op, target):\n    def parse(s):\n        core, _, pre = s.partition('-')\n        parts = core.split('.')\n        if not 1 <= len(parts) <= 3 or not all(p.isdigit() for p in parts):\n            return None\n        nums = [int(p) for p in parts] + [0] * (3 - len(parts))\n        ids = pre.split('.') if pre else []\n        return nums, ids\n    def key_id(i):\n        return (0, int(i), '') if i.isdigit() else (1, 0, i)\n    def cmp(a, b):\n        if a[0] != b[0]:\n            return -1 if a[0] < b[0] else 1\n        x, y = a[1], b[1]\n        if not x or not y:\n            return (len(x) == 0) - (len(y) == 0) if (x or y) else 0\n        for p, q in zip(x, y):\n            kp, kq = key_id(p), key_id(q)\n            if kp != kq:\n                return -1 if kp < kq else 1\n        return (len(x) > len(y)) - (len(x) < len(y))\n    a, b = parse(version), parse(target)\n    if a is None or b is None:\n        return None\n    c = cmp(a, b)\n    return {'semVerLessThan': c < 0, 'semVerEqual': c == 0, 'semVerGreaterThan': c > 0}.get(op)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('numeric prerelease identifiers compare as numbers',\n   ['1.0.0-beta.11', 'semVerGreaterThan', '1.0.0-beta.2'],\n   True),\n  ('numeric identifier ranks below alphanumeric', ['1.0.0-1', 'semVerLessThan', '1.0.0-alpha'], True),\n  ('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('version pair sample 1', ['1.0.0-beta.11', 'semVerEqual', '1.0.0-alpha'], False),\n  ('version pair sample 2', ['1.0.0-alpha', 'semVerEqual', '1.0.0'], False)],\n [('numeric identifier ranks below alphanumeric', ['1.0.0-1', 'semVerLessThan', '1.0.0-alpha'], True),\n  ('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('version pair sample 6', ['1.0.0.0', 'semVerEqual', '2.1'], None),\n  ('version pair sample 32', ['1.0.0-beta.11', 'semVerEqual', '1.0.0+build.5'], False),\n  ('version pair sample 36', ['1.0.0-beta.11', 'semVerLessThan', '1.0.0+build.5'], True)],\n [('release outranks its prerelease', ['1.0.0', 'semVerGreaterThan', '1.0.0-rc.1'], True),\n  ('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('version pair sample 10', ['1.0.0-alpha', 'semVerEqual', '1.0.0+build.5'], False),\n  ('version pair sample 11', ['1.0.0+build.5', 'semVerLessThan', '1.0.0.0'], None),\n  ('version pair sample 22', ['1.0.0-2', 'semVerEqual', '1.0.0+build.5'], False)],\n [('two-component version pads patch', ['2.1', 'semVerEqual', '2.1.0'], True),\n  ('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('minor ten beats minor nine', ['2.10.0', 'semVerGreaterThan', '2.9.0'], True),\n  ('version pair sample 3', ['1.0.0-alpha.10', 'semVerLessThan', '1.0.0+build.5'], True),\n  ('version pair sample 16', ['1.0.0-alpha.10', 'semVerEqual', '1.0.0'], False),\n  ('version pair sample 44', ['1.0.0+build.5', 'semVerLessThan', '1.0.0-beta.2'], False)],\n [('build metadata is ignored', ['1.0.0+build.5', 'semVerEqual', '1.0.0'], True),\n  ('build metadata after prerelease is ignored', ['1.0.0-rc.1+b7', 'semVerEqual', '1.0.0-rc.1'], True),\n  ('longer prerelease list ranks higher', ['1.0.0-alpha.1', 'semVerGreaterThan', '1.0.0-alpha'], True),\n  ('minor ten beats minor nine', ['2.10.0', 'semVerGreaterThan', '2.9.0'], True),\n  ('four components are invalid', ['1.0.0.0', 'semVerEqual', '1.0.0'], None),\n  ('version pair sample 21', ['2.1.0', 'semVerGreaterThan', '2.1'], False),\n  ('version pair sample 27', ['1.0.0-10', 'semVerLessThan', '1.0.0+build.5'], True),\n  ('version pair sample 42', ['1.0.0-beta.2', 'semVerGreaterThan', '1.0.0+build.5'], False)]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy flag-evaluation model with a stipulated contract; it does not reproduce any vendor SDK byte for byte. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-feature-flag-rollout-bucketing-semver-clause-build-metadata","generated_at":"2026-09-29T14:48:53.823905+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Targeting by app version gates features to clients that can render them.","root_cause":"The \"+build\" suffix is not stripped before parsing the numeric core.","sha256":"54a261489870ac64e087a5ec35ada48d4fd0691bef003b493395695404affe37","title":"Semantic version clause: Build metadata makes versions invalid · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.128,"exit_code":1,"observations":[{"actual":true,"check":"numeric prerelease identifiers compare as numbers","expected":true,"passed":true},{"actual":true,"check":"numeric identifier ranks below alphanumeric","expected":true,"passed":true},{"actual":true,"check":"release outranks its prerelease","expected":true,"passed":true},{"actual":true,"check":"two-component version pads patch","expected":true,"passed":true},{"actual":null,"check":"build metadata is ignored","expected":true,"passed":false},{"actual":true,"check":"build metadata after prerelease is ignored","expected":true,"passed":true},{"actual":false,"check":"version pair sample 1","expected":false,"passed":true},{"actual":false,"check":"version pair sample 2","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"numeric prerelease identifiers compare as numbers\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"numeric identifier ranks below alphanumeric\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"release outranks its prerelease\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"two-component version pads patch\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"build metadata is ignored\", \"actual\": null, \"expected\": true, \"passed\": false}, {\"check\": \"build metadata after prerelease is ignored\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"version pair sample 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"version pair sample 2\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.15,"exit_code":1,"observations":[{"actual":true,"check":"numeric prerelease identifiers compare as numbers","expected":true,"passed":true},{"actual":true,"check":"numeric identifier ranks below alphanumeric","expected":true,"passed":true},{"actual":true,"check":"release outranks its prerelease","expected":true,"passed":true},{"actual":true,"check":"two-component version pads patch","expected":true,"passed":true},{"actual":null,"check":"build metadata is ignored","expected":true,"passed":false},{"actual":false,"check":"build metadata after prerelease is ignored","expected":true,"passed":false},{"actual":false,"check":"version pair sample 1","expected":false,"passed":true},{"actual":false,"check":"version pair sample 2","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"numeric prerelease identifiers compare as numbers\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"numeric identifier ranks below alphanumeric\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"release outranks its prerelease\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"two-component version pads patch\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"build metadata is ignored\", \"actual\": null, \"expected\": true, \"passed\": false}, {\"check\": \"build metadata after prerelease is ignored\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"version pair sample 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"version pair sample 2\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}