{"abstract":"\"+83...\" is parsed as country 8 with a national number starting with 3.","category":"Phone number formatting","checks":11,"contract":"Input [number, default region]. Toy table (cc, trunk, national lengths): DD 8/-/9, AA 42/0/9, BB 83/8/10, CC 891/-/7-8. Remove \"(0)\" and keep digits. A leading \"+\" or \"00\" means international: drop \"00\", pick the country with the longest matching code. Otherwise the region is used and a national number of a trunk country must start with its trunk, which is removed once. The national part must have an allowed length. Return \"+\" cc national or None.","evaluation_group":"w2-phone-number-formatting-e164-parse","failed_approach":"Reversing the comparison keeps the shortest code, which misparses three-digit codes too.","family":"w2-phone-number-formatting-e164-parse-longest-code","id":"FA-96366","implementations":{"attempt":{"sha256":"552baa7dd10a8af8f0cb7f06412123ffd9c9710e56123a8fdac7a6ffea7491a0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    num, region = x\n    TABLE = {'DD': ('8', '', (9,)), 'AA': ('42', '0', (9,)), 'BB': ('83', '8', (10,)), 'CC': ('891', '', (7, 8))}\n    s = num.strip().replace('(0)', '')\n    raw = ''.join(c for c in s if c.isdigit())\n    if s.startswith('+') or raw.startswith('00'):\n        if not s.startswith('+'):\n            raw = raw[2:]\n        best = None\n        for code, (cc, trunk, lens) in TABLE.items():\n            if raw.startswith(cc) and (best is None or len(cc) < len(TABLE[best][0])):\n                best = code\n        if best is None:\n            return None\n        cc, trunk, lens = TABLE[best]\n        nat = raw[len(cc):]\n    else:\n        if region not in TABLE:\n            return None\n        cc, trunk, lens = TABLE[region]\n        if trunk:\n            if not raw.startswith(trunk):\n                return None\n            raw = raw[len(trunk):]\n        nat = raw\n    if len(nat) not in lens:\n        return None\n    return '+' + cc + nat\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['national with trunk zero', ['0555011234', 'AA'], '+42555011234'], ['national missing its trunk', ['555011234', 'AA'], None], ['ten digits without trunk', ['5555011234', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550111', 'BB'], '+838125550111'], ['international two-digit code', ['+83 8125550111', 'AA'], '+838125550111'], ['double-zero international prefix', ['0083 8125550111', 'CC'], '+838125550111'], ['parenthesized trunk in international form', ['+42 (0)555011234', 'BB'], '+42555011234'], ['one-digit country code', ['+8 555011223', 'AA'], '+8555011223'], ['three-digit country code', ['+891 5550113', 'BB'], '+8915550113'], ['international with wrong length', ['+83 555011234', 'AA'], None], ['national without trunk country', ['5550113', 'CC'], '+8915550113']], [['national with trunk zero', ['0555012345', 'AA'], '+42555012345'], ['national missing its trunk', ['555012345', 'AA'], None], ['ten digits without trunk', ['5555012345', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550122', 'BB'], '+838125550122'], ['international two-digit code', ['+83 8125550122', 'AA'], '+838125550122'], ['double-zero international prefix', ['0083 8125550122', 'CC'], '+838125550122'], ['parenthesized trunk in international form', ['+42 (0)555012345', 'BB'], '+42555012345'], ['one-digit country code', ['+8 555022334', 'AA'], '+8555022334'], ['three-digit country code', ['+891 5550124', 'BB'], '+8915550124'], ['international with wrong length', ['+83 555012345', 'AA'], None], ['national without trunk country', ['5550124', 'CC'], '+8915550124']], [['national with trunk zero', ['0555013456', 'AA'], '+42555013456'], ['national missing its trunk', ['555013456', 'AA'], None], ['ten digits without trunk', ['5555013456', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550133', 'BB'], '+838125550133'], ['international two-digit code', ['+83 8125550133', 'AA'], '+838125550133'], ['double-zero international prefix', ['0083 8125550133', 'CC'], '+838125550133'], ['parenthesized trunk in international form', ['+42 (0)555013456', 'BB'], '+42555013456'], ['one-digit country code', ['+8 555033445', 'AA'], '+8555033445'], ['three-digit country code', ['+891 5550135', 'BB'], '+8915550135'], ['international with wrong length', ['+83 555013456', 'AA'], None], ['national without trunk country', ['5550135', 'CC'], '+8915550135']], [['national with trunk zero', ['0555014567', 'AA'], '+42555014567'], ['national missing its trunk', ['555014567', 'AA'], None], ['ten digits without trunk', ['5555014567', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550144', 'BB'], '+838125550144'], ['international two-digit code', ['+83 8125550144', 'AA'], '+838125550144'], ['double-zero international prefix', ['0083 8125550144', 'CC'], '+838125550144'], ['parenthesized trunk in international form', ['+42 (0)555014567', 'BB'], '+42555014567'], ['one-digit country code', ['+8 555044556', 'AA'], '+8555044556'], ['three-digit country code', ['+891 5550146', 'BB'], '+8915550146'], ['international with wrong length', ['+83 555014567', 'AA'], None], ['national without trunk country', ['5550146', 'CC'], '+8915550146']], [['national with trunk zero', ['0555015678', 'AA'], '+42555015678'], ['national missing its trunk', ['555015678', 'AA'], None], ['ten digits without trunk', ['5555015678', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550155', 'BB'], '+838125550155'], ['international two-digit code', ['+83 8125550155', 'AA'], '+838125550155'], ['double-zero international prefix', ['0083 8125550155', 'CC'], '+838125550155'], ['parenthesized trunk in international form', ['+42 (0)555015678', 'BB'], '+42555015678'], ['one-digit country code', ['+8 555055667', 'AA'], '+8555055667'], ['three-digit country code', ['+891 5550157', 'BB'], '+8915550157'], ['international with wrong length', ['+83 555015678', 'AA'], None], ['national without trunk country', ['5550157', 'CC'], '+8915550157']]]\nfor label, arg, expected in fixtures[N - 1]:\n    check(label, solve(arg), 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":"3cb459aff8311e5d515e4a01d4aea11643f1c5b4fa023769c44791a3cd354ea4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    num, region = x\n    TABLE = {'DD': ('8', '', (9,)), 'AA': ('42', '0', (9,)), 'BB': ('83', '8', (10,)), 'CC': ('891', '', (7, 8))}\n    s = num.strip().replace('(0)', '')\n    raw = ''.join(c for c in s if c.isdigit())\n    if s.startswith('+') or raw.startswith('00'):\n        if not s.startswith('+'):\n            raw = raw[2:]\n        best = None\n        for code, (cc, trunk, lens) in TABLE.items():\n            if raw.startswith(cc) and best is None:\n                best = code\n        if best is None:\n            return None\n        cc, trunk, lens = TABLE[best]\n        nat = raw[len(cc):]\n    else:\n        if region not in TABLE:\n            return None\n        cc, trunk, lens = TABLE[region]\n        if trunk:\n            if not raw.startswith(trunk):\n                return None\n            raw = raw[len(trunk):]\n        nat = raw\n    if len(nat) not in lens:\n        return None\n    return '+' + cc + nat\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['national with trunk zero', ['0555011234', 'AA'], '+42555011234'], ['national missing its trunk', ['555011234', 'AA'], None], ['ten digits without trunk', ['5555011234', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550111', 'BB'], '+838125550111'], ['international two-digit code', ['+83 8125550111', 'AA'], '+838125550111'], ['double-zero international prefix', ['0083 8125550111', 'CC'], '+838125550111'], ['parenthesized trunk in international form', ['+42 (0)555011234', 'BB'], '+42555011234'], ['one-digit country code', ['+8 555011223', 'AA'], '+8555011223'], ['three-digit country code', ['+891 5550113', 'BB'], '+8915550113'], ['international with wrong length', ['+83 555011234', 'AA'], None], ['national without trunk country', ['5550113', 'CC'], '+8915550113']], [['national with trunk zero', ['0555012345', 'AA'], '+42555012345'], ['national missing its trunk', ['555012345', 'AA'], None], ['ten digits without trunk', ['5555012345', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550122', 'BB'], '+838125550122'], ['international two-digit code', ['+83 8125550122', 'AA'], '+838125550122'], ['double-zero international prefix', ['0083 8125550122', 'CC'], '+838125550122'], ['parenthesized trunk in international form', ['+42 (0)555012345', 'BB'], '+42555012345'], ['one-digit country code', ['+8 555022334', 'AA'], '+8555022334'], ['three-digit country code', ['+891 5550124', 'BB'], '+8915550124'], ['international with wrong length', ['+83 555012345', 'AA'], None], ['national without trunk country', ['5550124', 'CC'], '+8915550124']], [['national with trunk zero', ['0555013456', 'AA'], '+42555013456'], ['national missing its trunk', ['555013456', 'AA'], None], ['ten digits without trunk', ['5555013456', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550133', 'BB'], '+838125550133'], ['international two-digit code', ['+83 8125550133', 'AA'], '+838125550133'], ['double-zero international prefix', ['0083 8125550133', 'CC'], '+838125550133'], ['parenthesized trunk in international form', ['+42 (0)555013456', 'BB'], '+42555013456'], ['one-digit country code', ['+8 555033445', 'AA'], '+8555033445'], ['three-digit country code', ['+891 5550135', 'BB'], '+8915550135'], ['international with wrong length', ['+83 555013456', 'AA'], None], ['national without trunk country', ['5550135', 'CC'], '+8915550135']], [['national with trunk zero', ['0555014567', 'AA'], '+42555014567'], ['national missing its trunk', ['555014567', 'AA'], None], ['ten digits without trunk', ['5555014567', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550144', 'BB'], '+838125550144'], ['international two-digit code', ['+83 8125550144', 'AA'], '+838125550144'], ['double-zero international prefix', ['0083 8125550144', 'CC'], '+838125550144'], ['parenthesized trunk in international form', ['+42 (0)555014567', 'BB'], '+42555014567'], ['one-digit country code', ['+8 555044556', 'AA'], '+8555044556'], ['three-digit country code', ['+891 5550146', 'BB'], '+8915550146'], ['international with wrong length', ['+83 555014567', 'AA'], None], ['national without trunk country', ['5550146', 'CC'], '+8915550146']], [['national with trunk zero', ['0555015678', 'AA'], '+42555015678'], ['national missing its trunk', ['555015678', 'AA'], None], ['ten digits without trunk', ['5555015678', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550155', 'BB'], '+838125550155'], ['international two-digit code', ['+83 8125550155', 'AA'], '+838125550155'], ['double-zero international prefix', ['0083 8125550155', 'CC'], '+838125550155'], ['parenthesized trunk in international form', ['+42 (0)555015678', 'BB'], '+42555015678'], ['one-digit country code', ['+8 555055667', 'AA'], '+8555055667'], ['three-digit country code', ['+891 5550157', 'BB'], '+8915550157'], ['international with wrong length', ['+83 555015678', 'AA'], None], ['national without trunk country', ['5550157', 'CC'], '+8915550157']]]\nfor label, arg, expected in fixtures[N - 1]:\n    check(label, solve(arg), 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"},"fixed":{"sha256":"a5fcde9868b1dc678208edee6e790bb754bafaf6cf02a25f9b0a8efb584d2a82","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    num, region = x\n    TABLE = {'DD': ('8', '', (9,)), 'AA': ('42', '0', (9,)), 'BB': ('83', '8', (10,)), 'CC': ('891', '', (7, 8))}\n    s = num.strip().replace('(0)', '')\n    raw = ''.join(c for c in s if c.isdigit())\n    if s.startswith('+') or raw.startswith('00'):\n        if not s.startswith('+'):\n            raw = raw[2:]\n        best = None\n        for code, (cc, trunk, lens) in TABLE.items():\n            if raw.startswith(cc) and (best is None or len(cc) > len(TABLE[best][0])):\n                best = code\n        if best is None:\n            return None\n        cc, trunk, lens = TABLE[best]\n        nat = raw[len(cc):]\n    else:\n        if region not in TABLE:\n            return None\n        cc, trunk, lens = TABLE[region]\n        if trunk:\n            if not raw.startswith(trunk):\n                return None\n            raw = raw[len(trunk):]\n        nat = raw\n    if len(nat) not in lens:\n        return None\n    return '+' + cc + nat\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['national with trunk zero', ['0555011234', 'AA'], '+42555011234'], ['national missing its trunk', ['555011234', 'AA'], None], ['ten digits without trunk', ['5555011234', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550111', 'BB'], '+838125550111'], ['international two-digit code', ['+83 8125550111', 'AA'], '+838125550111'], ['double-zero international prefix', ['0083 8125550111', 'CC'], '+838125550111'], ['parenthesized trunk in international form', ['+42 (0)555011234', 'BB'], '+42555011234'], ['one-digit country code', ['+8 555011223', 'AA'], '+8555011223'], ['three-digit country code', ['+891 5550113', 'BB'], '+8915550113'], ['international with wrong length', ['+83 555011234', 'AA'], None], ['national without trunk country', ['5550113', 'CC'], '+8915550113']], [['national with trunk zero', ['0555012345', 'AA'], '+42555012345'], ['national missing its trunk', ['555012345', 'AA'], None], ['ten digits without trunk', ['5555012345', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550122', 'BB'], '+838125550122'], ['international two-digit code', ['+83 8125550122', 'AA'], '+838125550122'], ['double-zero international prefix', ['0083 8125550122', 'CC'], '+838125550122'], ['parenthesized trunk in international form', ['+42 (0)555012345', 'BB'], '+42555012345'], ['one-digit country code', ['+8 555022334', 'AA'], '+8555022334'], ['three-digit country code', ['+891 5550124', 'BB'], '+8915550124'], ['international with wrong length', ['+83 555012345', 'AA'], None], ['national without trunk country', ['5550124', 'CC'], '+8915550124']], [['national with trunk zero', ['0555013456', 'AA'], '+42555013456'], ['national missing its trunk', ['555013456', 'AA'], None], ['ten digits without trunk', ['5555013456', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550133', 'BB'], '+838125550133'], ['international two-digit code', ['+83 8125550133', 'AA'], '+838125550133'], ['double-zero international prefix', ['0083 8125550133', 'CC'], '+838125550133'], ['parenthesized trunk in international form', ['+42 (0)555013456', 'BB'], '+42555013456'], ['one-digit country code', ['+8 555033445', 'AA'], '+8555033445'], ['three-digit country code', ['+891 5550135', 'BB'], '+8915550135'], ['international with wrong length', ['+83 555013456', 'AA'], None], ['national without trunk country', ['5550135', 'CC'], '+8915550135']], [['national with trunk zero', ['0555014567', 'AA'], '+42555014567'], ['national missing its trunk', ['555014567', 'AA'], None], ['ten digits without trunk', ['5555014567', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550144', 'BB'], '+838125550144'], ['international two-digit code', ['+83 8125550144', 'AA'], '+838125550144'], ['double-zero international prefix', ['0083 8125550144', 'CC'], '+838125550144'], ['parenthesized trunk in international form', ['+42 (0)555014567', 'BB'], '+42555014567'], ['one-digit country code', ['+8 555044556', 'AA'], '+8555044556'], ['three-digit country code', ['+891 5550146', 'BB'], '+8915550146'], ['international with wrong length', ['+83 555014567', 'AA'], None], ['national without trunk country', ['5550146', 'CC'], '+8915550146']], [['national with trunk zero', ['0555015678', 'AA'], '+42555015678'], ['national missing its trunk', ['555015678', 'AA'], None], ['ten digits without trunk', ['5555015678', 'AA'], None], ['national whose number repeats the trunk digit', ['8 8125550155', 'BB'], '+838125550155'], ['international two-digit code', ['+83 8125550155', 'AA'], '+838125550155'], ['double-zero international prefix', ['0083 8125550155', 'CC'], '+838125550155'], ['parenthesized trunk in international form', ['+42 (0)555015678', 'BB'], '+42555015678'], ['one-digit country code', ['+8 555055667', 'AA'], '+8555055667'], ['three-digit country code', ['+891 5550157', 'BB'], '+8915550157'], ['international with wrong length', ['+83 555015678', 'AA'], None], ['national without trunk country', ['5550157', 'CC'], '+8915550157']]]\nfor label, arg, expected in fixtures[N - 1]:\n    check(label, solve(arg), 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 contract over synthetic, obviously fictitious telephone numbers and toy country tables. The rules are stipulated for this model only and make no claim of conformance with any numbering plan or telecommunications standard. 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-phone-number-formatting-e164-parse-longest-code","generated_at":"2026-09-29T14:52:22.061369+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Canonical E.164 storage is the join key for calls, messaging and deduplication; one wrong prefix rule routes numbers to another country.","repair":"Keep the matching country with the longest code.","root_cause":"The first table entry whose code prefixes the digits is kept, and the one-digit code is listed first.","sha256":"2b1b8d731abc0db64161c87144d27146ef204f6f075c968708d585f1898a0cf5","title":"E.164 parser with trunk prefixes: the first matching country code wins · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.415,"exit_code":1,"observations":[{"actual":"+42555011234","check":"national with trunk zero","expected":"+42555011234","passed":true},{"actual":null,"check":"national missing its trunk","expected":null,"passed":true},{"actual":null,"check":"ten digits without trunk","expected":null,"passed":true},{"actual":"+838125550111","check":"national whose number repeats the trunk digit","expected":"+838125550111","passed":true},{"actual":null,"check":"international two-digit code","expected":"+838125550111","passed":false},{"actual":null,"check":"double-zero international prefix","expected":"+838125550111","passed":false},{"actual":"+42555011234","check":"parenthesized trunk in international form","expected":"+42555011234","passed":true},{"actual":"+8555011223","check":"one-digit country code","expected":"+8555011223","passed":true},{"actual":"+8915550113","check":"three-digit country code","expected":"+8915550113","passed":true},{"actual":null,"check":"international with wrong length","expected":null,"passed":true},{"actual":"+8915550113","check":"national without trunk country","expected":"+8915550113","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"national with trunk zero\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"national missing its trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ten digits without trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national whose number repeats the trunk digit\", \"actual\": \"+838125550111\", \"expected\": \"+838125550111\", \"passed\": true}, {\"check\": \"international two-digit code\", \"actual\": null, \"expected\": \"+838125550111\", \"passed\": false}, {\"check\": \"double-zero international prefix\", \"actual\": null, \"expected\": \"+838125550111\", \"passed\": false}, {\"check\": \"parenthesized trunk in international form\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"one-digit country code\", \"actual\": \"+8555011223\", \"expected\": \"+8555011223\", \"passed\": true}, {\"check\": \"three-digit country code\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}, {\"check\": \"international with wrong length\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national without trunk country\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.189,"exit_code":1,"observations":[{"actual":"+42555011234","check":"national with trunk zero","expected":"+42555011234","passed":true},{"actual":null,"check":"national missing its trunk","expected":null,"passed":true},{"actual":null,"check":"ten digits without trunk","expected":null,"passed":true},{"actual":"+838125550111","check":"national whose number repeats the trunk digit","expected":"+838125550111","passed":true},{"actual":null,"check":"international two-digit code","expected":"+838125550111","passed":false},{"actual":null,"check":"double-zero international prefix","expected":"+838125550111","passed":false},{"actual":"+42555011234","check":"parenthesized trunk in international form","expected":"+42555011234","passed":true},{"actual":"+8555011223","check":"one-digit country code","expected":"+8555011223","passed":true},{"actual":"+8915550113","check":"three-digit country code","expected":"+8915550113","passed":true},{"actual":null,"check":"international with wrong length","expected":null,"passed":true},{"actual":"+8915550113","check":"national without trunk country","expected":"+8915550113","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"national with trunk zero\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"national missing its trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ten digits without trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national whose number repeats the trunk digit\", \"actual\": \"+838125550111\", \"expected\": \"+838125550111\", \"passed\": true}, {\"check\": \"international two-digit code\", \"actual\": null, \"expected\": \"+838125550111\", \"passed\": false}, {\"check\": \"double-zero international prefix\", \"actual\": null, \"expected\": \"+838125550111\", \"passed\": false}, {\"check\": \"parenthesized trunk in international form\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"one-digit country code\", \"actual\": \"+8555011223\", \"expected\": \"+8555011223\", \"passed\": true}, {\"check\": \"three-digit country code\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}, {\"check\": \"international with wrong length\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national without trunk country\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.382,"exit_code":0,"observations":[{"actual":"+42555011234","check":"national with trunk zero","expected":"+42555011234","passed":true},{"actual":null,"check":"national missing its trunk","expected":null,"passed":true},{"actual":null,"check":"ten digits without trunk","expected":null,"passed":true},{"actual":"+838125550111","check":"national whose number repeats the trunk digit","expected":"+838125550111","passed":true},{"actual":"+838125550111","check":"international two-digit code","expected":"+838125550111","passed":true},{"actual":"+838125550111","check":"double-zero international prefix","expected":"+838125550111","passed":true},{"actual":"+42555011234","check":"parenthesized trunk in international form","expected":"+42555011234","passed":true},{"actual":"+8555011223","check":"one-digit country code","expected":"+8555011223","passed":true},{"actual":"+8915550113","check":"three-digit country code","expected":"+8915550113","passed":true},{"actual":null,"check":"international with wrong length","expected":null,"passed":true},{"actual":"+8915550113","check":"national without trunk country","expected":"+8915550113","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"national with trunk zero\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"national missing its trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ten digits without trunk\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national whose number repeats the trunk digit\", \"actual\": \"+838125550111\", \"expected\": \"+838125550111\", \"passed\": true}, {\"check\": \"international two-digit code\", \"actual\": \"+838125550111\", \"expected\": \"+838125550111\", \"passed\": true}, {\"check\": \"double-zero international prefix\", \"actual\": \"+838125550111\", \"expected\": \"+838125550111\", \"passed\": true}, {\"check\": \"parenthesized trunk in international form\", \"actual\": \"+42555011234\", \"expected\": \"+42555011234\", \"passed\": true}, {\"check\": \"one-digit country code\", \"actual\": \"+8555011223\", \"expected\": \"+8555011223\", \"passed\": true}, {\"check\": \"three-digit country code\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}, {\"check\": \"international with wrong length\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"national without trunk country\", \"actual\": \"+8915550113\", \"expected\": \"+8915550113\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}